Path: not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Halting Problem: What Constitutes Pathological Input
Date: Tue, 6 May 2025 09:53:04 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-Id: <953ed41793cdb6c3bf0d7155e9e292ee8ee2aaee@i2pn2.org>
References: <GE4SP.47558$VBab.42930@fx08.ams4> <vvamqc$o6v5$4@dont-email.me> <vvan7q$o4v0$1@dont-email.me> <ts5SP.113145$_Npd.41800@fx01.ams4> <vvat0g$vtiu$1@dont-email.me> <vvatf3$o4v0$3@dont-email.me> <vvaut0$vtiu$4@dont-email.me> <vvav6o$o4v0$4@dont-email.me> <vvb329$15u5b$1@dont-email.me> <vvb37g$1451r$1@dont-email.me> <vvb43f$15u5b$4@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 6 May 2025 09:53:04 -0000 (UTC)
Injection-Info: i2pn2.org; logging-data="3354655"; mail-complaints-to="usenet@i2pn2.org"; posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2416
Lines: 28

Am Mon, 05 May 2025 14:38:23 -0500 schrieb olcott:
> 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.
Wrong, the correct answer is "no", Carol cannot correctly answer no.

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.