Re: Refutation of Turing’s 1936 Halting Problem Proof Based on Self-Referential Conflation as a Category (Type) Error

Liste des GroupesRevenir à s logic 
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.logic
Date : 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

Date Sujet#  Auteur
22 Apr 25 * Re: Refutation of Turing’s 1936 Halting Problem Proof Based on Self-Referential Conflation as a Category (Type) Error9olcott
23 Apr 25 `* Re: Refutation of Turing’s 1936 Halting Problem Proof Based on Self-Referential Conflation as a Category (Type) Error8Mikko
24 Apr 25  `* Re: Refutation of Turing’s 1936 Halting Problem Proof Based on Self-Referential Conflation as a Category (Type) Error7olcott
25 Apr 25   +- Re: Refutation of Turing’s 1936 Halting Problem Proof Based on Self-Referential Conflation as a Category (Type) Error1Richard Damon
25 Apr 25   `* Re: Refutation of Turing’s 1936 Halting Problem Proof Based on Self-Referential Conflation as a Category (Type) Error5Mikko
25 Apr 25    `* Re: Refutation of Turing’s 1936 Halting Problem Proof Based on Self-Referential Conflation as a Category (Type) Error4olcott
26 Apr 25     +- Re: Refutation of Turing’s 1936 Halting Problem Proof Based on Self-Referential Conflation as a Category (Type) Error1Mikko
26 Apr 25     `* Turing Machine computable functions apply finite string transformations to inputs2olcott
27 Apr 25      `- Re: Turing Machine computable functions apply finite string transformations to inputs1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal