Halting problem

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf theoretical computer science
undecidable problem
gptkbp:appliesTo Turing machines
gptkbp:complexity RE-complete
gptkbp:consequence limits of computation
gptkbp:describedBy gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem
gptkbp:field computer science
gptkbp:hasApplication theoretical computer science
formal verification
program analysis
https://www.w3.org/2000/01/rdf-schema#label Halting problem
gptkbp:implies there is no general algorithm to solve all instances
gptkbp:introduced gptkb:Alan_Turing
gptkbp:introducedIn 1936
gptkbp:isUndecidable true
gptkbp:relatedTo gptkb:Gödel's_incompleteness_theorems
gptkb:Rice's_theorem
computability theory
gptkbp:solvedBy no general solution exists
gptkbp:symbol gptkb:HALT
gptkbp:bfsParent gptkb:Rice's_theorem
gptkbp:bfsLayer 5