Professor Eric Hehner's brilliant work

WST Workshop on Termination, Oxford, 2018
Objective and Subjective Specifications
Eric C.R. Hehner
Department of Computer Science, University of Toronto
(6) Can Carol correctly answer “no” to this (yes/no) question?
https://www.cs.toronto.edu/~hehner/OSS.pdf
Is the perfect example of isomorphism to the halting problem's pathological input. The halting problem input D derives a self-contradictory question for H the same way that Carol's question
is self-contradictory for Carol.
Credit to Richard Damon for finding the loophole in the original question.
Professor Eric Hehner PhD put the finishing touches on an
earlier idea in serial collaboration with  Daryl McCullough.
I quoted Daryl's work many many times without attribution
before I finally found this original post:
    You ask someone (we'll call him "Jack") to give a truthful
    yes/no answer to the following question:
    Will Jack's answer to this question be no?
    Jack can't possibly give a correct yes/no answer to the question.
    https://groups.google.com/g/sci.logic/c/4kIXI1kxmsI/m/hRroMoQZx2IJ
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer