Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: Halting Problem is wrong two different ways --very stupid
Date: Thu, 6 Jun 2024 22:08:23 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v3tq2n$388rj$8@i2pn2.org>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3kjs9$3u7ng$1@dont-email.me> <v3l16f$5d3$4@dont-email.me>
 <v3mj84$bq2d$1@dont-email.me> <v3njiv$gatu$9@dont-email.me>
 <v3og5t$328ec$9@i2pn2.org> <v3oh4q$pi6u$2@dont-email.me>
 <v3ohim$jthg$3@dont-email.me> <v3ohql$pi6u$4@dont-email.me>
 <v3q5pt$q84p$2@dont-email.me> <v3q63u$122u1$1@dont-email.me>
 <v3qb1a$34b9u$14@i2pn2.org> <v3r5ov$1at2m$1@dont-email.me>
 <v3rtbl$1ef5s$1@dont-email.me> <v3se34$1gra7$8@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 7 Jun 2024 02:08:23 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3416947"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v3se34$1gra7$8@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 5585
Lines: 92

On 6/6/24 9:37 AM, olcott wrote:
> On 6/6/2024 3:52 AM, Mikko wrote:
>> On 2024-06-06 02:09:35 +0000, olcott said:
>>
>>> On 6/5/2024 1:33 PM, joes wrote:
>>>> Am Wed, 05 Jun 2024 12:09:18 -0500 schrieb olcott:
>>>>> On 6/5/2024 12:03 PM, John Smith wrote:
>>>>>> On 5/06/24 04:16, olcott wrote:
>>>>>>> On 6/4/2024 9:12 PM, John Smith wrote:
>>>>>>>> On 5/06/24 04:05, olcott wrote:
>>>>>>>>> On 6/4/2024 8:48 PM, Richard Damon wrote:
>>>>> (6) Can Carol correctly answer “no” to this question?
>>>>> Let's ask Carol. If she says “yes”, she's saying that “no” is the
>>>>> correct answer for her, so “yes” is incorrect. If she says “no”, she's
>>>>> saying that she cannot correctly answer “no”, which is her answer. We
>>>>> are assuming for this and all subsequent questions that the only
>>>>> acceptable answers are “yes” and “no”, and in this case, both answers
>>>>> are incorrect. Carol cannot answer the question correctly. Now 
>>>>> let's ask
>>>>> Dave. He says “no”, and he is correct because Carol cannot correctly
>>>>> answer “no”. So (6) is subjective because it is a consistent,
>>>>> satisfiable specification for some agent (anyone other than Carol), 
>>>>> and
>>>>> an inconsistent, unsatisfiable specification for some agent (Carol).
>>>
>>>> But that's like running a different machine. That's not interesting.
>>>> We wanted to see a machine that can answer ALL questions.
>>>
>>> To expect a correct answer to an incorrect question has
>>> always been very stupid.
>>
>> To call a question incorrect just because one stupid machine cannot
>> correctly answer it is stupid.
>>
> 
> Whenever and yes/no question has no correct yes/no answer such
> as What time is it (yes or no)?
> It this sentence true or false "this sentence is not true" ???
> Then the question is incorrect.

But the actual question of the Halting Problem always has a correct yes 
or not answer.

Your problem is you forget that to ask it, you first need to define what 
H does, and thus H's answer has been fixed, so the other answer can be 
correct.

You apparently just don't understand the basics of the theory you have 
been claiming to be an expert in.

> 
> People that are woefully ignorant of context in linguistics
> think that they can get away with simply ignoring how the
> context of who is asked change the meaning of a question.
> When one anchors their views in ignorance they anchor these
> views in error.
> 
> Can Carol correctly answer “no” to this (yes/no) question?
> 
>      ...is a consistent, satisfiable specification for some
>      agent (anyone other than Carol), and an inconsistent,
>      unsatisfiable specification for some agent (Carol). (Hehner:2017)
> 
> If Carol answers “no” to this question she is saying that “no” is the
> wrong answer, if she is correct then “no” is the right answer making her
> necessarily incorrect.
> 
> If Carol answers “yes” to this question she is saying that “no” is the
> correct answer thus making “yes” necessarily the wrong answer.
> 
> Thus both [yes, no] are the wrong answer from Carol, thus “no” is the
> correct answer from anyone else.
> 
> Since the question posed to Carol has no correct answer from Carol and
> the same word-for-word question does have a correct answer from anyone
> else linguistics understands that these are two different questions
> because they have different meanings depending on the linguistic context
> of who is asked.
> 
> A concrete example of how the meaning of the same word-for-word question
> has an entirely different answer depending on who is asked: Are you a
> little girl?
> 
> We can see that Carol's question posed to Carol is self-contradictory
> for Carol because the question contradicts both yes/no answers from
> Carol.
> 
> Upon careful examination we can see that Carol's question posed to Carol
> is isomorphic to input D to decider H where D has been defined to do the
> opposite of whatever Boolean value that H returns.
> 
>