The story
Named after American mathematician Alonzo Church and British mathematician Alan Turing.
Etymology from Wiktionary, CC BY-SA 4.0.
Today it means: A hypothesis about the nature of computable functions, stating that a function on the natural numbers can be calculated by an effective method if and only if it is computable by a Turing machine. Full definition →
Named after American mathematician Alonzo Church and British mathematician Alan Turing.
Etymology from Wiktionary, CC BY-SA 4.0.