Sujet : Re: Halting Problem: What Constitutes Pathological Input
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 06. May 2025, 06:51:43
Autres entêtes
Organisation : Fix this later
Message-ID : <vvc81f$29pp8$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 06/05/2025 00:30, olcott wrote:
There are different ways of framing the problem.
The only one that matters is that HHH(DD) does
correctly determine that DD never halts.
That may be the only one that matters to you. The one that matters to computer scientists, though, is the one that shows why some questions are undecidable.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within