Alonzo Church

American mathematician and logician.

Key Aspects:

• Developed lambda calculus.
• Contributed to computability theory.
• Influenced philosophy of mathematics.

Related Concepts & Works:

• Logic (parent branch)
• Computation (related concept)
• Lambda Calculus (related topic)
• Logicism (related movement)

Record

Lived: 1903–1995

Tradition: American

Wikidata: Q92741 — dates from this record, not from this page