Sujet : Re: Refutation of Turing’s 1936 Halting Problem Proof Based on Self-Referential Conflation as a Category (Type) Error
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logicDate : 23. Apr 2025, 09:52:34
Autres entêtes
Organisation : -
Message-ID : <vua9oi$2lub6$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-04-21 23:52:15 +0000, olcott said:
Computer Science Professor Eric Hehner PhD
and I all seem to agree that the same view
that Flibble has is the correct view.
Others can see that their justification is defective and contradicted
by a good proof.
Some people claim that the unsolvability of the halting problem is
unproven but nobody has solved the problem.
-- Mikko
…