Turing's 1936 paper 'On Computable Numbers'
GPTKB entity
Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:author |
gptkb:Alan_Turing
|
| gptkbp:citation |
gptkb:Alonzo_Church
|
| gptkbp:countryOfOrigin |
gptkb:United_Kingdom
|
| gptkbp:fullTitle |
gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem
|
| gptkbp:impact |
foundational work in computer science
influenced theory of computation |
| gptkbp:introduced |
gptkb:Technical_Machine
computable number |
| gptkbp:language |
English
|
| gptkbp:plotSummary |
Entscheidungsproblem is unsolvable
|
| gptkbp:publicationYear |
1936
|
| gptkbp:publishedIn |
gptkb:Proceedings_of_the_London_Mathematical_Society
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:Church-Turing_thesis |
| gptkbp:topic |
gptkb:Entscheidungsproblem
gptkb:Technical_Machine computability |
| gptkbp:bfsParent |
gptkb:multi-tape_Turing_machine
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Turing's 1936 paper 'On Computable Numbers'
|