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: DD correctly simulated by HH --- never stops running without aborting
 its simulation
Date: Thu, 6 Jun 2024 13:35:15 -0500
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <v3svh3$1k5vr$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 06 Jun 2024 20:35:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4cb2a3366a4bdb85a28904f6e3988fec";
	logging-data="1710075"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19RsN3ZL3Uot12tl7fei/qI"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:O1WUXhnm6kTVVyMmf6XwgLOlReE=
Content-Language: en-US
Bytes: 1829

<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 words10/13/2022>

*Try to show how this DD correctly simulated by any HH ever*
*stops running without having its simulation aborted by HH*

_DD()
[00001e12] 55         push ebp
[00001e13] 8bec       mov  ebp,esp
[00001e15] 51         push ecx
[00001e16] 8b4508     mov  eax,[ebp+08]
[00001e19] 50         push eax      ; push DD
[00001e1a] 8b4d08     mov  ecx,[ebp+08]
[00001e1d] 51         push ecx      ; push DD
[00001e1e] e85ff5ffff call 00001382 ; call HH