Sujet : Re: Rebutting the Sipser Halting Problem Proof
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 16. Sep 2024, 10:06:01
Autres entêtes
Organisation : -
Message-ID : <vc8ot9$2o1f3$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
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
…