Path: ...!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: HHH maps its input to the behavior specified by it --- never
 reaches its halt state ---natural number mapping
Date: Tue, 13 Aug 2024 09:29:06 +0200
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <v9f203$3pfoq$1@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8ll4v$3h8m2$1@dont-email.me>
 <cbde765b8f9e769930b6c8589556907a41d9c256@i2pn2.org>
 <v8lm80$3h8m2$3@dont-email.me> <v8n6mq$3tv07$3@dont-email.me>
 <v8o14v$30uf$1@dont-email.me>
 <950d4eed7965040e841a970d48d5b6f417ff43dc@i2pn2.org>
 <v8oj1n$6kik$3@dont-email.me> <v8pvke$ih0a$1@dont-email.me>
 <4-qdnbdw1JzlRS37nZ2dnZfqlJydnZ2d@giganews.com>
 <v8v7p3$29r2r$1@dont-email.me> <v8vub1$32fso$14@dont-email.me>
 <1e1fa9bc4bbc00aa65c1a7974bd1bda87687c92b@i2pn2.org>
 <v90di8$38oni$1@dont-email.me>
 <47a76378d634bf0db4017f879d0160793b57125e@i2pn2.org>
 <v9161o$3gaju$1@dont-email.me>
 <b84374e766c199e1ba38ef1dc3bc8f6ab2c39dfc@i2pn2.org>
 <v91i97$3n4m0$1@dont-email.me> <v91unh$3rbor$1@dont-email.me>
 <v92gja$p1$3@dont-email.me> <v94m0l$ljf4$1@dont-email.me>
 <v95ae9$p5rb$1@dont-email.me> <v978dv$h1ib$1@dont-email.me>
 <v97j0q$ilah$2@dont-email.me> <v99lpd$25ri3$1@dont-email.me>
 <v9a88e$2923f$2@dont-email.me> <v9b4tr$2rdni$1@dont-email.me>
 <v9cvv5$39tbd$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 13 Aug 2024 09:29:07 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="88fe018fd7c65de78f82e53bbf822309";
	logging-data="3981082"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/G9oRkkO/y59pRkA8fW3gC"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:RP5dG+UrjLhrVr5DtXpqiEtsbgU=
In-Reply-To: <v9cvv5$39tbd$1@dont-email.me>
Content-Language: en-GB
Bytes: 3451

Op 12.aug.2024 om 14:42 schreef olcott:
> On 8/11/2024 2:54 PM, Fred. Zwarts wrote:
>> Op 11.aug.2024 om 13:45 schreef olcott:
>>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>>
>>> None-the-less it is clear that of the above specified infinite
>>> set DDD correctly emulated by each element of that set never
>>> reaches its own "return" instruction halt state.
>>
>> Since no DDD is correctly simulated by HHH, we are talking about the 
>> properties of an empty set.
>> But, indeed, the simulation of DDD by HHH fails to reach the halt 
>> state. It aborts one cycle before the simulated HHH would reach its 
>> 'return' instruction, after which DDD would reach its halt state.
>>
>>>
>>> My words must be understandable by ordinary C programmers
>>> and computer scientists. The latter tend to conclude that
>>> my work is incorrect as soon as they know the subject matter
>>> before actually seeing what I said.
>>>
>> Every C programmer understands that a simulation fails if it does not 
>> reach the end of a halting program.
> 
> Four expert C programmers (two with masters degrees in
> computer science) agree that DDD correctly simulated by
> HHH does not halt.
> 
Many more experts with master degrees tell you that it does halt.
Show evidence instead of authority.