On Computable Numbers, with an Application to the Entscheidungsproblem
URI: https://gptkb.org/entity/On_Computable_Numbers%2C_with_an_Application_to_the_Entscheidungsproblem
GPTKB entity
Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:academic_journals
|
| gptkbp:abstract |
Introduces the concept of computable numbers and Turing machines.
|
| gptkbp:author |
gptkb:Alan_Turing
|
| gptkbp:available_at |
online academic databases.
various academic libraries. |
| gptkbp:concept |
gptkb:Artificial_Intelligence
gptkb:Church-Turing_thesis decidability recursive functions |
| gptkbp:concluded_on |
Not all problems are computable.
|
| gptkbp:contribution |
concept of Turing machines
|
| gptkbp:discusses |
the nature of mathematical proof.
the concept of a universal machine. the implications for computer science. the implications for mathematics. the limits of algorithmic computation. |
| gptkbp:field |
gptkb:computer_science
gptkb:Mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
On Computable Numbers, with an Application to the Entscheidungsproblem
|
| gptkbp:impact |
foundational work in the theory of computation
|
| gptkbp:influenced |
gptkb:Artificial_Intelligence
gptkb:philosophy_of_mind mathematical logic modern computer science |
| gptkbp:influenced_by |
Hilbert's problems
|
| gptkbp:is_cited_in |
numerous academic papers.
discussions on the philosophy of mathematics. many subsequent works in theoretical computer science research on algorithms. textbooks on computability. works on theoretical computer science. |
| gptkbp:language |
English
|
| gptkbp:part_of |
the history of mathematics.
the development of algorithms. the history of computer science. the study of logic. the exploration of artificial intelligence. theoretical foundations of AI. theoretical foundations of computation. theoretical foundations of computer science. theoretical foundations of logic. theoretical foundations of mathematics. |
| gptkbp:published_in |
gptkb:Proceedings_of_the_London_Mathematical_Society
|
| gptkbp:published_year |
1936
|
| gptkbp:related_to |
gptkb:Entscheidungsproblem
|
| gptkbp:research |
mathematical logic
|
| gptkbp:significance |
addresses the limits of computability.
|
| gptkbp:theory |
Turing completeness
|
| gptkbp:topics |
computability theory
|
| gptkbp:type |
theoretical paper
|
| gptkbp:bfsParent |
gptkb:Alan_Turing
|
| gptkbp:bfsLayer |
3
|