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
Properties (64)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
academic paper
|
| gptkbp:addresses |
mathematical logic
|
| gptkbp:analyzes |
formal systems
computational problems |
| gptkbp:author |
gptkb:Alan_Turing
|
| gptkbp:citedBy |
many subsequent works in logic and computer science
|
| gptkbp:contains |
proof of undecidability
|
| gptkbp:contributedTo |
theoretical computer science
|
| gptkbp:discusses |
gptkb:Church-Turing_thesis
limits of computability |
| gptkbp:established |
Turing completeness
|
| gptkbp:explores |
relationship between computation and logic
|
| gptkbp:field |
mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
On Computable Numbers, with an Application to the Entscheidungsproblem
|
| gptkbp:impact |
foundational work in computer science
|
| gptkbp:influenced |
development of algorithms
|
| gptkbp:influencedBy |
gptkb:Hilbert's_Entscheidungsproblem
|
| gptkbp:inspiration |
future research in computer science
|
| gptkbp:introduced |
Turing machine
|
| gptkbp:isActiveIn |
academic journals
computational theory discussions |
| gptkbp:isAttendedBy |
scholars in logic
|
| gptkbp:isAvailableIn |
public domain
|
| gptkbp:isCitedBy |
research in artificial intelligence
Turing Award papers philosophical works on computation |
| gptkbp:isCitedIn |
computational complexity theory
academic theses logic textbooks |
| gptkbp:isConsidered |
seminal work
cornerstone of theoretical computer science |
| gptkbp:isDiscussedIn |
philosophy of mathematics
computer science conferences mathematical seminars academic symposiums |
| gptkbp:isExaminedBy |
philosophical discussions
|
| gptkbp:isInfluencedBy |
artificial intelligence
theoretical physics software engineering |
| gptkbp:isPartOf |
Turing's work on computability
Turing's legacy Turing's intellectual contributions Turing's contributions to logic Turing's contributions to mathematics Turing's_research_portfolio |
| gptkbp:isReferencedBy |
research papers
computer science literature |
| gptkbp:isReferencedIn |
computer science textbooks
discussions on machine learning historical analyses of computer science |
| gptkbp:isRelatedTo |
mathematical foundations of computer science
|
| gptkbp:isUsedFor |
teaching computability theory
|
| gptkbp:isUsedIn |
computer science curricula
algorithm design courses |
| gptkbp:keyIssues |
theoretical foundations of programming languages
understanding computation understanding algorithmic processes |
| gptkbp:language |
English
|
| gptkbp:majorCities |
computability theory
|
| gptkbp:provides |
framework for understanding algorithms
|
| gptkbp:publishedBy |
gptkb:Cambridge_University_Press
|
| gptkbp:publishedIn |
gptkb:Proceedings_of_the_London_Mathematical_Society
|
| gptkbp:relatedTo |
gptkb:Entscheidungsproblem
|
| gptkbp:yearEstablished |
1936
|