Alonzo Church

Born June 14, 1903, Washington, D. C.; mathematical logician, creator of the Lambda Calculus who contributed the Church-Rosser theorem to the study of computer science.

Education: AB, Princeton University, 1924; PhD, mathematics, Princeton University, 1927.

Professional Experience: national research fellow in mathematics, Harvard University, 1927-1928; University of Göttingen and University of Amsterdam, 1929; Princeton University, assistant professor, professor, 1929-1967; UCLA, professor, philosophy and mathematics, 1967-present.

Honors and Awards: DSc, Case Western Reserve University member, 1969; National Academy of Science.


"Our subject is logic--or as we may say more fully, in order to distinguish from certain topics and doctrines which have (unfortunately) been called by the same name, it is formal logic." (Introduction to Formal Logic, 1956)



Kleene, S. C., "Recursive Function Theory," Ann. Hist. Comp., Vol. 3, No. 1, 1981, pp.52-67.

Significant Publications

Church, Alonzo, The Calculi of Lambda-Conversion, Kraus Reprint Corp., New York, 1965, reprint of the 1941 ed. published by Princeton University Press.

Church, Alonzo, Introduction to Mathematical Logic. Princeton University Press, Princeton, 1956.


Alonzo Church died August 11, 1995. Portrait inserted, MRW, 2012.

PDF version

Original content Copyright © 1995 by the Institute of Electrical and Electronics Engineers Inc.
New content Copyright © 2013-2023 by the IEEE Computer Society and the Institute of Electrical and Electronics Engineers Inc.
All rights reserved. This material may not be reproduced or redistributed without the express written permission of the copyright holder.