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