Liste des Groupes | Revenir à theory |
On 05/05/2025 20:38, olcott wrote:*EVERYONE IGNORES THIS*On 5/5/2025 2:23 PM, Richard Heathfield wrote:20:45GMT, give or take.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 propositionNo, it's computable and therefore decidable. Your computer is perfectly capable of displaying its interpretation of the time.
having a truth value.
Is this sentence true or false: "This sentence is untrue."But we know that it halts at the full stop.
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?You have, I see, learned that not all yes/no questions are decidable. Well done! You're coming along nicely.
Both Yes and No are the wrong answer proving thatThe question is grammatically and syntactically unremarkable. I see no grounds for claiming that it's 'incorrect'. It's just undecidable.
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.
You appear to be trying to overturn the Halting Problem by claiming that Turing somehow cheated. You're entitled to hold that opinion, but it's not one that will gain any traction with peer reviewers when you try to publish.
Les messages affichés proviennent d'usenet.