George Boolos papers
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
- Boolos, George (Person)
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
Part of the Massachusetts Institute of Technology. Libraries. Department of Distinctive Collections Repository
Massachusetts Institute of Technology Libraries
77 Massachusetts Avenue
Cambridge MA 02139-4307 US