On Computable Numbers, with an Application to the Entscheidungsproblem
URI: https://gptkb.org/entity/On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem
GPTKB entity
Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:author |
gptkb:Alan_Turing
|
| gptkbp:citation |
gptkb:Church–Turing_thesis
computability theory |
| gptkbp:countryOfPublication |
gptkb:United_Kingdom
|
| gptkbp:describes |
Technical Machine
|
| gptkbp:doi |
10.1112/plms/s2-42.1.230
|
| https://www.w3.org/2000/01/rdf-schema#label |
On Computable Numbers, with an Application to the Entscheidungsproblem
|
| gptkbp:influenced |
gptkb:artificial_intelligence
computer science theory of computation |
| gptkbp:language |
English
|
| gptkbp:provenBy |
undecidability of the Entscheidungsproblem
|
| gptkbp:publicationYear |
1936
|
| gptkbp:publishedIn |
gptkb:Proceedings_of_the_London_Mathematical_Society
|
| gptkbp:topic |
gptkb:Entscheidungsproblem
Technical Machine computability theory halting problem |
| gptkbp:bfsParent |
gptkb:Alan_Turing
|
| gptkbp:bfsLayer |
3
|