How to Compute Halting
Logic in Computer Science
2016-06-29 v1
Authors:
Eric C. R. Hehner
Abstract
A consistently specified halting function may be computed.
Cite
@article{arxiv.1606.08699,
title = {How to Compute Halting},
author = {Eric C. R. Hehner},
journal= {arXiv preprint arXiv:1606.08699},
year = {2016}
}
Comments
5 pages
Related papers
View all related →
Information Theory · Computer Science
Most Programs Stop Quickly or Never Halt
Cristian S. Calude, Michael A. Stay
2007-07-13
High Energy Physics - Lattice · Physics
Lattice computation of structure functions
M. Goeckeler, R. Horsley, E. -M. Ilgenfritz, H. Perlt +3
2008-11-26
Quantum Physics · Physics
Irreversibility in the Halting Problem of Quantum Computer
A. E. Shalyt-Margolin, V. I. Strazhev, A. Ya. Tregubovich
2015-06-26
Logic in Computer Science · Computer Science
Equivalence of Halting Problem to Convergence of Power Series
Antonio Joaquim Fernandes
2025-09-23
Combinatorics · Mathematics
A conjecture in the problem of rational definite summation
Mark van Hoeij
2007-05-23
Number Theory · Mathematics
An arithmetic function of two variables
P. A. Gustomesov
2007-05-23
Number Theory · Mathematics
The functional equation for $\zeta$
Keith Ball
2022-01-19
Mathematical Physics · Physics
An approach to constructing super oscillatory functions
Masud Mansuripur, Per K. Jakobsen
2019-07-02
Number Theory · Mathematics
On Explicit Formula for Restricted Partition Function
Boris Y. Rubinstein
2007-05-23
Logic in Computer Science · Computer Science
On the computational complexity of cut-reduction
Klaus Aehlig, Arnold Beckmann
2007-12-11
History and Overview · Mathematics
Mocposite functions
Harold P. Boas
2016-01-21
Algebraic Topology · Mathematics
The cohomology of certain groups
Ian J Leary
2007-12-03
Signal Processing · Electrical Eng. & Systems
Steady-state input calculation for achieving a desired steady-state output of a linear systems
Raffaele Romagnoli, Emanuele Garone
2018-05-01
Logic in Computer Science · Computer Science
A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi
Andrew Gacek, Gopalan Nadathur
2007-05-23
Logic · Mathematics
The halting problem is decidable on a set of asymptotic probability one
Joel David Hamkins, Alexei Miasnikov
2007-05-23
Complex Variables · Mathematics
Construction of analytic functions, which determine bounded Toeplitz operators
Peyo Stoilov
2009-07-01
Group Theory · Mathematics
Stallings automata
Jordi Delgado, Enric Ventura
2024-09-16
Quantum Physics · Physics
Coins, Quantum Measurements, and Turing's Barrier
Cristian S. Calude, Boris Pavlov
2007-05-23
Combinatorics · Mathematics
Sequential choice functions and stability problems
Vladimir I. Danilov
2024-03-26
Probability · Mathematics
Stochastic Calculus via Stopping Derivatives
Alex Simpson
2026-02-06
Logic in Computer Science · Computer Science
Real Hypercomputation and Continuity
Martin Ziegler
2010-05-10
Logic in Computer Science · Computer Science
Decidability of Existence and Construction of a Complement of a given Function
Ka. Shrinivaasan
2014-07-31
General Mathematics · Mathematics
The system of integer functions, an efficient version of discrete mathematical analysis
Jozsef Peredy
2017-10-03
Logic in Computer Science · Computer Science
Autosolvability of halting problem instances for instruction sequences
J. A. Bergstra, C. A. Middelburg
2010-10-19
Classical Analysis and ODEs · Mathematics
Estimates of some integrals related to variations of smooth functions
Anatoly Neishtadt
2014-06-24