Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
gptkb: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 |
gptkb:theoretical_computer_science
formal verification program analysis |
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Halting problem
|