Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: DD correctly simulated by HH --- never stops running without aborting its simulation
Date: Fri, 7 Jun 2024 08:55:11 +0300
Organization: -
Lines: 33
Message-ID: <v3u7bv$1uu4k$1@dont-email.me>
References: <v3svh3$1k5vr$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 07 Jun 2024 07:55:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6ffc97c8aed538b65f79c8ced6ee8603";
	logging-data="2062484"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/S3c5gIQhKON1b1Ggy18Q6"
User-Agent: Unison/2.2
Cancel-Lock: sha1:tlVRuK+gx+T3m6ooS6ZQZeuBaDc=
Bytes: 2111

On 2024-06-06 18:35:15 +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 words10/13/2022>

Note that the agreement mentioned above does not imply any
agreement or diagreement about the claim on the subject line.

Whether or how anyone responds to the challenge below is also
insignificant.

> *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

-- 
Mikko