Manuscripts Division

Kurt Gödel Papers, 1905-1980 (mostly 1930-1970)

C0282
ONLINE ACCESS

Contents and Arrangement

Online

Series 16: Microfilm Prints from the 1980 NSF Microfilms, dates not examined

3 boxes

Collection Overview

Collection Description & Creator Information

Scope and Contents

Revisions to the finding aid and the preparation of the papers for preservation microfilming by Rebecca Schoff in 1997 were funded by the Sloan Foundation as part of Sloan Foundation Grant 95-10-14 to the Gödel Editorial Committee.

In connection with Georg Kreisel's obituary memoir of Gödel ( Biographical Memoirs of Fellows of the Royal Society, v. 26 (1980), 148-224), the National Science Foundation provided funding for the microfilming of selected items from Series III (Topical Notebooks) and IV (Drafts and Offprints). These copies exist in three forms: as 8 positive film reels, 8 negative film reels, and as microfilm prints. The latter are primarily reduced-size images, but some items (indicated in the list below by an asterisk) are also duplicated in larger format. These are hereafter cited as the 1980 NSF microfilm reels.

Only the microfilm prints are to be found in the collection. They are filed in two Paige boxes, in folders arranged according to the series and folder numbers of the original items, as expressed in 6-digit item numbers. The first two digits express the series under which the original item is filed, the last four digits indicate the position of the item within the series (e.g. item 020001 is the first item in Series II). The boxes are labeled as follows:

Microfilm Prints:

Box 24 -- items 030016 - 040154

Box 25 -- items 040179 - 040418, and oversize

Microfilm Prints, 1980: Errata

Pages listed below were inadvertently omitted from the microfilm reels. Xerox copies of those pages have been inserted among the microfilm prints.

Item # / Reel:Item / Page(s) omitted

030017 -- 2:1 -- loose sheet numbered 3; loose sheet labeled "Cohen's Methode 1943?"

030021 -- 2:4 -- p. 1

030022 -- 2:4 -- front of p. 1

030024 -- 2:6 -- backs of first two unnumbered loose sheets

030032 -- 2:14 -- front of insert labeled "1966"

030034 -- 2:16 -- pp. 87-88

030073 -- 7:6 -- slip following p. 431

030076 -- 6:6 -- second and third unnumbered pages; two accompanying loose sheets

030080 -- 8:15 -- ninth and tenth pages from back of notebook

030086 -- 6:1 -- back of small insert sheet

030088 -- 6:5 -- front of loose sheet labeled "more exercise"; last loose sheet, and back of preceding two sheets, backs of two loose slips

030124 -- 1:9 -- fourth from last pair of pages

040263 -- 5:4 -- p. 1 following back of unlined sheet

040415 -- 8:12 -- title page; pencil annotations on backs of pages

040416 -- 4:2 -- back of first page

Arrangement

The following list records the contents of the 1980 NSF microfilm reels, arranged in the order in which the items appear on the reels. The list is not comprehensive, so researchers searching for microfilm should consult both Box 24 and Box 25.

Collection History

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.

Appraisal

No appraisal information is available.

Access & Use

Conditions Governing Access

This collection is open for research.

Conditions Governing Use

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, archives@ias.edu, for permissions and additional information. 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:

Series 16: Microfilm Prints from the 1980 NSF Microfilms; Kurt Gödel Papers, C0282, Manuscripts Division, Department of Special Collections, Princeton University Library

Location:
Firestone Library
One Washington Road
Princeton, NJ 08544, USA
(609) 258-3184
Storage Note:
Firestone Library (mss)
Boxes 24-26

Find More

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, [1929]. 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).

Related Materials

Items Not Stored At Princeton University: Description/Location:

Gödel's personal library: 700 books, including textbook for Gabelsberger shorthand, and available copies of the bibliography / Historical Studies Library, Institute for Advanced Study

Microform reel of 1934 (Gödel's I.A.S. lectures, "On the undecidable propositions of formal mathematical systems" as transcribed by S.C. Kleene and J.B. Rosser) / Historical Studies Library, Institute for Advanced Study

Gödel's briefcase, doorplate, and National Medal of Science tape of memorial service (medallion and lapel pin) / Office of the Director, Institute for Advanced Study

Bound galley of 1931 ("Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I," with autograph annotations / Rosenwald Rare Book Collection, Institute for Advanced Study

Original TMs Dissertation (the collection at Firestone includes a TMs [photocopy]) / Universität Wien

Letters by Gödel to his mother / Neue Stadtbibliothek, Vienna

Correspondence between Gödel and Arend Heyting (the collection at Firestone includes some photocopies) / Heyting Archief, Entschede / Noord-Hollands Archief in Haarlem

Correspondence between Gödel and Bernays, and Gödel and Seelig (the collection at Firestone includes some photocopies) / Eidgenössische Technische Hochschule, Zürich

Bibliography

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.

Names:
Gödel, Kurt (1906-1978)