Access to the full content is only available to members of institutions that have purchased access. If you belong to such an institution, please log in or find out more about how to order.



Church, Alonzo (1903–95)

DOI: 10.4324/9780415249126-Y083-1
Version: v1,  Published online: 1998
Retrieved May 24, 2024, from

Article Summary

Alonzo Church was one of the twentieth century’s leading logicians. His work covers an extensive range of topics in logic and in other areas of mathematics. His most influential work relates to three areas: the general properties of functions, as presented in his ‘calculus of lambda conversion’; the theory of computability and the decision problem, to which he made fundamental contributions, known as Church’s thesis and Church’s theorem; and intensional logic, developing Frege’s theory of sense and denotation. In the last four decades of his life Church continued working mostly in this last area.

Citing this article:
Dolnik, Peter. Church, Alonzo (1903–95), 1998, doi:10.4324/9780415249126-Y083-1. Routledge Encyclopedia of Philosophy, Taylor and Francis,
Copyright © 1998-2024 Routledge.

Related Searches


Related Articles