Contents and Arrangement

1967b: TMs of commentary on 1964 version, with autograph corrections, 3 pp., 1964

1 folder

Collection Overview

Collection Description & Creator Information


Boxes 7a-9b. Filed chronologically under titles or descriptive headings.

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.


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,, 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:

1967b: TMs of commentary on 1964 version, with autograph corrections, 3 pp.; Kurt Gödel Papers, C0282, Manuscripts Division, Department of Special Collections, Princeton University Library

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

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


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