Original halting problem proof review

Liste des GroupesRevenir à c theory 
Sujet : Original halting problem proof review
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theory
Date : 12. May 2024, 20:41:09
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v1r2g5$r5ta$3@i2pn2.org>
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Dear Peter,
I would like you to explain in your own words
why a halt decider is impossible.
Also, what exactly your counterclaim is.

--
joes

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