Path: ...!news.misty.com!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
Date: Tue, 4 Jun 2024 22:22:51 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v3oi5r$328ec$12@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 5 Jun 2024 02:22:51 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3219916"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v3ohql$pi6u$4@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2738
Lines: 32

On 6/4/24 10:16 PM, 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:
>>>> But the question it asks is an OBJECTIVE question that doesn't 
>>>> depend on who it is asked of.
>>>>
>>>
>>> When H is asked about the behavior of a Machine that is programmed
>>> to do the opposite of whatever it says then the context that it is H
>>> that is being asked is an inherent aspect of the meaning of this
>>> question and cannot be correctly ignored.
>>
>> Every machine does something. It either halts, or it doesn't. If a 
>> machine halts, then it halts even if you ask someone different. If the 
>> machine halts when I ask Bob whether it halts and he says it halts, 
>> then it still halts when I ask Alice whether it halts and she says it 
>> doesn't halt. Alice is wrong. The linguistic context doesn't change 
>> the fact that it halts.
> 
> Professor Hehner proves my same point with Carol's question.
> https://www.cs.toronto.edu/~hehner/OSS.pdf
> 
> Richard found a loophole that I fixed and told professor Hehner about:
> Can Carol correctly answer “no” to this (yes/no) question?
> 

Which is just a strawman, because willful beings are different than 
deterministic machines.

So, questions about future behavior of willful beings are actually 
considers off limits in many forms of philosophy, because they can 
create such contradictions.