© 2011. State University of New York at Buffalo. All rights reserved.
[Description and dates], Box/folder number, 3/4/1216, The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990, University Archives, State University of New York at Buffalo.
See the Special Collections' preferred citations instructions for additional information.Acquisition Information
Collection received from John Corcoran, November 2010.Terms of Access
The Honorary Degree Conferral of Doctor of Science to Alonzo Church collection is open for research.Copyright
Copyright of papers in the collection may be held by their authors, or the authors' heirs or assigns. Researchers must obtain the written permission of the holder(s) of copyright and the University Archives before publishing quotations from materials in the collection. Most papers may be copied in accordance with the library's usual procedures unless otherwise specified.Processing Information
Processed by Karen Spencer, February 2011.Accruals and Additions
No further accruals are expected to this collection.
Alonzo Church, born June 14, 1903, was a mathematician and philosopher and one of the most accomplished and respected logicians in the world. Church made several brilliant technical break-throughs, any one of which would have established a permanent place for him in the field of logic. His work influenced mathematics, philosophy, linguistics, and computer science. He is best known for lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church–Rosser theorem.
When Church started working in the field of mathematical logic in the 1930s, it was an inconspicuous specialty on the fringe of mathematics. Church played a leading role in developing it into the major field it was in 1990. In 1936 he helped to found the Association for Symbolic Logic and was an exacting editor for the group's international publication, Journal of Symbolic Logic, for more than four decades. The journal helped merge streams of scholarship from mathematics, philosophy, linguistics and computer science.
An inspired teacher, Church was a professor of mathematics and philosophy at Princeton University from 1929-1967 and from 1967-1990 at the University of California at Los Angeles. He trained several of the most distinguished contemporary logicians, including Professors Martin Davis, Leon Henkin and Hartley Rogers, who spoke at the symposium in Church's honor at the University of Buffalo held May 18 and 19, 1990.
Prof. Church died August 11, 1995.
Source: Updated from the Commencement brochure in the album.
Collection contains photographs and an album of announcements and photocopies of congratulatory letters from the awarding of the honorary degree of Doctor of Science to Alonzo Church by the State University of New York at Buffalo and the Symposium held in his honor at the University in 1990.
This collection is arranged in original order.
Includes program materials from the commencement and symposium held in honor of Alonzo Church, and photocopies of clippings and congratulatory letters.
The following terms have been used to index the description of this collection in the Library's online catalog.