Re: Rebutting the Sipser Halting Problem Proof

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.