Liste des Groupes | Revenir à s logic |
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
Les messages affichés proviennent d'usenet.