Statements (60)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:theorem
|
| gptkbp:concept |
computability theory
debated by philosophers analyzed in the context of human cognition discussed in relation to the philosophy of science explored in depth by researchers formalized in various ways integrated into computer science curricula |
| gptkbp:depicts |
the limits of computation
|
| gptkbp:has_historical_significance |
the development of computers
|
| gptkbp:has_implications_for |
algorithmic processes
|
| https://www.w3.org/2000/01/rdf-schema#label |
Church-Turing thesis
|
| gptkbp:is_a_basis_for |
algorithmic randomness
|
| gptkbp:is_a_foundation_for |
gptkb:computer_science
complexity theory artificial intelligence research discrete mathematics |
| gptkbp:is_a_foundational_idea_for_understanding |
computational models
the nature of algorithms the limits of artificial intelligence. |
| gptkbp:is_a_principle_that_has_implications_for |
software engineering
|
| gptkbp:is_a_principle_that_influences |
programming language design
|
| gptkbp:is_a_subject_of |
gptkb:philosophy_of_mind
cognitive science debate in theoretical computer science mathematical philosophy |
| gptkbp:is_a_topic_that_has_been |
analyzed in relation to the nature of intelligence
explored in relation to neural networks |
| gptkbp:is_a_topic_that_intersects_with |
philosophy of language
|
| gptkbp:is_associated_with |
gptkb:Alonzo_Church
gptkb:Alan_Turing effective calculability |
| gptkbp:is_challenged_by |
quantum computing theories
|
| gptkbp:is_cited_in |
discussions of artificial intelligence
|
| gptkbp:is_described_as |
what can be computed
|
| gptkbp:is_influential_in |
gptkb:Software_Development
|
| gptkbp:is_often_described_as |
Turing's thesis
|
| gptkbp:is_often_discussed_in |
non-computable functions
|
| gptkbp:is_often_referenced_in |
discussions of machine learning
|
| gptkbp:is_recommended_by |
limits of computability
|
| gptkbp:is_related_to |
Turing machines
recursive functions |
| gptkbp:is_related_to_the_development_of |
formal languages
|
| gptkbp:is_relevant_to |
information theory
|
| gptkbp:is_studied_in |
computational complexity
|
| gptkbp:key_concept |
theoretical computer science
|
| gptkbp:legal_principle |
mathematical logic
applied in various fields applied in the study of programming paradigms debated in the context of consciousness discussed in relation to digital computers examined in the context of ethics examined in the context of computational linguistics |
| gptkbp:proposed_by |
equivalence of computation models
|
| gptkbp:bfsParent |
gptkb:On_Computable_Numbers
gptkb:Turing_Machine gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem gptkb:The_Turing_Machine gptkb:machinery |
| gptkbp:bfsLayer |
4
|