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: Anyone that disagrees with this is not telling the truth
Date: Mon, 19 Aug 2024 12:17:00 +0200
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <v9v62s$2r09r$1@dont-email.me>
References: <v9q52r$1tedb$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 19 Aug 2024 12:17:00 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="54348b9a4b0bee9c2f9329194ac11805";
	logging-data="2982203"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX189Z7xj/uSgZiN0PtCiY9XW"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5O4untjAFwqPjFTaYWH6xjbOaCg=
In-Reply-To: <v9q52r$1tedb$1@dont-email.me>
Content-Language: en-GB
Bytes: 2151

Op 17.aug.2024 om 14:29 schreef olcott:
> void DDD()
> {
>    HHH(DDD);
> }
> 
> _DDD()
> [00002172] 55         push ebp      ; housekeeping
> [00002173] 8bec       mov ebp,esp   ; housekeeping
> [00002175] 6872210000 push 00002172 ; push DDD
> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
> [0000217f] 83c404     add esp,+04
> [00002182] 5d         pop ebp
> [00002183] c3         ret
> Size in bytes:(0018) [00002183]
> 
> *It is a basic fact that DDD emulated by HHH according to*
> *the semantics of the x86 language cannot possibly stop*
> *running unless aborted* (out of memory error excluded)
> 

Which proves that the simulation failed to reach the end. This makes the 
simulation incomplete and therefore incorrect.
The simulating HHH is programmed to abort and halt. The simulated HHH 
should behave exactly in the same way, so no cheating with the Root 
variable is allowed.
The the simulating HHH aborts when the simulated HHH has only one cycle 
to go, after which it would also abort and halt, but the simulating HHH 
failed to reach this end.