Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: How the requirements that Professor Sipser agreed to are exactly met
Date: Tue, 13 May 2025 10:41:21 +0300
Organization: -
Lines: 39
Message-ID: <vvut31$1mfgr$1@dont-email.me>
References: <vvte01$14pca$29@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 13 May 2025 09:41:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="750596557f20df3e002f3b81eee75bcc";
	logging-data="1785371"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+YXuZd7R3sW/9XJ33ckDvi"
User-Agent: Unison/2.2
Cancel-Lock: sha1:ITpcc+XDgR6LWrARsamHht5WLOg=
Bytes: 2098

On 2025-05-12 18:17:37 +0000, olcott said:

> Introduction to the Theory of Computation 3rd Edition
> by Michael Sipser (Author)
> 4.4 out of 5 stars    568 rating
> 
> https://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X 
> 
> 
> int DD()
>   {
>    int Halt_Status = HHH(DD);
>    if (Halt_Status)
>      HERE: goto HERE;
>    return Halt_Status;
>   }
> 
> DD correctly simulated by any pure simulator
> named HHH cannot possibly terminate thus proving
> that this criteria has been met:
> 
> <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

This specifies two requirements:
1. H correctly simulates that part of the behaviour of D that starts
from the start of the execution and does not end before the second
requirement is satisfied.
2. H correctly determines that unsimulated part of the behaviour is
infinitely long.

The second reuirement is not satisfied when HHH analyses the above
DD.

-- 
Mikko