Sujet : Re: DD simulated by HHH cannot possibly halt (Halting Problem)
De : janis_papanagnou+ng (at) *nospam* hotmail.com (Janis Papanagnou)
Groupes : comp.lang.cDate : 05. Apr 2025, 23:15:44
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vssa2h$3buht$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0
On 05.04.2025 20:27, Richard Heathfield wrote:
You twist and turn like a twisty-turny thing, but every wriggle takes
you further away from The Halting Problem and closer and closer to the
far less interesting Olcott Halting Problem.
Nicely said. :-)
Janis