AnonymousUnknown author / Public domain

Alonzo Church

Lambda calculus and the Church-Turing thesis

• Developed the lambda calculus, a formal system in mathematical logic and computer science.
• Proposed the Church-Turing thesis, a foundational concept in the theory of computation.
• Contributed to the understanding of undecidability in mathematics and logic.

Alonzo Church was an American computer scientist, mathematician, logician, and philosopher. His work on the lambda calculus and the Church-Turing thesis laid the groundwork for theoretical computer science.

Milestones

• 
  The Theoretical Foundations Research

  The Paper That Invented the Computer Before It Existed

  A 24-year-old mathematician imagined a universal machine on paper, laying the theoretical foundation for every computer — and every AI — that would follow.

  1936

← All people