Contents and Arrangement Expanded View

Collection Overview

Church, Alonzo, 1903-1995
Alonzo Church Papers
Manuscripts Division
Permanent URL:
85 boxes and 35.1 linear feet
Storage Note:
  • Firestone Library (scamss): Box 1-85


The Alonzo Church Papers consists of the writings, correspondence, notebooks, notes, and subject files of Alonzo Church (1903-1995, Princeton Class of 1924), the renowned mathematical logician who taught at Princeton University from 1929-1967 and the University of California at Los Angeles from 1967 to 1990, and who was editor of the Journal of Symbolic Logic from 1936 to 1979.

Collection Description & Creator Information

Scope and Contents

Consists of the writings, correspondence, notes, and subject files of Alonzo Church. (For a more detailed description of these, see the Series Descriptions below.) Correspondents include Paul Bernays, Rudolf Carnap, Frederic B. Fitch, S. C. Kleene, E. L. Post, W. V. Quine, J. Barkley Rosser, Alfred Tarski, and Alan Turing, in addition to the many contributors to the Journal of Symbolic Logic during the years in which Church was editor.

The following standard abbreviations, or their variations, are used to identify materials in this collection: ALS = autograph letter signed, TLS = typed letter signed, ACS = autograph card signed, TCS = typed card signed, ANS = autograph note signed, TNS = typed note signed, AMsS = autograph manuscript signed, and TMsS = typed manuscript signed.

Collection Creator Biography:

Church, Alonzo, 1903-1995

Alonzo Church was born on June 14, 1903, in Washington, D.C., to Samuel Robbins Church, a justice of the Municipal Court of the District of Columbia, and Mildred Hannah Church (née Parker). His great-grandfather, also named Alonzo Church, was professor of mathematics and, later, president of the college in Athens, Georgia, from 1829 to 1859. Church received his A.B. degree (1924) and Ph.D. degree (1927) from Princeton University under the guidance of Oswald Veblen. Church's doctoral dissertation was published in the January 1927 issue of Transactions of the American Mathematical Society, and titled "Alternatives to Zermelo's Assumption." He went on to study at Harvard University for a year (1927-28) on a National Research Fellowship, followed by a year abroad (1928-29) on an International Research Fellowship at the Universities of Göttingen and Amsterdam (where he visited with L. E. J. Brouwer). Church was appointed Assistant Professor of Mathematics at Princeton in 1929, promoted to Associate Professor in 1939, received tenure in 1947; from 1961 to 1967 he was Professor of Mathematics and Philosophy.

When the Association for Symbolic Logic was founded in 1935, Church became one of its first officers and the first co-editor (with C. H. Langford) of the Journal of Symbolic Logic. The first issue of the journal was published in March 1936, and Church served as editor of reviews for its first 44 volumes (1936-79). As a result of the high standards he set for the reviews section, Church was instrumental in building respect for the field of symbolic logic among mathematicians and philosophers.

During the 1930s, Church made Princeton a leading center of research in mathematical logic, with a focus on questions of the completeness and decidability of logical systems. In 1936 he demonstrated the undecidability of first-order logic ("Church's Theorem"), thus extending the famous result of Kurt Gödel, who was visiting the Institute for Advanced Study at the time. Together with his early students, J. Barkley Rosser, Steven C. Kleene, and Alan M. Turing, Church established the equivalence of the lambda calculus, recursive function theory, and Turing machines as formalizations of the notion of "effective calculability," a result that has come to be known as the "Church-Turing Thesis." In the 1950s and 1960s another generation of Church's students, including Michael Rabin, Hartley Rodgers, and Dana Scott, extended this research to automata, formal languages, and formal semantics, thus shaping the new field of theoretical computer science. Through this work—the lambda calculus—one of Church's earliest creations, gained new life as the basis for functional programming languages and for denotational semantics.

