Church-Turing conjecture

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf conjecture
philosophy of computation concept
gptkbp:alsoKnownAs gptkb:Church-Turing_thesis
gptkbp:category gptkb:logic
gptkbp:formedBy gptkb:Alan_Turing
gptkb:Alonzo_Church
https://www.w3.org/2000/01/rdf-schema#label Church-Turing conjecture
gptkbp:influenced gptkb:artificial_intelligence
philosophy of mind
theoretical computer science
gptkbp:notProven true
gptkbp:relatedTo gptkb:lambda_calculus
Technical Machine
computability theory
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