Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:book
|
| gptkbp:author |
gptkb:Alan_Turing
|
| gptkbp:contains |
Turing's thesis
|
| gptkbp:depicts |
computational limits
|
| gptkbp:discusses |
gptkb:Church-Turing_thesis
limits of computation |
| gptkbp:examines |
theoretical computer science research
|
| gptkbp:explores |
decidability
|
| gptkbp:field |
gptkb:Mathematician
|
| https://www.w3.org/2000/01/rdf-schema#label |
On Computable Numbers
|
| gptkbp:influenced |
theory of computation
|
| gptkbp:influenced_by |
gptkb:Hilbert's_Entscheidungsproblem
|
| gptkbp:is_analyzed_in |
computability theory
|
| gptkbp:is_associated_with |
mathematical logic
|
| gptkbp:is_available_in |
public domain
|
| gptkbp:is_cited_in |
numerous academic papers
Turing Award papers Turing machine literature many computer science papers |
| gptkbp:is_considered_as |
a foundational text
seminal work a classic in theoretical computer science a key text in logic |
| gptkbp:is_discussed_in |
gptkb:philosophy_of_mind
computational complexity theory computer science conferences |
| gptkbp:is_influential_in |
gptkb:Artificial_Intelligence
software engineering |
| gptkbp:is_noted_for |
its rigorous approach
|
| gptkbp:is_part_of |
Turing's work on computability
Turing's legacy the development of algorithms the history of computer science |
| gptkbp:is_referenced_in |
AI research papers
computer science textbooks computer science curricula philosophical discussions on mind and machine |
| gptkbp:is_related_to |
formal languages
|
| gptkbp:is_used_in |
graduate studies
computational theory courses |
| gptkbp:language |
English
|
| gptkbp:notable_for |
defining computable functions
its impact on computer science |
| gptkbp:published_by |
gptkb:Proceedings_of_the_London_Mathematical_Society
1936 |
| gptkbp:related_concept |
gptkb:computer
|
| gptkbp:related_to |
algorithm theory
|
| gptkbp:significance |
foundational work in computer science
|
| gptkbp:subject |
computability
|
| gptkbp:translated_into |
multiple languages
|
| gptkbp:bfsParent |
gptkb:Alan_Turing
|
| gptkbp:bfsLayer |
3
|