Path: ...!weretis.net!feeder8.news.weretis.net!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: HHH maps its input to the behavior specified by it --- never
 reaches its halt state ---natural number mapping
Date: Mon, 12 Aug 2024 07:42:13 -0500
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <v9cvv5$39tbd$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 12 Aug 2024 14:42:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0de40597f43653f20eea109a93bb850d";
	logging-data="3470701"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/bn6YVStcQfnlyfeFA7sZP"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:aKpkUj294jzoK3kU/GN0GAF2hFg=
Content-Language: en-US
In-Reply-To: <v9b4tr$2rdni$1@dont-email.me>
Bytes: 3329

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.

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