History of the Church–Turing thesis

The Church-Turing Thesis is a fundamental concept in computer science and mathematical logic, describing the nature of computable functions and the limits of what can be computed. The thesis arises from the independent work of two logicians: Alonzo Church and Alan Turing in the 1930s. ### Background - **Alonzo Church**: In 1936, Church introduced the concept of lambda calculus as a formal system to investigate functions and computation.