Permanent URL: http://arks.princeton.edu/ark:/88435/v979v310g
Kurt Gödel Papers, 1905-1980 (bulk 1930-1970): Finding Aid
C0282
Princeton University Manuscripts Division
One Washington Road
Princeton, New Jersey 08544 USA
Phone: (609) 258-3184
Fax: (609) 258-2324
rbsc@princeton.edu
http://www.princeton.edu/~rbsc
Published in 1998
©2007 Princeton University Library
Summary Information
- Creator:
- Gödel, Kurt, 1906-1978.
- Title and dates:
- Kurt Gödel Papers, 1905-1980 (bulk 1930-1970)
- Abstract:
- The papers comprise documents relating to all periods of the life of Kurt Gödel, foremost mathematical logician of the twentieth century, including scientific correspondence, notebooks, drafts, unpublished manuscripts, academic, legal, and financial records, and all manner of loose notes and memoranda.
- Size:
- 30.50 cubic feet (43 boxes, 9 cartons, 1 oversized box, 1 package)
- Call number:
- C0282
- Location:
- Princeton University Library. Department of Rare Books and Special Collections.
Manuscripts Division.
Princeton, New Jersey 08544 USA - Language(s) of material:
- English, German.
- Storage note:
- This collection is stored onsite at Firestone Library.
Biography of Kurt Friedrich Gödel
Kurt Friedrich Gödel was born April 28, 1906, in Brünn, Moravia, and died January 14, 1978, in Princeton, New Jersey. His life may be divided into three periods, corresponding both to his place of residence and to the nature of his intellectual endeavors.
Gödel's childhood and youth were spent in Brünn, where his father worked as a manager of a textile factory. He attended German-language primary and secondary schools, graduating with honors in 1924. After graduation he enrolled at the University of Vienna, where he joined his brother Rudolf (born 1902). Gödel remained at the University of Vienna, first as student and later as Privatdozent (an unpaid lecturer), until his emigration to America in 1940. He became an Austrian citizen in 1929. Later that year, in his doctoral dissertation, Gödel established the completeness of the first-order predicate calculus, a work that marked the beginning of a decade of fundamental contributions to mathematical logic, including especially his proofs of the incompleteness of formal number theory (1930, published 1931) and of the relative consistency of the axiom of choice and the generalized continuum hypothesis (1935 and 1937, published 1938-1940). His residence in Vienna was interrupted by three trips to the United States, where he visited the Institute for Advanced Study (1933-1934, Autumn 1935, and Autumn 1938) and the University of Notre Dame (Spring 1939). He married Adele Nimbursky (née Porkert) in Vienna, September 20, 1938.
In January 1940, fearing conscription into the Nazi army, Gödel left Europe with his wife via the trans-Siberian railway. Arriving in San Francisco on March 4, 1940, the Gödels settled in Princeton, where he resumed his membership in the Institute for Advanced Study. He became a permanent member in 1946, a U.S. citizen in 1948, professor at the Institute in 1953, and professor emeritus in 1976. At the Institute, Gödel's interests turned to philosophy and physics. He studied the works of Gottfried Wilhelm von Leibniz in detail and, to a lesser extent, those of Immanuel Kant and Edmund Husserl. In the late 1940s he demonstrated the existence of paradoxical solutions to Albert Einstein's field equations in general relativity. His last published paper appeared in 1958. He shared the first Einstein Award in 1951 and was awarded the National Medal of Science in 1975. He also received honorary doctorates from Yale, Harvard, and Rockefeller universities, and from Amherst College.
Description
The Papers of Kurt Gödel include documents spanning the years 1905-1980, with the bulk of the material falling between 1930 and 1970. Of greatest extent and significance are Gödel's scientific correspondence (Series I), his notebooks (Series III), and numerous drafts, manuscripts, and galleys of his articles and lectures, published and unpublished (Series IV).
The papers comprise documents relating to all periods of Gödel's life, including scientific correspondence, notebooks, drafts, unpublished manuscripts, academic, legal, and financial records, and all manner of loose notes and memoranda. Family correspondence is notably absent, as are financial records after Gödel's emigration in 1940. Of the manuscript material, a substantial part is in Gabelsberger shorthand, a German system originally devised by Franz Xaver Gabelsberger (1789-1849) and published in his textbook, Anleitung zur deutschen Redezeichenkunst oder Stenographie (1834). Box 26 houses a microfilm copy of Kleines Lesebuch für Gabelsber'sche Stenographie, which could help users with the shorthand system. A photocopy of Karl Ludwig Weizmann's Lehr- und Ubungsbuch der Gabelsbergerschen Stenographie (1915) is in the Manuscript division's Vertical File for assistance in deciphering the system if needed. A bibliography of Gödel's 700-book library is available upon request from the librarian of the Institute's Historical Studies Library. Preprints and offprints sent to Gödel by others are briefly described in the finding aid. They are now stored in seven cartons at Firestone Library.
Prior to its first arrangement in 1983-1984, the collection was stored in filing cabinets and moving cartons in a cage in the basement of the Institute for Advanced Study's Historical Studies Library. In 1985 the papers were placed on deposit in Firestone Library by the Institute for Advanced Study. At that time, the 22 Paige boxes and oversized container used in the first organization of the collection were split into 41 archival boxes, one flat box, one extra large box and seven cartons. In 1997, the finding aid was revised and amplified. Most of the oversized correspondence was merged with that in the main series, as were items from Series III and IV.
Although gathered together in some haste and disarray following Gödel's death, most of the items were found in envelopes labeled by Gödel himself; on that basis, an attempt has been made to retain or, where necessary, restore Gödel's original order. An exception is the division of the correspondence into two series (I: Personal and Scientific Correspondence, II: Institutional, Commercial, and Incidental Correspondence) for convenience of scholarly access; the former is arranged alphabetically by correspondent, the latter by subject. Folders are numbered sequentially within each series. Documents were originally assigned six-digit item numbers, also sequentially within each series, with the first two digits corresponding to series designation. Thus, item 11013 is the thirteenth item in Series XI. Envelopes used by Gödel to organize his papers have been assigned the same number as the item they contained (or the first item among the items they contained). On folder labels, Gödel's own designations are enclosed in quotation marks, while dates in square brackets refer to citations of Gödel's own works in Dawson's bibliography (see the reference list at the end of the preceding biographical sketch). With the publication of a new standard bibliography in the Oxford edition of Gödel's Collected Works, pencil annotations were added to folder labels in accordance with the citations of the new bibliography (Volume III, pp. 487-491). The finding aid, revised in 1997, follows the new bibliography with publication dates in italics.
The correspondence in Series I bulks between 1950 and 1975, but includes earlier items from such correspondents as Paul Bernays, Rudolf Carnap, Jacques Herbrand, Arend Heyting, Karl Menger, Emil Post, Oswald Veblen, John von Neumann, and Ernst Zermelo. Other major correspondents include William Boone, Paul J. Cohen, Georg Kreisel, Oskar Morgenstern, Abraham Robinson, Paul A. Schilpp, Dana Scott, Gaisi Takeuti, and Hao Wang. Approximately two-thirds of the correspondence is incoming. Family correspondence is virtually absent, but about 1000 pages of Gödel's letters to his mother are preserved in the Neue Stadtbibliothek, Vienna.
Early records in the collection include patent correspondence of Gödel's father, birth and baptismal certificates, and Gödel's notebooks and report cards from elementary and secondary schools. Some university course notebooks are also preserved, but there are no enrollment or grade records from the University of Vienna.
Financial records (Series IV) are quite detailed for the period 1930-1939 but are totally absent after Gödel's emigration in 1940. They include account books, canceled checks and deposit slips, ledgers, and various bills and receipts.
Gödel's personal notes and notebooks (Series III, V, and VI) span most of his life. They are largely in Gabelsberger shorthand, as are also some drafts of letters and lectures (Series I and IV). However, there are often longhand headings in German and English, and where mathematics and logic are involved, computational or symbolic notes make some material accessible to readers who cannot read the shorthand. Manuscript items are are almost entirely in pencil.
An assortment of loose manuscript notes and memoranda (also largely in Gabelsberger Shorthand) comprise series V and VI, including reading notes, library request slips, bibliographic memoranda, computation sheets (especially concerning Gödel's work in relativity theory), and personal notes on diverse subjects, including American history, languages, philosophy, and theology. Especially prominent are voluminous notes on the works of Gottfried Wilhelm von Leibniz.
Smaller categories include medical records (Series X), photographs (Series XI), and ephemera (Series XII). A few folders of correspondence from other sources have also been incorporated as addenda.
Ancillary materials include the books from Gödel's library, now shelved at the Institute for Advanced Study. A list of the books is available at the Historical Studies Library of the Institute, and includes a record of journals received by Gödel (not annotated and thus not slated for retention). Assorted preprints and offprints sent to him by others have been segregated into three groups for retention: presentation copies, items accompanied by correspondence, and items bearing annotations or with accompanying notes. Items within each of these groups are filed alphabetically by author but are not numbered or otherwise indexed.
A few non-documentary items, donated with the papers, have been transferred for safekeeping to the Director's office at the Institute for Advanced Study. They include Gödel's briefcase, door plate, and National Medal of Science (medallion and lapel pin).
Arrangement
Organized into the following series:
- Series 1: Personal and Scientific Correspondence, 1929-1978
- Series 2: Institutional, Commercial and Incidental Correspondence
- Series 3: Topical notebooks
- Series 4: Drafts and Offprints
- Series 5: Bibliographic Notes and Memoranda
- Series 6: Other Loose Manuscript Notes
- Series 7: Academic records and notices
- Series 8: Legal and Political Documents
- Series 9: Financial Records, 1930-1939
- Series 10: Medical Records
- Series 11: Photographs
- Subseries 11A: Photographs between 4″x5” and 6″x9”
- Subseries 11B: Photographs between 6″x9” and 8″x10”
- Subseries 11C: Photographs less than 4″x5”
- Subseries 11D: Photographs between 8″x10” and 11″x14” (Filed in Series XIII: Oversize Items and Addenda)
- Subseries 11E: Photographs larger than 11″x14” (Filed in Series XIV: Extra Large Items
- Series 12: Ephemera
- Series 13: Oversize Items and Addenda
- Series 14: Extra Large Items
- Series 15: Preprints and Offprints
- Series 16: Microfilm Prints from the 1980 NSF Microfilms
The Gödel papers occupy 41 archival boxes, one flat box, one extra large box, 1 microfilm box. In addition, ancillary materials occupy seven cartons (8 cubic feet). There are approximately 9000 items of primary documentary material (14.5 cubic feet).
Access and Use
Access
No Xeroxing is allowed, except with prior written permission of the Institute for Advanced Study.
Restrictions on Use and Copyright Information
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 the Manuscript Division, Department of Rare Books and Special Collections at Princeton University's Harvey S. Firestone Library. 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.
Acquisition and Appraisal
Provenance and Acquisition
Prior to its arrangement in 1983-84, the collection was stored in filing cabinets and moving cartons in the basement of the Historical Studies Library of the Institute for Advanced Study (Princeton, N.J.). Gathered together after Gödel’s death, most of the items were found in envelopes labeled by Gödel himself; on that basis, an attempt has been made to retain/restore his original order. The Papers were placed on deposit by the Institute for Advanced Study in 1985.
Related Materials
Location of Copies or Alternate Formats
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 Rare Books and 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 Archival Material
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
- Correspondence between Gödel and Bernays, and Gödel and Seelig (the collection at Firestone includes some photocopies) / Eidgenössische Technische Hochschule, Zürich
Processing and Other Information
Acknowledgments
I am grateful to the Institute for Advanced Study for the opportunity to catalog Gödel's papers and for stipendiary support; to the Pennsylvania State University for sabbatical support during the academic year 1983-84; and to Herman Landshoff of New York City for assistance in deciphering Gödel's shorthand. I am especially grateful to my wife Cheryl, without whose help this project could not have been completed in the span of two years. In addition to helping with the decipherment, she catalogued Gödel's books and journals and helped to sort many of the preprints and offprints.
I have benefitted from the advice of many archivists, all of whom have shared their expertise unstintingly. I particularly wish to thank Helen Slotkin, of M.I.T.; John Stachel, of the Einstein Archive; Reese Jenkins, Toby Appel, and Tom Jeffrey, of the Edison Archives; Joan Warnow and Spencer Weart, of the American Institute of Physics; Richard Nollan, of the University of Pittsburgh; and Leon Stout, of Pennsylvania State University.
Finally, I wish to express my appreciation to Irene Gaskill, Carolyn Underwood, and Dorothy Phares for their secretarial assistance.
[John W. Dawson, Jr., 1984]
Works Cited
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.
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.
Descriptive Rules Used
Finding aid content adheres to that prescribed by Describing Archives: A Content Standard.
Encoding
Machine-readable finding aid encoded in EAD 2002 by Techbooks and Cristela García-Spitz on August 24, 2007.
Finding aid written in English.
Preferred Citation
Identification of specific item; Date (if known); Kurt Gödel Papers, Box and Folder Number; Department of Rare Books and Special Collections, Princeton University Library.
Subject Headings
These materials have been indexed in the Princeton University Library online catalog using the following terms. Those seeking related materials should search under these terms.
- Gödel, Kurt, 1906-1978 -- Photographs.
- Logic, Symbolic and mathematical.
- Mathematical physics.
- Mathematics -- Problems, exercises, etc.
- Mathematics -- Research -- New Jersey -- Princeton -- 20th century.
- Mathematics, German.
- Notebooks.
- Correspondence.
- Lectures.
- Photographs.
- Mathematicians -- United States -- 20th century.
Browse other finding aids related to the following terms:
Contents List
Series 1: Personal and Scientific Correspondence, 1929-1978 (bulk 1930-1975)
(Approximately 3,500 items)
Series Description
Incoming letters, and copies of outgoing letters, with friends and scientific colleagues; also letters of recommendation. Virtually no family correspondence. Major correspondents include Paul Bernays, William Boone, Paul J. Cohen, Gotthard Günther, Arend Heyting, Georg Kreisel, Karl Menger, Oskar Morgenstern, Abraham Robinson, Paul A. Schilpp, Dana Scott, Gaisi Takeuti, Jean van Heijenoort, John von Neumann, and Hao Wong.
Filed along with correspondence are notes taken by Gödel during oral discussion with some correspondents. They are indicated separately as “discussion notes” under the name of the correspondent. Some short preprints related to accompanying correspondence are also filed here.
Series Arrangement
Boxes 1a-3c. Incoming and outgoing correspondence filed together, alphabetically by correspondent, and therein chronologically. Unidentified correspondents at end of series.
Addison, John, 1956, 1958
Box 1a, Folder 0 Miscellaneous “A”, 1952-1976
Box 1a, Folder 1 Behman, Heinrich, 1930-1935
Box 1a, Folder 2 Bernays, Paul
(See also Series XIII: Folders 6 and 7)
1930-1931
Box 1a, Folder 3 1939, 1942, 1956-1959
Box 1a, Folder 4 1960-1961
Box 1a, Folder 5 1962-1965
Box 1a, Folder 6 1966-1970
Box 1a, Folder 7 1971-1975
Box 1a, Folder 8 Boone, William
1954
Box 1a, Folder 9 1955
Box 1a, Folder 10 1956-1957
Box 1a, Folder 11 January-May, 1958
Box 1a, Folder 12 June-August, 1958
Box 1a, Folder 13 1959-1961
Box 1a, Folder 14 1962-1963
Box 1a, Folder 15 1964-1966
Box 1a, Folder 16 1967-1969, 1974-1976, 1978-1979
Box 1a, Folder 17 undated
Box 1a, Folder 18 Brutian, George A., 1969-1970
Box 1a, Folder 19 Burks, Arthur, 1961, 1964
Box 1a, Folder 19.5 Miscellaneous “B”
T. R. Bachiller to Errett Bishop, 1933-1973
Box 1a, Folder 20 Max Black to Terrell Ward Bynum, 1935-1975
Box 1a, Folder 21 Carnap, Rudolf, 1929-1939
(See also Series XIV: Folder 1)
Box 1b, Folder 22 Chang, C. C., 1963, 1965
Box 1b, Folder 23 Chomsky, Noam, 1957-1958
Box 1b, Folder 24 Chuaqui Kettlun, Rolando B., 1969-1972, undated
Box 1b, Folder 25 Church, Alonzo, 1932, 1946, 1965-1966
Box 1b, Folder 26 Cohen, Paul J.
April 24-July 17, 1963
Box 1b, Folder 27 July 20-September 27, 1963
Box 1b, Folder 28 October 4-December 13, 1963
Box 1b, Folder 29 1964
Box 1b, Folder 30 1965
Box 1b, Folder 31 1966-1969, 1975
Box 1b, Folder 32 undated (Fragmentary letter drafts by Gödel)
Box 1b, Folder 33 Miscellaneous “C“
Ronald Calinger to D. V. Choodnovsky, 1949-1976
Box 1b, Folder 34 Jeffrey Cohen to Haskell B. Curry, 1932-1977
Box 1b, Folder 35 Davis, Martin
1950, 1963
Box 1b, Folder 36 1964
Box 1b, Folder 37 1965, undated
Box 1b, Folder 38 Dreben, Burton S., 1959-1971
Box 1b, Folder 39 Miscellaneous “D”, 1931-1975
Box 1b, Folder 40 Einstein, Albert
(see Miscellaneous “E”)
Ellentuck, Erik
1963-1966
Box 1b, Folder 40.5 1967-1968, 1971-1973
Box 1b, Folder 41 Miscellaneous “E”, 1943-1977
Box 1b, Folder 42 Feferman, Solomon
1957-1961
Box 1c, Folder 43 1963-1964, 1967, 1969, 1971, 1974
Box 1c, Folder 44 Feigl, Herbert
1927, 1929-1931, 1933-1934
Box 1c, Folder 45 1950, 1956-1957, 1961-1962
Box 1c, Folder 46 Fisher, Edward R., Jr., 1968-1970
Box 1c, Folder 47 Flexner, Abraham, 1933-1939
Box 1c, Folder 48 Ford, Lester R. (re: 1947), 1945-1946
Box 1c, Folder 49 Friedburg, Robert, 1956, 1963
Box 1c, Folder 50 Friedman, Harvey
1966-1971
Box 1c, Folder 51 1974-1975
Box 1c, Folder 52 Miscellaneous “F”, 1930-1975
Box 1c, Folder 53 Gandy, R. O., 1959-1960, 1973
Box 1c, Folder 54 Gödel Family: Miscellaneous, 1939-1966
Box 1c, Folder 54.5 Gödel, Rudolf (brother), 1966-1972
Box 1c, Folder 54.6 Grandjean, Burke, 1974-1975
Box 1c, Folder 55 Günther, Gotthard
1953
Box 1c, Folder 56 1954-1955
Box 1c, Folder 57 1956-1957
Box 1c, Folder 58 1957-1961,includes undated notes
Box 1c, Folder 59 Miscellaneous “G”, 1932-1975
Box 1c, Folder 60 Halpern, James, includes discussion notes, 1965-1966
Box 1c, Folder 61 Hasenjaeger, G., 1963-1965
Box 1c, Folder 62 Henkin, Leon, 1960-1972
Box 1c, Folder 63 Herbrand, Jacques, 1931
Box 1c, Folder 64 Heyting, Arend
(See also Series XIII: Folder 8)
1931-1933
Box 1c, Folder 65 1957, 1969
Box 1c, Folder 66 Howard, William A., 1964-1973
Box 1c, Folder 67 Miscellaneous “H”
John Haag to Stephen Hechler, 1933-1975
Box 1c, Folder 68 Radcliffe Heermance to Ralph Hwastecki, 1931-1976
Box 1c, Folder 69 Miscellaneous “I” and “J”, 1937-1972
Box 2a, Folder 70 Jech, Tomás
1969, 1972
Box 2a, Folder 71 1973-1974
Box 2a, Folder 72 Jeffrey, Richard, 1963-1974, undated
Box 2a, Folder 73 J⊘rgensen, J⊘rge, 1932-1933
Box 2a, Folder 74 Kleene, Stephen C., 1936, 1956, 1965, 1975
Box 2a, Folder 75 Kochen, Simon (includes discussion notes), 1965-1975
Box 2a, Folder 76 Kond⊘, Motokiti, 1961-1963
Box 2a, Folder 77 Kreisel, Georg
(See also Takeuti, Gaisi)
1955-1958
Box 2a, Folder 78 Accompanying notes by Gödel, 1955-1958
Box 2a, Folder 79 1959-1960
Box 2a, Folder 80 Accompanying notes by Gödel, 1959-1960
Box 2a, Folder 81 1961-February 1962
Box 2a, Folder 82 March-December 1962
Box 2a, Folder 83 1963-April 1964
Box 2a, Folder 84 Discussion notes, March 1964
Box 2a, Folder 85 June 1964-December 1964
Box 2a, Folder 86 1965
Box 2a, Folder 87 1966
Box 2a, Folder 88 Discussion notes, April 1963-August 1966
Box 2a, Folder 89 1967
Box 2a, Folder 90 1968
Box 2a, Folder 91 1969
Box 2a, Folder 92 1970
Box 2a, Folder 93 1971
Box 2a, Folder 94 Discussion notes, October 1966-1971
Box 2a, Folder 95 1972, undated
Box 2a, Folder 96 Undated notes
Box 2a, Folder 97 Kuroda, Sigekatu
1954-1958
Box 2b, Folder 98 1959-1960, 1962, 1972, undated
Box 2b, Folder 99 Miscellaneous “K”, 1937-1975
Box 2b, Folder 100 Leonard, Henry, 1959-1967
Box 2b, Folder 101 Levy, Azriel, 1958-1966
Box 2b, Folder 102 Lorenzen, Paul, 1958, undated
Box 2b, Folder 103 Miscellaneous “L”
Daniel Lacombe-S. Lefschetz, 1943-1977
Box 2b, Folder 104 Walter Leighton-W. A. J. Luxemburg, 1934-1980
Box 2b, Folder 104.5 Menger, Karl, 1931-1968, undated
Box 2b, Folder 105 Morel, Anne C., 1959-1960
Box 2b, Folder 106 Morgenstern, Oskar, 1946-1948, 1956,
Box 2b, Folder 107 Copies of Morgenstern's correspondene with others, 1965, 1972-1974
Box 2b, Folder 107 Myhill, John
1957-1958
Box 2b, Folder 108 1962-1968, includes undated notes
Box 2b, Folder 109 Miscellaneous “M”
Angus Macintyre to Terrance Millar, 1932-1977
Box 2b, Folder 110 Charles F. Miller to Jan Mycielski, 1931-1977
Box 2b, Folder 111 Nagel, Ernest (re: Nagel and Newman, 1958), 1957
Box 2c, Folder 112 Nakamura, Akira, 1965
Box 2c, Folder 113 Natkin, Marcel
1927-1929, 1931, 1936
Box 2c, Folder 114 1957, 1961-1962
Box 2c, Folder 115 Newsom, C. V. (re: 1947), 1947-1948
Box 2c, Folder 116 Novikov, P. S.
1964
Box 2c, Folder 117 1965, 1967
Box 2c, Folder 118 Miscellaneous “N” and “O”, 1931-1975
Box 2c, Folder 119 Popper, Karl R., 1934-1964
Box 2c, Folder 119.5 Post, Emil, 1938-1939
Box 2c, Folder 120 Pour-El, Marian Boykan
1958
Box 2c, Folder 121 1962-1965, 1970-1971, undated
Box 2c, Folder 122 Powell, William C., with discussion notes, 1972-1975
Box 2c, Folder 123 Prikry, Karel
1973-1974
Box 2c, Folder 124 1975
Box 2c, Folder 125 Miscellaneous “P” and “Q”, [1935]-1976
Box 2c, Folder 126 Rabin, Michael Oser, 1956-1974
Box 2c, Folder 127 Rappaport, Leon, 1962
Box 2c, Folder 128 Reid, Constance, 1965-1966, 1969
Box 2c, Folder 129 Reid, Constance: fragmentary letter drafts by Gödel, 1966
Box 2c, Folder 130 Reinhardt, William N.
1966-1967, 1971-1972
Box 2c, Folder 131 1973-1974, undated
Box 2c, Folder 132 Robbin, Joel W., 1965-1967
Box 2c, Folder 133 Robinson, Abraham
1960-1961, 1967-1968
Box 2c, Folder 134 1971-1972
Box 2c, Folder 135 1973
Box 2c, Folder 136 Discussion notes: 1971, 1973
Box 2c, Folder 137 1974-1975, together with texts from memorial service
Box 2c, Folder 138 Robinson, Robert W., 1966-1967
Box 2c, Folder 139 Rucker, Rudy, 1971-1976
Box 2c, Folder 140 Miscellaneous “R”, 1931-1973
Box 2c, Folder 141 Sacerdote, George S., 1973-1976
Box 3a, Folder 142 Sacks, Gerald
1963-1968
Box 2c, Folder 143 1971-1975
Box 2c, Folder 143.5 Schilpp, Paul A. (re: 1944)
November 1942-July 1943
Box 2c, Folder 144 August-November 1943
Box 2c, Folder 145 December 1943-March 1944
Box 2c, Folder 146 August-September 1945, includes undated notes
Box 2c, Folder 147 Schilpp, Paul A. (re: 1949)
1946-1949
Box 2c, Folder 148 Schilpp, Paul A. (re: 1955)
1953-1957, 1959 (two versions pub. in the CW as 1953/9-III and 1953/9-V)
Box 2c, Folder 149 1964, 1971
Box 2c, Folder 150 Schütte, Kurt, 1958-1959
Box 2c, Folder 151 Scott, Dana
(See also Series XIII: Folder 7)
1955, 1961-1962
Box 2c, Folder 152 1965-1966
Box 2c, Folder 153 1967-1968
Box 2c, Folder 154 1969
Box 2c, Folder 155 1970, 1972
Box 2c, Folder 156 Discussion notes, 1956, 1966, 1968-1970, undated
Box 2c, Folder 157 Shepherdson, John C. (re: 1934 lectures), 1962-1965
Box 2c, Folder 158 Shepherdson, John C. et al (re: integration), 1964-1967
Box 2c, Folder 159 Shoenfield, Joseph, 1956-1960, undated
Box 2c, Folder 160 Solovay, Robert
1955, 1965-1967
Box 2c, Folder 161 Discussion notes: 1964-1967, 1972
Box 2c, Folder 162 1968, 1970-1971, 1974, undated
Box 2c, Folder 163 Spector, Clifford, 1957-1961
Box 2c, Folder 164 Stahl, Gerold, 1968-1970
Box 2c, Folder 165 Miscellaneous “S”
E. Sarton to Laurence Shepley, 1931-1974
Box 2c, Folder 166 Margaret Shields to Patrick Suppes, 1947-1975
Box 2c, Folder 167 Tait, William W.
1960-1962
Box 3b, Folder 168 1964-1965, 1973, includes undated notes
Box 3b, Folder 169 Takeuti, Gaisi
1958-1960
Box 3b, Folder 170 1962
Box 3b, Folder 171 1963-1965
Box 3b, Folder 172 1966
Box 3b, Folder 173 with Georg Kreisel, June-August 1966
Box 3b, Folder 174 1967
Box 3b, Folder 175 1970-1972
Box 3b, Folder 176 1973
Box 3b, Folder 177 1974
Box 3b, Folder 178 1975-1976, includes undated notes
Box 3b, Folder 179 Tamari, Dov
1959-1961, 1966-1967
Box 3b, Folder 180 re: Tamari vs. Technicon Israel: 1968, 1971
Box 3b, Folder 181 1973, undated
Box 3b, Folder 182 Tarski, Alfred, 1931, 1942-1947, 1970, contains letter that became 1970c
Box 3b, Folder 183 Tenenbaum, Stanley
1964-1968, 1970-1975, undated
Box 3b, Folder 184 Discussion notes: 1966-1968, 1970-1971
Box 3b, Folder 185 Discussion notes: 1972-1974, undated
Box 3b, Folder 186 Tharp, Leslie, 1966-1973, undated
Box 3b, Folder 187 Miscellaneous “T”, 1932-1977
Box 3b, Folder 188 Ulam, S. M., 1939-1973
Box 3b, Folder 189 Unger, Georg, 1955-1966, undated
Box 3b, Folder 189.5 van Heijenoort, Jean
1958, 1961-1962
Box 3c, Folder 190 March-October 1963
Box 3c, Folder 191 November-December 1963
Box 3c, Folder 192 January-June 1964
Box 3c, Folder 193 August-December 1964
Box 3c, Folder 194 1965
Box 3c, Folder 195 1966, 1975, undated
Box 3c, Folder 196 Veblen, Oswald, 1933-1949
Box 3c, Folder 197 von Neumann, John, 1930-1939
(See also Series VI: Folder 33 under “M” for AMs draft of memorial letter)
Box 3c, Folder 198 Miscellaneous “V”, 1939-1979
Box 3c, Folder 199 Wajsberg, N., 1929, 1932
Box 3c, Folder 200 Wang, Hao
1948-1949
Box 3c, Folder 201 1967
Box 3c, Folder 202 1968, 1970
Box 3c, Folder 203 1971-1973 (re: Wang 1974)
Box 3c, Folder 204 1974-April 1975 (re: Wang 1974)
Box 3c, Folder 205 May-November 1975, (re: Wang 1974)
Box 3c, Folder 206 December 1975, Quotations from Gödel
Box 3c, Folder 207 Discussion notes: 1971-1975
Box 3c, Folder 208 February-July 1976 (includes drafts of Wang1981)
Box 3c, Folder 209 November 1976-February 1978
Box 3c, Folder 210 Miscellaneous “W”, 1935-1978
Box 3c, Folder 211 Yasuhara, Mitsuru, 1970-1972
Box 3c, Folder 212 Yourgrau, Wolfgang, 1962-1976
Box 3c, Folder 213 Miscellaneous “Y”, 1957-1966
Box 3c, Folder 214 Zermelo, Ernst, 1931
Box 3c, Folder 215 Zuckerman, Martin, 1967
Box 3c, Folder 216 Miscellaneous “Z”, 1935-1973
Box 3c, Folder 217 Multiple Correspondents, 1955-1970
Box 3c, Folder 218 Unidentified Correspondents, 1939-1971
(See also Series XIV: Folder 1)
Box 3c, Folder 219 Series 2: Institutional, Commercial and Incidental Correspondence
(Approximately 1,600 items)
Series Description
Includes requests for biographical information, charitable solicitations, lecture invitations, editorial correspondence, honors bestowed, internal correspondence of the Institute for Advanced Study, literary solicitations, offprint and permissions requests, and correspondence with professional societies. Also includes unsolicited correspondence from cranks and autograph seekers.
Series Arrangement
Boxes 4a-5a. Incoming and outgoing correspondence filed together, alphabetically by subject or type of correspondence.
Announcements of academic and cultural events, 1939-1974
Box 4a, Folder 1 Appreciation, Letters of, 1958-1973
Box 4a, Folder 2 Autograph Requests
A-M, 1949-1976
Box 4a, Folder 3 N-W, 1953-1976
Box 4a, Folder 4 Bibliographic Requests, Miscellaneous, 1956-1975
Box 4a, Folder 5 Biographical Requests from Individuals, 1969-1976
Box 4a, Folder 6 Biographical Requests from Institutions and Biographical Registers
1946-1954
Box 4a, Folder 7 1960-1965
Box 4a, Folder 8 1966-1980, undated
Box 4a, Folder 9 Booksellers, Miscellaneous, 1929-1960
Box 4a, Folder 10 Charitable Solicitations, 1935-1975
Box 4a, Folder 11 Conference and Colloquium Announcements
1929-1935, 1938-1939
Box 4a, Folder 12 1960-1964
Box 4a, Folder 13 1965-1967
Box 4a, Folder 14 1968
Box 4a, Folder 15 1969-1972
Box 4a, Folder 16 1973-1975, undated
Box 4a, Folder 17 Crank Correspondence
A-G, 1963-1977
Box 4a, Folder 18 H-O, 1937-1977
Box 4a, Folder 19 R-Sh, 1959-1977
Box 4a, Folder 20 Sk-Z, except W, 1967-1976
Box 4a, Folder 21 W, 1960-1976
Box 4a, Folder 22 Editorial Correspondence
New York University Press (re: Ernest Nagel/James R. Newman), 1957
Box 4b, Folder 23 New York University Press, undated notes
Box 4b, Folder 24 La Nuova Italia Editrice (re: 1968), 1968
Box 4b, Folder 25 Oliver and Boyd/Basic Books (re:“Meltzer's Translation of 1931”), 1963
Box 4b, Folder 26 Oliver and Boyd/Basic Books (re: “Meltzer's Translation of 1931”), 1964-1966
Box 4b, Folder 27 Oliver and Boyd/Basic Books (re: “Meltzer's Translation of 1931”), 1968-1969, undated
Box 4b, Folder 28 Princeton University Press (re: 1940), 1961-1970
Box 4b, Folder 29 Time, Inc. (re: Bergamini et al, 1963), 1963
Box 4b, Folder 30 Zentralblatt für Mathematik (re: reviews), 1930-1937
Box 4b, Folder 31 Zentralblatt für Mathematik (re: Gödel/Arend Heyting Collaboration), 1931-1935
Box 4b, Folder 32 Miscellaneous, including collected works solicitations, 1930-1978
Box 4b, Folder 33 Honors
Einstein Award, 1951
Box 4b, Folder 33.5 Honorary Degrees: Amherst College (1967), Cambridge University (1972-1973), Harvard University (1952)
Box 4b, Folder 34 Honorary Degrees: Princeton University, 1975
Box 4b, Folder 35 Honorary Degrees: Rockefeller University, 1972
Box 4b, Folder 36 Membership: American Academy of Arts and Sciences, American Philosophical Society, British Academy, 1961-1972
Box 4b, Folder 37 Membership: Institut de France, Institut International des Sciences Théoriques, 1947-1972
Box 4b, Folder 38 Membership: London Mathematical Society, National Academy of Sciences, Royal Society, Trinity Mathematical Society, 1955-1968
Box 4b, Folder 39 National Medal of Science
May-June 1975
Box 4b, Folder 40 September-October, 1975
Box 4b, Folder 41 Letters of Congratulation, 1975
Box 4b, Folder 42 Institute for Advanced Study
Financial memoranda, 1933-1967
Box 4c, Folder 43 Internal memoranda (re: applicants)
1956-1962
Box 4c, Folder 44 1970-1971
Box 4c, Folder 45 1972-1975
Box 4c, Folder 46 Miscellaneous Internal Correspondence, 1934-1973
Box 4c, Folder 47 Inquiries from Students and Amateurs, 1956-1976
Box 4c, Folder 48 Inquiries, Miscellaneous, 1946-1977
Box 4c, Folder 49 Interview Requests, 1964-1969
Box 4c, Folder 50 Invitations to Lecture
1933-1939
Box 4c, Folder 51 1949, 1957-1958
Box 4c, Folder 52 1960-1965
Box 4c, Folder 53 1966-1969
Box 4c, Folder 54 1970-1974, 1976
Box 4c, Folder 55 Invitations, Other Scholarly, 1957-1966
Box 4c, Folder 56 Invitations, Social, 1935-1975
Box 4c, Folder 57 Job Search Inquiries, 1958-1967
Box 4c, Folder 58 Legal Correspondence, Miscellaneous, 1932-1938
Box 4c, Folder 59 Leibniz Microfilming Project, 1949-1953
Box 4c, Folder 60 Library Correspondence, Miscellaneous, 1935-1973
Box 4c, Folder 61 Literary Solicitations
1933-1953
Box 4c, Folder 62 1960, 1962-1963
Box 4c, Folder 63 1964-1967, 1969
Box 4c, Folder 64 1971-1972, 1975-1976
Box 4c, Folder 65 Miscellaneous
(see Unclassified)
Moving Company
(see Rental Agency and Moving Company)
Offprints, Requests for
1938-1952
Box 4c, Folder 66 1954-1962
Box 4c, Folder 67 1963-1965, 1970, 1975-1976
Box 4c, Folder 68 Permission Requests
Quotation, 1975
Box 5a, Folder 69 Reprintings and Photocopies, 1959-1973
Box 5a, Folder 70 Translations
1953-1969
Box 5a, Folder 71 1973-1977
Box 5a, Folder 71.5 1978-1980 (re: 1980)
Box 5a, Folder 72 Photo Requests, 1952-1981
Box 5a, Folder 73 Professional Associations
National Academy of Sciences
1956-1964
Box 5a, Folder 74 1966-1968
Box 5a, Folder 75 1970, 1972-1973, 1975
Box 5a, Folder 76 Miscellaneous, 1937-1975
Publisher's Announcements
1934-1959
Box 5a, Folder 78 1960-1976
Box 5a, Folder 79 Recommendation Requests, Miscellaneous, 1952-1971
Box 5a, Folder 80 Rental Agency and Moving Company, Vienna, 1937-1939
Box 5a, Folder 81 Souvenir Cards, 1967
Box 5a, Folder 82 Subscriptions, 1936-1972
Box 5a, Folder 83 Unclassified, 1937-1976
Box 5a, Folder 84 Series 3: Topical notebooks
(Approximately 150 items)
Series Description
Includes school exercise books, university course notes, vocabulary notebooks, notes for Gödel's lectures at Vienna and Notre Dame, and several series of notebooks on mathematical logic, philosophy, and current events. Among the notebooks are sixteen “Arbeitshefte” (mathematical workbooks), fourteen labelled “Allgemeine Bildung,” nine history notebooks, six designated as “Logic and foundations” and four as “Results on foundations,” and fifteen philosophical notebooks including material from before May 1941 until the end of Gödel's life. The philosophical notebooks are designated as “Max 0-XV,” of which volume XIII is missing; the second of three theological notebooks is also lost.
Many of the notebooks were filled from both directions, with one subject or sequence beginning on the first page and proceeding toward the back of the notebook and another beginning on the last page and proceeding toward the front of the notebook. These notebooks are designated in the finding aid as written both directions. Gödel also habitually filed separate pages with notebooks in three different manners described in the finding aid as follows:
- Intercalated: Placed within the notebook, apparently with some attention to a meaningful sequence, often numbered in sequence with the pagination of the notebook.
- Inserted: Placed inside the notebook (usually inside the front or back cover) without obvious attention to sequence
- Loose: Simply filed in a folder with the notebook
Series Arrangement
Boxes 5b-7a. Filed alphabetically by subject or by Gödel's title (as indicated in the finding aid). Mostly in Gabelsberger shorthand.
“Allgemeine Bildung”
A set of notebooks labelled “Allg. Bild.,” numbered, and dated by Gödel as given below. The notebooks contain notes (apparently intended to contribute to Gödel's “general education”) on political and cultural issues. There are entries on major “newsmakers” of the period, ranging from politicians to icons of popular culture. Headings are in German or English, notes are in Gabelsberger shorthand.
1: 1953-May 1957
written both directions
Box 5b, Folder 1 2: July 1957-February 1958
written both directions. Backward direction is labelled “Diff. Geom. Engl. Vok., Org. Chemie II, 1937” and contains mathematical computations and work using symbolic chemistry notation.
Box 5b, Folder 1 3: March 1958-June 1958
Box 5b, Folder 2 4: July 1958-September 1958
Box 5b, Folder 2 5: September 1958-December 1958
Box 5b, Folder 3 6: December 1958-May 1959
Box 5b, Folder 3 7: May 1959-August 1959
plus one loose sheet
Box 5b, Folder 4 8: August 1959-December 1959
Box 5b, Folder 5 9: December 1959-March 1960
Box 5b, Folder 6 10: March 1960-July 1962
Box 5b, Folder 7 11: July 1962-December 1965
Box 5b, Folder 8 12: December 1965-?
Box 5b, Folder 9 13: June 1967-September 1967
Box 5b, Folder 10 14: September 1967-April 1972
Box 5b, Folder 11 15: April 1972-May 1974
Box 5b, Folder 11 American History
One notebook, headings in English, notes in English and Gabelsberger shorthand
Box 5b, Folder 11.5 “Arbeitshefte”
Set of notebooks labelled “Arb. H.” and numbered 1-16 by Gödel. Any additional labelling is given below in quotes. These “mathematical workbooks” contain theorems, definitions, proofs, and computations with headings in German.
Index to the “Arbeitshefte”: AMs notes cross-referencing subject headings with notebooks and page numbers
Box 5c, Folder 12 No. 1: Written both directions, plus 8 loose pages
Box 5c, Folder 13 No. 2: “Kontinuum”: Plus 8 loose pages
Box 5c, Folder 14 No. 3
Box 5c, Folder 15 No. 4: Written both directions, plus 7 loose pages
Box 5c, Folder 16 No. 5: Plus 2 loose pages
Box 5c, Folder 17 No. 6: Plus 5 loose pages
Box 5c, Folder 18 No. 7: Written both directions, plus 24 intercalated pages and 1 loose page
Box 5c, Folder 19 No. 8
Box 5c, Folder 20 No. 9: “Int. Math”: Plus 9 intercalated pages
Box 5c, Folder 21 No. 10
Box 5c, Folder 22 No. 11
Box 5c, Folder 23 No. 12: Plus 8 intercalated pages
Box 5c, Folder 24 No. 13: Plus 2 intercalated pages
Box 5c, Folder 25 No. 14: with insert dated 1966
Box 5c, Folder 26 No. 15
Box 5c, Folder 27 No. 16: Plus 11 intercalated pages and 1 page inserted in back
Box 5c, Folder 28 Astronomy
(Two notebooks without external labelling)
(re: angular orientation of nebulae, etc.)
(See also Physics: “Physik 1935”)
Front page headed: “Liste d. grossen Nebel” (“List of the Large Nebulae), headings in German with tables of numeric figures, plus 8 loose pages
Box 5c, Folder 29 Unlabelled: Tables of numeric figures, plus 3 loose pages
Box 5c, Folder 30 Bibliographic Notes
(See Loose-leaf Notebook, and Physics: “Lit Physik”)
Chemistry
(See “Allgemeine Bildung”: II, and School: Geography, Geology, Chemistry)
History
Notebooks numbered 1-9 by Gödel. Additional labelling appears below in quotes. Headings of historic dates, figures, and works in German, Latin, and English with notes in Gabelsberger shorthand
(See also American History)
Partial index to the History Notebooks: alphabetized references to entries in the notebooks, primarily names and dates
Box 5d, Folder 31 No. 1: “Lexicon, etc”
Box 5d, Folder 32 No. 2: “Lexicon, etc”: all loose pages
Box 5d, Folder 33 Notes on Leopold von Ranke, History of Popes (filed by Gödel with History Notebook No. 2)
Box 5d, Folder 34 No. 3
Box 5d, Folder 35 No. 4
Box 5d, Folder 36 No. 5
Box 5d, Folder 37 No. 6
Box 5d, Folder 38 No. 7
Box 5d, Folder 39 No. 8
Box 5d, Folder 40 No. 9: The title “Höhere Math.” is stricken; the first four pages contain mathematical notes.
Box 5d, Folder 41 IAS Committee Memoranda, 1953-1967
: One notebook containing notes in Gabelsberger shorthand with English and German headings, and budget tables, plus 3 loose pages
Box 5d, Folder 42 Language Practice: Italian:
One notebook containing transcriptions in Italian, plus three loose pages inserted in front.
(For other language practice, see School: Latin Practice; and Vocabulary: English, Latin, Dutch.)
Box 5d, Folder 43 Logic and Foundations:
Set of notebooks, each labelled “Logik und Grundlagen” and numbered by Gödel as given below. Gödel's pagination is continuous throughout the set as listed below. The notebooks contain work written in symbolic logic notation and entries in Gabelsberger shorthand.
Index to the Logic and Foundations Notebooks, 3 loose sheets
Box 5d, Folder 44 No. 1: pp. 1-54
Box 5d, Folder 45 No. 2: pp. 55-134
Box 5d, Folder 46 No. 3: pp. 135-206
Box 5d, Folder 47 No. 4: pp. 207-266
Box 5d, Folder 48 No. 5: pp. 267-343
Box 5d, Folder 49 No. 6: pp. 344-440
Box 6a, Folder 50 Loose-leaf Notebook
Mostly bibliographic notes in English, German, and Gabelsberger shorthand
Box 6a, Folder 51 Mathematics
Various notebooks containing mathematical work, labelled by Gödel as quoted below. In the absence of designation by Gödel, some physical description of the notebook is offered.
(See also Arbeitshefte; History: No. 9; Philosophy: “[Heinrich] Gomperz;” and School: Geography, Latin Practice, Mathematics)
“Amerika 1933/34 (Grundl[agen])”
Mathematical computation with notes in Gabelsberger shorthand, written both directions
Box 6a, Folder 51.5 “Auswahlaxiom, Mengenlehre II, Amerika 1935”
Mathematical computation (re: the axiom of choice) with notes in German and Gabelsgerger shorthand, written both directions
Box 6a, Folder 52 “Amerika II, 1935”
Mathematical computation, notes in Gabelsberger shorthand, written both directions, plus two loose pages
Box 6a, Folder 53 “Beweis d. Gultigkeit d. int. Ax.”
Notes filed by Gödel with “Amerika 1935” notebooks, notes in English and Gabelsberger shorthand, with mathematical computation, total 21 loose sheets
Box 6a, Folder 54 “Lekt. Math. I”
Notes on Institute for Advanced Study lectures, in Gabelsberger shorthand with mathematical computation, plus 3 intercalated pages, and 3 pages inserted in back
Box 6a, Folder 55 “Nur Weyl, Geometrie der Zahlen”
Lecture notes on Hermann Weyl, Institute for Advanced Study lectures [Autumn 1940], theorems and definitions, in mathematical notation, notes in Gabelsberger shorthand, written both directions
Box 6a, Folder 56 “Siegel, Fubini, und div. bekannte Theoreme (Sommer 1941?)”
Notes on Institute for Advanced Study lectures, in mathematical notation; lectures given by Carl Ludwig Siegel and Guido Fubini
Box 6a, Folder 57 “Altes Excerpten Heft I (1931-. . .)”
Notes on mathematical literature, headings in German and English, notes in Gabelsberger shorthand, plus 3 loose pages and 2 inserted cards
Box 6a, Folder 58 “Aflenz 1936 Analysis, Physik”
Mathematical computation with notes in Gabelsberger shorthand (taken while in Aflenz, Austria?), written both directions, plus 4 loose pages
Box 6a, Folder 59 Undesignated
Mathematical computation with notes in Gabelsberger shorthand, written both directions
Box 6a, Folder 60 Undesignated, Back cover missing
Mathematical computation
Box 6a, Folder 61 Undesignated, Both covers missing, Binding disintegrated
Mathematical computation with notes in Gabelsberger shorthand
Box 6a, Folder 62 Undesignated, Both covers missing, Binding intact
Mathematical computation, written both directions
Box 6a, Folder 62.5 Philosophy
Set of notebooks labeled and dated by Gödel as quoted below (names of months have been translated from abbreviations), containing notes on philosophical “maxims” in Gabelsberger shorthand with headings in German or English
“Philosophie I Max 0”
Box 6b, Folder 63 “Max I Zeiteinteilung”
Box 6b, Folder 64 “Max II Zeiteinteilung”: Plus 21 loose pages
Box 6b, Folder 65 “Max III”: Plus 5 inserted pages
Box 6b, Folder 66 “Max IV” (May 1941-April 1942)
Box 6b, Folder 67 “Max V” (May 1942-?)
Box 6b, Folder 67 “Max VI” (?-July 1942)
Box 6b, Folder 68 “Max VII” (15 July 1942-10 September 1942)
Box 6b, Folder 68 “Max VIII” (15 September 1942-18 November 1942)
Box 6b, Folder 69 “Max IX” (18 November 1942-11 March 1943)
Box 6b, Folder 69 “Max X” (12 March 1943-27 January 1944)
Box 6b, Folder 70 “Max XI” (28 January 1944-14 November 1944)
Box 6b, Folder 70 “Max XII” (15 November 1944-5 June 1945)
Box 6b, Folder 71 Vol. XIII missing
(see note in “Phil. XIV”)
“Phil. XIV” (July 1946-May 1955)
Box 6b, Folder 72 “Max XV, Letztes” (May 1955- )
Box 6b, Folder 72 “Gomperz, Geschichte der europ. Phil., Winter 1925”
Philosophy course notes (in Gabelsberger shorthand with German headings) on the history of European philosophy, written both directions. Backward direction: Mathematical notes
Box 6b, Folder 72.5 “Gomperz, 1926”
Philosophy course notes, written in both directions. Backward direction: Mathematical notes
Box 6b, Folder 72.6 Physics
: Various notebooks containing notes on physics, labelled by Gödel as quoted below. Where left undesignated, notebooks are distinguished by content.
“Kottler, Sommer 1926”
Kinetic theory of matter, course notes in mathematical notation (From the lectures of Friedrich Kottler?)
Box 6b, Folder 73 “Physik 1935 Stat. Mech., Optik”
Notes on statistical mechanics and optics in mathematical notation with diagrams and headings in German
Box 6b, Folder 74 “Physik 1935”
Mathematical computation with diagrams and headings in German, written both directions, plus 3 loose pages
Box 6b, Folder 75 “Hobart. . . Physik 1935”
Mathematical computation with headings in German, written both directions
Box 6b, Folder 76 “Physik 1935”
Includes section titled “Astronomische Zahlen,” mathematical computation with headings in German, written both directions, plus one page intercalated
Box 6b, Folder 77 “Physik Quantenmech. I”
Mathematical computation with notes in Gabelsberger shorthand and headings in German and English, written both directions
Box 6b, Folder 78 “Physik Quantenmech. II” [1935]
Mathematical computation with notes in Gabelsberger shorthand
Box 6b, Folder 78 “Physik Excerpte f. D. Prufung”
Loose notes filed with physics notebooks by Gödel (examination excerpts), mathematical computation
Box 6c, Folder 79 Undesignated (re: rotating universes)
Mathematical computation and extensive notes in English, plus one loose sheet
Box 6c, Folder 79.5 Undesignated (re: rotating universes)
Mathematical computation, plus one loose page
Box 6c, Folder 79.6 “Physik (rein)” (re: relativity)
Mathematical computation with headings in German, written in both directions, plus one loose page
Box 6c, Folder 79.7 “Lit Physik”
Notebook on literature in Physics and accompanying loose bibliographic notes, in both German and Gabelsberger shorthand
Box 6c, Folder 80 “Protokoll”
One notebook labelled “Prot.” by Gödel. Contains notes on conversations and lectures, etc., in Gabelsberger shorthand with German and English headings.
Box 6c, Folder 81 Results on Foundations
A set of notebooks, each labelled “Resultate Grundlagen” and numbered by Gödel as listed below. Gödel's pagination throughout the set is continuous, as shown. Notebooks contain work written in symbolic logic notation and notes in Gabelsberger shorthand with German headings.
Index to the Results on Foundations Notebooks: AMs notes cross-referencing subject headings to notebooks and page numbers
Box 6c, Folder 82 I: pp. 1-52
Box 6c, Folder 83 II: pp. 53-153
Box 6c, Folder 84 III: pp. 154-267
Box 6c, Folder 85 IV: pp. 268-368
Box 6c, Folder 86 School
Set of notebooks from Gödel's schooling, ranging from grade school to high school.
The notebooks are arranged below with the earliest three listed first, and thereafter alphabetized by subject.
Arithmetic (Evangelische Bürgerschule in Brünn, 1912/1913)
Practice writing numerals and sums
Box 6c, Folder 87 Penmanship (Evangelische Bürgerschule in Brünn, 1912/1913)
Practice writing alphabet
Box 6c, Folder 88 Composition (Evangelische Bürgerschule in Brünn, 1914/1915)
Essays in German, plus one loose page
Box 6c, Folder 89 Composition (Staatsrealgymnasium in Brünn, 1920/1921)
Essays in German
Box 6c, Folder 90 Drafting
Three notebooks, undesignated, distinguishable by physical characteristics
Plain white, covers missing
Contains practice constructing geometrical figures.
Box 6c, Folder 91 Plain white, folded open
Contains practice constructing geometrical figures.
Box 6c, Folder 92 Plain white, staples removed
Contains practice constructing geometrical figures, plus three loose sheets.
Box 6c, Folder 93 Geography, Geology, Chemistry
One notebook labeled “Mittelschule Geog.” and then “org. Chemie (1937),” contains notes in German and Gabelsberger shorthand on geography and geology, and notes in German on chemistry. Written both directions, backward direction includes some mathematical calculations.
Box 6c, Folder 94 Latin Practice (Staatsrealgymnasium in Brünn, 1920/1921)
Practice essays in Latin, Algebra practice pencilled in back
Box 6c, Folder 95 Logic: Labeled inside cover “Übungsheft Log”
Contains exercises in symbolic logic notation.
Box 6c, Folder 96 Mathematics
Set of notebooks covering Gödel's early education in mathematics, grouped chronologically, with undated material at end
Workbook (Staatsrealgymnasium in Brünn, 1918/1919)
Labeled “Mathematische Schularbeiten,” contains mathematical schoolwork with teacher's comments in German
Box 6c, Folder 97 Geometry (Staatsrealgymnasium in Brünn, 1920/1921)
Labeled “Geom. Hausübungen,” contains geometry “homework,” including the construction of figures.
Box 6c, Folder 98 Workbook (Staatsrealgymnasium in Brünn, 1923/1924)
Labeled “Mathematische Schularbeiten,” contains schoolwork with algebraic and trigonometric functions, and calculus, with teacher's comments in German.
Box 6c, Folder 99 Calculus Workbook
Unlabeled, contains pencilled practice in calculus.
Box 6c, Folder 100 Miscellaneous
Labeled “Gödel Kurt,” contains mathematical computation with notes in Gabelsberger shorthand, written both directions.
Box 6c, Folder 101 Miscellaneous
Inside cover labeled “Algebra,” contains mathematical computation with notes in Gabelsberger shorthand, written both directions.
Box 6c, Folder 102 Mathematics/German Culture
Unlabeled, contains pencilled practice in mathematical computation and notes on German language, history, and culture in German and Gabelsberger shorthand.
Box 6c, Folder 103 Natural History
One notebook labeled “Naturgeschichts Heft.,” contains notes in German with hand-drawn diagrams.
Box 6c, Folder 104 Physics
Two notebooks from Gödel's early schooling in Physics, labeled by Gödel as quoted below
“Früh phy. 1924”
From Staatsrealgymnasium in Brünn, contains diagrams, notes in German, and mathematical computation, written both directions.
Box 6c, Folder 105 “Physik Heft”
From Staatsrealgymnasium in Brünn [1921/1922], contains diagrams, notes in German, and mathematical computation, plus 10 loose pages.
Box 6c, Folder 106 Theology
A set of two notebooks, labeled and numbered by Gödel as below. Numbering suggests a third notebook, #2, now missing.
“theologie 1 Nur Vorlesungen”
Headings in German, French and Latin, with notes in Gabelsberger shorthand, plus 4 intercalated pages
Box 7a, Folder 107 “Theol. 3”
Headings in German, notes in Gabelsberger shorthand, including tables of content for the Bible
Box 7a, Folder 108 Vocabulary
Set of 16 notebooks containing vocabulary lists and language practice, four of which belonged to Gödel's brother, Rudolf.
Arranged alphabetically by language, with Rudolf's notebooks at the end. Labeled as quoted below.
Dutch
(See Latin: “Dutch”)
English
(Seven notebooks total)
“English”: English translated into Gabelsberger shorthand
Box 7a, Folder 109 Unlabeled: English translated into German or Gabelsberger shorthand, written both directions
Box 7a, Folder 109 “English”: English translated into Gabelsberger shorthand
Box 7a, Folder 110 “English”: English translated into Gabelsberger shorthand or French, transcription of Charles Dickens in English at back
Box 7a, Folder 110 “Englische V, alt”: English translated into Gabelsberger shorthand, includes table of vowel pronunciation, written both directions
Box 7a, Folder 110 Unlabeled: English translated into Gabelsberger shorthand, plus 7 loose pages; some French as well
Box 7a, Folder 111 “English”: English translated into Gabelsberger shorthand or German, includes practice sentences in English, written in both directions, plus 4 loose pages
Box 7a, Folder 112 Latin:
Five undated notebooks of Latin vocabulary and language practice, designated as quoted below:
Unlabeled: Latin translated into Gabelsberger shorthand
Box 7a, Folder 113 “8”: Latin translated into Gabelsberger shorthand
Unlabeled Notepad: Latin translated into Gabelsberger shorthand, plus 9 loose pages
Box 7a, Folder 114 “Lat. Vok.”: Latin translated into Gabelsberger shorthand, Greek translated into Latin or German
“Dutch”: Written both directions. Forward direction: Dutch translated into Gabelsberger shorthand, backward direction: Latin translated into Gabelsberger shorthand
Box 7a, Folder 115 Rudolf Gödel:
Four school notebooks belonging to Kurt Gödel's brother, Rudolf, from Staatsrealgymnasium in Brünn
“Deutsch Heft I” (1918/1919): Headings in German, notes in shorthand
Box 7a, Folder 116 “Deutsch Heft II” (1918/1919): Headings in German, notes in shorthand
“Deutsch Heft III” (1919/1920): Headings in German, notes in shorthand
Box 7a, Folder 117 “Deutsch Heft IV” (1919/1920): Headings in German, notes in shorthand, plus two intercalated pages
Series 4: Drafts and Offprints
(Approximately 500 items)
Series Description
Drafts, manuscripts and typescript “Reinschriften,” galleys and offprints of Gödel's articles, lectures, and reviews, published and unpublished, in English, German, and Gabelsberger shorthand. Important unpublished items includes Gödel's 1951 Gibbs lecture ( *1951), a longer version of Gödel's essay on relativity theory and idealistic philosophy, “Is mathematics syntax of language?” ( *1953/9), (intended for Schilpp 1963), and a revised English version ( 1972) of the Dialectica paper ( 1958).
Published works are designated by italic years of publication as established in the Gödel bibliography published in Volume III of the Oxford edition of Gödel's Collected Works, pp. 487-491.
Series Arrangement
Boxes 7a-9b. Filed chronologically under titles or descriptive headings.
1929, “Über die Vollständigkeit des Logikkalküls” (Doctoral Dissertation)
AMs Notebook (in Gabelsberger shorthand) labeled “Diss. unrein,” written both directions, [1929?]
Box 7a, Folder 1 TMs [carbon] (in German) labeled “Dissertation,” with autograph corrections, 34 pp., [1929?]
Box 7a, Folder 2 TMs [photocopy] of final typescript deposited at Universität Wien, [1929]
Box 7a, Folder 3 1930, “Die Vollständigkeit der Axiome des logischen Funktionenkalküls”
TMs (in German), labeled “Vollstandigkeit d. Axiome” with autograph corrections, 20 pp., [1930?]
Box 7a, Folder 4 Printed page proof with autograph corrections, [1930?]
Box 7a, Folder 4 Offprint, 1930
Box 7a, Folder 4 Galley with autograph annotations, [1930]
Box 7a, Folder 4 1930c, Lecture, “Über die Vollständigkeit des Funktionenkalküls” (delivered on dissertation, September 6, 1930?)
TMs (in German) with autograph corrections, pp. 10, [1930]
Box 7a, Folder 5 AC describing contents of original file, undated
Box 7a, Folder 5 TMs (in German) with autograph corrections, p. 6, back labeled “Vortrag über Vollständigkeit Fnkt. Kalk”, [1930?]
Box 7a, Folder 5 1931a, “Diskussion zur Grundlegung der Mathematik” (a prepared script of the proceedings on September 7, at the Königsberg conference of 1930, published in Erkenntnis 2 with a “Nachtrag” by Gödel)
Printed Matter: from publisher, “Beispiele für Umfang und Art der. . . Autoreferate”, ca.1930
Box 7a, Folder 6 TMs [carbon] of discussion (in German) with autograph corrections, p. 23, ca.1930
Box 7a, Folder 6 TMs of discussion, with autograph corrections, pp. 21 and 23, back labeled “Tagungs Königsberg Diskuss.”, ca.1930
Box 7a, Folder 6 TMs of Nachtrag (“Supplement”), with autograph corrections, 3 pp., back labeled “Erkenntnis”, [1931?]
Box 7a, Folder 6 TMs of Nachtrag with autograph corrections, p. 3
Box 7a, Folder 6 Offprint with autograph annotations, [1931]
Box 7a, Folder 6 Copy of Erkenntnis 2 with autograph annotations, 1931
Box 7a, Folder 6 Undecidability Results (early drafts of 1931)
AMs (in Gabelsberger shorthand) in 2 Notebooks, one inserted in the other, labeled “Unentsch. unrein,” written both directions, [1930?]
Box 7a, Folder 7 AMs Notebook (in Gabelsberger shorthand), labeled “Unentsch. unrein,” written both directions, [1930?]
Box 7a, Folder 8 1930b, “Einige metamathematische Resultate über Entscheidungsdefinitheit”
TMs (in German) with autograph corrections in two hands, 3 pp., 1930
Box 7a, Folder 9 Offprint, 1930
Box 7a, Folder 9 Galley
Box 7a, Folder 9 Project for “Ergebnisse”, A proposed joint book with Arend Heyting
(see Correspondence Series I: Heyting, Arend):
Drafts by Gödel
AMs Notebook (in Gabelsberger shorthand), [1930-1934]
Box 7a, Folder 10 Drafts by Arend Heyting
TMs (in German) with autograph corrections in two hands, Sections labeled as follows: III: 1-7, V: 1-26, VII: 1-4, Unlabeled: 1-4, VI: 1-2, Unlabeled: 1-19, VII: 1-5, References: 1-4, 1-4, 1-4, [1930-1934]
Box 7a, Folder 11 Autograph Material: Envelope, undated
Box 7a, Folder 11 1931, “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”
TMsS (in German) with autograph corrections, front page labeled “. . . formal unentsch. Sätze,” 44 pp., [1930?]
Box 7b, Folder 12 Printed page proof with autograph corrections, [1931]
Box 7b, Folder 13 Offprint with autograph annotations, 1931
Box 7b, Folder 13 Galley with autograph annotations
Box 7b, Folder 13 Untitled Lecture: Hans Hahn's logic seminar, 1931/1932:
Autograph Material: Envelope, [1932]
Box 7b, Folder 14 AMs (in Gabelsberger shorthand and German) of notes (for lecture draft?), undated
Box 7b, Folder 14 Autograph Material: Envelope
Box 7b, Folder 14 AMs (in Gabelsberger shorthand and German), first page headed “Vollständigkeit des Funkt. Kalküls”, [1931-1932]
Box 7b, Folder 14 AMs of computational notes on Arend Heyting's propositional calculus for Hans Hahn's seminar, 14 pp., with envelope, 1931-1932
Box 7b, Folder 15 AMs of computational notes on Arend Heyting's propositional calculus, miscellaneous pages, undated
Box 7b, Folder 15 Autograph Material: Folder, [1932]
Box 7b, Folder 16 Prepared notes for Hahn's seminar, in two versions
TMs [carbon] (in German) with autograph corrections, 36 pp., 1931-1932
Box 7b, Folder 16 TMs [carbon] (in German) with autograph corrections, 57 pp., 1932
Box 7b, Folder 16 TMs [carbon] (in German) of notes from the proceedings of Verein Ernst Mach, undated
Box 7b, Folder 16 Reviews for Zentralblatt für Mathematik: Autograph Drafts (in German)
1931b: Review of Ludwig Neder 1931, AMsS, 2pp., [1931]
Box 7b, Folder 17 1931c: Review of David Hilbert 1931, AMsS, 2 pp., 1931
Box 7b, Folder 17 1931f: Review of Helmut Hasse and Heinrich Scholz 1928 AMs, fragmentary draft, 1 p., [1931]
Box 7b, Folder 17 1932d: Review of Thoralf Skolem 1931, AMsS, 2 pp., [1932]
Box 7b, Folder 17 1932e: Review of Rudolf Carnap 1931, AMsS, 3 pp., [1932]
Box 7b, Folder 17 1932f: Review of Arend Heyting 1931, AMsS, 2 pp., [1932]
Box 7b, Folder 17 1932g: Review of John von Neumann 1931, AMsS, 2 pp., [1932]
Box 7b, Folder 17 1932h: Review of Fritz Klein 1931, AMsS, 2 pp., [1932]
Box 7b, Folder 17 1932i: Review of Franz G. Hoensbroech 1931, AMsS, 1 p., 1932
Box 7b, Folder 17 1932j: Review of Fritz Klein 1932, AMsS, 1 p., 1932
Box 7b, Folder 17 1932k: Review of Alonzo Church 1932, AMsS, 2 pp., 1932
Box 7b, Folder 17 1932l: Review of Lászlo Kalmár 1932, AMsS, 1 p., 1932
Box 7b, Folder 17 1932m: Review of Edward V. Huntington 1932, AMsS, 1 p., 1932
Box 7b, Folder 17 1932n: Review of Thoralf Skolem 1932, AMsS, 2 pp., 1932
Box 7b, Folder 17 1933j: Review of Stefan Kaczmarz 1932, AMsS, 1 p., [1933]
Box 7b, Folder 17 1933k: Review of Clarence I. Lewis 1932, AMsS, 1 p., [1933]
Box 7b, Folder 17 1933l: Review of Lászlo Kalmár 1933, AMsS, 2 pp., 1933
Box 7b, Folder 17 1934b: Review of Willard V. Quine 1933, AMsS, 1 p., [1934]
Box 7b, Folder 17 1934c: Review of Thoralf Skolem 1933a, AMsS, 2 pp., [1934]
Box 7b, Folder 17 1934d: Review of Kien-Kwong Chen 1933, AMsS, 1 p., [1934]
Box 7b, Folder 17 1934e: Review of Alonzo Church 1933, AMsS, 2 pp., [1934]
Box 7b, Folder 17 1934f: Review of Bernard Notcutt 1934, AMsS, 1 pp., 1934
Box 7b, Folder 17 1935: Review of Thoralf Skolem 1934, AMsS, 1 pp., [1935]
Box 7b, Folder 17 1935a: Review of Edward V. Huntington 1934, AMsS, 2 pp., [1935]
Box 7b, Folder 17 1935b: Review of Rudolf Carnap 1934, AMsS, 2 pp., [1935]
Box 7b, Folder 17 1935c: Review of Laszlo Kalmár 1934, AMsS, 1 p., [1935]
Box 7b, Folder 17 1936b: Review of Alonzo Church 1935, AMs (in Gabelsberger shorthand), labeled “Resension II Church System”, 2 pp., and AMsS (in German), 2 pp., [1936]
Box 7b, Folder 17 Reviews for Zentralblatt für Mathematik: Printed Matter, 1931-1936
1931b: Review of Ludwig Neder 1931, Galley, 1931
Box 7b, Folder 18 1931a: Review of David Hilbert 1931, Galley, 1931
Box 7b, Folder 18 1932d: Review of Thoralf Skolem 1931, Galley, 1932
Box 7b, Folder 18 1932e: Review of Rudolf Carnap 1931, Galley, 1932
Box 7b, Folder 18 1932f: Review of Arend Heyting 1931, Galley with autograph corrections, 1932
Box 7b, Folder 18 1932g: Review of John von Neumann 1931, Galley, 1932
Box 7b, Folder 18 1932h: Review of Fritz Klein 1931, Galley, 1932
Box 7b, Folder 18 1932i: Review of Franz G. Hoensbroech 1931, Galley, 1932
Box 7b, Folder 18 1932j: Review of Fritz Klein 1932, Galley, 1932
Box 7b, Folder 18 1932k: Review of Alonzo Church 1932, Galley, 1932
Box 7b, Folder 18 1932l: Review of Lászlo Kalmár 1932, Galley, 1932
Box 7b, Folder 18 1932m: Review of Edward V. Huntington 1932, Galley, 1932
Box 7b, Folder 18 1932n: Review of Thoralf Skolem 1932, Galley, 1932
Box 7b, Folder 18 1933j: Review of Stefan Kaczmarz 1932, Galley, 1933
Box 7b, Folder 18 1933k: Review of Clarence I. Lewis 1932, Galley, 1933
Box 7b, Folder 18 1933l: Review of Lászlo Kalmár 1933, Galley, 1933
Box 7b, Folder 18 1934a: Review of Thoralf Skolem 1933, Galley, 1934
Box 7b, Folder 18 1934b: Review of Willard V. Quine 1933, Galley, 1934
Box 7b, Folder 18 1934c: Review of Thoralf Skolem 1933a, Galley, 1934
Box 7b, Folder 18 1934f: Review of Bernard Notcutt 1934, Galley, 1934
Box 7b, Folder 18 1935: Review of Thoralf Skolem 1934, 2 Galleys, 1935
Box 7b, Folder 18 1935a: Review of Edward V. Huntington 1934, 2 Galleys, 1935
Box 7b, Folder 18 1935b: Review of Rudolf Carnap 1934, Galley, 1935
Box 7b, Folder 18 1935c: Review of Lászlo Kalmár 1934, Galley, 1935
Box 7b, Folder 18 1936b: Review of Alonzo Church 1935, Galley, 1936
Box 7b, Folder 18 1932, “Zum intuitionistischen Aussagenkalküls”
TMsS (in German) with autograph corrections, 2 pp., 1932
Box 7b, Folder 19 Printed Matter: Offprint, 1932
Box 7b, Folder 19 Galley
Box 7b, Folder 19 1932a, “Über einen Spezialfall des Entscheidungsproblem der theoretischen Logik”
TMs (in German), 3 pp., [1932]
Box 7b, Folder 20 Printed Matter: Offprint, 1932
Box 7b, Folder 20 1932b, “Über Vollständigkeit und Widerspruchsfreiheit”
TMs (in German) with autograph label: “Menger Kolloquium” (prepared for Karl Menger's colloquium), 3 pp., [1932]
Box 7b, Folder 21 1932c, “Eine Eigenschaft der Realisierungen des Aussagenkalküls”
TMs (in German) with autograph insertions and label: “Realisierung d. Aussagenkalk (Menger Koll.)” (prepared for Karl Menger's colloquium), 1 p., [1932]
Box 7b, Folder 22 1933e, “Zur intuitionistischen Arithmetik und Zahlentheorie”
TMs (in German) with autograph label “Zur int. Arithm. . . Zahlentheorie”, pp. 10, [1933]
Box 7b, Folder 23 1933i, “Zum Entscheidungsproblem des logischen Funktionenkalküls”
TMsS (in German) with autograph corrections, 16 pp., [1933]
Box 7b, Folder 24 AMs, single page with diagram, 1933
Box 7b, Folder 24 Printed page proof with autograph corrections, [1933]
Box 7b, Folder 24 Offprint, 1933
Box 7b, Folder 24 Galley with autograph annotations, [1933]
Box 7b, Folder 24 Untitled Lecture Notes: Vienna, Summer 1933
Autograph Material: Envelope, 1933
Box 7b, Folder 25 AMs (in German), loose pages numbered 1-20, 1-6, plus 6 unnumbered pages and one bound notebook, [1933]
Box 7b, Folder 25 1933o “The Present Situation in the Foundations of Mathematics” (Lecture given to the American Mathematical Society, 30 December 1933)
AMs draft fragments (in Gabelsberger shorthand and English), 6 pp., each numbered 2, 3, or 4, undated
Box 7b, Folder 26 AMs draft (in English), pp. 11-24, undated
Box 7b, Folder 26 AMs draft fragments (in English), p. 3, 7, 10, 19.1, undated
Box 7b, Folder 26 AMs (in English and German), labeled “Vortrag US” and “Suppl. I, II, III, IV”, includes loose pages for insertion, undated
Box 7b, Folder 26 AMs draft fragments (in English),pp. 1-3, 5-6, 8-9, undated
Box 7b, Folder 26 AMs draft (in English), pp. 1-22 plus one unnumbered, undated
Box 7b, Folder 26 AMs of final text (in English), labeled “Vort. Cambridge”, 31 pp., [1933]
Box 7b, Folder 27 1934, “On the Undecidable Propositions of Formal Mathematical Systems” (Lectures in Princeton, February-May, 1934)
Box 7b, Folder 27 AMs draft fragments (in English), pp. 1-9, 9-10, 10-12, 18-25, [1934]
Box 7b, Folder 28 AMs insertions, pp. 26.1, 31, 32, 34, 35, [1934]
Box 7b, Folder 28 AMs, labeled “Vorles. Spring 34 Princeton”, pp. 1-3, 3-7, 6-16, 1934
Box 7b, Folder 28 AMs draft fragments, pp. 1-5, 9-10, N1, N2, plus 5 unnumbered, [1934]
Box 7b, Folder 28 AMs, labeled “Erganzung Vorl. 34,” 5 pp., 1934
Box 7b, Folder 28 AMs draft fragments, pp. 1-3, 5-8, 9.1, 9.2, 10-20, [1934]
Box 7b, Folder 28 AMs insertions, 5 pages, first 2 labeled “I”, next 3, “II”, [1934]
Box 7b, Folder 28 Notes to Gödel's lectures, prepared by S.C. Kleene and J.B. Rosser: TMs with Gödel's and others', autograph corrections, 30 pp., 1934
Box 7b, Folder 29 “The Existence of Undecidable Propositions in Any Formal System Containing Arithmetic” (Lecture given to the Philosophical Society of New York University, April 18, 1934)
AMs (in English), labeled “Vortr. New York”, 23 pp., [1934]
Box 7b, Folder 30 TMs, Abstract of 1931 as handed out to attendees of the lecture, undated
Box 7b, Folder 30 Untitled Lecture of Summer 1935
Autograph Material: Envelope, labeled “Vorlesung, Sommer 1935”, 1935
Box 7b, Folder 31 AMs (in German), 27 pp., [1935]
Box 7b, Folder 31 Consistency Proof for the Axiom of Choice
AMs Notebook (in Gabelsberger shorthand and English), written both directions: front labeled “Amerika 1935” (English outline of consistency proof), back labeled “Auswahlaxiom/Mengenlehere I (Aflenz)” (shorthand draft), 1935
Box 7b, Folder 32 1936a, “Über die Länge von Beweisen”
AMs (in Gabelsberger shorthand) labeled “Note für Menger Koll.” (notes for Karl Menger's colloquium), 1 p., [1936]
Box 7b, Folder 33 Galley, [1936]
Box 7b, Folder 33 Offprint, 1936
Box 7b, Folder 33 Untitled Lectures on Set Theory
AMs Notebook (in German and Gabelsberger shorthand), labeled “1 Ax. Meng. Lehre”, undated
Box 7b, Folder 34 AMs Notebook (in Gabelsberger shorthand), labeled “2 Ax. Meng. L.”, undated
Box 7b, Folder 35 Untitled Lecture in Vienna, Summer 1937 (and Menger Colloquium talks?)
Autograph Material: Envelope, 1937
Box 7b, Folder 36 AMs Notebook (in Gabelsberger shorthand and German), labeled “Eigene Vorles. So. 1937”, and 14 pp. loose, 1937
Box 7b, Folder 36 1938a Untitled Lecture at Zilsel's, 29 January 1938
Autograph Material: Envelope, labeled “Vortrag bei Zilsel”, 1938
Box 7c, Folder 37 AMs (in Gabelsberger shorthand), labeled “Reinschrift” 17 pp. plus 23 fragmentary notes, undated
Box 7c, Folder 37 Lectures on the Consistency of the Continuum Hypothesis (Princeton, Autumn 1938)
Talk given to Princeton Mathematics Club: AMs Notebook (in English), labeled “B Club Talk, 1938, Herbst, Princeton (Continuum)”, 1938
Box 7c, Folder 38 Lectures 1-3: AMs Notebook (in English), labeled “Vorlesung 1-3 Kontin. Princeton 1938”, 1938
Box 7c, Folder 39 Lecture 4: AMs Notebook, labeled “Princeton 1938 Vorlesung 4”, 1938
Box 7c, Folder 40 Lecture 5: AMs Notebook, labeled “Princeton 1938 Vorlesung 5”, 1938
Box 7c, Folder 41 Lecture 6: AMs Notebook, labeled “Princeton 1938 Vorlesung 6”, 1938
Box 7c, Folder 42 Lecture 7: AMs Notebook, labeled “Princeton 1938 Vorlesung 7”, 1938
Box 7c, Folder 43 Fragments: AMs, miscellaneous insert sheets, [1938]
Box 7c, Folder 44 Miscellaneous: AMs loose sheets, and 1 sheet TMs entitled “The Consistency of Cantor's Continuum Hypothesis and of the Axiom of Choice,” with autograph corrections, undated
Box 7c, Folder 45 1938, “The Consistency of the Axiom of Choice and of the Generalized Continuum-hypothesis”
AMsS, 4 pp., undated
Box 7c, Folder 46 2 TMss [carbon], 3 pp., undated
Box 7c, Folder 46 2 Offprints with autograph corrections, 1938
Box 7c, Folder 46 “The Consistency of the Generalized Continuum-hypothesis” (Lecture to the American Mathematical Society, 28 December 1938)
AMs Notebook (in English), labeled “Vortrag Math Soc. Dec. 1938 Continuum”, 1938
Box 7c, Folder 47 AMs Notebook, labeled “Entw. vortr. Math Soc. Dec. 1938”, 1938
Box 7c, Folder 48 Autograph Material: Envelope, 1938
Box 7c, Folder 49 2 AMss, loose drafts, pp. 1-19 and 1-15, plus 9 unnumbered sheets, [1938]
Box 7c, Folder 49 1939, “The consistency of the generalized continuum hypothesis” (Abstract of the AMS lecture on 28 December 1938)
AMsS, 2 pp., undated
Box 7c, Folder 50 TMs [carbon], 1 p., undated
Box 7c, Folder 50 1939a, “Consistency proof for the generalized continuum hypothesis”
AMsS, p. 1-13, undated
Box 7c, Folder 51 2 TMsS [carbon], p. 1-9, undated
Box 7c, Folder 51 2 Offprints, with autograph annotations, 1939
Box 7c, Folder 51 Galley with autograph annotations, [1939]
Box 7c, Folder 51 Notre Dame Continuum Lectures, Spring 1939:
Lecture I: AMs Notebook (in English), labeled “Cont. Vorl. Notre Dame I,” plus one insert: “Prüfungsfragen”, [1939]
Box 7c, Folder 52 Lecture II: AMs Notebook (in English and Gabelsberger shorthand), labeled “Cont. undated II (Vorl.)”, [1939]
Box 7c, Folder 53 Lecture III: AMs Notebook (in English), labeled “Cont. Vorl. undated III”, [1939]
Box 7c, Folder 54 Lecture IV: AMs Notebook, labeled “Cont. Vorl. undated IV”, [1939]
Box 7c, Folder 55 Lecture V: AMs Notebook, labeled “Cont. Vorl. undated V”, [1939]
Box 8a, Folder 56 Fragments: AMs miscellaneous loose pages, undated
Box 8a, Folder 57 Notre Dame Lectures on Logic, Spring 1939:
Preliminary work: AMs Notebook (in English), labeled “Vorl. Log. undated 0”, [1939]
Box 8a, Folder 58 Lecture I: AMs Notebook (in English and Gabelsberger shorthand), labeled: “Log. Vorl. Notre Dame I”, [1939]
Box 8a, Folder 59 Lecture II: AMs Notebook (in English), labeled “Log. Vorl. Notre Dame II”, [1939]
Box 8a, Folder 60 Lecture III: AMs Notebook, labeled “Log. Vorl. undated III”, [1939]
Box 8a, Folder 61 Lecture IV: AMs Notebook, labeled “Log. Vorl. undated IV”, [1939]
Box 8a, Folder 62 Lecture V: AMs Notebook, labeled “Log. Vorl. undated V”, [1939]
Box 8a, Folder 63 Lecture VI: AMs Notebook, labeled “Log. Vorl. undated VI”, [1939]
Box 8a, Folder 64 Lecture VII: AMs Notebook, labeled “Logik Vorl. undated VII”, [1939]
Box 8a, Folder 65 Fragments: AMs Miscellaneous loose pages, undated
Box 8a, Folder 66 Notes: TMs [mimeograph] of seminar notes, 23 pp., undated
Box 8a, Folder 67 1939b Untitled Lecture (Given at Göttingen, 15 December 1939)
Autograph Material: Envelope labeled “Vortrag Göttingen, unrein”, [1939]
Box 8a, Folder 68 AMs draft (in Gabelsberger shorthand), 12 pp., [1939]
Box 8a, Folder 68 Autograph Material: Envelope labeled “Vortrag Göttingen, rein”, [1939]
Box 8a, Folder 69 AMs draft (in Gabelsberger shorthand and German), 24 pp., plus 1 loose note, [1939]
Box 8a, Folder 69 Lectures on Constructible Sets (Given at the Institute for Advanced Study, April 1940)
AMs Notebook (in English and Gabelsberger shorthand) labeled “Vorl. April 1940 (Princeton I)”, 1940
Box 8a, Folder 70 AMs Notebook, labeled “Vorl. April 1940 II”, 1940
Box 8a, Folder 71 1940, “The consistency of the axiom of choice and of the generalized continuum hypothesis”
AMs of miscellaneous draft pages, undated
Box 8a, Folder 72 AL, G. W. Browne to Gwen Blake (Institute for Advanced Study secretary), re: Addenda to Ms, 1939
Box 8a, Folder 72 AMs draft, 31 pp., undated
Box 8a, Folder 73 TMs with autograph corrections, 35 pp., undated
Box 8a, Folder 74 Printed Material: First edition of monograph with autograph corrections for second printing, 1940
Box 8a, Folder 75 Printed Material: Photo ready copy of Chapter VIII, with autograph annotations, undated
Box 8a, Folder 75 1940b, “Consistency of Cantor's continuum hypothesis” (Lecture given at Brown University, 15 November 1940)
AMs Notebook, labeled “Vortrag widfr. Continuum (Harvard & Brown)”, [1940]
Box 8a, Folder 76 “In what sense is intuitionistic logic constructive?” (Lecture given at Yale University, 15 April 1941)
AMs Notebook (in English and Gabelsberger shorthand), labeled “Vortrag Yale”, [1941]
Box 8b, Folder 77 1944, “Russell's mathematical logic” (Essay on Bertrand Russell for Schilpp 1944)
TMs with autograph corrections, 39 pp. and AMs of addenda, 4 pages, [1944]
Box 8b, Folder 78 4 Offprints with autograph annotations, 1944
Box 8b, Folder 79 AMs of notes and corrections, 2 pp., undated
Box 8b, Folder 79 1946, “Remarks at the Princeton Bicentennial Conference on Problems of Mathematics” (Given 17 December 1946)
AMs Notebook (in English and Gabelsberger shorthand), labeled “Bicentennial Dec. 1946”, 1946
Box 8b, Folder 80 TMs with autograph corrections, 5 pp., [1946]
Box 8b, Folder 81 Offprint, late edition, 1968
Box 8b, Folder 81 Printed Material: Copy of Problems of Mathematics (Princeton Bicentennial Conference Report), 1946
Box 8b, Folder 82 1947, “What is Cantor's Continuum Problem?”
TMs with autograph corrections, of miscellaneous unordered pages, undated
Box 8b, Folder 83 TMs of first draft, pp. 1-11 and 1-3, [1947]
Box 8b, Folder 84 TMs of second draft, pp. 1-13, i-iv, 1-2, [1947]
Box 8b, Folder 85 TMs [carbon] of final(?) draft, with autograph corrections, pp. 1-16 and 1-6, [1947]
Box 8b, Folder 86 AMs of addenda and definitions, 3 pp., undated
Box 8b, Folder 86 Offprint with autograph corrections, 1947
Box 8b, Folder 86 *1949b, Lecture on Rotating Universes (Given at the Institute for Advanced Study, May 1949)
Autograph Material: File folder, 1949
Box 8b, Folder 87 AMs (in English), 43 pp., plus 6 pages of loose notes, [1949]
Box 8b, Folder 87 1949, “Example for a new type of cosmological solutions of Einstein's field equations of gravitation”
TMs [carbon] with autograph corrections, 16 pp., and duplicate page 12, [1949]
Box 8b, Folder 88 Offprint, 1949
Box 8b, Folder 88 1949a, “A remark about the relationship between relativity theory and idealistic philosophy”
AMs Notebook (in English and Gabelsberger shorthand), undated
Box 8b, Folder 89 TMs with autograph corrections, 11 pp., [1949]
Box 8b, Folder 89 AL draft to Paul A. Schilpp, re: changes to Ms, undated
Box 8b, Folder 89 Offprint, 1949
Box 8b, Folder 89 “Rotating universes in general relativity theory” (Lecture given to International Congress of Mathematicians, Cambridge, Massachusetts, 31 August 1950)
AMs, 40 pp., plus 3 loose pages containing calculations and addenda, [1950]
Box 8b, Folder 90 “The consistency of the continuum hypothesis” (Second printing of 1940)
2 Offprints with autograph annotations, 1951
Box 8b, Folder 91 *1951, “Some basic theorems on the foundations of mathematics and their philosophical implications” (Gibbs Lecture given to the American Mathematical Society in Providence, Rhode Island, December 1951)
AMs of first draft (in Gabelsberger shorthand), 19 pp., plus 6 pages of loose notes (in English and Gabelsberger shorthand). NB: Back side of a half page contains TL draft to “Mama” dated “1056” [sic]., [1951]
Box 8b, Folder 92 Autograph Material: Envelope containing library request slips, 1951
Box 8b, Folder 92 AMs (in English), 39 pp., [1951]
Box 8b, Folder 93 AMs of addenda to the text, 13 pp., [1951]
Box 8b, Folder 94 AMs of footnotes and various loose sheets, 18 pp., [1951]
(See also Folder 97 for correspondence re: Gibbs lecture)
Box 8b, Folder 95 1952, “Rotating universes in general relativity theory”
AMsS, pp. 1-24, 1-3, and 2 pp. of addenda, [1952]
Box 8b, Folder 96 TMs [carbon] with autograph corrections, 12 pp., plus AMs of insertions, 2 pp., [1952]
Box 8b, Folder 97 TMs and TMs [carbon] of footnotes with autograph corrections, 8 pp., [1952]
Box 8b, Folder 97 AL draft to “Prof. Graves,” re: corrections to the printing of the “Cambridge lecture”], undated
(See “Rotating universes in general relativity theory” (Lecture given to International Congress of Mathematicians, Cambridge, Massachusetts, 31 August 1950))
Box 8b, Folder 97 TMs with autograph corrections and TMs [carbon], pp. 1-11, plus 1 p. of footnotes, [1952]
Box 8b, Folder 98 Offprint, [1952]
Box 8b, Folder 98 Galley with autograph annotations, 1952
Box 8b, Folder 98 1958, “Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes”
TMs of abstract (in English), 1 p., undated
Box 8c, Folder 99 TMs [carbon] of abstract (in German), 1 p., undated
Box 8c, Folder 99 TMs [carbon] with autograph corrections, pp. 1-8 plus 3 pp. of footnotes, [1958]
Box 8c, Folder 99 Offprint with autograph corrections, [1958]
Box 8c, Folder 99 Offprint with autograph dedication to Clifford Spector, [1958]
Box 8c, Folder 99 1964, “What is Cantor's continuum problem?” (published revision of 1947)
Offprint of 1947 with autograph corrections for 1964a, undated
Box 8c, Folder 100 AMs of “Supplement to second edition,” pp. 1-12, plus 2 pp. headed “New Footnotes”, [1964]
Box 8c, Folder 101 AMs of notes, 8 pp., and insertions I-V, 5 pp., [1964]
Box 8c, Folder 101 TMs with autograph corrections, labeled “Copy 2,” pp. 1-15, footnotes pp. i-v, supplement pp. 1-6, new footnotes p. I, plus 2 pp. of addenda, [1964]
Box 8c, Folder 102 2 TMss [carbon] with autograph corrections, pp. 1-15, footnotes pp. i-v, supplement pp. 1-5, new footnotes p. I, plus 2 pp. of addenda, and 12 miscellaneous duplicate pages, [1964]
Box 8c, Folder 103 1965, “On undecidable propositions of formal mathematical systems” (Revision of 1934 appearing in Davis 1965)
Autograph Material: 2 Envelopes and 1 File Folder, undated
Box 8c, Folder 104 TMs [photocopy] of 1934 with autograph and typescript revisions, 30 pp., undated
Box 8c, Folder 104 AMs of corrections, insertions, and postscriptum, 8 pp., undated
Box 8c, Folder 104 TMs [photocopy] of corrected passages, 6 pp., undated
Box 8c, Folder 104 TMs and 2 TMss [carbon] of postscriptum with autograph corrections, 2 pp., undated
Box 8c, Folder 104 TMs [carbon] of revised paper with autograph corrections, 23 pp., plus TMs and TMs [carbon] of postscriptum, 1 p., and additions, 3 pp., [1965]
Box 8c, Folder 104 Printed copy with autograph corrections [photocopy], of unordered pages, undated
Box 8c, Folder 104 1965b, 1965c, 1965d: English translations of 1933e (“Zur intuitionistischen Arithmetik und Zahlentheorie”) and 1936a (“Über die Länge von Beweisen”), and an edition of 1946 (“Remarks before the Princeton Bicentenntial Conference on problems of mathematics”), all published in Davis 1965
TMs with autograph corrections [photocopy], of “On intuitionistic arithmetic and number theory,” 6 pp., [1965]
Box 8c, Folder 105 TMs with autograph corrections [photocopy] of “On the length of proofs,” 2 pp., [1965]
Box 8c, Folder 105 TMs with autograph corrections [photocopy] of 1946, 5 pp., [1965]
Box 8c, Folder 105 AMs (in English and Gabelsberger shorthand) of loose notes on the revisions for Davis 1965, undated
Box 8c, Folder 106 “The consistency of the continuum hypothesis” (7th edition of 1940, published in 1966) with proposed biographical sketch
AMs revision of 1940, including bibliography, 13 pp., undated
Box 8c, Folder 107 TMs [carbon] and TMs [carbon] with autograph corrections of additions and bibliography, 13 pp., 1965
Box 8c, Folder 107 AMs (in English, German, and Gabelsberger shorthand) of biographical sketch, including summary lists of published and unpublished work, 6 pp., undated
Box 8c, Folder 108 TMs, TMs with autograph corrections, and TMs [photocopy] of biographical sketch, undated
Box 8c, Folder 108 7 TMss [photocopy] of Gödel's bibliography, each with different autograph corrections, undated
Box 8c, Folder 108 Offprint of 1940 with autograph corrections for seventh printing, undated
Box 8c, Folder 109 Offprint of the seventh printing, 1966
Box 8c, Folder 109 “What is Cantor's continuum problem?” (Revisions for proposed 3rd edition of 1947)
AMsS (in English and Gabelsberger shorthand) of revisions, 9 pp., 1966
Box 8c, Folder 110 TMs [carbon] of revisions, 3 pp., [1966]
Box 8c, Folder 110 1967, 1967a, 1967b, and English translations of 1930 and 1930b: Jean van Heijenoort's editions of the English translations of 1930 (“Die Vollständigkeit der Axiome des logischen Funktionenkalküls”), 1930b (“Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit”) and 1931 (“Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I”)
Autograph Material: File folder, 1964
Box 8c, Folder 111 1967, (English translation of 1930): TMs [photocopy] of Jean van Heijenoort's introductory note to “The completeness of the axioms of the functional calculus of logic,” with autograph corrections, 3 pp., undated
Box 8c, Folder 111 Printed Material with autograph annotation [photocopy]: First edition (in German) of 1930b, 1 p., undated
Box 8c, Folder 111 1967a, (English translation of 1930b): “Some metamathematical results on decidability and consistency”: TMs with autograph corrections [photocopy], 3 pp., undated
Box 8c, Folder 111 1967b, (English translation of 1931): TMs [photocopy] of Jean van Heijenoort's introductory note to “On formally undecidable propositions of Principia mathematica and related systems I” with autograph corrections, 7 pp., undated
Box 8c, Folder 111 Autograph Material: File folder, undated
Box 8c, Folder 112 1967b: TMs with autograph corrections [mimeograph], 43 pp., undated
Box 8c, Folder 112 Autograph Material: File folder
Box 8c, Folder 113 1967b: TMs with autograph corrections [photocopy], labeled “Revised Version 7 March 1964,” 43 pp., 1964
Box 8c, Folder 113 1967b: AMs of notes on corrections (in English and Gabelsberger shorthand), 5 pp., undated
Box 8c, Folder 114 1967b: TMs of commentary on 1964 version, with autograph corrections, 3 pp., 1964
Box 8c, Folder 114 1967b: TMs [mimeograph] and TMs [carbon] of further corrections, pp. 1-13, and 1-2, undated
Box 8c, Folder 114 1967d, 1967e, 1967f: Italian translations of 1944 (“Russell's mathematical logic”), 1947 (“What is Cantor's continuum problem?”), and 1946 (“Remarks before the Princeton Bicentennial Conference on Problems of Mathematics”)
1967d, (Italian translation of 1944): Printed page proof with autograph corrections (in Italian), pp. 48-73, undated
Box 8c, Folder 115 1967e, (Italian translation of 1947) : Printed page proof with autograph corrections (in Italian), pp. 74-91, undated
Box 8c, Folder 115 1967f, Italian translation of 1946): Printed page proof with autograph corrections (in Italian), pp. 92-95, undated
Box 8c, Folder 115 Printed page proof of notes to the translations with autograph corrections (in Italian), p. 18-26, undated
Box 8c, Folder 115 1974, Remarks on Non-Standard Analysis (Given in lecture March 26, 1973, and published in Robinson 1974, Non-Standard Analysis)
AMsS (in English), 3 pp., 1973
Box 8c, Folder 116 TMs and 2 TMss [carbon], 2 pp., 1973
Box 8c, Folder 116 Printed Material [photocopy]: of title page and p. x of Robinson 1974, 1974
Box 8c, Folder 116 Contributions to Wang 1974
AMs and TMs with autograph corrections of miscellaneous pages, undated
Box 8c, Folder 117 “Consistency proof for the generalized continuum hypothesis” (1979 reprint of 1939a)
Offprint, 1979
Box 8c, Folder 117.5 1980, “On a hitherto unexploited extension of the finitary standpoint” (English translation of 1958 by Wilfred Hodges and Bruce Watson)
Offprint, 1980
Box 8c, Folder 118 On undecidable sentences (Vienna lecture texts?)
TMs with autograph corrections, back labeled “Über form. unentsch. Sätze fruhere Fassung,” 9 pp., undated
Box 8c, Folder 119 TMs with autograph corrections, back labeled “unentsch. Sätze (Vortrag?),” 5 pp., undated
Box 8c, Folder 120 Lectures on intuitionism (Princeton 1941)
Lecture 1: AMs Notebook (in English), labeled “Vorl. 1”, undated
Box 8c, Folder 121 Lecture 2: AMs Notebook labeled “Vorl. 2”, undated
Box 8c, Folder 122 Notes: AMs, 13 loose pages originally filed with notebooks on intuitionism, undated
Box 8c, Folder 123 *1933?, “Vereinfachter Beweis eines Steinitzschen Satzes” (unpublished manuscript intended for Karl Menger's colloquium)
TMs [carbon] labeled “Steinitsicher [. . .] Menger Koll.”, undated
Box 8c, Folder 124 *193?, Lecture on undecidable Diophantine sentences (Never delivered)
AMs Notebook (in English) labeled “Vortrag unentsch. Sätze & Polynome (nichtgehalten)”, undated
Box 8c, Folder 124.5 *1961/?, “The modern developments of the foundations of mathematics in the light of philosophy” (Preliminary lecture draft)
Autograph Material: Envelope
Box 8c, Folder 124.6 AMs (in Gabelsberger shorthand and English), 5 pp., undated
Box 8c, Folder 124.6 Vienna Workbooks on the Consistency of the Continuum Hypothesis
AMs Notebook (in Gabelsberger shorthand), labeled “Arb. Kontinuum I (Reinschr)”, undated
Box 9a, Folder 125 AMs Notebook (in English and Gabelsberger shorthand), labeled “Arb. Kontinuum II (Reinschr.),” also includes 7 loose pages, undated
Box 9a, Folder 126 AMs Notebook (in Gabelsberger shorthand), labeled “Kont. Arb. Reinschrift”, undated
Box 9a, Folder 127 Theorem on real functions (filed by Gödel with Notre Dame logic lectures)
TMs [carbon] (in German) with autograph corrections, undated
Box 9a, Folder 128 *1946/9, “Some observations about the relationship between theory of relativity and Kantian philosophy” (long version of 1949a)
AMs Notebook, labeled “I,” pp. 1-51a, undated
Box 9a, Folder 129 AMs Notebook, labeled “II,” pp. 52-71 and footnote pages I-XLI, undated
Box 9a, Folder 130 AMs Notebook, labeled “Sec,” containing second drafts of miscellaneous pages, undated
Box 9a, Folder 131 Autograph Material: File folder
Box 9a, Folder 132 TMs [carbon] with autograph corrections, labeled “Man. A,” pp. 1-23 plus 5 pp. footnotes, undated
Box 9a, Folder 132 *1946/9-B2: TMs and TMs [carbon] with autograph corrections, labeled “Man. B,” pp. 1-21, I-VIII, undated
Box 9a, Folder 132 Autograph Material: File folder and envelope containing notes in Gabelsberger shorthand, undated
Box 9a, Folder 133 *1946/9-C1: AMs with TMs inserts, labeled “Man. C,” pp. 1-30, I-XIV, undated
Box 9a, Folder 133 TMs with autograph corrections and TMs [photocopy] of “Man. C.,” pp. 1-14, undated
Box 9a, Folder 134 *1953/9, “Is mathematics syntax of language?”
First version: AMs (in English) labeled “I Fassung,” pp. 1-29, 1-7, footnotes I-XIV, undated
Box 9a, Folder 135 Second version: TMs with autograph corrections, labeled “II Fassung,” pp. 1-19, footnotes I-XIX, undated
Box 9a, Folder 136 *1953/9-III: Third version: TMs with autograph corrections, unlabeled, pp. 1-42 (24, 37, 40 are missing), undated
Box 9a, Folder 137 Autograph Material: Envelope
Box 9a, Folder 138 *1953/9-III: Notes: AMs loose notes in English with miscellaneous pages of text, undated
Box 9a, Folder 138 Fourth version: AMs with TMs insertions, labeled “IV Fassung,” pp. 1-35, 1'-6', 7', 37, undated
Box 9a, Folder 139 *1953/9-V: Fifth version: TMs with autograph corrections, labeled “V Fassung,” pp. 1-12, undated
Box 9a, Folder 140 Sixth version: TMs [carbon] labeled “VI Fassung,” pp. 1-8, undated
Box 9a, Folder 140 1972, English Translation of 1958 (“Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes”) by Kurt Gödel and Leo Boron
AMs labeled “I Copy,” pp. 1-26, 1F-5'F, undated
Box 9b, Folder 141 TMs [mimeograph] with autograph corrections in two hands, labeled “I Copy,” pp. 1-11, plus TMss [mimeograph] of abstract (in English and German), undated
Box 9b, Folder 141 TMs [mimeograph] with autograph corrections, labeled “II,” pp. 1-11, also AMs of unordered pages headed “Notes”, undated
Box 9b, Folder 142 TMs with autograph corrections [photocopy of copy “II”], labeled “For Prof. Gödel”, undated
Box 9b, Folder 143 TMs with autograph corrections, note here attributes work as Gödel's revision of Boron's translation, pp. 1-19 (9 and 14 are missing), undated
Box 9b, Folder 144 TMs and AMs loose notes, insertions, and addenda to the translation, undated
Box 9b, Folder 145 Autograph Material: Envelope which once contained the loose notes now filed in this and the next two folders, undated
Box 9b, Folder 146 AMs (in Gabelsberger shorthand and English), miscellaneous notes on half pages and scraps, undated
Box 9b, Folder 146 AMs (in Gabelsberger shorthand and English), miscellaneous notes on half pages and scraps, undated
Box 9b, Folder 147 Autograph Material: Envelope undated
Box 9b, Folder 148 AMs (in Gabelsberger shorthand and English), miscellaneous notes on half pages and scraps, undated
Box 9b, Folder 148 AMs and TMs of translation with autograph corrections, unordered loose pages, undated
(See 1972a for galley with autograph corrections)
Box 9b, Folder 148.5 1972a, Three notes on undecidability (Appended to English translation of 1958 by Kurt Gödel and Leo Boron)
AMs (in Gabelsberger shorthand), labeled “Endgültige Form,” 18 pp., undated
Box 9b, Folder 149 TMs (in English) with autograph corrections, 5 pp., undated
Box 9b, Folder 149 Galleys of 1972 and 1972a, which were to be published together in Dialectica, pp. 1-9, 2 printed copies with autograph corrections, undated
Box 9b, Folder 149 On schemes of ramification (unpublished manuscript once filed with notes dated 1973-1975)
AMs (in English), 4 pp., undated
Box 9b, Folder 150 AMs of references (in English and Gabelsberger shorthand) p. 1-5, undated
Box 9b, Folder 150 *1970a, *1970b, Drafts on scales of functions (unpublished manuscript, first version circulated May 1970)
*1970a, AMsS, entitled “Some considerations leading to the probable conclusion that the true power of the continuum is. . .” labeled “I Fassung,” 5 pp., [1970]
Box 9b, Folder 151 *1970b, AMsS, entitled “A proof of Cantor's continuum hypothesis from a highly plausible axiom about orders of growth,” labeled “II Fassung,” 5 pp., undated
(See also Tarski correspondence, Series I, folder 183)
Box 9b, Folder 151 Summary of John von Neumann's work in set theory
AMs (in English), labeled “v. Neumann's Arbeiten über die Grundlagen,” 3 pp., undated
Box 9b, Folder 152 TMs [carbon] with autograph corrections, 2 pp., undated
Box 9b, Folder 152 Series 5: Bibliographic Notes and Memoranda
Series Description
Diverse notes and memoranda slips, including reading notes, library request slips, bibliographic excerpts and memoranda, and memoranda books. Extensive notes on history, philosophy and theology, especially the works of Gottfried Wilhelm von Leibniz (primary and secondary sources). Largely in Gabelsberger shorthand.
Series Arrangement
Boxes 9b-11a. Grouped by subject or by Gödel's titles, as indicated by quotation marks in the finding aid, and therein by date (where known). About 250 numbered groups (slips not all separately numbered).
“Alte Lit[eratur] Grund[lagen]”
Box 9b, Folder 1 “Literatur alt”
Box 9b, Folder 2 Law and Nationality
Box 9b, Folder 3 “Lit[eratur] Grundl[agen] (Phil[osophie] d[er]
Box 9b, Folder 4 Math[ematik], [19]52-[19]55)”
Philosophy, 1936-1940
Box 9b, Folder 5 Psychology, Neuropsychology, Psychiatry
Box 9b, Folder 6 “Prog[ramm] 1959-1967”
Box 9b, Folder 7 “U. & Prog[ramm],” 1972-1975
Box 9b, Folder 8 “Phil[osophische] Lit[eratur], [19]52-[19]58”
Includes library request slips
Box 9b, Folder 9 “Alte Literat[ur] Math[ematik]”
Box 9c, Folder 10 Continuum Problem
(See also Series VI: Folder 38)
Box 9c, Folder 11 Reference work for 1949a (“A remark about the relationship between relativity theory and idealistic philosophy”), 1947-1949
(See also Bibliographic “Zettel”)
Box 9c, Folder 12 Foundations
Box 9c, Folder 13 Classical Latin Authors
Box 9c, Folder 14 David Hawkins, 1968-1969
Box 9c, Folder 15 Idealism, 1961-1962: Friedrich Bouterwek, H. Heinsoeth, Johann Jakob Wagner
Box 9c, Folder 16 Bierens de Haan, Karl Ludwig Michelet, Georg Feder, Christian Wolff
Box 9c, Folder 17 Georg Wilhelm Friedrich Hegel and Friedrich Wilhelm Joseph Schelling
Box 9c, Folder 18 History
Ancient Roman
Box 9c, Folder 19 Greek, Near Eastern
Box 9c, Folder 20 Various, 1200-1900s
Box 9c, Folder 21 Edmund Husserl
Box 9c, Folder 22 “idealist[iche] Ph[ilosophie]”
Box 9c, Folder 23 Gottfried Wilhelm Leibniz
Biographies
Box 9c, Folder 24 Bibliographies
Box 9c, Folder 25 “Bibliographic curiosa”
Box 10a, Folder 26 Literature on Leibniz
Box 10a, Folder 27 Works: Academy Edition and Dutens
Box 10a, Folder 28 Jean Baruzi, etc.
Box 10a, Folder 29 Diverse sources
Box 10a, Folder 30 Joannes Eduardus Erdmann
Box 10a, Folder 31 Louis Alexandre Foucher de Careil
Box 10a, Folder 32 Reports on unpublished manuscripts
Box 10a, Folder 33 Theological writings and Louis Alexandre Foucher de Careil
Box 10a, Folder 34 C. I. Gerhardt
Box 10a, Folder 35 C. I. Gerhardt: vol. 5, New essays on human understanding; vol. 7, correspondence with Samuel Clarke
Box 10a, Folder 36 Secondary sources: On life, letters, philosophy,
Box 10a, Folder 37 Secondary sources: including Bertrand Russell
Box 10a, Folder 38 Logic and Foundations (before 1952)
(See also Series VI: Folder 9)
Box 10a, Folder 39 Logic and Mathematics: “laufend”
Box 10a, Folder 40 Phenomenology and Existentialism
Box 10a, Folder 41 Philosophy
1952-1958
Box 10a, Folder 42 1959-?
Box 10b, Folder 43 After 1960
Box 10b, Folder 44 Philosophy of Science
Box 10b, Folder 45 Philosophy, History of Science, Psychology, Theology
Box 10b, Folder 46 Theology
(1952-?)
Box 10b, Folder 47 (1952-?)
Box 10b, Folder 48 (1952-?)
Box 10b, Folder 49 (1952-?)
Box 10b, Folder 50 Women
Box 10b, Folder 51 Jozef Maria Wronski
Miscellaneous
Box 10b, Folder 52 Miscellaneous
Box 10b, Folder 53 Library request slips (“Bestellscheine”)
1924-1929
Box 10b, Folder 54 1930-1931
Box 10c, Folder 55 1932
Box 10c, Folder 56 1933-1936
Box 10c, Folder 57 1937-1938
Box 10c, Folder 58 1939, after 1940, and undated
Box 10c, Folder 59 1959-1963: Philosophy (New York Public Library)
Box 10c, Folder 60 Bibliographic “Zettel” (Fragmentary notes)
Book lists and library request slips
Box 10c, Folder 61 Book lists and library request slips: Philosophy, 1959-?
Box 10c, Folder 62 Notes once filed with library request slips
Box 10c, Folder 63 Notes re: 1949a
Box 10c, Folder 64 Fiction, etc.
Box 10c, Folder 65 Greek
Box 10c, Folder 66 History, History of science, Theology
Box 10c, Folder 67 Philosophy, Philology
Box 10c, Folder 68 Miscellaneous
Box 11a, Folder 69 Notes taken in the U.S., before 1952
Box 11a, Folder 70 Memoranda Books: These small notebooks contain fragmentary notes, including bibliographical lists, computations, calendar schedules, sketches, and (in the early books) lists of homework assignments
General, before 1940
Box 11a, Folder 71 General, before 1940
Box 11a, Folder 72 General, undated
Box 11a, Folder 73 Mathematics, before 1940
Box 11a, Folder 74 Miscellaneous memoranda slips: including Philosophy and Theology
Box 11a, Folder 75 Excerpts of newspaper articles on contemporary politics
Box 11a, Folder 76 Linguistics
Box 11a, Folder 77 Mathematical Reviews, 1940-1958
Box 11a, Folder 78 Series 6: Other Loose Manuscript Notes
(Approximately 800 items)
Series Description
Includes computation sheets, reference lists of formulas, miscellaneous mathematical notes and fragmentary drafts, and notes which once accompanied books and papers of others.
Includes notes on offprints, books or lectures by various author. For notes on works by an individual, see section (in this Series) title “Notes...”
Series Arrangement
Boxes 11b-12. Filed alphabetically by subject.
American constitution and government
Box 11b, Folder 1 American history
Box 11b, Folder 2 Computations
“Fehlerrechn[ung] f[ür] Winkel”
Box 11b, Folder 3 Rαβ
Box 11b, Folder 4 Various
Box 11b, Folder 5 Dialectica interpretation
(See also correspondence with Bernays, Paul)
Box 11b, Folder 6 “Diskussion einzelnen Gruppen” (Rotation groups, etc.)
Box 11b, Folder 7 “Div. oft benötigte Formeln”
Box 11b, Folder 8 “Entscheidungsverfahren für positiven Aussagenkalk[ul]”
Box 11b, Folder 9 Erroneous/superfluous results and computations
Box 11b, Folder 10 “Finitismus;” “Cohensche Methode 1942”
Box 11b, Folder 11 Formulas and computations
Box 11b, Folder 11 General
Box 11b, Folder 12 Rotating universes, “Div. alt”
Box 11b, Folder 13 Rotating universes, cont.
Box 11b, Folder 14 General remarks on mathematical philosophy, foundations, and undecidability
Box 11b, Folder 15 Grammar
(see Notes on grammar)
Box 11b, Folder 15 Greek: Pronunciation, etc.
Box 11b, Folder 16 Isotropic universes and non-rotating anisotropic universes
Box 11b, Folder 17 Latin Vocabulary
Box 11c, Folder 18 Mathematical philosophy
(see General remarks on mathematical...)
Box 11c, Folder 18 Mathematics and foundations
(see Questions and remarks on...)
Box 11c, Folder 18 Miscellaneous mathematical memoranda, “wertlos[e] Notizen” 1935-1945
Box 11c, Folder 19 Miscellaneous mathematical notes
Four-color problem, etc.
Box 11c, Folder 20 Includes notes on reprints by Davis and van Heijenoort
Box 11c, Folder 21 Includes computation sheets, 1937-1940
Box 11c, Folder 22 Includes computation sheets and fragmentary drafts
Box 11c, Folder 23 Miscellaneous notes
Languages, etc.
Box 11c, Folder 24 Various
Box 11c, Folder 25 Fragmentary scraps (“Zettel”)
Box 11c, Folder 26 Notes filed with offprints: These brief AMss, often computational notes were found filed with offprints; they have been gathered here and filed by author of offprint. They are in a mixture of Gabelsberger shorthand, German, and English. The author of the offprint is noted in brackets on each Ms. Only major authors have been listeded
B-G; includes Paul Bernays, William Boone, Rudolf Carnap, Alonzo Church, Paul J. Cohen, Haskell Curry, Burton S. Dreben, Albert Einstein, Erik Ellentuck, Solomon Feferman, Harvey Friedman, and Gotthard Günther
Box 11c, Folder 27 H-Z; includes James Halpern, Arend Heyting, Richard Jeffrey, Stephen C. Kleene, Georg Kreisel, Akira Nakamura, J. Robert Oppenheimer, Robert W. Robinson, Dana Scott, William W. Tait, Gaisi Takeuti, and Ernst Zermelo
Box 11c, Folder 28 Notes or items inserted in books: These items (including both AMs notes and printed material) were found inserted in the books of Gödel's library; they are here filed by author of book. Each folder contains a packet of source slips which may be used to identify the books and pages marked by each insert. Only major authors eliciting AMs notes from Gödel have been listed
A-C; includes Rudolf Carnap
Box 11c, Folder 29 D-Hue
Box 11c, Folder 30 Husserl, Edmund
Box 11c, Folder 31 J-M; includes Oskar Morgenstern
Box 11c, Folder 32 N-R; includes Abraham Robinson and Bertrand Russell
Box 11c, Folder 33 S-T; includes Alfred Tarski and Gaisi Takeuti
Box 11c, Folder 34 V-Z; includes Jean van Heijenoort, John von Neumann, Hao Wang, Ernest B. Zeisler (including a TLS [photocopy] from Albert Einstein to Zeisler)
Box 11c, Folder 35 Notes on Emil Artin's lectures on foundations of geometry (Notre Dame, 1939)
Box 12, Folder 36 Notes on Cohen's independence proofs
(See also Series VI: Folder 11 “ “Finistismus”)
Box 12, Folder 37 Notes on continuum problem and scales of functions, 1969-1974
(See also Series V: Folder 11 and Tarski correspondence, Series I: Folder 183)
Box 12, Folder 38 Notes on grammar
Box 12, Folder 39 Notes on symposium “Philosophic implications of the Gödel incompleteness theorem”
(See also Series XV: Box 21, Preprints and Offprints with accompanying correspondence, “Benacerraf, Paul” for audio tape of proceedings)
Box 12, Folder 40 “Ontologischer Beweis”
Box 12, Folder 41 Philosophical remarks, 1965-1967
Box 12, Folder 42 “Phil[osophische] Varia” (mostly after 1961)
Box 12, Folder 43 Questions and remarks on mathematics and foundations (“alte”)
Box 12, Folder 44 Rotating universes
Basic formulas
Box 12, Folder 45 “Beginning”
Box 12, Folder 46 Diverse negative and minor results
Box 12, Folder 47 Miscellaneous computations
Box 12, Folder 48 “I. u[nd] II. Näherung”
Box 12, Folder 49 Stationary solutions
(See also Formulas and computations)
Box 12, Folder 50 Rotation groups
(see “Diskussion einzelner Gruppen”)
“Wirkungsfunktionen und Erhaltungssätze”
Box 12, Folder 51 Unclassified loose notes
(See also Series XIV: Folder 2)
Box 12, Folder 52 Undecidability
(see General remarks on)
Box 12, Folder 52 Series 7: Academic records and notices
(Approximately 250 items)
Series Description
Includes elementary and secondary school report cards, course announcements and enrollment slips for courses taught by Gödel, homework graded by Gödel, and administrative correspondence and announcements from the University of Vienna, Notre Dame, and the Institute for Advanced Study.
Series Arrangement
Box 13a. Filed alphabetically by document type.
Annual reports (with report cards): Deutsches Staats-Realgymnasium in Brünn, 1919-1924, with bound newsletters for 1921-1922 and 1922-1923; Evangelische Privat- Volks- und Bürgerschule in Brünn, 1913-1916; K. K. Staatsrealgymnasium mit deutscher Unterrichtssprache in Brünn, 1916-1919
Box 13a, Folder 0 Announcements of lectures and meetings, Vienna, 1930-1932 and undated
Box 13a, Folder 1 Course material for courses taught by Gödel: Enrollment slips and announcements, Universität Wien, 1933-1937, University of Notre Dame, 1939; Homework graded by Gödel (as Hans Hahn's assistant) Universität Wien, 1932-1933
(See also Miscellaneous administrative announcements)
Box 13a, Folder 2 Dean's correspondence, Universität Wien: Official documents regarding appointment, leaves of absence, rescinding of “Lehrbefugnis” (teaching license)
Box 13a, Folder 3 Doctoral Diploma, Universität Wien
(see Series XIV: Folder 3)
Box 13a, Folder 3 Honorary degree diplomas: Harvard University
(see Series XIV: Box 16; Yale University, see Series XIII: Folder 1)
Box 13a, Folder 3 Membership certificates: American Academy of Arts and Sciences, National Academy of Science
(see Series XIV: Folder 4)
Box 13a, Folder 3 Miscellaneous administrative announcements
Universität Wien: 1933-1936
Box 13a, Folder 4 Universität Wien: 1935-1940, undated
Box 13a, Folder 5 University of Notre Dame: Logic homework of F.P. Jenks, student
Box 13a, Folder 5 University of Notre Dame: March-May 1939
Box 13a, Folder 6 Promotion to Professor, Institute for Advanced Study (TLS from J. Robert Oppenheimer to Gödel)
Box 13a, Folder 7 Publication lists of Institute for Advanced Study members and applicants
Box 13a, Folder 8 Programs from events at Universität Wien
600th anniversary celebration, 1965
Box 13a, Folder 9 Gödel memorial colloquium, 1980
Box 13a, Folder 10 Reference information and admission cards for various libraries, 1930-1956
Box 13a, Folder 11 Series 8: Legal and Political Documents
(Approximately 200 items)
Series Description
Includes apartment rental agreements, birth, baptismal, marriage, and citizenship certificates, copyright and publishing agreements, patent documents and correspondence of Gödel's father, passports, and powers of attorney.
Series Arrangement
Box 13a. Filed alphabetically by document type.
Apartment rental agreements
Box 13a, Folder 1 Birth and baptismal certificates, Kurt Gödel and Adele Porkert
Box 13a, Folder 2 Copyright agreements and publishing contracts
Box 13a, Folder 3 Employment permit
Box 13a, Folder 4 Marriage certificates, Kurt and Adele Gödel (1938)
Box 13a, Folder 5 Naturalization and citizenship documents: Austrian and American
Box 13a, Folder 6 Passports, Adele Gödel (1953-1978)
Box 13a, Folder 7 Passport, Kurt Gödel (1940):
Includes Identity Card and records of immigration to U.S. via trans-Siberian railroad
Box 13a, Folder 8 Patent documents of Rudolf Gödel (father)
Correspondence: 1905
Box 13a, Folder 9 Correspondence: 1906-1907, 1909, and undated
Box 13a, Folder 10 Miscellaneous, undated
Box 13a, Folder 11 British patent specifications
Box 13a, Folder 12 Powers of attorney (1938-1939)
Box 13a, Folder 13 Social Security and voter registration cards
Box 13a, Folder 14 Vaterländische Front documents (1935-1936)
Box 13a, Folder 15 Series 9: Financial Records, 1930-1939
(Approximately 1,100 items)
Series Description
Account books, bank statements, currency exchange vouchers, canceled checks, deposit slips, ledgers, securities transactions, and various bills and receipts.
Series Arrangement
Box 13b. Filed alphabetically by document type, unclassified items at end of series.
Account books: Princeton Bank and Trust Company, First Bank and Trust Company of South Bend
Box 13b, Folder 1 Assets, Statements of: 1939
Box 13b, Folder 2 Bank Miscellany
Anglo-?echoslovakischen und Prager Creditbank, Brünn
Box 13b, Folder 3 Princeton Bank and Trust Company, First Bank and Trust Company of South Bend
Box 13b, Folder 4 Bank Statements
Anglo-?echoslovakischen und Prager Creditbank, Brünn (1933-1935)
Box 13b, Folder 5 Anglo-?echoslovakischen und Prager Creditbank, Brünn (1936-1939)
Box 13b, Folder 6 First Bank and Trust Company, South Bend, Indiana (1939)
Box 13b, Folder 7 Princeton Bank and Trust Company (1935-1936)
Box 13b, Folder 8 Princeton Bank and Trust Company (1937-1938)
Box 13b, Folder 9 Princeton Bank and Trust Company (1939)
Box 13b, Folder 10 Booksellers' invoices and receipts
Box 13b, Folder 11 Cancelled checks, stubs, and debits
Box 13b, Folder 12 Clothing bills
Box 13b, Folder 13 Contractors' bills and receipts
Box 13b, Folder 14 Currency exchange/Funds transfer
Box 13b, Folder 15 Customs receipts
Box 13b, Folder 16 Deposit slips
Box 13b, Folder 17 Dues notices and receipts
(See also Legal and political fee/contribution receipts)
Box 13b, Folder 18 Electric bills and receipts
Box 13b, Folder 19 Freight company receipts
Box 13b, Folder 20 Fuel bills: coal, coke, wood
Box 13b, Folder 21 Gas bills and receipts
Box 13b, Folder 22 Honeymoon receipts
Box 13b, Folder 23 Hotel and sanatorium receipts
192?-1935
Box 13b, Folder 24 1936
Box 13b, Folder 25 1938-1939, undated (except honeymoon receipts)
Box 13b, Folder 26 Housecleaning bills
Box 13b, Folder 27 Household furnishings, bills and receipts
Box 13b, Folder 28 I.A.S.: salary receipts, 1938
Box 13b, Folder 29 Income/expense ledgers
before 1932
Box 13b, Folder 30 January 1932, July 1933-December 1934 “Ausgleichsrechnungen”
Box 13b, Folder 31 August 1933-March 1934
Box 13b, Folder 32 1933-1936 (loose balance sheets)
Box 13c, Folder 33 1931-1935, Brünn (in Marianne Gödel's(?) hand)
Box 13c, Folder 34 1930-1937, Vienna (in Marianne Gödel's(?) hand)
Box 13c, Folder 35 January-August, 1933 (in Marianne Gödel's(?) hand)
Box 13c, Folder 36 September 1933-August 1934 (in Marianne Gödel's(?) hand)
Box 13c, Folder 37 1935-1937, Brünn (in Marianne Gödel's(?) hand)
Box 13c, Folder 38 1937 (in Marianne Gödel's(?) hand)
Box 13c, Folder 39 1933-1934, “Villa Gödel” (in Pauline Handschuh's(?) hand)
Box 13c, Folder 40 1933-1934, Brünn (in Pauline Handschuh's(?) hand)
(See also Series XIII: “Brno Villa: Records of receipts and expenditures”)
Box 13c, Folder 41 Insurance documents
Box 13c, Folder 42 Legal and political fee/contribution receipts
Box 13c, Folder 43 Lecture fee receipts, Universität Wien
Box 13c, Folder 44 Medical/dental bills and receipts, 1927-1948, undated
(See also Hotel and sanatorium receipts)
Box 13c, Folder 45 Miscellaneous bills and receipts, 1929-1939, undated
Box 13c, Folder 46 Princeton University Store, 1933-1934
Box 13c, Folder 47 Redlich, Friedrich (Textile Company): Financial statements
Box 13c, Folder 48 Rent bills, 1938-1939
Box 13c, Folder 49 Rent receipts, 1937-1939
Box 13c, Folder 50 Securities transactions
Anglo-?echoslovakischen und Prager Creditbank; Österreichische Creditanstalt
(See also Series XIV: Folder 5)
Box 13c, Folder 51 Ost-Österreichische Landeshypothekenanstalt and other
Box 13c, Folder 52 Tax documents and governmental fee receipts, 1934-1948
Box 13c, Folder 53 Telephone/telegraph bills and receipts, 1928-1934
Box 13c, Folder 54 Transportation receipts
Box 13c, Folder 55 Unclassified financial memoranda
“Alte Abrechnungen und Zettel”
Box 13c, Folder 56 “Aufstellungen”
Box 13c, Folder 57 Miscellaneous
Box 13c, Folder 58 Miscellaneous
(See also Series XIV: Folder 5)
Box 13c, Folder 59 Series 10: Medical Records
(Approximately 150 items)
Series Description
Dosage records, medical and dietary memoranda, lists of doctors, prescriptions, and temperature records.
Series Arrangement
Box 14a. Filed alphabetically by type of document.
Correspondence related to health care, 1932-1937
Box 14a, Folder 1 Doctors
(see Names and addresses of)
Dosage records
May-June, 1942
Box 14a, Folder 2 1946-1963
Box 14a, Folder 3 1964-1968
Box 14a, Folder 4 1970-May 1974
Box 14a, Folder 5 June 1974-February 1976
Box 14a, Folder 6 Medical memoranda
before 1960
Box 14a, Folder 7 1962-1963, 1967-1969
Box 14a, Folder 8 Dr. Hulbeck: 1963-1969, undated
Box 14a, Folder 9 1970-May 1974
Box 14a, Folder 10 May 1974-November 1975
Box 14a, Folder 11 undated, includes dietary notes
Box 14a, Folder 12 Names and addresses of doctors
Box 14a, Folder 13 Prescriptions
Box 14a, Folder 14 Temperature records (“Fiebertabellen”), 1949-1953, undated
Box 14a, Folder 15 Treatment reports, drug and dietary recommendations
Box 14a, Folder 16 Series 11: Photographs
(Approximately 200 photographic prints)
Series Description
Snapshots of Gödel alone and with family, friends, and colleagues. Some formal portraits. Photographs of the Gödel home at 145 Linden Lane. Some photographs of Gödel's ancestors and his wife's parents. N.A.S.A. Mars and lunarscape photos.
Series Arrangement
Boxes 14a, 14b, 15, 16. Filed by print size, and grouped therein by subject.
Subseries 11A: Photographs between 4″x5” and 6″x9”
110150-110151 Kurt Gödel: 2 head and shoulder portraits, undated
Box 14a, Folder 0 110152-110155 Adele Gödel: Posed by piano ca.1912, 3 head and shoulder portraits, undated
Box 14a, Folder 0 110156 Josef Porkert (Adele's father): Head and shoulder portrait, undated
Box 14a, Folder 0 110157 Hildegarde Porkert (Adele's mother): Head and shoulder portrait, undated
Box 14a, Folder 0 110158 Eduard Wette: on the H.M.S. Queen Elizabeth II
Box 14a, Folder 0 110159 Rudolf (brother) and Kurt Gödel: as children, undated
Box 14a, Folder 0 110160 Marianne (mother) and Kurt Gödel: at the Institute for Advanced Study
Box 14a, Folder 0 110161 Rudolf, Adele, and Marianne Gödel: at a picnic
Box 14a, Folder 0 110162 Hildegarde Porkert, Adele and Kurt: at table
Box 14a, Folder 0 110163 Adele Gödel, Stephen C. Kleene, and his parents: on the Kleene farm in Maine
Box 14a, Folder 0 110164 Stephen Kleene and his parents: on the Kleene farm
Box 14a, Folder 0 Subseries 11B: Photographs between 6″x9” and 8″x10”
110200 Kurt and Adele Gödel, wedding portrait, 23 September 1938
Box 14a, Folder 1 110201 Kurt and Adele Gödel, 10th wedding anniversary portrait, 1948
Box 14a, Folder 2 110202 Participants in Albert Einstein's 70th birthday celebration: including Kurt Gödel, Einstein, Hermann Weyl, and J. Robert Oppenheimer, 19 March 1949
Box 14a, Folder 3 110203 Einstein award presentation: Albert Einstein, Gödel, Julian Schwinger, and Lewis Strauss, 14 March 1951
Box 14a, Folder 4 110204 Harvard honorary degree recipients: including Gödel and John Foster Dulles, 19 June 1952
Box 14a, Folder 5 110205 Kurt Gödel: Portrait by Arnold Newman, 1956
Box 14a, Folder 6 110206-110209 Rockefeller University honorary degree recipients: 4 portraits, 1 June 1972
Box 14a, Folder 7 110210 Kurt Gödel: Portrait, 7 October 1973
Box 14a, Folder 8 110211-110213 National Medal of Science presentation: 3 portraits of Saunders MacLane on behalf of Gödel, 18 September 1975
Box 14a, Folder 9 110214 Kurt Gödel: Early portrait (crudely retouched), undated
Box 14a, Folder 10 110215 Kurt Gödel: Studio portrait by Marcel Natkin, undated
Box 14a, Folder 11 110216 Adele Gödel: Studio portrait, undated
Box 14a, Folder 12 110217 Adele Gödel: Profile, undated
Box 14a, Folder 13 110218-110219 Rudolf Gödel (father): 2 portraits, 1924 and 1927
Box 14a, Folder 14 110220 Albert Einstein: heading home, by Alan Richards
Box 14a, Folder 15 110221 John von Neumann: Studio portrait, undated
Box 14a, Folder 16 Unidentified photographs: Unknown man dated 1950; Einstein with unidentified man, undated; Josef Porkert(?), undated; Unknown man, undated
Box 14a, Folder 17 Subseries 11C: Photographs less than 4″x5”
110000-110041 Kurt Gödel: 42 pictures, posed and candid, ca.1925-1969, undated
Box 14b 110042-110046 Adele Gödel: 5 portraits, undated
Box 14b 110047-110053 Marianne Gödel: 7 pictures, posed and candid, 1959-1961, undated
Box 14b 110054-110056 Josef Porkert: 3 portraits, 1940, undated
Box 14b 110057-110060 Hildegarde Porkert: 4 portraits, undated
Box 14b 110061 Rudolf Gödel (brother): 1 portrait, undated
Box 14b 110062 Hao Wang: candid picture, 1972
Box 14b 110063 Oswald Veblen: portrait, undated
Box 14b 110064-110084 Kurt and Adele Gödel: 21 pictures, posed and candid, 1935-1964, undated
Box 14b 110085-110087 Josef and Hildegarde Porkert: 3 pictures, candid and posed, 1938-1951
Box 14b 110088-110096 Marianne Gödel with son Rudolf or Kurt: 9 pictures, 1959-1966
Box 14b 110097 Hildegarde Porkert with daughter Adele: Posed together, undated
Box 14b 110098 Kurt Gödel and brother Rudolf: Posed together, undated
Box 14b 110099-110106 Kurt or Rudolf Gödel with colleagues (including Stephen C. Kleene, Oskar Morgenstern, Alfred Tarski, Hao Wang): 8 pictures, 1960-1972, undated
Box 14b 110107 Unidentified couple: silhouette, undated
Box 14b 110108-110124 Gödel family members: (18) 1960-1964, undated
Box 14b 110125-110129 Gödel with family and friends: (5) 1941-1968
Box 14b 110130-110145 Gödel home at 145 Linden Lane, Princeton: (18) (as of 9/30/85, photos 110137-110145 are missing), 1962, undated
Box 14b 14c
(See Series XII. Ephemera)
Box 14c Subseries 11D: Photographs between 8″x10” and 11″x14” (Filed in Series XIII: Oversize Items and Addenda)
110211 National Medal of Science Presentation: (Saunders MacLane on behalf of Gödel) 1 portrait, signed by President Ford
Box 15, Folder 3 110215 Kurt Gödel: Mounted studio portrait (2 copies) by Marcel Natkin
Box 15, Folder 3 110300-110302 Kurt Gödel: 3 portraits by Alfred Eisenstadt
Box 15, Folder 3 110303 Adele Porkert and schoolmates: School portrait
Box 15, Folder 3 1971-1972 N.A.S.A. surveys of Mars: Prints from the Mariner 9 mission, also includes relief map of Mars
Box 15, Folder 5 Subseries 11E: Photographs larger than 11″x14” (Filed in Series XIV: Extra Large Items
N.A.S.A. surveys of the moon: Lunarscapes from the Apollo 15 mission, 1971
Box 16, Folder 6 110304 Participants in the Princeton Bicentennial Conference on Problems of Mathematics: Group portrait, 1946
Box 16, Folder 6 Series 12: Ephemera
(Approximately 250 items)
Series Description
Material not falling under any of the other series; includes advertisements, newspaper articles and clippings, annotated envelopes, concert programs, publishers' catalogs, and Nazi proclamations issued to University of Vienna faculty.
Series Arrangement
Box 14c. Filed alphabetically by type of document.
Advertisements and other commercial items
Box 14c, Folder 1 Apartment-hunting memoranda
Box 14c, Folder 2 Articles and clippings
About Gödel (including memorial tributes)
(See also Series XIV: Folder 7)
Box 14c, Folder 3 About Einstein
(See also Series XIV: Folder 8)
Box 14c, Folder 4 Sent to Gödel by Oskar Morgenstern
(See also Series XIV: Folder 9)
Box 14c, Folder 5 Miscellaneous annotated envelopes
(See also Series XIII: Folder 4)
Box 14c, Folder 6 Miscellaneous enclosures from Stanley Tenenbaum correspondence
Box 14c, Folder 7 Nazi broadsides and advertisements
(See also Series XIII: Folder 4)
Box 14c, Folder 8 Programs: concerts, conventions, church services, etc.
Box 14c, Folder 9 Catalogs: Publishers', etc.
(See also Series XIII: Folder 4)
Box 14c, Folder 10 Unclassified Ephemera: includes TMsS [carbon] of anti-semitic tract by “Dr. Austriacus” against Gödel's mentor, Moritz Schlick, ca1936; and TMs [carbon] of open letter to Einstein from Soviet scientists, 1947
Box 14c, Folder 11 Series 13: Oversize Items and Addenda
Series Description
Contains items from Series VII, IX, XI, and XII that are too large to be filed in logical sequence. Each of these items is cross-referenced at its logical place in the finding aid. The logical physical placement of each item is marked with a separation notice in the regular series box. In addition, there are unclassified oversize items not belonging under any of the other series, including unidentified notes and an unidentified draft. Addenda to the collection from three sources are filed at the end of the series. These include photocopied correspondence from the Heyting Archief and the Eidgenössische Technische Hochschule, and original material contributed by Dana Scott regarding the publication of 1972a and 1980. Document numbers in this series are no longer in the original sequence set by John W. Dawson.
Series Arrangement
Box 15. Unclassified oversize items, followed by items grouped into Series VII-XII. Addenda to the collection filed at end of series.
Unclassified oversize items: includes AMs notes on printed material (in German), and AMs lecture draft(?) (in Gabelsberger shorthand)
Box 15, Folder 0 Yale honorary degree certificate
Box 15, Folder 1 Oversize financial items from Series IX: Brno villa records of receipts and expenditures
Box 15, Folder 2 Oversize photographs from Series XI: Photographs between 8″x10” and 11″x14”
Box 15, Folder 3 Oversize ephemera from Series XII: Miscellaneous
Box 15, Folder 4 Oversize photographs from Series XI: N.A.S.A. photographic surveys of Mars
Box 15, Folder 5 Addenda to the collection
LsS [photocopies] from the Gödel/Paul Bernays correspondence stored at the Eidgenössische Technische Hochschule, Zürich
Box 15, Folder 6 Gödel material contributed by Dana Scott: Includes 1972a TMs “Some remarks on the undecidability results” Wilfred Hodges/Dana Scott correspondence re: 1980; Paul Bernays/Dana Scott correspondence re: Gödel and Gödel's “Nachlass”
Box 15, Folder 7 LsS [photocopies] from the Gödel/Arend Heyting correspondence stored at the Heyting Archief, Entschede
Box 15, Folder 8 Series 14: Extra Large Items
Series Description
Box 16. Items filed in order of the series in which they logically belong.
Contains items from Series I-II, VI-VII, IX, XI, and XII that are too large to be filed in logical sequence. Each of these items is cross-referenced at its logical place in the finding aid. The logical physical placement of each item is marked with a separation notice in the regular series box. Includes Gödel's doctoral diploma and honorary certificates. Document numbers in this series are no longer in the original sequence set by John W. Dawson.
Correspondence: Carnap(?), Noether(?), and Unidentified
Box 16, Folder 1 Unclassified loose notes
Box 16, Folder 2 Doctoral Diploma: Universität Wien
Box 16, Folder 3 Academy certificates: American Academy of Arts and Sciences, National Academy of Science
Box 16, Folder 4 Financial items: Miscellaneous ledger sheets
Box 16, Folder 5 Photographs: Portfolio of Apollo 15 lunarscapes, Group portrait of participants in Princeton Bicentennial Conference, 1946
Box 16, Folder 6 Articles and clippings
About Gödel
Box 16, Folder 7 About Albert Einstein
Box 16, Folder 8 Sent to Gödel by Oskar Morgenstern
Box 16, Folder 9 Miscellaneous
Box 16, Folder 10 (loose), National Medal of Science, framed certificate
Box 16, Folder 10 (loose), Harvard University, honorary degree certificate
Box 16, Folder 10 Series 15: Preprints and Offprints
Series Description
Gödel's collection of preprints and offprints (also includes some TMss and AMss) of his colleagues' work. Preprints and offprints which were sent to Gödel with accompanying correspondence are labeled to indicate the item number of the letter with which they were sent. Correspondence is filed separately in the correspondence Series I and II. Likewise, manuscript notes which once accompanied preprints or offprints have been filed separately, mostly in Series VI, as indicated by the item number recorded on each preprint or offprint. There are additional offprints and preprints at the Institute for Advanced Study Library.
In addition to the organization of items into series, during the earliest organization of the collection, items were stamped with an item number. The first two digits of the number indicate the series in which the item belongs. The last four digits indicate the item's logical place in the sequence of each series, with decimal intercalations for items discovered later in the cataloging process (e.g. item 040250 is the 250th item in Series IV). The following list cross-references item numbers with box, series, and folder numbers.
Series Arrangement
Boxes 17-23. Items sorted into three groups: Presentation Copies; Preprints and Offprints Annotated or With Accompanying Notes; Preprints and Offprints With Accompanying Correspondence. Filed alphabetically by author.
Presentation Copies
Adjan to Yourgrau, 1927-ca.1976
Box 17 Preprints and offprints annotated or with accompanying notes
Almgren to Kondo, 1928-1970s
Box 18 Kreisel to Tait 1930-1970s
Box 19 Takahashi to Zurich, 1929-1970s
Box 20 Preprints and offprints with accompanying correspondence
Abian to Knoll, 1928-1970s
Box 21 Kreisel to Rota, 1940s-1970s
Box 22 Rucker to Yilmaz, 1940s-1970s
Box 23 Series 16: Microfilm Prints from the 1980 NSF Microfilms
Series Description
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.
030115 Results on foundations, index
(III/82)
Reel 1, Item 1 030066 Logic and foundations, index
(III/44)
Reel 1, Item 2 030016 Arbeitshefte, index
(III/12)
Reel 1, Item 3 030116 Results on foundations, I (pp. 1-53)
(III/83)
Reel 1, Item 4 030117 Results on foundations, II (pp. 54-153)
(III/84)
Reel 1, Item 5 030118 Results on foundations, III (pp. 154-267)
(III/85)
Reel 1, Item 6 030119 Results on foundations, IV (pp. 268- )
(III/86)
Reel 1, Item 7 030128.1* School geometry workbook
(III/98)
Reel 1, Item 8 030124* School composition book
(III/90)
Reel 1, Item 9 040150* Princeton GCH lectures 1-3
(IV/39)
Reel 1, Item 10 040151* Princeton GCH lecture 4
(IV/40)
Reel 1, Item 11 040152* Princeton GCH lecture 5
(IV/41)
Reel 1, Item 12 040153* Princeton GCH lecture 6 (lecture 7 on reel 5)
(IV/42)
Reel 1, Item 13 030017 Arbeitsheft 1
(III/13)
Reel 2, Item 1 030018/19 Arbeitsheft 2 and accompanying notes
(III/14)
Reel 2, Item 2 030020 Arbeitsheft 3
(III/15)
Reel 2, Item 3 030021/22 Arbeitsheft 4 and accompanying notes
(III/16)
Reel 2, Item 4 030023 Arbeitsheft 5
(III/17)
Reel 2, Item 5 030024 Arbeitsheft 6
(III/18)
Reel 2, Item 6 030025 Arbeitsheft 7
(III/19)
Reel 2, Item 7 030026 Arbeitsheft 8
(III/20)
Reel 2, Item 8 030027 Arbeitsheft 9
(III/21)
Reel 2, Item 9 030028 Arbeitsheft 10
(III/22)
Reel 2, Item 10 030029 Arbeitsheft 11
(III/23)
Reel 2, Item 11 030030 Arbeitsheft 12
(III/24)
Reel 2, Item 12 030031 Arbeitsheft 13
(III/25)
Reel 2, Item 13 030032 Arbeitsheft 14
(III/26)
Reel 2, Item 14 030033 Arbeitsheft 15
(III/27)
Reel 2, Item 15 030034 Arbeitsheft 16 Philosophy notebooks
(III/28)
Reel 2, Item 16 030089 “Max III”
(III/66)
Reel 3, Item 1 030090 “Max IV”
(III/67)
Reel 3, Item 2 030091 “Max V”
(III/67)
Reel 3, Item 3 030092 “Max VI”
(III/68)
Reel 3, Item 4 030093 “Max VII”
(III/68)
Reel 3, Item 5 030094 “Max VIII”
(III/69)
Reel 3, Item 6 030095 “Max IX”
(III/69)
Reel 3, Item 7 030096 “Max X”
(III/70)
Reel 3, Item 8 030097 “Max XI”
(III/70)
Reel 3, Item 9 030098 “Max XII”
(III/71)
Reel 3, Item 10 030099 “Max XIV”
(III/72)
Reel 3, Item 11 030100* “Max XV”
(III/72)
Reel 3, Item 12 030114 “Prot[okoll]” notebook
(III/81)
Reel 4, Item 1 040416 Kant/relativity draft, I
(IV/129)
Reel 4, Item 2 040417 Kant/relativity draft, II
(IV/130)
Reel 4, Item 3 040418 Kant/relativity draft, alternate page drafts
(IV/131)
Reel 4, Item 4 040407 Princeton lecture 1, 1941 ( Dialectica interpretation)
(IV/121)
Reel 5, Item 1 040408 Princeton lecture 2, 1941
(IV/122)
Reel 5, Item 2 040409 Princeton lecture: loose sheets, 1941
(IV/123)
Reel 5, Item 3 040263 Yale lecture, 1941 ( Dialectica interpretation)
(IV/77)
Reel 5, Item 4 040131 “Amerika 1935” notebook: backward direction
(IV/32)
Reel 5, Item 5 040131 “Auswahlaxiom/Mengenlehre I (Aflenz)” notebook: forward direction
(IV/32)
Reel 5, Item 6 040270 Princeton Bicentennial remarks: draft
(IV/80)
Reel 5, Item 7 040179 Williamsburg A.M.S. lecture, 1938: draft
(IV/47)
Reel 5, Item 8 040262 Brown University GCH lecture, 1940
(IV/76)
Reel 5, Item 9 040180* Williamsburg A.M.S. lecture, 1938: draft
(IV/48)
Reel 5, Item 10 040154* Princeton GCH lecture 7
(IV/43)
Reel 5, Item 11 040242 I.A.S. lectures on constructible sets, II (1940)
(IV/71)
Reel 5, Item 12 040241 I.A.S. lectures on constructible sets, I (1940)
(IV/70)
Reel 5, Item 13 040149 Princeton “Club talk” 1938
(IV/38)
Reel 5, Item 14 040411 Lecture on undecidable propositions and polynomials
(IV/125)
Reel 5, Item 15 030086 Philosophy notebook, “Max 0”
(III/63)
Reel 6, Item 1 030130 Theology notebook 3
(III/108)
Reel 6, Item 2 030129 Theology notebook 1
(III/107)
Reel 6, Item 3 030087 Philosophy notebook, “Max I”
(III/64)
Reel 6, Item 4 030088 Philosophy notebook, “Max II”
(III/65)
Reel 6, Item 5 030076 “Amerika II, 1935” notebook
(III/53)
Reel 6, Item 6 030075 “Auswahlaxiom/Mengenlehre II, Amerika 1935”: notebook
(III/52)
Reel 6, Item 7 030077 Proof of validity of the intuitionistic axioms Logic and foundations notebooks
(III/54)
Reel 6, Item 8 030067/68 vol. 1
(III/45)
Reel 7, Item 1 030069 vol. 2
(III/46)
Reel 7, Item 2 030070 vol. 3
(III/47)
Reel 7, Item 3 030071 vol. 4
(III/48)
Reel 7, Item 4 030072 vol. 5
(III/49)
Reel 7, Item 5 030073 vol. 6 Notre Dame continuum lectures
(III/50)
Reel 7, Item 6 040194 vol. I
(IV/52)
Reel 7, Item 7 040195 vol. II
(IV/53)
Reel 7, Item 8 040196 vol. III
(IV/54)
Reel 7, Item 9 040197 vol. IV
(IV/55)
Reel 7, Item 10 040198 vol. V Notre Dame logic lectures
(IV/56)
Reel 7, Item 11 040209 vol. 0
(IV/58)
Reel 8, Item 1 040220 loose notes
(IV/66)
Reel 8, Item 2 040216 loose notes
(IV/63)
Reel 8, Item 3 040210 vol. I
(IV/59)
Reel 8, Item 4 040211 vol. II
(IV/60)
Reel 8, Item 5 040212/3 vol. III
(IV/61)
Reel 8, Item 6 040214 vol. IV
(IV/62)
Reel 8, Item 7 040215 vol. V
(IV/63)
Reel 8, Item 8 040217 vol. VI
(IV/64)
Reel 8, Item 9 040218 vol. VII
(IV/65)
Reel 8, Item 10 040219 loose notes
(IV/65)
Reel 8, Item 11 040415 Theorem on real functions
(IV/128)
Reel 8, Item 12 030078 Notes on I.A.S. lectures
(III/55)
Reel 8, Item 13 030081 Notes on I.A.S. lectures
(III/57)
Reel 8, Item 14 030080 Notes on Weyl's I.A.S. lectures (re: geometry of numbers)
(III/56)
Reel 8, Item 15
Index to Item Numbers
In addition to the organization of items into series, during the earliest organization of the collection items were stamped with an item number. The first two digits of the number indicate the series in which the item belongs. The last four digits indicate the item's logical place in the sequence of each series, with decimal intercalations for items discovered later in the cataloging process (e.g. item 040250 is the 250th item in Series IV). The following list cross-references item numbers with box, series, and folder numbers.
Box / Range of Series/Folders / Range of Item Numbers
- 1a -- I/00 - I/21 -- 010001 - 010280.8
- 1b -- I/22 - I/42 -- 010280.81 - 010558.3
- 1c -- I/43 - I/69 -- 010558.5 - 010897
- 2a -- I/70 - I/97 -- 010898.5 - 011327
- 2b -- I/98 - I/111 -- 011327.5 - 011590
- 2c -- I/112 - I/141 -- 011590.05 - 012052
- 3a -- I/142 - I/167 -- 012053 - 012462
- 3b -- I/168 - I/189.5 -- 012463 - 012888.37
- 3c -- I/190 - I/219 -- 012888.5 - 013304
- 4a -- II/01 - II/22 -- 020001 - 020383
- 4b -- II/23 - II/42 -- 020384 - 020806
- 4c -- II/43 - II/68 -- 020807 - 021333
- 5a -- II/69 - II/84 -- 021334 - 021550
- 5b -- III/01 - III/11.5 -- 030001 - 030015.5
- 5c -- III/12 - III/30 -- 030016 - 030039
- 5d -- III/31 - III/49 -- 030040 - 030072
- 6a -- III/50 - III/62.5 -- 030073 - 030085.5
- 6b -- III/63 - III/78 -- 030086 - 030107
- 6c -- III/79 - III/106 -- 030108 - 030128.98
- 7a -- III/107 - IV/11 -- 030129 - 040019.5
- 7b -- IV/12 - IV/36 -- 040020 - 040143
- 7c -- IV/37 - IV/55 -- 040144 - 040197
- 8a -- IV/56 - IV/76 -- 040198 - 040262
- 8b -- IV/77 - IV/98 -- 040263 - 040306
- 8c -- IV/99 - IV/124.6 -- 040307 - 040411.5
- 9a -- IV/125 - IV/140 -- 040412 - 040448
- 9b -- IV/141 - V/09 -- 040449 - 050045
- 9c -- V/10 - V/25 -- 050046 - 050120
- 10a -- V/26 - V/42 -- 050120.1 - 050144
- 10b -- V/43 - V/54 -- 050144.1 - 050173
- 10c -- V/55 - V/68 -- 050174 - 050209
- 11a -- V/69 - V/78 -- 050210 - 050253
- 11b -- VI/01 - VI/16 -- 060001 - 060178
- 11c -- VI/17 - VI/35 -- 060179 - 060524
- 12 -- VI/36 - VI/52 -- 060525 - 060777
- 13a -- VII/00 - VIII/15 -- 070001 - 080146
- 13b -- IX/01 - IX/32 -- 090001 - 090621
- 13c -- IX/33 - IX/59 -- 090622 - 091134
- 14a -- X/01 - XI/17 -- 100001 - 110221
- 14b -- Loose items; unnumbered photographs in folder XI/0 -- 110000 - 110145
- 14c -- XII/01 - XII/11 -- 120001 - 120261
Boxes 15 and 16 contain oversize and extra large items that are numbered according to their logical places in the sequences above. In boxes 1a-14c these items are replaced with separation notices indicating the physical location of the items in the oversize and extra large series.
In addition, box 15 contains unclassified oversize items (Folder 0), photocopied correspondence from the Heyting Archief and the ETH-Bibliothek (Folders 6 and 8), and material contributed by Dana Scott re: the publication of 1980 (Folder 7), all without item numbers. Box 16 contains four unnumbered items: a framed certificate for the National Medal of Science, two certificates of academy membership, and a portfolio of N.A.S.A. lunarscape photographs.
Permanent URL: http://arks.princeton.edu/ark:/88435/v979v310g