Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic,comp.theory
Subject: Re: DDD correctly emulated by HHH is correctly rejected as
 non-halting.
Date: Thu, 11 Jul 2024 22:08:20 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <5caa35be16d04aa3fcac5cab0003ff40c679a61f@i2pn2.org>
References: <v6m7si$1uq86$2@dont-email.me> <v6mhc7$20hbo$2@dont-email.me>
 <v6mito$bbr$1@news.muc.de> <v6mjlg$20sio$2@dont-email.me>
 <v6mlfj$bbr$2@news.muc.de> <v6ms4h$22g4i$1@dont-email.me>
 <v6msbe$22g4i$2@dont-email.me> <v6o1ds$2bop2$2@dont-email.me>
 <v6olb8$2ffo8$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 12 Jul 2024 02:08:20 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2973854"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v6olb8$2ffo8$1@dont-email.me>
Bytes: 4781
Lines: 94

On 7/11/24 9:05 AM, olcott wrote:
> On 7/11/2024 2:25 AM, Fred. Zwarts wrote:
>> Op 10.jul.2024 om 22:53 schreef olcott:
>>> On 7/10/2024 3:49 PM, olcott wrote:
>>>> On 7/10/2024 1:55 PM, Alan Mackenzie wrote:
>>>>> Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:
>>>>>> Op 10.jul.2024 om 20:12 schreef Alan Mackenzie:
>>>>>>> [ 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?
>>>>>
>>>>>>> [ .... ]
>>>>>
>>>>>
>>>>>> A non-halting program cannot be simulated correctly in a finite time.
>>>>>> So, it depends whether we can call it a correct simulation, when 
>>>>>> it does
>>>>>> not abort. But, for some meaning of 'correct', indeed, a simulator
>>>>>> should not abort a non-halting program either.
>>>>>
>>>>> OK, thanks!
>>>>>
>>>>
>>>> In other words he is saying that when you do
>>>> 1 step correctly you did 0 steps correctly.
>>>>
>>>
>>> In other words he is using deceitful weasel wording to
>>> try to escape a truism.
>>
>> Why are you twisting my words? Is English such a difficult language 
>> for you?
>>
>>>
>>> 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.
>>
>> And since HHH is a program that halts, this 
> 
> DDD emulated by pure function x86 emulator HHH can't
> possibly ever reach is own emulated machine address at
> 00002174 according to the correct semantics of the x86
> language.

You are again LYIHG by using imprecise language.

The emulation of DDD by HHH doesn't reach that point.

The behavior of DDD, (which happens to be the DDD that HHH emulates) 
does reach that point, just after HHH stops its emulation.

You confuse the Observation by HHH for the reality of the behavior of 
the program, because you don't understand what Truth actually is, so you 
can't actually understand logic.

> 
>> proves that the simulation was aborted halfway, which makes it incorrect.
>> Showing that the set of HHH that can correctly simulate itself is empty.
>> When a correct simulation needs N steps and you abort it halfway after 
>> M steps, with M much smaller than N, then the simulation of N steps is 
>> correct, but the simulation as a whole is incorrect, because the 
>> semantics of the x86 languages specifies that N steps must me simulated.
>>
>>>
>>> _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]
>>>
>>> On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
>>>  > But H determines (correctly) that D would not halt
>>>  > if it were not halted.  That much is a truism.
>>>
>>>
>>
>