Alonzo Church was born on June 14, 1903, in Washington, D.C., where his father, Samuel Robbins Church, was a
He … See more

Church is known for the following significant accomplishments:
• His proof that the Entscheidungsproblem, which asks for a decision procedure to determine the truth of arbitrary propositions in a first-or… See more

Church’s elaboration of a methodology involving the logistic method, his philosophical criticisms of nominalism and his defense of realism, his argumentation leading to conclusions about the theory of meaning, a… See more

Over the course of his academic career, Church oversaw 31 doctoral students. Many of them have led distinguished careers in mathematics, computer science, and other academic subjects, including C. Anthony An… See more

• Alonzo Church, Introduction to Mathematical Logic (1944) (ISBN 978-0-691-02906-1)
• Alonzo Church, The Calculi of Lambda-Conversion (1941) (ISBN 978-0-691-08394-0) … See more

• Biography portal
• Philosophy portal
• Church–Turing–Deutsch principle
• Higher-order logic
• List of pioneers in computer science… See more