Path: ...!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: Who here is too stupid to know that DDD correctly simulated by
 HHH cannot possibly reach its own return instruction?
Date: Sat, 3 Aug 2024 10:14:59 +0200
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <v8kou4$3b2ta$1@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 03 Aug 2024 10:15:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c008484573dc3f0f1f8d22b16f79247c";
	logging-data="3509162"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19DJKF1DXrp5mRwm4jAdxCC"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:pti85y2A1QqpDAxlxVSOzK6Cq8A=
In-Reply-To: <v8jh7m$30k55$1@dont-email.me>
Content-Language: en-GB
Bytes: 2285

Op 02.aug.2024 om 22:57 schreef olcott:
> Who here is too stupid to know that DDD correctly simulated
> by HHH cannot possibly reach its own return instruction?
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 

Which proves that the simulation is incorrect.
You are hopeless to repeat the same error without any evidence again and 
again.
A correct simulation should of a halting program must reach the 
simulation of its return instruction.
HHH cannot possibly simulate itself correctly.
Even repeating thousand times the word 'correct', it does not make the 
simulation correct.
No matter how much olcott wants it to be correct, or how many times 
olcott repeats that it is correct, it does not change the fact that such 
a simulation is incorrect, because it is unable to reach the end of a 
halting program.
Olcott's own claim that the simulated HHH does not reach its end 
confirms it. The trace he has shown also proves that HHH cannot reach 
the end of its own simulation. So, his own claims prove that it is true 
that HHH cannot possibly simulate itself up to the end, which makes the 
simulation incomplete and, therefore, incorrect.
Dreams are no substitute for logic proofs.