Path: ...!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: Flat out dishonest or totally ignorant? --- Richard seems to be
 willfully ignorant
Date: Tue, 2 Jul 2024 21:03:11 -0500
Organization: A noiseless patient Spider
Lines: 53
Message-ID: <v62bgv$1s632$6@dont-email.me>
References: <v5vkun$1b0k9$1@dont-email.me> <v60dci$1ib5p$1@dont-email.me>
 <v60red$1kr1q$2@dont-email.me> <v61hn7$1oec9$1@dont-email.me>
 <v61ipa$1og2o$2@dont-email.me> <v61jod$1oec9$2@dont-email.me>
 <v61leu$1p1uo$1@dont-email.me>
 <7b6a00827bfcc84e99e19a0d0ae6028ebcdc263c@i2pn2.org>
 <v620vu$1qutj$2@dont-email.me>
 <f6e8f5de9a1e61c7970a92145ce8c1f9087ba431@i2pn2.org>
 <v628ts$1s632$1@dont-email.me>
 <178edf6a7c5329df35a9af6852ecbd41c0948ea1@i2pn2.org>
 <v629mp$1s632$3@dont-email.me>
 <168858894febbaa529d1704ea864bbe15cb8f635@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 03 Jul 2024 04:03:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="29a678b7ecb7074967021c8dcb9f1179";
	logging-data="1972322"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19BPa/s9Qo0RQX2pSwYI74t"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:CW53orfg8pJUTG50t71uDRlB1Ho=
Content-Language: en-US
In-Reply-To: <168858894febbaa529d1704ea864bbe15cb8f635@i2pn2.org>
Bytes: 3453

On 7/2/2024 8:51 PM, Richard Damon wrote:
> On 7/2/24 9:32 PM, olcott wrote:
>> On 7/2/2024 8:25 PM, Richard Damon wrote:
>>> On 7/2/24 9:18 PM, olcott wrote:
>>>
>>>> Professor Sipser probably does understand the x86 language.
>>>> Shared-memory implementation of the Karp-Sipser
>>>> kernelization process
>>>> https://inria.hal.science/hal-03404798/file/hipc2021.pdf
>>>>
>>>>
>>> And the x86 language says the same thing,
>>>
>>> YOU are just a liar, as proved by the fact that you can not give the 
>>> Diagonalization proof you claimed you had.
>>>
>>> Sorry, you are just too stupid to understand.
>>
>> You continue to assume that you can simply disagree
>> with the x86 language. My memory was refreshed that
>> called you stupid would be a sin according to Christ.
>> I really want to do the best I can to repent.
>>
> 
> But I am NOT disagreeing with the x86 language.
> 
> Can you point out what fact of it I am disagreing about it?
> 

You keep trying to get away with saying that the simulation is
incorrect when the semantics of the x86 language conclusively
proves that it is correct.

_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]

DDD is correctly emulated by HHH which calls an emulated HHH(DDD)
to repeat this process until the emulated DDD is aborted.

At no point in this emulation does the call from DDD correctly
emulated by HHH to HHH(DDD) ever return.

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