Re: Original halting problem proof review

Liste des GroupesRevenir à c theory 
Sujet : Re: Original halting problem proof review
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 13. May 2024, 10:16:26
Autres entêtes
Organisation : -
Message-ID : <v1si8q$3bs0l$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-05-12 18:41:09 +0000, joes said:

Dear Peter,
I would like you to explain in your own words
why a halt decider is impossible.
Also, what exactly your counterclaim is.
The original proof is by Turing but it is not about halting. The
proof Olcott used to attack was by Linz adapting Turing's proof
to the halting problem.
--
Mikko

Date Sujet#  Auteur
12 May 24 * Original halting problem proof review2joes
13 May 24 `- Re: Original halting problem proof review1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal