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

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.
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.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer