Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Proving my 2004 claim that some decider/input pairs are incorrect
 questions
Date: Tue, 30 Apr 2024 10:26:42 -0500
Organization: A noiseless patient Spider
Lines: 66
Message-ID: <v0r2ji$2hb7o$2@dont-email.me>
References: <usppqv$b9av$2@dont-email.me> <v0p4qi$204cj$1@dont-email.me>
 <v0p5j8$206i3$1@dont-email.me> <v0qhl8$157k$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 30 Apr 2024 17:26:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e18070faf38e3938218949b4b017f26c";
	logging-data="2665720"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/TxvxvSDxhTDKXcVCRwCnV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Mg71zBGClAqbZeQagZap1G4nufw=
Content-Language: en-US
In-Reply-To: <v0qhl8$157k$1@news.muc.de>
Bytes: 3576

On 4/30/2024 5:37 AM, Alan Mackenzie wrote:
> [ Followup-To: set ]
> 
> In comp.theory olcott <polcott333@gmail.com> wrote:
>> On 4/29/2024 4:52 PM, Barb Knox wrote:
>>> On 13/03/2024 03:45, olcott wrote:
>>>> This is my 2004 work that proposes that the halting problem has
>>>> an unsatisfiable specification thus asks an ill-formed question.
> 
>>> [SNIP]
> 
>>>> "Talent hits a target no one else can hit; Genius
>>>> hits a target no one else can see." Arthur Schopenhauer
> 
>>> "Persistent willful ignorance hits a target that doesn't exist."  B Knox
> 
>>> "But the fact that some geniuses were laughed at does not imply that all
>>> who are laughed at are geniuses.  They laughed at Columbus, they laughed
>>> at Fulton, they laughed at the Wright brothers.  But they also laughed
>>> at Bozo the Clown."  Carl Sagan
> 
> 
>> Baseless rhetoric noted.
> 
> Not at all baseless from anybody who's read (some of) your thousands of
> posts to this newsgroup.
> 
>> E C R Hehner. *Objective and Subjective Specifications*
>> WST Workshop on Termination, Oxford.  2018 July 18.
>> See https://www.cs.toronto.edu/~hehner/OSS.pdf
> 
>> Bill Stoddart. *The Halting Paradox*
>> 20 December 2017
>> https://arxiv.org/abs/1906.05340
>> arXiv:1906.05340 [cs.LO]
> 
>> I see you carefully analyzed the work of these two PhD computer science
>> professors and concluded it was nonsense on the basis of your assumption
>> that it must be nonsense.
> 
> That's a non-sequitur.  What is nonsense is most of what YOU have posted
> here, and this has been pointed out to you time after time after time.

*This was the head of the original post*

This is my 2004 work that proposes that the halting problem has
an unsatisfiable specification thus asks an ill-formed question.
*Two PhD computer science professors agree with this analysis*

E C R Hehner. *Objective and Subjective Specifications*
WST Workshop on Termination, Oxford.  2018 July 18.
See https://www.cs.toronto.edu/~hehner/OSS.pdf

Bill Stoddart. *The Halting Paradox*
20 December 2017
https://arxiv.org/abs/1906.05340
arXiv:1906.05340 [cs.LO]

*So you too assume that their work must be nonsense on*
*the basis of your assumption that it must be nonsense*


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer