- Collection Overview
- Collection Description & Creator Information
- Access & Use
- Collection History
- Find Related Materials
Jeffrey Cohen to Haskell B. Curry, 1932-1977
Collection Description & Creator Information
Boxes 1a-3c. Incoming and outgoing correspondence filed together, alphabetically by correspondent, and therein chronologically. Unidentified correspondents at end of series.
- Custodial History
The papers of Kurt Gödel (1906-1978) were bequeathed by him to his wife Adele, who donated them to the Institute for Advanced Study in his memory prior to her death in 1981. Under terms of her will, literary rights to the papers are also vested in the Institute for Advanced Study. In 1985, the papers were placed on deposit in Princeton University Library.
No appraisal information is available.
- Processing Information
This collection was processed by John W. Dawson, Jr. in 1984. Finding aid written by John W. Dawson, Jr. in 1984. Revised by Rebecca Schoff in 1997.
Access & Use
- Conditions Governing Access
This collection is open for research.
- Conditions Governing Use
Single copies may be made for research purposes. No further duplication of copies of material in the collection can be made when Princeton University Library does not own the original.
The Institute for Advanced Study reserves all copyrights and other literary rights to the materials, which may not be reproduced in any form without the prior written permission of the Institute. Please contact the Shelby White and Leon Levy Archives Center, email@example.com, for permissions and additional information.
- 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:
Jeffrey Cohen to Haskell B. Curry; Kurt Gödel Papers, C0282, Manuscripts Division, Department of Special Collections, Princeton University Library
- Firestone LibraryOne Washington RoadPrinceton, NJ 08544, USA
- Storage Note:
- Firestone Library (mss): Boxes 1, 1
- Existence and Location of Copies
Note on the 1998 Preservation Microfilm:
In 1998, the Kurt Gödel Papers were microfilmed for the purpose of preservation. Funded by the Sloan Foundation Grant (95-10-14) in support of the Collected Works of Kurt Gödel, Oxford University Press, the preservation microfilm includes the entire collection, excepting only a few items which are listed below. These items are largely photocopies of original material from other collections, preserved by other institutions. Also omitted are Gödel's collection of the preprints and offprints of his colleagues' work, and a small collection of cancelled checks, stubs and debits, most blank and physically difficult to film. The microfilm reels of Kurt Gödel's papers are available at the Historical Studies Library of the Institute for Advanced Study, Princeton, and in the Special Collections Department of Princeton University's Firestone Library. The preservation microfilm does not constitute a microfilm edition, and is subject to the same copyright restrictions as the original material.
Portions not Filmed: Only the following items have been omitted from the 1998 filming of the Kurt Gödel Papers:
Series / Box(es) / Folder
IV -- 7a -- 3 -- TMs [photocopy] of the final typescript of Gödel's doctoral dissertation, . Original is deposited at Universität Wien.
IX -- 13b -- 12 -- Cancelled checks, stubs, and debits.
XIII -- 15 -- 6 -- LsS [photocopies] from the Gödel/Paul Bernays correspondence. Originals are stored at the Eidgenössische Technische Hochschule, Zurich.
XIII -- 15 -- 8 -- LsS [photocopies] from the Gödel/Arend Heyting correspondence. Originals are stored at the Heyting Archief, Entschede.
XV -- 17-23 -- Gödel's collection of the preprints and offprints of his colleagues' work (the entirety of Series XV).
References Dawson, John W., "The Published Work of Kurt Gödel: An Annotated Bibliography," Notre Dame Journal of Formal Logic, 24 (1983), 255-284; Addenda and corrigenda Notre Dame Journal of Formal Logic, 25 (1984), 283-287. Dawson, John W., "Kurt Gödel in Sharper Focus," The Mathematical Intelligencer, 6:4 (1984), 9-17. Dawson, John W., Logical Dilemmas: The Life and Work of Kurt Gödel, Wellesley, Mass.: A. K. Peters, Ltd., 1997. Gödel, Kurt, Collected Works, edited by Solomon Feferman, editor-in-chief; prepared under the auspices of the Association for Symbolic Logic: Vol. I, "Publications 1929-1936," edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, 1986; Vol. II, "Publications 1938-1974." edited by Soloman Feferman, John W. Dawson, Jr. [et al], 1990; Vol. III, "Unpublished Essays and Lectures: Selections from the Nachlass," edited by Solomon Feferman, John W. Dawson, Jr., [et al], New York and Oxford: Oxford University Press, 1994. Kreisel, Georg, "Kurt Gödel, 1906-1978, elected For. Mem. R.S. 1968," Biographical Memoirs of Fellows of the Royal Society, 26 (1980), 148-224; corrigenda, 27 (1981), 697; further corrigenda, 28 (1982), 697.
- Gödel, Kurt, 1906-1978