How to Compute Halting

2016/06/26 by Eric C. R. Hehner, Hehner, Eric C. R.
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO

paper · pdf · doi:10.48550/arxiv.1606.08699

5 pages

arxiv created 2016/06/26 · arxiv updated 2016/06/29

Abstract

A consistently specified halting function may be computed.

Related

• Observations on the Halting Problem
• Equivalence of Halting Problem to Convergence of Power Series
• The Halting Paradox
• A probabilistic anytime algorithm for the halting problem
• Context-Dependent Functions: Narrowing the Realm of Turing's Halting Problem