Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: Rebutting the Sipser Halting Problem Proof
Date: Mon, 16 Sep 2024 10:09:47 +0200
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <vc8p4a$2nhng$2@dont-email.me>
References: <vc6qlc$275or$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 16 Sep 2024 10:09:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="189e15fcec50cfa3d7cb755b6954aeb8";
	logging-data="2868976"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/EwAtqp4fJmKQFw32RAJCJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:YuKm3YDogglIw/gj5yzaLaKlhhQ=
In-Reply-To: <vc6qlc$275or$1@dont-email.me>
Content-Language: en-GB
Bytes: 1868

Op 15.sep.2024 om 16:23 schreef olcott:
> 
> Rebutting the Sipser Halting Problem Proof
> D(D) correctly reports its own halt status
> 
> https://www.researchgate.net/ 
> publication/364302709_Rebutting_the_Sipser_Halting_Problem_Proof
> 

The simulation invariant is that H fails to reach the relevant part of 
the simulation. It stops the simulation and never sees how the simulated 
H aborts and therefore never reaches the 'pathological' part of D (lines 
7 and 8).
This is due to the bug in H, that decides that there is an infinite 
recursion when it sees only a finite recursion.
Although it is programmed to see the 'special condition' to abort and 
halt the simulation, it does not realise that the simulated H is also 
programmed to see this 'special condition' to abort and halt the simulation.
H cannot possibly simulate itself correctly up to the end.