Path: ...!weretis.net!feeder8.news.weretis.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: Richard seems to continue to blatantly lie -- I hope I am wrong
 about this
Date: Wed, 3 Jul 2024 20:30:02 -0500
Organization: A noiseless patient Spider
Lines: 69
Message-ID: <v64tur$2emil$1@dont-email.me>
References: <v644pn$29t4h$3@dont-email.me>
 <5e6e8072022c865ced4b1a1de23b786bc05c22ce@i2pn2.org>
 <v64qr3$2e7d4$1@dont-email.me>
 <0354c808b6aa23146776ec5ad6eed3b66cab2713@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 04 Jul 2024 03:30:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8ec8ab09a9c087279b96ae2505557d8c";
	logging-data="2579029"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/3WFVjngn07tsMOV4a43AD"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:p9IvybWXCORhXl+qyzNPpaM1l4g=
Content-Language: en-US
In-Reply-To: <0354c808b6aa23146776ec5ad6eed3b66cab2713@i2pn2.org>
Bytes: 3960

On 7/3/2024 8:12 PM, Richard Damon wrote:
> On 7/3/24 8:36 PM, olcott wrote:
>> On 7/3/2024 6:18 PM, Richard Damon wrote:
>>> On 7/3/24 2:20 PM, olcott wrote:
>>>> _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 correctly emulated by any element of the infinite
>>>> set of every pure function HHH cannot possibly reach
>>>> its own ret instruction and halt. That HHH aborts its
>>>> emulation at some point or never aborts its emulation
>>>> cannot possibly change this.
>>>>
>>>
>>> No, you are just showing your ignorance.
>>>
>>> It is IMPOSSIBLE to "Correctly Emulate" this input per the semantics 
>>> of the x86 instruction set as given, as it referncee undefined memory.
>>>
>>
>> I already stipulated that the memory IS DEFINED with an
>> x86 emulator. Also you have seen that I have proven this.
>> https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
>>
> 
> And if you assume that stipulation for the emulation, then you are 
> stipulating that the contents of ALL THE MEMORY is "part of the input".
> 
> Also, by stipulating that it is a x86 emulator, do you mean an actually 
> complete emulator that fully emulates the input,

<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then

     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

Liar. *It is forbidden from fully emulating non-halting inputs*
Liar. *It is forbidden from fully emulating non-halting inputs*
Liar. *It is forbidden from fully emulating non-halting inputs*

     until H correctly determines that its simulated D would never
     stop running unless aborted

     until H correctly determines that its simulated D would never
     stop running unless aborted

     until H correctly determines that its simulated D would never
     stop running unless aborted






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