halting problem
Sign in to saveproblem of determining whether a given program will finish running or continue forever
Connections
computability theory
Entity
semantic theory of truth
Entity
mathematical logic
Entity
Turing machine
Entity
Gödel's incompleteness theorems
Entity
Peano axioms
Entity
first-order logic
Entity
formal system
Entity
consistency
Entity
axiomatic system
Entity
Gregory Chaitin
Entity
partial function
Entity
recursive set
Entity
busy beaver
Entity
primitive recursive function
Entity
Chaitin's constant
Entity
semantics of logic
Entity
recursively enumerable set
Entity
structure
Entity
Turing degree
Entity