Re: Rebutting the Sipser Halting Problem Proof

On 2024-09-15 14:23:38 +0000, olcott said:

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 

That article does not prove its claim and therefore does not constiture
a refutation of anything.
The text agreed by Sipser is shown twice: first in the beginnig of
the article and again in the beginnig of the Appendix.
There are two execution traces: one on pare 3, another in the Appendix.
The relation between them is not explained. More generally, the roloe
or the purpose of the Appendix is not clear.
--
Mikko