On 2024-02-21 14:36:15 +0000, olcott said:
On 2/21/2024 4:27 AM, Mikko wrote:
On 2024-02-20 15:58:59 +0000, olcott said:
Two PhD computer science professors independently (of my work)
affirm my 2004 statement.
*Problems with the Halting Problem* Eric C.R. Hehner (2011)
COMPUTING2011 Symposium on 75 years of Turing Machine and
Lambda-Calculus, Karlsruhe Germany, invited, 2011 October 20-21;
Advances in Computer Science and Engineering v.10 n.1 p.31-60, 2013
https://www.cs.toronto.edu/~hehner/PHP.pdf
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]
Alan Turing's Halting Problem is incorrectly formed (PART-TWO) sci.logic >>> On 6/20/2004 11:31 AM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a solution
was defined to be impossible.
;
(2) The set of questions that are defined to not have any possible
correct answer(s) forms a proper subset of all possible questions.
…
CONCLUSION:
Therefore the Halting Problem is an ill-formed question.
;
USENET Message-ID:
<kZiBc.103407$[email protected]>
Nothing mentioned above is a disparagement of your "work".
I am referring to Ben's recent posts.
No such reference in OP.
--
Mikko
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)