3 citations · 3 across the 6 of their papers we have counts for
Showing 2016 · cs.LOShow all
3 papers · 2 filters
cs.LO2016
Epimenides, Gödel, Turing: an Eternal Gölden Tangle
Eric C. R. Hehner
The Halting Problem is a version of the Liar's Paradox.
cs.LO2016
Observations on the Halting Problem
Eric C. R. Hehner
The Halting Problem is ill-conceived and ill-defined.
cs.LO2016
How to Compute Halting
Eric C. R. Hehner
A consistently specified halting function may be computed.