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

[ 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.
That's got nothing to do with what the two professors have written (which
may or may not 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

--
Alan Mackenzie (Nuremberg, Germany).