Re: Proving my 2004 claim that some decider/input pairs are incorrect questions

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