In 1967, Church moved his Journal of Symbolic Logic office's operations from Princeton to Los Angeles and continued his teaching career as Professor of Philosophy and Mathematics at UCLA until his retirement in 1990.

Church's writings range from papers published in numerous academic journals and books, to his 1941 monograph The Calculi of Lambda-Conversion and 1956 textbook An Introduction to Mathematical Logic, and to articles in the Encyclopedia Britannica for which he served as consulting editor on topics of mathematics and philosophy.

Church was elected to the National Academy of Sciences in 1978 and was also a member of the American Academy of Arts and Sciences and British Academy. He received honorary degrees from Case Western Reserve University (1969), Princeton University (1985) and the State University of New York at Buffalo (1990). The following statement was read aloud during the Princeton ceremony:

Over some 40 years of research and teaching, he made Princeton an international center of symbolic logic. In work contributing to what has been termed 'a fundamental discovery of the mathematicizing power of Homo Sapiens,' he defined the central question concerning the boundaries of formal reasoning. As longstanding editor and reviewer for his discipline's journal, he gave critical guidance to its quest for the foundations of mathematics and chronicled its history. Through his students, he set a path that has led from the abstract realm of mathematical logic to the concrete domains of computer science and to new vistas of mathematical power.

Church was married to Mary Julia Kuczinski from 1925 until her death in 1976, and they had three children—Alonzo Church, Jr. (Princeton Class of 1951), Mary Ann Addison, and Mildred Warner Dandridge. Several other of Church's relatives also attended Princeton University, including Church's grandsons John West Addison III (Class of 1984) and Alonzo Addison (Class of 1987), and three of Church's uncles. The uncle who was also named Alonzo Church was a member of the Class of 1892; James Robb Church belonged to the Class of 1888; and W. W. "Will" Church was in the Class of 1897. Following his retirement from UCLA, Alonzo Church moved to Hudson, Ohio, where his son resided. Church died on August 11, 1995, and was buried in the family plot in the Princeton Cemetery.

Collection History


The family of Alonzo Church (his son, Alonzo Church, Jr., and his two daughters, Mary Ann Addison and Mildred Dandridge) donated his papers to the Princeton University Library in April 2003 .


No appraisal information is available.

Processing Information

This collection was processed by Sylvia Yu and Laura Hildago, Princeton Class of 2006 in 2004. Finding aid written by Sylvia Yu and Laura Hildago, Princeton Class of 2006 in 2004.

Access & Use

Conditions Governing Access

Collection is open for research use.

Conditions Governing Use

Single copies may be made for research purposes. To cite or publish quotations that fall within Fair Use, as defined under U. S. Copyright Law, no permission is required. For instances beyond Fair Use, it is the responsibility of the researcher to determine whether any permissions related to copyright, privacy, publicity, or any other rights are necessary for their intended use of the Library's materials, and to obtain all required permissions from any existing rights holders, if they have not already done so. Princeton University Library's Special Collections does not charge any permission or use fees for the publication of images of materials from our collections, nor does it require researchers to obtain its permission for said use. The department does request that its collections be properly cited and images credited. More detailed information can be found on the Copyright, Credit and Citations Guidelines page on our website. If you have any questions, please feel free to contact us through the Ask Us! form.

Physical Characteristics and Technical Requirements

For preservation reasons, original analog and digital media may not be read or played back in the reading room. Users may visually inspect physical media but may not remove it from its enclosure. All analog audiovisual media must be digitized to preservation-quality standards prior to use. Audiovisual digitization requests are processed by an approved third-party vendor. Please note, the transfer time required can be as little as several weeks to as long as several months and there may be financial costs associated with the process. Requests should be directed through the Ask Us Form.

Credit this material:

Alonzo Church Papers; Manuscripts Division, Department of Special Collections, Princeton University Library

Permanent URL:
Firestone Library
One Washington Road
Princeton, NJ 08544, USA
(609) 258-3184
Storage Note:
  • Firestone Library (scamss): Box 1-85