Computability

https://en.wikipedia.org/wiki/Computability

Definitions of Computability

Church's Hypothesis on Computable Turing Machines Lambda Calculus Post Formal Systems Partial Recursive Functions Unrestricted Grammars Formal Languages Functions The Halting Problem Decision Problems Godel Incompleteness Theorem Unsolvable Undecidable Other Links