Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Hypothetical possibilities --- Complete Proof *FAILED*
Date: Fri, 2 Aug 2024 10:41:42 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <a0fb4c6414c2fa5cbcde1eb15172d9be6bb6c7ed@i2pn2.org>
References: <v7gl30$3j9fi$1@dont-email.me> <v7qfu0$1m6vf$1@dont-email.me>
 <v7r040$1onhe$3@dont-email.me> <v7vlbj$2ofet$1@dont-email.me>
 <v80a2u$2rabc$4@dont-email.me> <v825jo$39i9l$1@dont-email.me>
 <v82u9d$3dftr$3@dont-email.me> <v8306v$3c7$1@news.muc.de>
 <v83161$3dftr$11@dont-email.me> <v84udt$3rp4t$1@dont-email.me>
 <v8bc6j$159av$1@dont-email.me>
 <ea673a5b4ed43fbddf938c69bd013b0cf2ca325d@i2pn2.org>
 <v8c6kb$1de3l$1@dont-email.me>
 <9f3112e056ad6eebf35f940c34b802b46addcad4@i2pn2.org>
 <v8cde0$1ecgo$1@dont-email.me> <v8ctgt$1gbu7$4@dont-email.me>
 <v8dkc3$1kii7$3@dont-email.me> <v8e55v$1nrnh$1@dont-email.me>
 <v8e9vu$1oqd7$1@dont-email.me> <v8fftq$22ege$3@dont-email.me>
 <v8fuj5$24rl1$10@dont-email.me> <v8g1j7$24u77$6@dont-email.me>
 <v8g2jl$26d7d$1@dont-email.me> <v8g5oq$26s53$5@dont-email.me>
 <v8g658$276fl$1@dont-email.me>
 <9d2f2d8a1bf9614b9d8ab56bd500a78075b365e4@i2pn2.org>
 <v8gdan$288f9$2@dont-email.me> <v8ibsd$2p9du$1@dont-email.me>
 <v8iffd$2pju7$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 2 Aug 2024 14:41:42 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1215790"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v8iffd$2pju7$3@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 4869
Lines: 69

On 8/2/24 7:21 AM, olcott wrote:
> On 8/2/2024 5:19 AM, Mikko wrote:
>> On 2024-08-01 16:32:23 +0000, olcott said:
>>>
>>> <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>
>>>
>>> I spent two years carefully composing the above before I even
>>> asked professor Sipser to review it.
>>>
>>> DDD is correctly emulated by HHH until HHH sees the same
>>> never ending pattern that anyone else can see.
>>
>> Maybe HHH really sees a never ending pattern but that pattern is not
>> contained in the behaviour specified by DDD and therefore not relevant.
>>
> 
> When DDD correctly emulated by HHH keep repeating
> its first four instructions because it calls HHH(DDD)

But it doesn't do that, as a corrctly emulated DDD will go in to HHH as 
that is part of the program DDD.

And, since thie HHH DOESN'T do such a correct emulation, it doesn't matter.

You need to look at the input you were given, not the input you want it 
to be, and that DDD calls the HHH that aborts and returns and thus this 
DDD will halt.

> this does prove that DDD cannot possibly reach its
> own "ret" instruction and halt, thus DDD correctly
> emulated by HHH <is> non-halting even when it stops
> running.
> 
> _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]
> 
> Begin Local Halt Decider Simulation   Execution Trace Stored at:1138cc
> [00002172][001138bc][001138c0] 55         push ebp      ; housekeeping
> [00002173][001138bc][001138c0] 8bec       mov ebp,esp   ; housekeeping
> [00002175][001138b8][00002172] 6872210000 push 00002172 ; push DDD
> [0000217a][001138b4][0000217f] e853f4ffff call 000015d2 ; call HHH(DDD)
> New slave_stack at:14e2ec


Totally incorrect emulation of the original DDD here. Proving your 
stupidity and deceptiveness.

> [00002172][0015e2e4][0015e2e8] 55         push ebp      ; housekeeping
> [00002173][0015e2e4][0015e2e8] 8bec       mov ebp,esp   ; housekeeping
> [00002175][0015e2e0][00002172] 6872210000 push 00002172 ; push DDD
> [0000217a][0015e2dc][0000217f] e853f4ffff call 000015d2 ; call HHH(DDD)
> Local Halt Decider: Infinite Recursion Detected Simulation Stopped
> 
> 
>