Mathematical Contributions

Alonzo Church's work is especially connected to lambda calculus, logic, computability, and the Church thesis. A reliable account describes the questions, definitions, proofs, or methods without claiming that one person created an entire field alone.