Sujet : Re: Halting Problem: What Constitutes Pathological Input
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 05. May 2025, 20:38:23
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vvb43f$15u5b$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
On 5/5/2025 2:23 PM, Richard Heathfield wrote:
On 05/05/2025 20:20, olcott wrote:
Is "halts" the correct answer for H to return? NO
Is "does not halt" the correct answer for H to return? NO
Both Boolean return values are the wrong answer
Or to put it another way, the answer is undecidable, QED.
See? You got there in the end.
Is this sentence true or false: "What time is it?"
is also "undecidable" because it is not a proposition
having a truth value.
Is this sentence true or false: "This sentence is untrue."
is also "undecidable" because it is not a semantically sound
proposition having a truth value.
Can Carol correctly answer “no” to this (yes/no) question?
Both Yes and No are the wrong answer proving that
the question is incorrect when the context of who
is asked is understood to be a linguistically required
aspect of the full meaning of the question.
Computer Science Professor Eric Hehner PhD paper:
https://www.cs.toronto.edu/~hehner/OSS.pdfCredit goes to Richard Damon for finding
the loophole in the original question.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer