Message-ID:

"I got a question for ya. Ya got a minute?" -- two programmers passing in the hall

tech / sci.math / Re: Michael Sipser of MIT validates the notion of a simulating halt decider

Re: Michael Sipser of MIT validates the notion of a simulating halt decider

<tin2jg$qfj$8@gioia.aioe.org>

https://www.novabbs.com/tech/article-flat.php?id=116230&group=sci.math#116230

Path: i2pn2.org!i2pn.org!aioe.org!jq9Zon5wYWPEc6MdU7JpBw.user.46.165.242.75.POSTED!not-for-mail
From: inva...@invalid.com (Sergi o)
Newsgroups: sci.math
Subject: Re: Michael Sipser of MIT validates the notion of a simulating halt
decider
Date: Tue, 18 Oct 2022 15:33:52 -0500
Organization: Aioe.org NNTP Server
Message-ID: <tin2jg$qfj$8@gioia.aioe.org>
References: <ti6l95$1h8qt$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="27123"; posting-host="jq9Zon5wYWPEc6MdU7JpBw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.3.3
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US

by: Sergi o - Tue, 18 Oct 2022 20:33 UTC

On 10/12/2022 10:08 AM, olcott wrote:
> Professor Michael Sipser of MIT said that this verbatim paragraph looks correct:
>
>    If H does correctly determine that its correct simulation
>    of D would never stop running unless aborted, would it be
>    correct for H to abort this simulation and report that D
>    specifies a non-halting sequence of configurations?
>

wrong, try again.

Subject	Author
Re: Michael Sipser of MIT validates the notion of a simulating halt	Sergi o