Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory,sci.logic
Subject: Re: Proof that H(D,D) meets its abort criteria --self-evident truth--
Date: Wed, 20 Mar 2024 12:06:35 +0100
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <utefvs$1f01r$1@dont-email.me>
References: <ut1sgk$2buev$2@dont-email.me> <ut5um7$23hsc$25@i2pn2.org>
 <ut6q6q$3hh79$3@dont-email.me> <ut79og$3knkh$6@dont-email.me>
 <ut7u85$3peut$3@dont-email.me> <ut899e$27bqa$4@i2pn2.org>
 <ut8bji$3vipc$3@dont-email.me> <ut8cju$27bqa$8@i2pn2.org>
 <ut8e9k$8nr$1@dont-email.me> <ut8gic$27bqb$9@i2pn2.org>
 <ut8go9$l2l$2@dont-email.me> <ut8ide$27bqb$10@i2pn2.org>
 <ut8j23$t3b$3@dont-email.me> <ut8lhu$27bqa$10@i2pn2.org>
 <ut9k08$7i77$1@dont-email.me> <ut9li5$7pdg$1@dont-email.me>
 <ut9ufd$9qc8$2@dont-email.me> <uta5j7$b8d6$1@dont-email.me>
 <uta7n9$c11s$1@dont-email.me> <uta88f$c3ln$1@dont-email.me>
 <uta8rr$c91o$1@dont-email.me> <utaam1$ckrm$1@dont-email.me>
 <utab3j$cn6l$2@dont-email.me> <utac8g$csl0$1@dont-email.me>
 <utacqt$d328$1@dont-email.me> <utau6c$2b09e$10@i2pn2.org>
 <utb28m$ksn2$1@dont-email.me> <utb40e$2be23$1@i2pn2.org>
 <utb4pf$lati$1@dont-email.me> <utciqf$uvmo$1@dont-email.me>
 <utcklk$v0lj$7@dont-email.me> <utcllv$vjgt$6@dont-email.me>
 <utcn05$vrkj$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 20 Mar 2024 11:06:36 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="6ebb05eb1912a1b6a5c42df0221600a5";
	logging-data="1540155"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19R/Sa8gGPt8xszX8I3Wsbs"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:vTwC5kUZ7XhkOoV0DjFAaqnNPx4=
In-Reply-To: <utcn05$vrkj$1@dont-email.me>
Content-Language: en-GB
Bytes: 3440

Op 19.mrt.2024 om 19:53 schreef olcott:
> On 3/19/2024 1:31 PM, immibis wrote:
>> On 19/03/24 19:14, olcott wrote:
>>> On 3/19/2024 12:42 PM, immibis wrote:
>>>> On 19/03/24 05:37, olcott wrote:
>>>>> You are just getting nutty now. You are tossing out the sequence, 
>>>>> selection, iteration model of computation.
>>>>
>>>> aren't you tossing out the turing machine model of computation?
>>>>
>>>
>>> I am only tossing out the halting problem specification.
>>> I am not saying (like Richard is saying) that sequential
>>> code can be executed out-of-sequence.
>>>
>>
>> in other words you accept the halting problem is unsolvable and want 
>> to work on a different problem instead.
> 
> Incorrect questions are questions defined to have no correct
> answer.

Repeating irrelevant remarks does not change the situation.
Each program either halts or does not halt. So, the question "Does the 
program specified in the input halt?" has a correct yes or no answer for 
each program, independent of who you ask.
Olcott has never given any evidence that a program may exists which has 
a third possibility. So, he never gave any evidence that it is an 
incorrect question.
He only tries to replace the question into a different irrelevant 
question. For the new question he gave evidence that it is an incorrect 
question. It is not clear to me why he wants to change the correct 
question into an incorrect question.