Turing's proof of the undecidability of the halting problem
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematics
|
| gptkbp:author |
gptkb:Alan_Turing
|
| gptkbp:field |
computability theory
|
| gptkbp:hasConcept |
Technical Machine
halting problem |
| https://www.w3.org/2000/01/rdf-schema#label |
Turing's proof of the undecidability of the halting problem
|
| gptkbp:influenced |
gptkb:logic
computer science theory of computation |
| gptkbp:method |
gptkb:reductio_ad_absurdum
|
| gptkbp:provenBy |
halting problem is undecidable
|
| gptkbp:publicationYear |
1936
|
| gptkbp:publishedIn |
gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem
|
| gptkbp:bfsParent |
gptkb:Turing's_undecidability_theorem
|
| gptkbp:bfsLayer |
7
|