Path: ...!news.mixmin.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 ---
Date: Sat, 10 Aug 2024 10:27:17 +0200
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <v97895$gh2a$2@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v8kp6s$3c5h2$2@dont-email.me>
 <v8ld1f$3f6vr$5@dont-email.me> <v8ldl0$3ennf$1@dont-email.me>
 <v8lfb9$3g2jl$1@dont-email.me> <v8lgsr$3gadt$2@dont-email.me>
 <v8lhrr$3gkbk$1@dont-email.me> <v8n6un$3tv08$1@dont-email.me>
 <v8nums$1n09$6@dont-email.me> <v8vah7$29sva$1@dont-email.me>
 <v8vr7e$32fso$2@dont-email.me> <v91vc4$3qp1r$2@dont-email.me>
 <v92ge1$p1$2@dont-email.me>
 <f37108f5c9868fc309f42ef78982e2c865ad544c@i2pn2.org>
 <v940uh$hqmp$1@dont-email.me> <v94dir$jt3i$1@dont-email.me>
 <v9569q$o1gt$2@dont-email.me> <v95ch2$p7ls$1@dont-email.me>
 <v95fhp$q2jp$1@dont-email.me> <v95r1q$7ps5$1@dont-email.me>
 <v95vjo$60of$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 10 Aug 2024 10:27:17 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="143c8b99553830e826ac2a08c0df4c26";
	logging-data="541770"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+UpIpSHlTzsrJY2EJCCxyT"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:iPZncJfRmxlz0JwcQi7frJIxbks=
In-Reply-To: <v95vjo$60of$1@dont-email.me>
Content-Language: en-GB
Bytes: 2976

Op 09.aug.2024 om 22:53 schreef olcott:
> On 8/9/2024 2:35 PM, Fred. Zwarts wrote:
>> Op 09.aug.2024 om 18:19 schreef olcott:
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> Each HHH of every HHH that can possibly exist definitely
> emulates zero to infinity instructions of DDD correctly.
> Every expert in the C language sees that this emulated DDD
> cannot possibly reaches its own "return" instruction halt state.
And you don't need to be an expert to see that this proves that all 
these simulations are incorrect. Those that halt are incorrect, because 
they are incomplete, skipping the last cycle of the simulation, what 
makes them incorrect.
A simulation that runs forever is useless as well and will never become 
correct, because it never ends.

So, what you have done is showing that HHH cannot possibly simulate 
itself correctly.

DDD is a misleading and unneeded complication. It is easy to eliminate DDD:

        int main() {
          return HHH(main);
        }

This has the same problem. This proves that the problem is not in DDD, 
but in HHH, which halts when it aborts the simulation, but it decides 
that the simulation of itself does not halt.
It shows that HHH cannot possibly simulate itself correctly.