Complexity Explorer Santa Few Institute

Explore


Church-Turing thesis

The Church-Turing thesis states that any function that is "computable" --- that is, that can be computed by an algorithm --- can be computed by a universal Turing machine (invented by Turing) or, equivalently, by the lambda calculus (invented by Church).


Topics
Computation, Computer Science
Difficulty
1