Skip to main content

George Boolos papers

 Collection — Multiple Containers
Identifier: MC-0507

Scope and Contents of the Collection

The collection includes correspondence between Boolos and Richard G. Heck concerning Die Grundlagen der Arithmetic, by Gottlob Frege, drafts of Boolos's two books, course notes from classes he taught at MIT, and copies of Boolos's published articles. Also included are Boolos's AB and PhD theses. Correspondence and course notes folders contain item indexes.


  • Creation: 1961 - 1996


Access note

Materials in this collection are open unless they are marked as restricted. Restrictions are noted in the container list.

Conditions Governing Use

Access to collections in the Department of Distinctive Collections is not authorization to publish. Please see the MIT Libraries Permissions Policy for permission information. Copyright of some items in this collection may be held by respective creators, not by the donor of the collection or MIT.


George Stephen Boolos, 1940-1996, AB in mathematics 1961, Princeton University; BPhil 1963, University of Oxford; PhD 1966, MIT, was assistant professor of philosophy at Columbia University 1966-1969. He taught philosophy of logic and mathematics at MIT as assistant professor, 1969-1973, associate professor, 1973-1980, and full professor, 1980-1996. His writings include Computability and Logic (1974), co-authored with Richard C. Jeffrey, and The Logic of Provability (1993), as well as numerous articles. He served as president of the Association for Symbolic Logic from 1995 until his death.


2 Cubic Feet (2 record cartons)

Language of Materials



George Boolos taught philosophy of logic and mathematics at the Massachusetts Institute of Technology from 1969 to 1996. This collection includes correspondence, drafts of Boolos's two books, course notes from classes he taught at MIT, and copies of his published articles.


Materials are stored off-site. Advance notice is required for use.

Processing Information note

Some collection descriptions are based on legacy data and may be incomplete or contain inaccuracies. Description may change pending verification. Please contact the MIT Department of Distinctive Collections if you notice any errors or discrepancies.

Preliminary Inventory to the George Boolos Papers
Data Entry In Progress
Aaron Vidaver
Copyright 1997
Description rules
Describing Archives: A Content Standard
Language of description
Script of description

Repository Details

Part of the Massachusetts Institute of Technology. Libraries. Department of Distinctive Collections Repository

Massachusetts Institute of Technology Libraries
Building 14N-118
77 Massachusetts Avenue
Cambridge MA 02139-4307 US