Article <v9ia4j$f16v$1@dont-email.me>

Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v9ia4j$f16v$1@dont-email.me>

Deutsch English Français Italiano

<v9ia4j$f16v$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Proof that DDD specifies non-halting behavior --- point by point
Date: Wed, 14 Aug 2024 08:06:27 -0500
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <v9ia4j$f16v$1@dont-email.me>
References: <v9gv4k$4sc4$1@dont-email.me> <v9hp66$ck4s$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 14 Aug 2024 15:06:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0b9b77ee625b8578b747fee4cc5a1452";
	logging-data="492767"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+IjPYhl5HiJ6lFA+pitHeh"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:GbCxSc8lIlcg9E19OmnNlI8H0n8=
Content-Language: en-US
In-Reply-To: <v9hp66$ck4s$1@dont-email.me>
Bytes: 1451

On 8/14/2024 3:17 AM, Mikko wrote:
> On 2024-08-14 00:52:36 +0000, olcott said:
> 
>> void DDD()
>> {
>>    HHH(DDD);
>>    return;
>> }
> 
> In order to prove that the above specifies a non-halting behavour
> you must prove that HHH(DDD) does not terminate.
> 

Wrong.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer