Statements (64)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Model
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:B._P._R._D.
|
| gptkbp:base |
gptkb:computer_science
|
| gptkbp:based_on |
abstract mathematical principles
|
| gptkbp:designed_by |
gptkb:Alan_Turing
|
| gptkbp:explores |
limits of computation
|
| gptkbp:has_programs |
algorithm design
|
| https://www.w3.org/2000/01/rdf-schema#label |
The Universal Machine
|
| gptkbp:influenced_by |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:introduced |
1936
|
| gptkbp:is |
a physical entity
a specific device physical machine |
| gptkbp:is_a |
abstract concept
|
| gptkbp:is_associated_with |
mathematical logic
computational models |
| gptkbp:is_cited_in |
computer science literature
computer science conferences Turing Award papers |
| gptkbp:is_connected_to |
gptkb:language
digital computers |
| gptkbp:is_considered_as |
a foundational concept
a model of computation a theoretical construct a key concept in computation |
| gptkbp:is_described_as |
Turing's thesis
Turing's original paper |
| gptkbp:is_discussed_in |
gptkb:philosophy_of_mind
computer science textbooks |
| gptkbp:is_explored_in |
gptkb:physicist
computational complexity theory theory of computation quantum computing theory algorithmic information theory |
| gptkbp:is_fundamental_to |
information theory
|
| gptkbp:is_influential_in |
gptkb:currency
data science software engineering |
| gptkbp:is_part_of |
theoretical frameworks
computational theory computer science curriculum theoretical computer science discussions |
| gptkbp:is_referenced_in |
academic papers
|
| gptkbp:is_related_to |
gptkb:Artificial_Intelligence
formal languages recursive functions complexity classes finite state machines algorithmic processes |
| gptkbp:is_studied_in |
gptkb:Mathematician
computer engineering |
| gptkbp:is_used_for |
algorithm execution
|
| gptkbp:is_used_in |
theoretical computer science
|
| gptkbp:is_used_to |
analyze algorithms
define computable functions understand computation limits evaluate computational problems model algorithms simulate computation |
| gptkbp:related_to |
gptkb:computer
computability theory |
| gptkbp:supports |
gptkb:Church-Turing_thesis
|
| gptkbp:symbolizes |
mechanical computation
|