Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: DDD correctly emulated by HHH is correctly rejected as
 non-halting.
Date: Wed, 10 Jul 2024 13:54:05 -0500
Organization: A noiseless patient Spider
Lines: 49
Message-ID: <v6mlce$21avi$1@dont-email.me>
References: <v6m7si$1uq86$2@dont-email.me> <v6mhc7$20hbo$2@dont-email.me>
 <v6mito$bbr$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 10 Jul 2024 20:54:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1ca7ba779153ded89a6e04f3275941c5";
	logging-data="2141170"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19PgpYu9EeQ147ExW9q5amZ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:MLpp7Inj0kfZAcSV1aPRwCnFbkg=
In-Reply-To: <v6mito$bbr$1@news.muc.de>
Content-Language: en-US
Bytes: 2749

On 7/10/2024 1:12 PM, Alan Mackenzie wrote:
> [ Followup-To: set ]
> 
> In comp.theory Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:
> 
> [ .... ]
> 
>> Proving that the simulation is incorrect. Because a correct simulation
>> would not abort a halting program halfway its simulation.
> 
> Just for clarity, a correct simulation wouldn't abort a non-halting
> program either, would it?  Or have I misunderstood this correctness?
> 
> [ .... ]
> 

 >

Welcome back.
I stipulate that I am referring to 1 to ∞ steps of correct
emulation according to the semantics of the x86 language.

This means that when HHH does correctly emulate 1 step
that *it is a correct emulation* of this 1 step, thus
making everyone that disagrees disagree with a tautology
making them look foolish.

We stipulate that the only measure of a correct emulation
is the semantics of the x86 programming language. By this
measure when 1 to ∞ steps of DDD are correctly emulated
by each pure function x86 emulator HHH (of the infinite
set of every HHH that can possibly exist) then DDD cannot
possibly reach past its own machine address of 0000216b
and halt.

_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]

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