Church's Thesis

• Formal Systems
• Recursive Function Theory
• Primitive Recursive Functions
• Composition and Recursion
• Composition and Recursion, Revisited
• Examples I
• Examples II
• Ackermann's Function
• Turing's Thesis and Church's Thesis