Turing-Church thesis

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:philosophy
computability theory concept
gptkbp:alsoKnownAs gptkb:Church-Turing_thesis
gptkbp:field gptkb:logic
theoretical computer science
gptkbp:formedBy gptkb:Alan_Turing
gptkb:Alonzo_Church
https://www.w3.org/2000/01/rdf-schema#label Turing-Church thesis
gptkbp:implies undecidability
limits of computation
definition of algorithm
gptkbp:influenced gptkb:artificial_intelligence
gptkb:logic
computability theory
philosophy of mind
gptkbp:notATheorem true
gptkbp:relatedTo gptkb:lambda_calculus
Technical Machine
recursive functions
gptkbp:state Any function that can be effectively calculated by an algorithm can be computed by a Turing machine
gptkbp:yearProposed 1936
gptkbp:bfsParent gptkb:Church-Turing_thesis
gptkbp:bfsLayer 6