Main content

Kurt Gödel Papers

Notifications

Held at: Princeton University Library: Manuscripts Division [Contact Us]

This is a finding aid. It is a description of archival material held at the Princeton University Library: Manuscripts Division. Unless otherwise noted, the materials described below are physically available in their reading room, and not digitally available through the web.

Overview and metadata sections

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).

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.

The papers of Kurt Gödel (1906-1978) were bequeathed by him to his wife Adele, who donated them to the Institute for Advanced Study in his memory prior to her death in 1981. Under terms of her will, literary rights to the papers are also vested in the Institute for Advanced Study. In 1985, the papers were placed on deposit in Princeton University Library.

Note on the 1998 Preservation Microfilm:

In 1998, the Kurt Gödel Papers were microfilmed for the purpose of preservation. Funded by the Sloan Foundation Grant (95-10-14) in support of the Collected Works of Kurt Gödel, Oxford University Press, the preservation microfilm includes the entire collection, excepting only a few items which are listed below. These items are largely photocopies of original material from other collections, preserved by other institutions. Also omitted are Gödel's collection of the preprints and offprints of his colleagues' work, and a small collection of cancelled checks, stubs and debits, most blank and physically difficult to film. The microfilm reels of Kurt Gödel's papers are available at the Historical Studies Library of the Institute for Advanced Study, Princeton, and in the Special Collections Department of Princeton University's Firestone Library. The preservation microfilm does not constitute a microfilm edition, and is subject to the same copyright restrictions as the original material.

Portions not Filmed: Only the following items have been omitted from the 1998 filming of the Kurt Gödel Papers:

Series / Box(es) / Folder

IV -- 7a -- 3 -- TMs [photocopy] of the final typescript of Gödel's doctoral dissertation, [1929]. Original is deposited at Universität Wien.

IX -- 13b -- 12 -- Cancelled checks, stubs, and debits.

XIII -- 15 -- 6 -- LsS [photocopies] from the Gödel/Paul Bernays correspondence. Originals are stored at the Eidgenössische Technische Hochschule, Zurich.

XIII -- 15 -- 8 -- LsS [photocopies] from the Gödel/Arend Heyting correspondence. Originals are stored at the Heyting Archief, Entschede.

XV -- 17-23 -- Gödel's collection of the preprints and offprints of his colleagues' work (the entirety of Series XV).

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.

Files of Dr. Philip Erlich relating to Kurt Gödel were the gift of Gloria Erlich in May 2011.

For preservation reasons, original analog and digital media may not be read or played back in the reading room. Users may visually inspect physical media but may not remove it from its enclosure. All analog audiovisual media must be digitized to preservation-quality standards prior to use. Audiovisual digitization requests are processed by an approved third-party vendor. Please note, the transfer time required can be as little as several weeks to as long as several months and there may be financial costs associated with the process. Requests should be directed through the Ask Us Form.

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.

No appraisal information is available.

Publisher
Manuscripts Division
Finding Aid Author
John W. Dawson, Jr.; Rebecca Schoff
Finding Aid Date
1998
Access Restrictions

This collection is open for research.

Use Restrictions

The Institute for Advanced Study reserves all copyrights and other literary rights to the materials, which may not be reproduced in any form without the prior written permission of the Institute. Please contact the Shelby White and Leon Levy Archives Center, archives@ias.edu, for permissions and additional information. To cite or publish quotations that fall within Fair Use, as defined under U. S. Copyright Law, no permission is required. For instances beyond Fair Use, it is the responsibility of the researcher to determine whether any permissions related to copyright, privacy, publicity, or any other rights are necessary for their intended use of the Library's materials, and to obtain all required permissions from any existing rights holders, if they have not already done so. Princeton University Library's Special Collections does not charge any permission or use fees for the publication of images of materials from our collections, nor does it require researchers to obtain its permission for said use. The department does request that its collections be properly cited and images credited. More detailed information can be found on the Copyright, Credit and Citations Guidelines page on our website. If you have any questions, please feel free to contact us through the Ask Us! form.

Collection Inventory

Scope and Contents

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.

Arrangement

Boxes 1a-3c. Incoming and outgoing correspondence filed together, alphabetically by correspondent, and therein chronologically. Unidentified correspondents at end of series.

Physical Description

9 boxes

Addison, John, 1956. 1 folder.
Physical Description

1 folder

Miscellaneous "A", 1952-1976. 1 folder.
Physical Description

1 folder

Behman, Heinrich, 1930-1935. 1 folder.
Physical Description

1 folder

Scope and Contents

(See also Series XIII: Folders 6 and 7)

Physical Description

1 box

1930-1931, 1930-1931. 1 folder.
Physical Description

1 folder

1939, 1942, 1956-1959, 1939. 1 folder.
Physical Description

1 folder

1960-1961, 1960-1961. 1 folder.
Physical Description

1 folder

1962-1965, 1962-1965. 1 folder.
Physical Description

1 folder

1966-1970, 1966-1970. 1 folder.
Physical Description

1 folder

1971-1975, 1971-1975. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1954, 1954. 1 folder.
Physical Description

1 folder

1955, 1955. 1 folder.
Physical Description

1 folder

1956-1957, 1956-1957. 1 folder.
Physical Description

1 folder

1958 January-May, 1958 January-May. 1 folder.
Physical Description

1 folder

1958 June-August, 1958 June-August. 1 folder.
Physical Description

1 folder

1959-1961, 1959-1961. 1 folder.
Physical Description

1 folder

1962-1963, 1962-1963. 1 folder.
Physical Description

1 folder

1964-1966, 1964-1966. 1 folder.
Physical Description

1 folder

1967-1969, 1974-1976, 1978-1979, 1967-1969. 1 folder.
Physical Description

1 folder

undated, undated. 1 folder.
Physical Description

1 folder

Brutian, George A, 1969-1970. 1 folder.
Physical Description

1 folder

Burks, Arthur, 1961. 1 folder.
Physical Description

1 folder

Physical Description

1 box

T. R. Bachiller to Errett Bishop, 1933-1973. 1 folder.
Physical Description

1 folder

Max Black to Terrell Ward Bynum, 1935-1975. 1 folder.
Physical Description

1 folder

Carnap, Rudolf, 1929-1939. 1 folder.
Scope and Contents

(See also Series XIV: Folder 1)

Physical Description

1 folder

Chang, C. C, 1963. 1 folder.
Physical Description

1 folder

Chomsky, Noam, 1957-1958. 1 folder.
Physical Description

1 folder

Chuaqui Kettlun, Rolando B, 1969-1972. 1 folder.
Physical Description

1 folder

Church, Alonzo, 1932. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1963 April 24-July 17, 1963 April 24-July 17. 1 folder.
Physical Description

1 folder

1963 July 20-September 27, 1963 July 20-September 27. 1 folder.
Physical Description

1 folder

1963 October 4-December 13, 1963 October 4-December 13. 1 folder.
Physical Description

1 folder

1964, 1964. 1 folder.
Physical Description

1 folder

1965, 1965. 1 folder.
Physical Description

1 folder

1966-1969, 1975, 1966-1969. 1 folder.
Physical Description

1 folder

undated (Fragmentary letter drafts by Gödel), undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Ronald Calinger to D. V. Choodnovsky, 1949-1976. 1 folder.
Physical Description

1 folder

Jeffrey Cohen to Haskell B. Curry, 1932-1977. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1950, 1963, 1950. 1 folder.
Physical Description

1 folder

1964, 1964. 1 folder.
Physical Description

1 folder

1965, undated, 1965. 1 folder.
Physical Description

1 folder

Dreben, Burton S, 1959-1971. 1 folder.
Physical Description

1 folder

Miscellaneous "D", 1931-1975. 1 folder.
Physical Description

1 folder

Einstein, Albert, undated. 1 item.
Scope and Contents

(see Miscellaneous "E")

Physical Description

1 item

Physical Description

1 box

1963-1966, 1963-1966. 1 folder.
Physical Description

1 folder

1967-1968, 1971-1973, 1967-1968. 1 folder.
Physical Description

1 folder

Miscellaneous "E", 1943-1977. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1957-1961, 1957-1961. 1 folder.
Physical Description

1 folder

1963-1964, 1967, 1969, 1971, 1974, 1963-1964. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1927, 1929-1931, 1933-1934, 1927. 1 folder.
Physical Description

1 folder

1950, 1956-1957, 1961-1962, 1950. 1 folder.
Physical Description

1 folder

Fisher, Edward R., Jr, 1968-1970. 1 folder.
Physical Description

1 folder

Flexner, Abraham, 1933-1939. 1 folder.
Physical Description

1 folder

Ford, Lester R. (re: 1947), 1945-1946. 1 folder.
Physical Description

1 folder

Friedburg, Robert, 1956. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1966-1971, 1966-1971. 1 folder.
Physical Description

1 folder

1974-1975, 1974-1975. 1 folder.
Physical Description

1 folder

Miscellaneous "F", 1930-1975. 1 folder.
Physical Description

1 folder

Gandy, R. O, 1959-1960. 1 folder.
Physical Description

1 folder

Gödel Family: Miscellaneous, 1939-1966. 1 folder.
Physical Description

1 folder

Gödel, Rudolf (brother), 1966-1972. 1 folder.
Physical Description

1 folder

Grandjean, Burke, 1974-1975. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1953, 1953. 1 folder.
Physical Description

1 folder

1954-1955, 1954-1955. 1 folder.
Physical Description

1 folder

1956-1957, 1956-1957. 1 folder.
Physical Description

1 folder

1957-1961includes undated notes, 1957-1961. 1 folder.
Physical Description

1 folder

Miscellaneous "G", 1932-1975. 1 folder.
Physical Description

1 folder

Halpern, James, includes discussion notes, 1965-1966. 1 folder.
Physical Description

1 folder

Hasenjaeger, G, 1963-1965. 1 folder.
Physical Description

1 folder

Henkin, Leon, 1960-1972. 1 folder.
Physical Description

1 folder

Herbrand, Jacques, 1931. 1 folder.
Physical Description

1 folder

Scope and Contents

(See also Series XIII: Folder 8)

Physical Description

1 box

1931-1933, 1931-1933. 1 folder.
Physical Description

1 folder

1957, 1969, 1957. 1 folder.
Physical Description

1 folder

Howard, William A, 1964-1973. 1 folder.
Physical Description

1 folder

Physical Description

1 box

John Haag to Stephen Hechler, 1933-1975. 1 folder.
Physical Description

1 folder

Radcliffe Heermance to Ralph Hwastecki, 1931-1976. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Physical Description

1 box

1969, 1972, 1969. 1 folder.
Physical Description

1 folder

1973-1974, 1973-1974. 1 folder.
Physical Description

1 folder

Jeffrey, Richard, 1963-1974. 1 folder.
Physical Description

1 folder

J⊘rgensen, J⊘rge, 1932-1933. 1 folder.
Physical Description

1 folder

Kleene, Stephen C, 1936. 1 folder.
Physical Description

1 folder

Kochen, Simon (includes discussion notes), 1965-1975. 1 folder.
Physical Description

1 folder

Kond⊘, Motokiti, 1961-1963. 1 folder.
Physical Description

1 folder

Scope and Contents

(See also Takeuti, Gaisi)

Physical Description

1 box

1955-1958, 1955-1958. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
Accompanying notes by Gödel, 1955-1958. 1 folder.
Physical Description

1 folder

1959-1960, 1959-1960. 1 folder.
Physical Description

1 folder

Accompanying notes by Gödel, 1959-1960. 1 folder.
Physical Description

1 folder

1961-1962 February, 1961-1962 February. 1 folder.
Physical Description

1 folder

1962 March-December, 1962 March-December. 1 folder.
Physical Description

1 folder

1963-1964 April, 1963-1964 April. 1 folder.
Physical Description

1 folder

Discussion notes, 1964 March. 1 folder.
Physical Description

1 folder

1964 June-1964 December, 1964 June-1964 December. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
1965, 1965. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
1966, 1966. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
Discussion notes, 1963 April-1966 August. 1 folder.
Physical Description

1 folder

1967, 1967. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
1968, 1968. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
1969, 1969. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
1970, 1970. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
1971, 1971. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
Discussion notes, 1966 October-1971. 1 folder.
Physical Description

1 folder

1972, undated, 1972. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
Undated notes, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1954-1958, 1954-1958. 1 folder.
Physical Description

1 folder

1959-1960, 1962, 1972, undated, 1959-1960. 1 folder.
Physical Description

1 folder

Miscellaneous "K", 1937-1975. 1 folder.
Physical Description

1 folder

Leonard, Henry, 1959-1967. 1 folder.
Physical Description

1 folder

Levy, Azriel, 1958-1966. 1 folder.
Physical Description

1 folder

Lorenzen, Paul, 1958. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Daniel Lacombe-S. Lefschetz, 1943-1977. 1 folder.
Physical Description

1 folder

Walter Leighton-W. A. J. Luxemburg, 1934-1980. 1 folder.
Physical Description

1 folder

Menger, Karl, 1931-1968. 1 folder.
Physical Description

1 folder

Morel, Anne C, 1959-1960. 1 folder.
Physical Description

1 folder

Morgenstern, Oskar, 1946-1948. 1 folder.
Physical Description

1 folder

Copies of Morgenstern's correspondene with others, 1965. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1957-1958, 1957-1958. 1 folder.
Physical Description

1 folder

1962-1968 includes undated notes, 1962-1968. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Angus Macintyre to Terrance Millar, 1932-1977. 1 folder.
Physical Description

1 folder

Charles F. Miller to Jan Mycielski, 1931-1977. 1 folder.
Physical Description

1 folder

Nagel, Ernest (re: Nagel and Newman, 1958), 1957. 1 folder.
Physical Description

1 folder

Nakamura, Akira, 1965. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1927-1929, 1931, 1936, 1927-1929. 1 folder.
Physical Description

1 folder

1957, 1961-1962, 1957. 1 folder.
Physical Description

1 folder

Newsom, C. V. (re: 1947), 1947-1948. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1964, 1964. 1 folder.
Physical Description

1 folder

1965, 1967, 1965. 1 folder.
Physical Description

1 folder

Miscellaneous "N" and "O", 1931-1975. 1 folder.
Physical Description

1 folder

Popper, Karl R, 1934-1964. 1 folder.
Physical Description

1 folder

Post, Emil, 1938-1939. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1958, 1958. 1 folder.
Physical Description

1 folder

1962-1965, 1970-1971, undated, 1962-1965. 1 folder.
Physical Description

1 folder

Powell, William C., with discussion notes, 1972-1975. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1973-1974, 1973-1974. 1 folder.
Physical Description

1 folder

1975, 1975. 1 folder.
Physical Description

1 folder

Miscellaneous "P" and "Q", 1935-1976. 1 folder.
Physical Description

1 folder

Rabin, Michael Oser, 1956-1974. 1 folder.
Physical Description

1 folder

Rappaport, Leon, 1962. 1 folder.
Physical Description

1 folder

Reid, Constance, 1965-1966. 1 folder.
Physical Description

1 folder

Reid, Constance: fragmentary letter drafts by Gödel, 1966. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1966-1967, 1971-1972, 1966-1967. 1 folder.
Physical Description

1 folder

1973-1974, undated, 1973-1974. 1 folder.
Physical Description

1 folder

Robbin, Joel W, 1965-1967. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1960-1961, 1967-1968, 1960-1961. 1 folder.
Physical Description

1 folder

1971-1972, 1971-1972. 1 folder.
Physical Description

1 folder

1973, 1973. 1 folder.
Physical Description

1 folder

Discussion notes, 1971. 1 folder.
Physical Description

1 folder

1974-1975 together with texts from memorial service, 1974-1975. 1 folder.
Physical Description

1 folder

Robinson, Robert W, 1966-1967. 1 folder.
Physical Description

1 folder

Rucker, Rudy, 1971-1976. 1 folder.
Physical Description

1 folder

Miscellaneous "R", 1931-1973. 1 folder.
Physical Description

1 folder

Sacerdote, George S, 1973-1976. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1963-1968, 1963-1968. 1 folder.
Physical Description

1 folder

1971-1975, 1971-1975. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1942 November-1943 July, 1942 November-1943 July. 1 folder.
Physical Description

1 folder

1943 August-November, 1943 August-November. 1 folder.
Physical Description

1 folder

1943 December-1944 March, 1943 December-1944 March. 1 folder.
Physical Description

1 folder

1945 August-September includes undated notes, 1945 August-September. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1946-1949, 1946-1949. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1953-1957, 1959 (two versions pub. in the CW as 1953/9-III and 1953/9-V), 1953-1957. 1 folder.
Physical Description

1 folder

1964, 1971, 1964. 1 folder.
Physical Description

1 folder

Schütte, Kurt, 1958-1959. 1 folder.
Physical Description

1 folder

Scope and Contents

(See also Series XIII: Folder 7)

Physical Description

1 box

1955, 1961-1962, 1955. 1 folder.
Physical Description

1 folder

1965-1966, 1965-1966. 1 folder.
Physical Description

1 folder

1967-1968, 1967-1968. 1 folder.
Physical Description

1 folder

Scott Correspondence: 1969, 1969. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
1970, 1972, 1970. 1 folder.
Physical Description

1 folder

Discussion notes, 1956. 1 folder.
Physical Description

1 folder

Shepherdson, John C. (re: 1934 lectures), 1962-1965. 1 folder.
Physical Description

1 folder

Shepherdson, John C. et al (re: integration), 1964-1967. 1 folder.
Physical Description

1 folder

Shoenfield, Joseph, 1956-1960. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1955, 1965-1967, 1955. 1 folder.
Physical Description

1 folder

Discussion notes, 1964-1967. 1 folder.
Physical Description

1 folder

1968, 1970-1971, 1974, undated, 1968. 1 folder.
Physical Description

1 folder

Spector, Clifford, 1957-1961. 1 folder.
Physical Description

1 folder

Stahl, Gerold, 1968-1970. 1 folder.
Physical Description

1 folder

Physical Description

1 box

E. Sarton to Laurence Shepley, 1931-1974. 1 folder.
Physical Description

1 folder

Margaret Shields to Patrick Suppes, 1947-1975. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1960-1962, 1960-1962. 1 folder.
Physical Description

1 folder

1964-1965, 1973 includes undated notes, 1964-1965. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1958-1960, 1958-1960. 1 folder.
Physical Description

1 folder

1962, 1962. 1 folder.
Physical Description

1 folder

1963-1965, 1963-1965. 1 folder.
Physical Description

1 folder

1966, 1966. 1 folder.
Physical Description

1 folder

with Georg Kreisel, 1966 June-August. 1 folder.
Physical Description

1 folder

1967, 1967. 1 folder.
Physical Description

1 folder

1970-1972, 1970-1972. 1 folder.
Physical Description

1 folder

1973, 1973. 1 folder.
Physical Description

1 folder

1974, 1974. 1 folder.
Physical Description

1 folder

1975-1976 includes undated notes, 1975-1976. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1959-1961, 1966-1967, 1959-1961. 1 folder.
Physical Description

1 folder

re: Tamari vs. Technicon Israel, 1968. 1 folder.
Physical Description

1 folder

1973, undated, 1973. 1 folder.
Physical Description

1 folder

Tarski, Alfred, 1931, 1942-1947, 1970 contains letter that became 1970c, 1931. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1964-1968, 1970-1975, undated, 1964-1968. 1 folder.
Physical Description

1 folder

Discussion notes, 1966-1968. 1 folder.
Physical Description

1 folder

Discussion notes, 1972-1974. 1 folder.
Physical Description

1 folder

Tharp, Leslie, 1966-1973. 1 folder.
Physical Description

1 folder

Miscellaneous "T", 1932-1977. 1 folder.
Physical Description

1 folder

Ulam, S. M, 1939-1973. 1 folder.
Physical Description

1 folder

Unger, Georg, 1955-1966. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1958, 1961-1962, 1958. 1 folder.
Physical Description

1 folder

1963 March-October, 1963 March-October. 1 folder.
Physical Description

1 folder

1963 November-December, 1963 November-December. 1 folder.
Physical Description

1 folder

1964 January-June, 1964 January-June. 1 folder.
Physical Description

1 folder

1964 August-December, 1964 August-December. 1 folder.
Physical Description

1 folder

1965, 1965. 1 folder.
Physical Description

1 folder

1966, 1975, undated, 1966. 1 folder.
Physical Description

1 folder

Veblen, Oswald, 1933-1949. 1 folder.
Physical Description

1 folder

von Neumann, John, 1930-1939. 1 folder.
Scope and Contents

(See also Series VI: Folder 33 under "M" for AMs draft of memorial letter)

Physical Description

1 folder

Miscellaneous "V", 1939-1979. 1 folder.
Physical Description

1 folder

Wajsberg, N, 1929. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1948-1949, 1948-1949. 1 folder.
Physical Description

1 folder

1967, 1967. 1 folder.
Physical Description

1 folder

1968, 1970, 1968. 1 folder.
Physical Description

1 folder

1971-1973 (re: Wang 1974), 1971-1973. 1 folder.
Physical Description

1 folder

1974-1975 April (re: Wang 1974), 1974-1975 April. 1 folder.
Physical Description

1 folder

1975 May-November (re: Wang 1974), 1975 May-November. 1 folder.
Physical Description

1 folder

1975 December Quotations from Gödel, 1975 December. 1 folder.
Physical Description

1 folder

Discussion notes, 1971-1975. 1 folder.
Physical Description

1 folder

1976 February-July (includes drafts of Wang 1981), 1976 February-July. 1 folder.
Physical Description

1 folder

1976 November-1978 February, 1976 November-1978 February. 1 folder.
Physical Description

1 folder

Miscellaneous "W", 1935-1978. 1 folder.
Physical Description

1 folder

Yasuhara, Mitsuru, 1970-1972. 1 folder.
Physical Description

1 folder

Yourgrau, Wolfgang, 1962-1976. 1 folder.
Physical Description

1 folder

Miscellaneous "Y", 1957-1966. 1 folder.
Physical Description

1 folder

Zermelo, Ernst, 1931. 1 folder.
Physical Description

1 folder

Zuckerman, Martin, 1967. 1 folder.
Physical Description

1 folder

Miscellaneous "Z", 1935-1973. 1 folder.
Physical Description

1 folder

Multiple Correspondents, 1955-1970. 1 folder.
Physical Description

1 folder

Unidentified Correspondents, 1939-1971. 1 folder.
Scope and Contents

(See also Series XIV: Folder 1)

Physical Description

1 folder

Scope and Contents

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.

Arrangement

Boxes 4a-5a. Incoming and outgoing correspondence filed together, alphabetically by subject or type of correspondence.

Physical Description

4 boxes

Announcements of academic and cultural events, 1939-1974. 1 folder.
Physical Description

1 folder

Appreciation, Letters of, 1958-1973. 1 folder.
Physical Description

1 folder

Physical Description

1 box

A-M, 1949-1976. 1 folder.
Physical Description

1 folder

N-W, 1953-1976. 1 folder.
Physical Description

1 folder

Bibliographic Requests, Miscellaneous, 1956-1975. 1 folder.
Physical Description

1 folder

Biographical Requests from Individuals, 1969-1976. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1946-1954, 1946-1954. 1 folder.
Physical Description

1 folder

1960-1965, 1960-1965. 1 folder.
Physical Description

1 folder

1966-1980, undated, 1966-1980. 1 folder.
Physical Description

1 folder

Booksellers, Miscellaneous, 1929-1960. 1 folder.
Physical Description

1 folder

Charitable Solicitations, 1935-1975. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1929-1935, 1938-1939, 1929-1935. 1 folder.
Physical Description

1 folder

1960-1964, 1960-1964. 1 folder.
Physical Description

1 folder

1965-1967, 1965-1967. 1 folder.
Physical Description

1 folder

1968, 1968. 1 folder.
Physical Description

1 folder

1969-1972, 1969-1972. 1 folder.
Physical Description

1 folder

1973-1975, undated, 1973-1975. 1 folder.
Physical Description

1 folder

Physical Description

1 box

A-G, 1963-1977. 1 folder.
Physical Description

1 folder

H-O, 1937-1977. 1 folder.
Physical Description

1 folder

R-Sh, 1959-1977. 1 folder.
Physical Description

1 folder

Sk-Z, except W, 1967-1976. 1 folder.
Physical Description

1 folder

W, 1960-1976. 1 folder.
Physical Description

1 folder

Physical Description

1 box

New York University Press (re: Ernest Nagel/James R. Newman), 1957. 1 folder.
Physical Description

1 folder

New York University Press, undated notes, dates not examined. 1 folder.
Physical Description

1 folder

La Nuova Italia Editrice (re: 1968), 1968. 1 folder.
Physical Description

1 folder

Oliver and Boyd/Basic Books (re:"Meltzer's Translation of 1931"), 1963. 1 folder.
Physical Description

1 folder

Oliver and Boyd/Basic Books (re: "Meltzer's Translation of 1931"), 1964-1966. 1 folder.
Physical Description

1 folder

Oliver and Boyd/Basic Books (re: "Meltzer's Translation of 1931"), 1968-1969. 1 folder.
Physical Description

1 folder

Princeton University Press (re: 1940), 1961-1970. 1 folder.
Physical Description

1 folder

Time, Inc. (re: Bergamini et al, 1963), 1963. 1 folder.
Physical Description

1 folder

Zentralblatt für Mathematik (re: reviews), 1930-1937. 1 folder.
Physical Description

1 folder

Zentralblatt für Mathematik (re: Gödel/Arend Heyting Collaboration), 1931-1935. 1 folder.
Physical Description

1 folder

Miscellaneous, including collected works solicitations, 1930-1978. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Einstein Award, 1951. 1 folder.
Physical Description

1 folder

Honorary Degrees: Amherst College 1967 Cambridge University 1972-1973 Harvard University 1952, 1967. 1 folder.
Physical Description

1 folder

Honorary Degrees: Princeton University, 1975. 1 folder.
Physical Description

1 folder

Honorary Degrees: Rockefeller University, 1972. 1 folder.
Physical Description

1 folder

Membership: American Academy of Arts and Sciences, American Philosophical Society, British Academy, 1961-1972. 1 folder.
Physical Description

1 folder

Membership: Institut de France, Institut International des Sciences Théoriques, 1947-1972. 1 folder.
Physical Description

1 folder

Membership: London Mathematical Society, National Academy of Sciences, Royal Society, Trinity Mathematical Society, 1955-1968. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1975 May-June, 1975 May-June. 1 folder.
Physical Description

1 folder

1975 September-October, 1975 September-October. 1 folder.
Physical Description

1 folder

Letters of Congratulation, 1975. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Financial memoranda, 1933-1967. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1956-1962, 1956-1962. 1 folder.
Physical Description

1 folder

1970-1971, 1970-1971. 1 folder.
Physical Description

1 folder

1972-1975, 1972-1975. 1 folder.
Physical Description

1 folder

Miscellaneous Internal Correspondence, 1934-1973. 1 folder.
Physical Description

1 folder

Inquiries from Students and Amateurs, 1956-1976. 1 folder.
Physical Description

1 folder

Inquiries, Miscellaneous, 1946-1977. 1 folder.
Physical Description

1 folder

Interview Requests, 1964-1969. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1933-1939, 1933-1939. 1 folder.
Physical Description

1 folder

1949, 1957-1958, 1949. 1 folder.
Physical Description

1 folder

1960-1965, 1960-1965. 1 folder.
Physical Description

1 folder

1966-1969, 1966-1969. 1 folder.
Physical Description

1 folder

1970-1974, 1976, 1970-1974. 1 folder.
Physical Description

1 folder

Invitations, Other Scholarly, 1957-1966. 1 folder.
Physical Description

1 folder

Invitations, Social, 1935-1975. 1 folder.
Physical Description

1 folder

Job Search Inquiries, 1958-1967. 1 folder.
Physical Description

1 folder

Legal Correspondence, Miscellaneous, 1932-1938. 1 folder.
Physical Description

1 folder

Leibniz Microfilming Project, 1949-1953. 1 folder.
Physical Description

1 folder

Library Correspondence, Miscellaneous, 1935-1973. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1933-1953, 1933-1953. 1 folder.
Physical Description

1 folder

1960, 1962-1963, 1960. 1 folder.
Physical Description

1 folder

1964-1967, 1969, 1964-1967. 1 folder.
Physical Description

1 folder

1971-1972, 1975-1976, 1971-1972. 1 folder.
Physical Description

1 folder

Miscellaneous, dates not examined. 1 item.
Scope and Contents

(see Unclassified)

Physical Description

1 item

Moving Company, dates not examined. 1 item.
Scope and Contents

(see Rental Agency and Moving Company)

Physical Description

1 item

Physical Description

1 box

1938-1952, 1938-1952. 1 folder.
Physical Description

1 folder

1954-1962, 1954-1962. 1 folder.
Physical Description

1 folder

1963-1965, 1970, 1975-1976, 1963-1965. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Quotation, 1975. 1 folder.
Physical Description

1 folder

Reprintings and Photocopies, 1959-1973. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1953-1969, 1953-1969. 1 folder.
Physical Description

1 folder

1973-1977, 1973-1977. 1 folder.
Physical Description

1 folder

1978-1980 (re: 1980), 1978-1980. 1 folder.
Physical Description

1 folder

Photo Requests, 1952-1981. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Physical Description

1 box

1956-1964, 1956-1964. 1 folder.
Physical Description

1 folder

1966-1968, 1966-1968. 1 folder.
Physical Description

1 folder

1970, 1972-1973, 1975, 1970. 1 folder.
Physical Description

1 folder

Miscellaneous, 1937-1975. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1934-1959, 1934-1959. 1 folder.
Physical Description

1 folder

1960-1976, 1960-1976. 1 folder.
Physical Description

1 folder

Recommendation Requests, Miscellaneous, 1952-1971. 1 folder.
Physical Description

1 folder

Rental Agency and Moving Company, Vienna, 1937-1939. 1 folder.
Physical Description

1 folder

Souvenir Cards, 1967. 1 folder.
Physical Description

1 folder

Subscriptions, 1936-1972. 1 folder.
Physical Description

1 folder

Unclassified, 1937-1976. 1 folder.
Physical Description

1 folder

Scope and Contents

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:

  1. Intercalated: Placed within the notebook, apparently with some attention to a meaningful sequence, often numbered in sequence with the pagination of the notebook.
  2. Inserted: Placed inside the notebook (usually inside the front or back cover) without obvious attention to sequence
  3. Loose: Simply filed in a folder with the notebook
Arrangement

Boxes 5b-7a. Filed alphabetically by subject or by Gödel's title (as indicated in the finding aid). Mostly in Gabelsberger shorthand.

Physical Description

7 boxes

Scope and Contents

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.

Physical Description

1 box

1. 1953-1957 May, 1953-1957 May. 1 folder.
Scope and Contents

written both directions

Physical Description

1 folder

2. 1957 July-1958 February, 1957 July-1958 February. 1 folder.
Scope and Contents

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.

Physical Description

1 folder

3. 1958 March-1958 June, 1958 March-1958 June. 1 folder.
Physical Description

1 folder

4. 1958 July-1958 September, 1958 July-1958 September. 1 folder.
Physical Description

1 folder

5. 1958 September-1958 December, 1958 September-1958 December. 1 folder.
Physical Description

1 folder

6. 1958 December-1959 May, 1958 December-1959 May. 1 folder.
Physical Description

1 folder

7. 1959 May-1959 August, 1959 May-1959 August. 1 folder.
Scope and Contents

plus one loose sheet

Physical Description

1 folder

8. 1959 August-1959 December, 1959 August-1959 December. 1 folder.
Physical Description

1 folder

9. 1959 December-1960 March, 1959 December-1960 March. 1 folder.
Physical Description

1 folder

10. 1960 March-1962 July, 1960 March-1962 July. 1 folder.
Physical Description

1 folder

11. 1962 July-1965 December, 1962 July-1965 December. 1 folder.
Physical Description

1 folder

12. circa 1965 December, circa 1965 December. 1 folder.
Physical Description

1 folder

13. 1967 June-1967 September, 1967 June-1967 September. 1 folder.
Physical Description

1 folder

14. 1967 September-1972 April, 1967 September-1972 April. 1 folder.
Physical Description

1 folder

15. 1972 April-1974 May, 1972 April-1974 May. 1 folder.
Physical Description

1 folder

American History, dates not examined. 1 folder.
Scope and Contents

One notebook, headings in English, notes in English and Gabelsberger shorthand

Physical Description

1 folder

Scope and Contents

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.

Physical Description

1 box

Index to the "Arbeitshefte": AMs notes cross-referencing subject headings with notebooks and page numbers, dates not examined. 1 folder.
Physical Description

1 folder

No. 1: Written both directions, plus 8 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

No. 2: "Kontinuum": Plus 8 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

No. 3, dates not examined. 1 folder.
Physical Description

1 folder

No. 4: Written both directions, plus 7 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

No. 5: Plus 2 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

No. 6: Plus 5 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

No. 7: Written both directions, plus 24 intercalated pages and 1 loose page, dates not examined. 1 folder.
Physical Description

1 folder

No. 8, dates not examined. 1 folder.
Physical Description

1 folder

No. 9: "Int. Math": Plus 9 intercalated pages, dates not examined. 1 folder.
Physical Description

1 folder

No. 10, dates not examined. 1 folder.
Physical Description

1 folder

No. 11, dates not examined. 1 folder.
Physical Description

1 folder

No. 12: Plus 8 intercalated pages, dates not examined. 1 folder.
Physical Description

1 folder

No. 13: Plus 2 intercalated pages, dates not examined. 1 folder.
Physical Description

1 folder

No. 14: with insert dated, 1966. 1 folder.
Physical Description

1 folder

No. 15, dates not examined. 1 folder.
Physical Description

1 folder

No. 16: Plus 11 intercalated pages and 1 page inserted in back, dates not examined. 1 folder.
Physical Description

1 folder

Scope and Contents

(re: angular orientation of nebulae, etc.)

(See also Physics: "Physik 1935")

Physical Description

1 box

Front page headed: "Liste d. grossen Nebel" ("List of the Large Nebulae), headings in German with tables of numeric figures, plus 8 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

Unlabelled: Tables of numeric figures, plus 3 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

Bibliographic Notes, dates not examined. 1 item.
Scope and Contents

(See Loose-leaf Notebook, and Physics: "Lit Physik")

Physical Description

1 item

Chemistry, dates not examined. 1 item.
Scope and Contents

(See "Allgemeine Bildung": II, and School: Geography, Geology, Chemistry)

Physical Description

1 item

Scope and Contents

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)

Physical Description

1 box

Partial index to the History Notebooks: alphabetized references to entries in the notebooks, primarily names and dates, dates not examined. 1 folder.
Physical Description

1 folder

No. 1: "Lexicon, etc", dates not examined. 1 folder.
Physical Description

1 folder

No. 2: "Lexicon, etc": all loose pages, dates not examined. 1 folder.
Physical Description

1 folder

Notes on Leopold von Ranke, History of Popes (filed by Gödel with History Notebook No. 2), dates not examined. 1 folder.
Physical Description

1 folder

No. 3, dates not examined. 1 folder.
Physical Description

1 folder

No. 4, dates not examined. 1 folder.
Physical Description

1 folder

No. 5, dates not examined. 1 folder.
Physical Description

1 folder

No. 6, dates not examined. 1 folder.
Physical Description

1 folder

No. 7, dates not examined. 1 folder.
Physical Description

1 folder

No. 8, dates not examined. 1 folder.
Physical Description

1 folder

No. 9: The title "Höhere Math." is stricken; the first four pages contain mathematical notes, dates not examined. 1 folder.
Physical Description

1 folder

IAS Committee Memoranda, 1953-1967. 1 folder.
Scope and Contents

: One notebook containing notes in Gabelsberger shorthand with English and German headings, and budget tables, plus 3 loose pages

Physical Description

1 folder

Language Practice: Italian, dates not examined. 1 folder.
Scope and Contents

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.)

Physical Description

1 folder

Scope and Contents

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.

Physical Description

2 boxes

Index to the Logic and Foundations Notebooks, 3 loose sheets, dates not examined. 1 folder.
Physical Description

1 folder

No. 1: pp. 1-54, dates not examined. 1 folder.
Physical Description

1 folder

No. 2: pp. 55-134, dates not examined. 1 folder.
Physical Description

1 folder

No. 3: pp. 135-206, dates not examined. 1 folder.
Physical Description

1 folder

No. 4: pp. 207-266, dates not examined. 1 folder.
Physical Description

1 folder

No. 5: pp. 267-343, dates not examined. 1 folder.
Physical Description

1 folder

No. 6: pp. 344-440, dates not examined. 1 folder.
Physical Description

1 folder

Loose-leaf Notebook, dates not examined. 1 folder.
Scope and Contents

Mostly bibliographic notes in English, German, and Gabelsberger shorthand

Physical Description

1 folder

Scope and Contents

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)

Physical Description

1 box

"Amerika 1933/34 (Grundl[agen])", dates not examined. 1 folder.
Scope and Contents

Mathematical computation with notes in Gabelsberger shorthand, written both directions

Physical Description

1 folder

"Auswahlaxiom, Mengenlehre II, Amerika 1935", dates not examined. 1 folder.
Scope and Contents

Mathematical computation (re: the axiom of choice) with notes in German and Gabelsgerger shorthand, written both directions

Physical Description

1 folder

"Amerika II, 1935", dates not examined. 1 folder.
Scope and Contents

Mathematical computation, notes in Gabelsberger shorthand, written both directions, plus two loose pages

Physical Description

1 folder

"Beweis d. Gultigkeit d. int. Ax.", dates not examined. 1 folder.
Scope and Contents

Notes filed by Gödel with "Amerika 1935" notebooks, notes in English and Gabelsberger shorthand, with mathematical computation, total 21 loose sheets

Physical Description

1 folder

"Lekt. Math. I", dates not examined. 1 folder.
Scope and Contents

Notes on Institute for Advanced Study lectures, in Gabelsberger shorthand with mathematical computation, plus 3 intercalated pages, and 3 pages inserted in back

Physical Description

1 folder

"Nur Weyl, Geometrie der Zahlen", dates not examined. 1 folder.
Scope and Contents

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

Physical Description

1 folder

"Siegel, Fubini, und div. bekannte Theoreme (Sommer 1941?)", dates not examined. 1 folder.
Scope and Contents

Notes on Institute for Advanced Study lectures, in mathematical notation; lectures given by Carl Ludwig Siegel and Guido Fubini

Physical Description

1 folder

"Altes Excerpten Heft I (1931-. . .)", dates not examined. 1 folder.
Scope and Contents

Notes on mathematical literature, headings in German and English, notes in Gabelsberger shorthand, plus 3 loose pages and 2 inserted cards

Physical Description

1 folder

"Aflenz 1936 Analysis, Physik", dates not examined. 1 folder.
Scope and Contents

Mathematical computation with notes in Gabelsberger shorthand (taken while in Aflenz, Austria?), written both directions, plus 4 loose pages

Physical Description

1 folder

Undesignated, dates not examined. 1 folder.
Scope and Contents

Mathematical computation with notes in Gabelsberger shorthand, written both directions

Physical Description

1 folder

Undesignated, Back cover missing, dates not examined. 1 folder.
Scope and Contents

Mathematical computation

Physical Description

1 folder

Undesignated, Both covers missing, Binding disintegrated, dates not examined. 1 folder.
Scope and Contents

Mathematical computation with notes in Gabelsberger shorthand

Physical Description

1 folder

Undesignated, Both covers missing, Binding intact, dates not examined. 1 folder.
Scope and Contents

Mathematical computation, written both directions

Physical Description

1 folder

Scope and Contents

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

Physical Description

1 box

"Philosophie I Max 0", dates not examined. 1 folder.
Physical Description

1 folder

"Max I Zeiteinteilung", dates not examined. 1 folder.
Physical Description

1 folder

"Max II Zeiteinteilung": Plus 21 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

"Max III": Plus 5 inserted pages, dates not examined. 1 folder.
Physical Description

1 folder

"Max IV", 1941 May-1942 April. 1 folder.
Physical Description

1 folder

"Max V", circa 1942 May. 1 folder.
Physical Description

1 folder

"Max VI", circa 1942 July. 1 folder.
Physical Description

1 folder

"Max VII", 1942 July 15-1942 September 10. 1 folder.
Physical Description

1 folder

"Max VIII", 1942 September 15-1942 November 18. 1 folder.
Physical Description

1 folder

"Max IX", 1942 November 18-1943 March 11. 1 folder.
Physical Description

1 folder

"Max X", 1943 March 12-1944 January 27. 1 folder.
Physical Description

1 folder

"Max XI", 1944 January 28-1944 November 14. 1 folder.
Physical Description

1 folder

"Max XII", 1944 November 15-1945 June 5. 1 folder.
Physical Description

1 folder

Vol. XIII missing, dates not examined. 1 item.
Scope and Contents

(see note in "Phil. XIV")

Physical Description

1 item

"Phil. XIV", 1946 July-1955 May. 1 folder.
Physical Description

1 folder

"Max XV, Letztes", 1955 May. 1 folder.
Physical Description

1 folder

"Gomperz, Geschichte der europ. Phil., Winter 1925", dates not examined. 1 folder.
Scope and Contents

Philosophy course notes (in Gabelsberger shorthand with German headings) on the history of European philosophy, written both directions. Backward direction: Mathematical notes

Physical Description

1 folder

"Gomperz, 1926", dates not examined. 1 folder.
Scope and Contents

Philosophy course notes, written in both directions. Backward direction: Mathematical notes

Physical Description

1 folder

Scope and Contents

: Various notebooks containing notes on physics, labelled by Gödel as quoted below. Where left undesignated, notebooks are distinguished by content.

Physical Description

2 boxes

"Kottler, Sommer 1926", dates not examined. 1 folder.
Scope and Contents

Kinetic theory of matter, course notes in mathematical notation (From the lectures of Friedrich Kottler?)

Physical Description

1 folder

"Physik 1935 Stat. Mech., Optik", dates not examined. 1 folder.
Scope and Contents

Notes on statistical mechanics and optics in mathematical notation with diagrams and headings in German

Physical Description

1 folder

"Physik 1935", dates not examined. 1 folder.
Scope and Contents

Mathematical computation with diagrams and headings in German, written both directions, plus 3 loose pages

Physical Description

1 folder

"Hobart. . . Physik 1935", dates not examined. 1 folder.
Scope and Contents

Mathematical computation with headings in German, written both directions

Physical Description

1 folder

"Physik 1935", dates not examined. 1 folder.
Scope and Contents

Includes section titled "Astronomische Zahlen," mathematical computation with headings in German, written both directions, plus one page intercalated

Physical Description

1 folder

"Physik Quantenmech. I", dates not examined. 1 folder.
Scope and Contents

Mathematical computation with notes in Gabelsberger shorthand and headings in German and English, written both directions

Physical Description

1 folder

"Physik Quantenmech. II", 1935. 1 folder.
Scope and Contents

Mathematical computation with notes in Gabelsberger shorthand

Physical Description

1 folder

"Physik Excerpte f. D. Prufung", dates not examined. 1 folder.
Scope and Contents

Loose notes filed with physics notebooks by Gödel (examination excerpts), mathematical computation

Physical Description

1 folder

Undesignated (re: rotating universes), dates not examined. 1 folder.
Scope and Contents

Mathematical computation and extensive notes in English, plus one loose sheet

Physical Description

1 folder

Undesignated (re: rotating universes), dates not examined. 1 folder.
Scope and Contents

Mathematical computation, plus one loose page

Physical Description

1 folder

"Physik (rein)" (re: relativity), dates not examined. 1 folder.
Scope and Contents

Mathematical computation with headings in German, written in both directions, plus one loose page

Physical Description

1 folder

"Lit Physik", dates not examined. 1 folder.
Scope and Contents

Notebook on literature in Physics and accompanying loose bibliographic notes, in both German and Gabelsberger shorthand

Physical Description

1 folder

"Protokoll", dates not examined. 1 folder.
Scope and Contents

One notebook labelled "Prot." by Gödel. Contains notes on conversations and lectures, etc., in Gabelsberger shorthand with German and English headings.

Physical Description

1 folder

Scope and Contents

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.

Physical Description

1 box

Index to the Results on Foundations Notebooks: AMs notes cross-referencing subject headings to notebooks and page numbers, dates not examined. 1 folder.
Physical Description

1 folder

I: pp. 1-52, dates not examined. 1 folder.
Physical Description

1 folder

II: pp. 53-153, dates not examined. 1 folder.
Physical Description

1 folder

III: pp. 154-267, dates not examined. 1 folder.
Physical Description

1 folder

IV: pp. 268-368, dates not examined. 1 folder.
Physical Description

1 folder

Scope and Contents

Set of notebooks from Gödel's schooling, ranging from grade school to high school.

Arrangement

The notebooks are arranged below with the earliest three listed first, and thereafter alphabetized by subject.

Physical Description

1 box

Arithmetic (Evangelische Bürgerschule in Brünn, ), 1912-1913. 1 folder.
Scope and Contents

Practice writing numerals and sums

Physical Description

1 folder

Penmanship (Evangelische Bürgerschule in Brünn, ), 1912-1913. 1 folder.
Scope and Contents

Practice writing alphabet

Physical Description

1 folder

Composition (Evangelische Bürgerschule in Brünn, ), 1914-1915. 1 folder.
Scope and Contents

Essays in German, plus one loose page

Physical Description

1 folder

Composition (Staatsrealgymnasium in Brünn, ), 1920-1921. 1 folder.
Scope and Contents

Essays in German

Physical Description

1 folder

Scope and Contents

Three notebooks, undesignated, distinguishable by physical characteristics

Physical Description

1 box

Plain white, covers missing, dates not examined. 1 folder.
Scope and Contents

Contains practice constructing geometrical figures.

Physical Description

1 folder

Plain white, folded open, dates not examined. 1 folder.
Scope and Contents

Contains practice constructing geometrical figures.

Physical Description

1 folder

Plain white, staples removed, dates not examined. 1 folder.
Scope and Contents

Contains practice constructing geometrical figures, plus three loose sheets.

Physical Description

1 folder

Geography, Geology, Chemistry, dates not examined. 1 folder.
Scope and Contents

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.

Physical Description

1 folder

Latin Practice (Staatsrealgymnasium in Brünn, ), 1920-1921. 1 folder.
Scope and Contents

Practice essays in Latin, Algebra practice pencilled in back

Physical Description

1 folder

Logic: Labeled inside cover "Übungsheft Log", dates not examined. 1 folder.
Scope and Contents

Contains exercises in symbolic logic notation.

Physical Description

1 folder

Scope and Contents

Set of notebooks covering Gödel's early education in mathematics, grouped chronologically, with undated material at end

Physical Description

1 box

Workbook (Staatsrealgymnasium in Brünn, ), 1918-1919. 1 folder.
Scope and Contents

Labeled "Mathematische Schularbeiten," contains mathematical schoolwork with teacher's comments in German

Physical Description

1 folder

Geometry (Staatsrealgymnasium in Brünn, ), 1920-1921. 1 folder.
Scope and Contents

Labeled "Geom. Hausübungen," contains geometry "homework," including the construction of figures.

Physical Description

1 folder

Workbook (Staatsrealgymnasium in Brünn, ), 1923-1924. 1 folder.
Scope and Contents

Labeled "Mathematische Schularbeiten," contains schoolwork with algebraic and trigonometric functions, and calculus, with teacher's comments in German.

Physical Description

1 folder

Calculus Workbook, dates not examined. 1 folder.
Scope and Contents

Unlabeled, contains pencilled practice in calculus.

Physical Description

1 folder

Miscellaneous, dates not examined. 1 folder.
Scope and Contents

Labeled "Gödel Kurt," contains mathematical computation with notes in Gabelsberger shorthand, written both directions.

Physical Description

1 folder

Miscellaneous, dates not examined. 1 folder.
Scope and Contents

Inside cover labeled "Algebra," contains mathematical computation with notes in Gabelsberger shorthand, written both directions.

Physical Description

1 folder

Mathematics/German Culture, dates not examined. 1 folder.
Scope and Contents

Unlabeled, contains pencilled practice in mathematical computation and notes on German language, history, and culture in German and Gabelsberger shorthand.

Physical Description

1 folder

Natural History, dates not examined. 1 folder.
Scope and Contents

One notebook labeled "Naturgeschichts Heft.," contains notes in German with hand-drawn diagrams.

Physical Description

1 folder

Scope and Contents

Two notebooks from Gödel's early schooling in Physics, labeled by Gödel as quoted below

Physical Description

1 box

"Früh phy. ", 1924. 1 folder.
Scope and Contents

From Staatsrealgymnasium in Brünn, contains diagrams, notes in German, and mathematical computation, written both directions.

Physical Description

1 folder

"Physik Heft", dates not examined. 1 folder.
Scope and Contents

From Staatsrealgymnasium in Brünn 1921-1922 contains diagrams, notes in German, and mathematical computation, plus 10 loose pages.

Physical Description

1 folder

Scope and Contents

A set of two notebooks, labeled and numbered by Gödel as below. Numbering suggests a third notebook, #2, now missing.

Physical Description

1 box

"theologie 1 Nur Vorlesungen", dates not examined. 1 folder.
Scope and Contents

Headings in German, French and Latin, with notes in Gabelsberger shorthand, plus 4 intercalated pages

Physical Description

1 folder

"Theol. 3", dates not examined. 1 folder.
Scope and Contents

Headings in German, notes in Gabelsberger shorthand, including tables of content for the Bible

Physical Description

1 folder

Scope and Contents

Set of 16 notebooks containing vocabulary lists and language practice, four of which belonged to Gödel's brother, Rudolf.

Arrangement

Arranged alphabetically by language, with Rudolf's notebooks at the end. Labeled as quoted below.

Physical Description

1 box

Dutch, dates not examined. 1 item.
Scope and Contents

(See Latin: "Dutch")

Physical Description

1 item

Physical Description

1 box

"English": English translated into Gabelsberger shorthand, dates not examined. 1 folder.
Physical Description

1 folder

Unlabeled: English translated into German or Gabelsberger shorthand, written both directions, dates not examined. 1 folder.
Physical Description

1 folder

"English": English translated into Gabelsberger shorthand, dates not examined. 1 folder.
Physical Description

1 folder

"English": English translated into Gabelsberger shorthand or French, transcription of Charles Dickens in English at back, dates not examined. 1 folder.
Physical Description

1 folder

"Englische V, alt": English translated into Gabelsberger shorthand, includes table of vowel pronunciation, written both directions, dates not examined. 1 folder.
Physical Description

1 folder

Unlabeled: English translated into Gabelsberger shorthand, plus 7 loose pages; some French as well, dates not examined. 1 folder.
Physical Description

1 folder

"English": English translated into Gabelsberger shorthand or German, includes practice sentences in English, written in both directions, plus 4 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

Scope and Contents

Five undated notebooks of Latin vocabulary and language practice, designated as quoted below:

Physical Description

1 box

Unlabeled: Latin translated into Gabelsberger shorthand, dates not examined. 1 folder.
Physical Description

1 folder

"8": Latin translated into Gabelsberger shorthand, dates not examined. 1 folder.
Physical Description

1 folder

Unlabeled Notepad: Latin translated into Gabelsberger shorthand, plus 9 loose pages, dates not examined. 1 folder.
Physical Description

1 folder

"Lat. Vok.": Latin translated into Gabelsberger shorthand, Greek translated into Latin or German, dates not examined. 1 folder.
Physical Description

1 folder

"Dutch": Written both directions. Forward direction: Dutch translated into Gabelsberger shorthand, backward direction: Latin translated into Gabelsberger shorthand, dates not examined. 1 folder.
Physical Description

1 folder

Scope and Contents

Four school notebooks belonging to Kurt Gödel's brother, Rudolf, from Staatsrealgymnasium in Brünn

Physical Description

1 box

"Deutsch Heft I" 1918-1919 Headings in German, notes in shorthand, 1918-1919. 1 folder.
Physical Description

1 folder

"Deutsch Heft II" 1918-1919 Headings in German, notes in shorthand, 1918-1919. 1 folder.
Physical Description

1 folder

"Deutsch Heft III" 1919-1920 Headings in German, notes in shorthand, 1919-1920. 1 folder.
Physical Description

1 folder

"Deutsch Heft IV" 1919-1920 Headings in German, notes in shorthand, plus two intercalated pages, 1919-1920. 1 folder.
Physical Description

1 folder

Scope and Contents

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.

Arrangement

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

Physical Description

8 boxes

Physical Description

1 box

AMs Notebook (in Gabelsberger shorthand) labeled "Diss. unrein," written both directions, circa 1929. 1 folder.
Physical Description

1 folder

TMs [carbon] (in German) labeled "Dissertation," with autograph corrections, 34 pp., circa 1929. 1 folder.
Physical Description

1 folder

TMs [photocopy] of final typescript deposited at Universität Wien, 1929. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs (in German), labeled "Vollstandigkeit d. Axiome" with autograph corrections, 20 pp., circa 1930. 1 folder.
Physical Description

1 folder

Printed page proof with autograph corrections, circa 1930. 1 folder.
Physical Description

1 folder

Offprint, 1930. 1 folder.
Physical Description

1 folder

Galley with autograph annotations, 1930. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs (in German) with autograph corrections, pp. 10, 1930. 1 folder.
Physical Description

1 folder

AC describing contents of original file, undated. 1 folder.
Physical Description

1 folder

TMs (in German) with autograph corrections, p. 6, back labeled "Vortrag über Vollständigkeit Fnkt. Kalk", circa 1930. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Printed Matter: from publisher, "Beispiele für Umfang und Art der. . . Autoreferate", circa 1930. 1 folder.
Physical Description

1 folder

TMs [carbon] of discussion (in German) with autograph corrections, p. 23, circa 1930. 1 folder.
Physical Description

1 folder

TMs of discussion, with autograph corrections, pp. 21 and 23, back labeled "Tagungs Königsberg Diskuss.", circa 1930. 1 folder.
Physical Description

1 folder

TMs of Nachtrag ("Supplement"), with autograph corrections, 3 pp., back labeled "Erkenntnis", circa 1931. 1 folder.
Physical Description

1 folder

TMs of Nachtrag with autograph corrections, p. 3, dates not examined. 1 folder.
Physical Description

1 folder

Offprint with autograph annotations, 1931. 1 folder.
Physical Description

1 folder

Copy of Erkenntnis 2 with autograph annotations, 1931. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs (in Gabelsberger shorthand) in 2 Notebooks, one inserted in the other, labeled "Unentsch. unrein," written both directions, circa 1930. 1 folder.
Physical Description

1 folder

AMs Notebook (in Gabelsberger shorthand), labeled "Unentsch. unrein," written both directions, circa 1930. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs (in German) with autograph corrections in two hands, 3 pp., 1930. 1 folder.
Physical Description

1 folder

Offprint, 1930. 1 folder.
Physical Description

1 folder

Galley, dates not examined. 1 folder.
Physical Description

1 folder

Scope and Contents

(see Correspondence Series I: Heyting, Arend):

Physical Description

1 box

Physical Description

1 box

AMs Notebook (in Gabelsberger shorthand), 1930-1934. 1 folder.
Physical Description

1 folder

Physical Description

1 box

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. 1 folder.
Physical Description

1 folder

Autograph Material: Envelope, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMsS (in German) with autograph corrections, front page labeled ". . . formal unentsch. Sätze," 44 pp., circa 1930. 1 folder.
Physical Description

1 folder

Printed page proof with autograph corrections, 1931. 1 folder.
Physical Description

1 folder

Offprint with autograph annotations, 1931. 1 folder.
Physical Description

1 folder

Galley with autograph annotations, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: Envelope, 1932. 1 folder.
Physical Description

1 folder

AMs (in Gabelsberger shorthand and German) of notes (for lecture draft?), undated. 1 folder.
Physical Description

1 folder

Autograph Material: Envelope, dates not examined. 1 folder.
Physical Description

1 folder

AMs (in Gabelsberger shorthand and German), first page headed "Vollständigkeit des Funkt. Kalküls", 1931-1932. 1 folder.
Physical Description

1 folder

AMs of computational notes on Arend Heyting's propositional calculus for Hans Hahn's seminar, 14 pp., with envelope, 1931-1932. 1 folder.
Physical Description

1 folder

AMs of computational notes on Arend Heyting's propositional calculus, miscellaneous pages, undated. 1 folder.
Physical Description

1 folder

Autograph Material: Folder, 1932. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs [carbon] (in German) with autograph corrections, 36 pp., 1931-1932. 1 folder.
Physical Description

1 folder

TMs [carbon] (in German) with autograph corrections, 57 pp., 1932. 1 folder.
Physical Description

1 folder

TMs [carbon] (in German) of notes from the proceedings of Verein Ernst Mach, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1931b: Review of Ludwig Neder 1931, AMsS, 2pp., 1931. 1 folder.
Physical Description

1 folder

1931c: Review of David Hilbert 1931, AMsS, 2 pp., 1931. 1 folder.
Physical Description

1 folder

1931f: Review of Helmut Hasse and Heinrich Scholz 1928 AMs, fragmentary draft, 1 p., 1931. 1 folder.
Physical Description

1 folder

1932d: Review of Thoralf Skolem 1931, AMsS, 2 pp., 1932. 1 folder.
Physical Description

1 folder

1932e: Review of Rudolf Carnap 1931, AMsS, 3 pp., 1932. 1 folder.
Physical Description

1 folder

1932f: Review of Arend Heyting 1931, AMsS, 2 pp., 1932. 1 folder.
Physical Description

1 folder

1932g: Review of John von Neumann 1931, AMsS, 2 pp., 1932. 1 folder.
Physical Description

1 folder

1932h: Review of Fritz Klein 1931, AMsS, 2 pp., 1932. 1 folder.
Physical Description

1 folder

1932i: Review of Franz G. Hoensbroech 1931, AMsS, 1 p., 1932. 1 folder.
Physical Description

1 folder

1932j: Review of Fritz Klein 1932, AMsS, 1 p., 1932. 1 folder.
Physical Description

1 folder

1932k: Review of Alonzo Church 1932, AMsS, 2 pp., 1932. 1 folder.
Physical Description

1 folder

1932l: Review of Lászlo Kalmár 1932, AMsS, 1 p., 1932. 1 folder.
Physical Description

1 folder

1932m: Review of Edward V. Huntington 1932, AMsS, 1 p., 1932. 1 folder.
Physical Description

1 folder

1932n: Review of Thoralf Skolem 1932, AMsS, 2 pp., 1932. 1 folder.
Physical Description

1 folder

1933j: Review of Stefan Kaczmarz 1932, AMsS, 1 p., 1933. 1 folder.
Physical Description

1 folder

1933k: Review of Clarence I. Lewis 1932, AMsS, 1 p., 1933. 1 folder.
Physical Description

1 folder

1933l: Review of Lászlo Kalmár 1933, AMsS, 2 pp., 1933. 1 folder.
Physical Description

1 folder

1934b: Review of Willard V. Quine 1933, AMsS, 1 p., 1934. 1 folder.
Physical Description

1 folder

1934c: Review of Thoralf Skolem 1933a, AMsS, 2 pp., 1934. 1 folder.
Physical Description

1 folder

1934d: Review of Kien-Kwong Chen 1933, AMsS, 1 p., 1934. 1 folder.
Physical Description

1 folder

1934e: Review of Alonzo Church 1933, AMsS, 2 pp., 1934. 1 folder.
Physical Description

1 folder

1934f: Review of Bernard Notcutt 1934, AMsS, 1 pp., 1934. 1 folder.
Physical Description

1 folder

1935: Review of Thoralf Skolem 1934, AMsS, 1 pp., 1935. 1 folder.
Physical Description

1 folder

1935a: Review of Edward V. Huntington 1934, AMsS, 2 pp., 1935. 1 folder.
Physical Description

1 folder

1935b: Review of Rudolf Carnap 1934, AMsS, 2 pp., 1935. 1 folder.
Physical Description

1 folder

1935c: Review of Laszlo Kalmár 1934, AMsS, 1 p., 1935. 1 folder.
Physical Description

1 folder

1936b: Review of Alonzo Church 1935, AMs (in Gabelsberger shorthand), labeled "Resension II Church System", 2 pp., and AMsS (in German), 2 pp., 1936. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1931b: Review of Ludwig Neder 1931, Galley, 1931. 1 folder.
Physical Description

1 folder

1931a: Review of David Hilbert 1931, Galley, 1931. 1 folder.
Physical Description

1 folder

1932d: Review of Thoralf Skolem 1931, Galley, 1932. 1 folder.
Physical Description

1 folder

1932e: Review of Rudolf Carnap 1931, Galley, 1932. 1 folder.
Physical Description

1 folder

1932f: Review of Arend Heyting 1931, Galley with autograph corrections, 1932. 1 folder.
Physical Description

1 folder

1932g: Review of John von Neumann 1931, Galley, 1932. 1 folder.
Physical Description

1 folder

1932h: Review of Fritz Klein 1931, Galley, 1932. 1 folder.
Physical Description

1 folder

1932i: Review of Franz G. Hoensbroech 1931, Galley, 1932. 1 folder.
Physical Description

1 folder

1932j: Review of Fritz Klein 1932, Galley, 1932. 1 folder.
Physical Description

1 folder

1932k: Review of Alonzo Church 1932, Galley, 1932. 1 folder.
Physical Description

1 folder

1932l: Review of Lászlo Kalmár 1932, Galley, 1932. 1 folder.
Physical Description

1 folder

1932m: Review of Edward V. Huntington 1932, Galley, 1932. 1 folder.
Physical Description

1 folder

1932n: Review of Thoralf Skolem 1932, Galley, 1932. 1 folder.
Physical Description

1 folder

1933j: Review of Stefan Kaczmarz 1932, Galley, 1933. 1 folder.
Physical Description

1 folder

1933k: Review of Clarence I. Lewis 1932, Galley, 1933. 1 folder.
Physical Description

1 folder

1933l: Review of Lászlo Kalmár 1933, Galley, 1933. 1 folder.
Physical Description

1 folder

1934a: Review of Thoralf Skolem 1933, Galley, 1934. 1 folder.
Physical Description

1 folder

1934b: Review of Willard V. Quine 1933, Galley, 1934. 1 folder.
Physical Description

1 folder

1934c: Review of Thoralf Skolem 1933a, Galley, 1934. 1 folder.
Physical Description

1 folder

1934f: Review of Bernard Notcutt 1934, Galley, 1934. 1 folder.
Physical Description

1 folder

1935: Review of Thoralf Skolem 1934, 2 Galleys, 1935. 1 folder.
Physical Description

1 folder

1935a: Review of Edward V. Huntington 1934, 2 Galleys, 1935. 1 folder.
Physical Description

1 folder

1935b: Review of Rudolf Carnap 1934, Galley, 1935. 1 folder.
Physical Description

1 folder

1935c: Review of Lászlo Kalmár 1934, Galley, 1935. 1 folder.
Physical Description

1 folder

1936b: Review of Alonzo Church 1935, Galley, 1936. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMsS (in German) with autograph corrections, 2 pp., 1932. 1 folder.
Physical Description

1 folder

Printed Matter: Offprint, 1932. 1 folder.
Physical Description

1 folder

Galley, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs (in German), 3 pp., 1932. 1 folder.
Physical Description

1 folder

Printed Matter: Offprint, 1932. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs (in German) with autograph label: "Menger Kolloquium" (prepared for Karl Menger's colloquium), 3 pp., 1932. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs (in German) with autograph insertions and label: "Realisierung d. Aussagenkalk (Menger Koll.)" (prepared for Karl Menger's colloquium), 1 p., 1932. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs (in German) with autograph label "Zur int. Arithm. . . Zahlentheorie", pp. 10, 1933. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMsS (in German) with autograph corrections, 16 pp., 1933. 1 folder.
Physical Description

1 folder

AMs, single page with diagram, 1933. 1 folder.
Physical Description

1 folder

Printed page proof with autograph corrections, 1933. 1 folder.
Physical Description

1 folder

Offprint, 1933. 1 folder.
Physical Description

1 folder

Galley with autograph annotations, 1933. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: Envelope, 1933. 1 folder.
Physical Description

1 folder

AMs (in German), loose pages numbered 1-20, 1-6, plus 6 unnumbered pages and one bound notebook, 1933. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs draft fragments (in Gabelsberger shorthand and English), 6 pp., each numbered 2, 3, or 4, undated. 1 folder.
Physical Description

1 folder

AMs draft (in English), pp. 11-24, undated. 1 folder.
Physical Description

1 folder

AMs draft fragments (in English), p. 3, 7, 10, 19.1, undated. 1 folder.
Physical Description

1 folder

AMs (in English and German), labeled "Vortrag US" and "Suppl. I, II, III, IV", includes loose pages for insertion, undated. 1 folder.
Physical Description

1 folder

AMs draft fragments (in English),pp. 1-3, 5-6, 8-9, undated. 1 folder.
Physical Description

1 folder

AMs draft (in English), pp. 1-22 plus one unnumbered, undated. 1 folder.
Physical Description

1 folder

AMs of final text (in English), labeled "Vort. Cambridge", 31 pp., 1933. 1 folder.
Physical Description

1 folder

Physical Description

1 folder

AMs draft fragments (in English), pp. 1-9, 9-10, 10-12, 18-25, 1934. 1 folder.
Physical Description

1 folder

AMs insertions, pp. 26.1, 31, 32, 34, 35, 1934. 1 folder.
Physical Description

1 folder

AMs, labeled "Vorles. Spring 34 Princeton", pp. 1-3, 3-7, 6-16, 1934. 1 folder.
Physical Description

1 folder

AMs draft fragments, pp. 1-5, 9-10, N1, N2, plus 5 unnumbered, 1934. 1 folder.
Physical Description

1 folder

AMs, labeled "Erganzung Vorl. 34," 5 pp., 1934. 1 folder.
Physical Description

1 folder

AMs draft fragments, pp. 1-3, 5-8, 9.1, 9.2, 10-20, 1934. 1 folder.
Physical Description

1 folder

AMs insertions, 5 pages, first 2 labeled "I", next 3, "II", 1934. 1 folder.
Physical Description

1 folder

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. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs (in English), labeled "Vortr. New York", 23 pp., 1934. 1 folder.
Physical Description

1 folder

TMs, Abstract of 1931 as handed out to attendees of the lecture, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: Envelope, labeled "Vorlesung, Sommer 1935", 1935. 1 folder.
Physical Description

1 folder

AMs (in German), 27 pp., 1935. 1 folder.
Physical Description

1 folder

Physical Description

1 box

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. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs (in Gabelsberger shorthand) labeled "Note für Menger Koll." (notes for Karl Menger's colloquium), 1 p., 1936. 1 folder.
Physical Description

1 folder

Galley, 1936. 1 folder.
Physical Description

1 folder

Offprint, 1936. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook (in German and Gabelsberger shorthand), labeled "1 Ax. Meng. Lehre", undated. 1 folder.
Physical Description

1 folder

AMs Notebook (in Gabelsberger shorthand), labeled "2 Ax. Meng. L.", undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: Envelope, 1937. 1 folder.
Physical Description

1 folder

AMs Notebook (in Gabelsberger shorthand and German), labeled "Eigene Vorles. So. 1937", and 14 pp. loose, 1937. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: Envelope, labeled "Vortrag bei Zilsel", 1938. 1 folder.
Physical Description

1 folder

AMs (in Gabelsberger shorthand), labeled "Reinschrift" 17 pp. plus 23 fragmentary notes, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Talk given to Princeton Mathematics Club: AMs Notebook (in English), labeled "B Club Talk, 1938, Herbst, Princeton (Continuum)", 1938. 1 folder.
Physical Description

1 folder

Lectures 1-3: AMs Notebook (in English), labeled "Vorlesung 1-3 Kontin. Princeton 1938", 1938. 1 folder.
Physical Description

1 folder

Lecture 4: AMs Notebook, labeled "Princeton 1938 Vorlesung 4", 1938. 1 folder.
Physical Description

1 folder

Lecture 5: AMs Notebook, labeled "Princeton 1938 Vorlesung 5", 1938. 1 folder.
Physical Description

1 folder

Lecture 6: AMs Notebook, labeled "Princeton 1938 Vorlesung 6", 1938. 1 folder.
Physical Description

1 folder

Lecture 7: AMs Notebook, labeled "Princeton 1938 Vorlesung 7", 1938. 1 folder.
Physical Description

1 folder

Fragments: AMs, miscellaneous insert sheets, 1938. 1 folder.
Physical Description

1 folder

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. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMsS, 4 pp., undated. 1 folder.
Physical Description

1 folder

2 TMss [carbon], 3 pp., undated. 1 folder.
Physical Description

1 folder

2 Offprints with autograph corrections, 1938. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook (in English), labeled "Vortrag Math Soc. Dec. 1938 Continuum", 1938. 1 folder.
Physical Description

1 folder

AMs Notebook, labeled "Entw. vortr. Math Soc. Dec. 1938", 1938. 1 folder.
Physical Description

1 folder

Autograph Material: Envelope, 1938. 1 folder.
Physical Description

1 folder

2 AMss, loose drafts, pp. 1-19 and 1-15, plus 9 unnumbered sheets, 1938. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMsS, 2 pp., undated. 1 folder.
Physical Description

1 folder

TMs [carbon], 1 p., undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMsS, p. 1-13, undated. 1 folder.
Physical Description

1 folder

2 TMsS [carbon], p. 1-9, undated. 1 folder.
Physical Description

1 folder

2 Offprints, with autograph annotations, 1939. 1 folder.
Physical Description

1 folder

Galley with autograph annotations, 1939. 1 folder.
Physical Description

1 folder

Physical Description

2 boxes

Lecture I: AMs Notebook (in English), labeled "Cont. Vorl. Notre Dame I," plus one insert: "Prüfungsfragen", 1939. 1 folder.
Physical Description

1 folder

Lecture II: AMs Notebook (in English and Gabelsberger shorthand), labeled "Cont. undated II (Vorl.)", 1939. 1 folder.
Physical Description

1 folder

Lecture III: AMs Notebook (in English), labeled "Cont. Vorl. undated III", 1939. 1 folder.
Physical Description

1 folder

Lecture IV: AMs Notebook, labeled "Cont. Vorl. undated IV", 1939. 1 folder.
Physical Description

1 folder

Lecture V: AMs Notebook, labeled "Cont. Vorl. undated V", 1939. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
Fragments: AMs miscellaneous loose pages, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Preliminary work: AMs Notebook (in English), labeled "Vorl. Log. undated 0", 1939. 1 folder.
Physical Description

1 folder

Lecture I: AMs Notebook (in English and Gabelsberger shorthand), labeled: "Log. Vorl. Notre Dame I", 1939. 1 folder.
Physical Description

1 folder

Lecture II: AMs Notebook (in English), labeled "Log. Vorl. Notre Dame II", 1939. 1 folder.
Physical Description

1 folder

Lecture III: AMs Notebook, labeled "Log. Vorl. undated III", 1939. 1 folder.
Physical Description

1 folder

Lecture IV: AMs Notebook, labeled "Log. Vorl. undated IV", 1939. 1 folder.
Physical Description

1 folder

Lecture V: AMs Notebook, labeled "Log. Vorl. undated V", 1939. 1 folder.
Physical Description

1 folder

Lecture VI: AMs Notebook, labeled "Log. Vorl. undated VI", 1939. 1 folder.
Physical Description

1 folder

Lecture VII: AMs Notebook, labeled "Logik Vorl. undated VII", 1939. 1 folder.
Physical Description

1 folder

Fragments: AMs Miscellaneous loose pages, undated. 1 folder.
Physical Description

1 folder

Notes: TMs [mimeograph] of seminar notes, 23 pp., undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: Envelope labeled "Vortrag Göttingen, unrein", 1939. 1 folder.
Physical Description

1 folder

AMs draft (in Gabelsberger shorthand), 12 pp., 1939. 1 folder.
Physical Description

1 folder

Autograph Material: Envelope labeled "Vortrag Göttingen, rein", 1939. 1 folder.
Physical Description

1 folder

AMs draft (in Gabelsberger shorthand and German), 24 pp., plus 1 loose note, 1939. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook (in English and Gabelsberger shorthand) labeled "Vorl. April 1940 (Princeton I)", 1940. 1 folder.
Physical Description

1 folder

AMs Notebook, labeled "Vorl. April 1940 II", 1940. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs of miscellaneous draft pages, undated. 1 folder.
Physical Description

1 folder

AL, G. W. Browne to Gwen Blake (Institute for Advanced Study secretary), re: Addenda to Ms, 1939. 1 folder.
Physical Description

1 folder

AMs draft, 31 pp., undated. 1 folder.
Physical Description

1 folder

TMs with autograph corrections, 35 pp., undated. 1 folder.
Physical Description

1 folder

Printed Material: First edition of monograph with autograph corrections for second printing, 1940. 1 folder.
Physical Description

1 folder

Printed Material: Photo ready copy of Chapter VIII, with autograph annotations, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook, labeled "Vortrag widfr. Continuum (Harvard & Brown)", 1940. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook (in English and Gabelsberger shorthand), labeled "Vortrag Yale", 1941. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs with autograph corrections, 39 pp. and AMs of addenda, 4 pages, 1944. 1 folder.
Physical Description

1 folder

4 Offprints with autograph annotations, 1944. 1 folder.
Physical Description

1 folder

AMs of notes and corrections, 2 pp., undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook (in English and Gabelsberger shorthand), labeled "Bicentennial Dec. 1946", 1946. 1 folder.
Physical Description

1 folder

TMs with autograph corrections, 5 pp., 1946. 1 folder.
Physical Description

1 folder

Offprint, late edition, 1968. 1 folder.
Physical Description

1 folder

Printed Material: Copy of Problems of Mathematics (Princeton Bicentennial Conference Report), 1946. 1 folder.
Physical Description

1 folder

Materials Viewable Online
  1. View digital content
Physical Description

1 box

TMs with autograph corrections, of miscellaneous unordered pages, undated. 1 folder.
Physical Description

1 folder

TMs of first draft, pp. 1-11 and 1-3, 1947. 1 folder.
Physical Description

1 folder

TMs of second draft, pp. 1-13, i-iv, 1-2, 1947. 1 folder.
Physical Description

1 folder

TMs [carbon] of final(?) draft, with autograph corrections, pp. 1-16 and 1-6, 1947. 1 folder.
Physical Description

1 folder

AMs of addenda and definitions, 3 pp., undated. 1 folder.
Physical Description

1 folder

Offprint with autograph corrections, 1947. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: File folder, 1949. 1 folder.
Physical Description

1 folder

AMs (in English), 43 pp., plus 6 pages of loose notes, 1949. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs [carbon] with autograph corrections, 16 pp., and duplicate page 12, 1949. 1 folder.
Physical Description

1 folder

Offprint, 1949. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook (in English and Gabelsberger shorthand), undated. 1 folder.
Physical Description

1 folder

TMs with autograph corrections, 11 pp., 1949. 1 folder.
Physical Description

1 folder

AL draft to Paul A. Schilpp, re: changes to Ms, undated. 1 folder.
Physical Description

1 folder

Offprint, 1949. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs, 40 pp., plus 3 loose pages containing calculations and addenda, 1950. 1 folder.
Physical Description

1 folder

Physical Description

1 box

2 Offprints with autograph annotations, 1951. 1 folder.
Physical Description

1 folder

Physical Description

1 box

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. 1 folder.
Physical Description

1 folder

Autograph Material: Envelope containing library request slips, 1951. 1 folder.
Physical Description

1 folder

AMs (in English), 39 pp., 1951. 1 folder.
Physical Description

1 folder

AMs of addenda to the text, 13 pp., 1951. 1 folder.
Physical Description

1 folder

AMs of footnotes and various loose sheets, 18 pp., 1951. 1 folder.
Scope and Contents

(See also Folder 97 for correspondence re: Gibbs lecture)

Physical Description

1 folder

Physical Description

1 box

AMsS, pp. 1-24, 1-3, and 2 pp. of addenda, 1952. 1 folder.
Physical Description

1 folder

TMs [carbon] with autograph corrections, 12 pp., plus AMs of insertions, 2 pp., 1952. 1 folder.
Physical Description

1 folder

TMs and TMs [carbon] of footnotes with autograph corrections, 8 pp., 1952. 1 folder.
Physical Description

1 folder

AL draft to "Prof. Graves," re: corrections to the printing of the "Cambridge lecture"], undated. 1 folder.
Scope and Contents

(See "Rotating universes in general relativity theory" (Lecture given to International Congress of Mathematicians, Cambridge, Massachusetts, 1950 August 31))

Physical Description

1 folder

TMs with autograph corrections and TMs [carbon], pp. 1-11, plus 1 p. of footnotes, 1952. 1 folder.
Physical Description

1 folder

Offprint, 1952. 1 folder.
Physical Description

1 folder

Galley with autograph annotations, 1952. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs of abstract (in English), 1 p., undated. 1 folder.
Physical Description

1 folder

TMs [carbon] of abstract (in German), 1 p., undated. 1 folder.
Physical Description

1 folder

TMs [carbon] with autograph corrections, pp. 1-8 plus 3 pp. of footnotes, 1958. 1 folder.
Physical Description

1 folder

Offprint with autograph corrections, 1958. 1 folder.
Physical Description

1 folder

Offprint with autograph dedication to Clifford Spector, 1958. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Offprint of 1947 with autograph corrections for 1964a, undated. 1 folder.
Physical Description

1 folder

AMs of "Supplement to second edition," pp. 1-12, plus 2 pp. headed "New Footnotes", 1964. 1 folder.
Physical Description

1 folder

AMs of notes, 8 pp., and insertions I-V, 5 pp., 1964. 1 folder.
Physical Description

1 folder

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. 1 folder.
Physical Description

1 folder

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. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: 2 Envelopes and 1 File Folder, undated. 1 folder.
Physical Description

1 folder

TMs [photocopy] of 1934 with autograph and typescript revisions, 30 pp., undated. 1 folder.
Physical Description

1 folder

AMs of corrections, insertions, and postscriptum, 8 pp., undated. 1 folder.
Physical Description

1 folder

TMs [photocopy] of corrected passages, 6 pp., undated. 1 folder.
Physical Description

1 folder

TMs and 2 TMss [carbon] of postscriptum with autograph corrections, 2 pp., undated. 1 folder.
Physical Description

1 folder

TMs [carbon] of revised paper with autograph corrections, 23 pp., plus TMs and TMs [carbon] of postscriptum, 1 p., and additions, 3 pp., 1965. 1 folder.
Physical Description

1 folder

Printed copy with autograph corrections [photocopy], of unordered pages, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs with autograph corrections [photocopy], of "On intuitionistic arithmetic and number theory," 6 pp., 1965. 1 folder.
Physical Description

1 folder

TMs with autograph corrections [photocopy] of "On the length of proofs," 2 pp., 1965. 1 folder.
Physical Description

1 folder

TMs with autograph corrections [photocopy] of 1946, 5 pp., 1965. 1 folder.
Physical Description

1 folder

AMs (in English and Gabelsberger shorthand) of loose notes on the revisions for Davis 1965, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs revision of 1940, including bibliography, 13 pp., undated. 1 folder.
Physical Description

1 folder

TMs [carbon] and TMs [carbon] with autograph corrections of additions and bibliography, 13 pp., 1965. 1 folder.
Physical Description

1 folder

AMs (in English, German, and Gabelsberger shorthand) of biographical sketch, including summary lists of published and unpublished work, 6 pp., undated. 1 folder.
Physical Description

1 folder

TMs, TMs with autograph corrections, and TMs [photocopy] of biographical sketch, undated. 1 folder.
Physical Description

1 folder

7 TMss [photocopy] of Gödel's bibliography, each with different autograph corrections, undated. 1 folder.
Physical Description

1 folder

Offprint of 1940 with autograph corrections for seventh printing, undated. 1 folder.
Physical Description

1 folder

Offprint of the seventh printing, 1966. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMsS (in English and Gabelsberger shorthand) of revisions, 9 pp., 1966. 1 folder.
Physical Description

1 folder

TMs [carbon] of revisions, 3 pp., 1966. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: File folder, 1964. 1 folder.
Physical Description

1 folder

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. 1 folder.
Physical Description

1 folder

Printed Material with autograph annotation [photocopy]: First edition (in German) of 1930b, 1 p., undated. 1 folder.
Physical Description

1 folder

1967a, (English translation of 1930b): "Some metamathematical results on decidability and consistency": TMs with autograph corrections [photocopy], 3 pp., undated. 1 folder.
Physical Description

1 folder

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. 1 folder.
Physical Description

1 folder

Autograph Material: File folder, undated. 1 folder.
Physical Description

1 folder

1967b: TMs with autograph corrections [mimeograph], 43 pp., undated. 1 folder.
Physical Description

1 folder

Autograph Material: File folder, dates not examined. 1 folder.
Physical Description

1 folder

1967b: TMs with autograph corrections [photocopy], labeled "Revised Version 7 March 1964," 43 pp., 1964. 1 folder.
Physical Description

1 folder

1967b: AMs of notes on corrections (in English and Gabelsberger shorthand), 5 pp., undated. 1 folder.
Physical Description

1 folder

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

1 folder

1967b: TMs [mimeograph] and TMs [carbon] of further corrections, pp. 1-13, and 1-2, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1967d, (Italian translation of 1944): Printed page proof with autograph corrections (in Italian), pp. 48-73, undated. 1 folder.
Physical Description

1 folder

1967e, (Italian translation of 1947) : Printed page proof with autograph corrections (in Italian), pp. 74-91, undated. 1 folder.
Physical Description

1 folder

1967f, Italian translation of 1946): Printed page proof with autograph corrections (in Italian), pp. 92-95, undated. 1 folder.
Physical Description

1 folder

Printed page proof of notes to the translations with autograph corrections (in Italian), p. 18-26, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMsS (in English), 3 pp., 1973. 1 folder.
Physical Description

1 folder

TMs and 2 TMss [carbon], 2 pp., 1973. 1 folder.
Physical Description

1 folder

Printed Material [photocopy]: of title page and p. x of Robinson 1974, 1974. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs and TMs with autograph corrections of miscellaneous pages, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Offprint, 1979. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Offprint, 1980. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs with autograph corrections, back labeled "Über form. unentsch. Sätze fruhere Fassung," 9 pp., undated. 1 folder.
Physical Description

1 folder

TMs with autograph corrections, back labeled "unentsch. Sätze (Vortrag?)," 5 pp., undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Lecture 1: AMs Notebook (in English), labeled "Vorl. 1", undated. 1 folder.
Physical Description

1 folder

Lecture 2: AMs Notebook labeled "Vorl. 2", undated. 1 folder.
Physical Description

1 folder

Notes: AMs, 13 loose pages originally filed with notebooks on intuitionism, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs [carbon] labeled "Steinitsicher [. . .] Menger Koll.", undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook (in English) labeled "Vortrag unentsch. Sätze & Polynome (nichtgehalten)", undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Autograph Material: Envelope, dates not examined. 1 folder.
Physical Description

1 folder

AMs (in Gabelsberger shorthand and English), 5 pp., undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook (in Gabelsberger shorthand), labeled "Arb. Kontinuum I (Reinschr)", undated. 1 folder.
Physical Description

1 folder

AMs Notebook (in English and Gabelsberger shorthand), labeled "Arb. Kontinuum II (Reinschr.)," also includes 7 loose pages, undated. 1 folder.
Physical Description

1 folder

AMs Notebook (in Gabelsberger shorthand), labeled "Kont. Arb. Reinschrift", undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

TMs [carbon] (in German) with autograph corrections, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs Notebook, labeled "I," pp. 1-51a, undated. 1 folder.
Physical Description

1 folder

AMs Notebook, labeled "II," pp. 52-71 and footnote pages I-XLI, undated. 1 folder.
Physical Description

1 folder

AMs Notebook, labeled "Sec," containing second drafts of miscellaneous pages, undated. 1 folder.
Physical Description

1 folder

Autograph Material: File folder, dates not examined. 1 folder.
Physical Description

1 folder

TMs [carbon] with autograph corrections, labeled "Man. A," pp. 1-23 plus 5 pp. footnotes, undated. 1 folder.
Physical Description

1 folder

*1946/9-B2: TMs and TMs [carbon] with autograph corrections, labeled "Man. B," pp. 1-21, I-VIII, undated. 1 folder.
Physical Description

1 folder

Autograph Material: File folder and envelope containing notes in Gabelsberger shorthand, undated. 1 folder.
Physical Description

1 folder

*1946/9-C1: AMs with TMs inserts, labeled "Man. C," pp. 1-30, I-XIV, undated. 1 folder.
Physical Description

1 folder

TMs with autograph corrections and TMs [photocopy] of "Man. C.," pp. 1-14, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

First version: AMs (in English) labeled "I Fassung," pp. 1-29, 1-7, footnotes I-XIV, undated. 1 folder.
Physical Description

1 folder

Second version: TMs with autograph corrections, labeled "II Fassung," pp. 1-19, footnotes I-XIX, undated. 1 folder.
Physical Description

1 folder

*1953/9-III: Third version: TMs with autograph corrections, unlabeled, pp. 1-42 (24, 37, 40 are missing), undated. 1 folder.
Physical Description

1 folder

Autograph Material: Envelope, dates not examined. 1 folder.
Physical Description

1 folder

*1953/9-III: Notes: AMs loose notes in English with miscellaneous pages of text, undated. 1 folder.
Physical Description

1 folder

Fourth version: AMs with TMs insertions, labeled "IV Fassung," pp. 1-35, 1'-6', 7', 37, undated. 1 folder.
Physical Description

1 folder

*1953/9-V: Fifth version: TMs with autograph corrections, labeled "V Fassung," pp. 1-12, undated. 1 folder.
Physical Description

1 folder

Sixth version: TMs [carbon] labeled "VI Fassung," pp. 1-8, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs labeled "I Copy," pp. 1-26, 1F-5'F, undated. 1 folder.
Physical Description

1 folder

TMs [mimeograph] with autograph corrections in two hands, labeled "I Copy," pp. 1-11, plus TMss [mimeograph] of abstract (in English and German), undated. 1 folder.
Physical Description

1 folder

TMs [mimeograph] with autograph corrections, labeled "II," pp. 1-11, also AMs of unordered pages headed "Notes", undated. 1 folder.
Physical Description

1 folder

TMs with autograph corrections [photocopy of copy "II"], labeled "For Prof. Gödel", undated. 1 folder.
Physical Description

1 folder

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. 1 folder.
Physical Description

1 folder

TMs and AMs loose notes, insertions, and addenda to the translation, undated. 1 folder.
Physical Description

1 folder

Autograph Material: Envelope which once contained the loose notes now filed in this and the next two folders, undated. 1 folder.
Physical Description

1 folder

AMs (in Gabelsberger shorthand and English), miscellaneous notes on half pages and scraps, undated. 1 folder.
Physical Description

1 folder

AMs (in Gabelsberger shorthand and English), miscellaneous notes on half pages and scraps, undated. 1 folder.
Physical Description

1 folder

Autograph Material: Envelope undated, dates not examined. 1 folder.
Physical Description

1 folder

AMs (in Gabelsberger shorthand and English), miscellaneous notes on half pages and scraps, undated. 1 folder.
Physical Description

1 folder

AMs and TMs of translation with autograph corrections, unordered loose pages, undated. 1 folder.
Scope and Contents

(See 1972a for galley with autograph corrections)

Physical Description

1 folder

Physical Description

1 box

AMs (in Gabelsberger shorthand), labeled "Endgültige Form," 18 pp., undated. 1 folder.
Physical Description

1 folder

TMs (in English) with autograph corrections, 5 pp., undated. 1 folder.
Physical Description

1 folder

Galleys of 1972 and 1972a, which were to be published together in Dialectica, pp. 1-9, 2 printed copies with autograph corrections, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

AMs (in English), 4 pp., undated. 1 folder.
Physical Description

1 folder

AMs of references (in English and Gabelsberger shorthand) p. 1-5, undated. 1 folder.
Physical Description

1 folder

Physical Description

1 box

*1970a, AMsS, entitled "Some considerations leading to the probable conclusion that the true power of the continuum is. . ." labeled "I Fassung," 5 pp., 1970. 1 folder.
Physical Description

1 folder

*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. 1 folder.
Scope and Contents

(See also Tarski correspondence, Series I, folder 183)

Physical Description

1 folder

Physical Description

1 box

AMs (in English), labeled "v. Neumann's Arbeiten über die Grundlagen," 3 pp., undated. 1 folder.
Physical Description

1 folder

TMs [carbon] with autograph corrections, 2 pp., undated. 1 folder.
Physical Description

1 folder

Scope and Contents

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.

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).

Physical Description

6 boxes

"Alte Lit[eratur] Grund[lagen]", dates not examined. 1 folder.
Physical Description

1 folder

"Literatur alt", dates not examined. 1 folder.
Physical Description

1 folder

Law and Nationality, dates not examined. 1 folder.
Physical Description

1 folder

"Lit[eratur] Grundl[agen] (Phil[osophie] d[er], dates not examined. 1 folder.
Physical Description

1 folder

Math[ematik], [19]52-[19]55)", dates not examined. 1 item.
Physical Description

1 item

Philosophy, 1936-1940. 1 folder.
Physical Description

1 folder

Psychology, Neuropsychology, Psychiatry, dates not examined. 1 folder.
Physical Description

1 folder

"Prog[ramm] ", 1959-1967. 1 folder.
Physical Description

1 folder

"U. & Prog[ramm],", 1972-1975. 1 folder.
Physical Description

1 folder

"Phil[osophische] Lit[eratur], ", 1952-1958. 1 folder.
Scope and Contents

Includes library request slips

Physical Description

1 folder

"Alte Literat[ur] Math[ematik]", dates not examined. 1 folder.
Physical Description

1 folder

Continuum Problem, dates not examined. 1 folder.
Scope and Contents

(See also Series VI: Folder 38)

Physical Description

1 folder

Reference work for 1949a ("A remark about the relationship between relativity theory and idealistic philosophy"), 1947-1949. 1 folder.
Scope and Contents

(See also Bibliographic "Zettel")

Physical Description

1 folder

Foundations, dates not examined. 1 folder.
Physical Description

1 folder

Classical Latin Authors, dates not examined. 1 folder.
Physical Description

1 folder

David Hawkins, 1968-1969. 1 folder.
Physical Description

1 folder

Idealism, 1961-1962 Friedrich Bouterwek, H. Heinsoeth, Johann Jakob Wagner, 1961-1962. 1 folder.
Physical Description

1 folder

Bierens de Haan, Karl Ludwig Michelet, Georg Feder, Christian Wolff, dates not examined. 1 folder.
Physical Description

1 folder

Georg Wilhelm Friedrich Hegel and Friedrich Wilhelm Joseph Schelling, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Ancient Roman, dates not examined. 1 folder.
Physical Description

1 folder

Greek, Near Eastern, dates not examined. 1 folder.
Physical Description

1 folder

Various, 1200-1900s. 1 folder.
Physical Description

1 folder

Edmund Husserl, dates not examined. 1 folder.
Physical Description

1 folder

"idealist[iche] Ph[ilosophie]", dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

2 boxes

Biographies, dates not examined. 1 folder.
Physical Description

1 folder

Bibliographies, dates not examined. 1 folder.
Physical Description

1 folder

"Bibliographic curiosa", dates not examined. 1 folder.
Physical Description

1 folder

Literature on Leibniz, dates not examined. 1 folder.
Physical Description

1 folder

Works: Academy Edition and Dutens, dates not examined. 1 folder.
Physical Description

1 folder

Jean Baruzi, etc., dates not examined. 1 folder.
Physical Description

1 folder

Diverse sources, dates not examined. 1 folder.
Physical Description

1 folder

Joannes Eduardus Erdmann, dates not examined. 1 folder.
Physical Description

1 folder

Louis Alexandre Foucher de Careil, dates not examined. 1 folder.
Physical Description

1 folder

Reports on unpublished manuscripts, dates not examined. 1 folder.
Physical Description

1 folder

Theological writings and Louis Alexandre Foucher de Careil, dates not examined. 1 folder.
Physical Description

1 folder

C. I. Gerhardt, dates not examined. 1 folder.
Physical Description

1 folder

C. I. Gerhardt: vol. 5, New essays on human understanding; vol. 7, correspondence with Samuel Clarke, dates not examined. 1 folder.
Physical Description

1 folder

Secondary sources: On life, letters, philosophy, dates not examined. 1 folder.
Physical Description

1 folder

Secondary sources: including Bertrand Russell, dates not examined. 1 folder.
Physical Description

1 folder

Logic and Foundations (before 1952), dates not examined. 1 folder.
Scope and Contents

(See also Series VI: Folder 9)

Physical Description

1 folder

Logic and Mathematics: "laufend", dates not examined. 1 folder.
Physical Description

1 folder

Phenomenology and Existentialism, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

2 boxes

1952-1958, 1952-1958. 1 folder.
Physical Description

1 folder

circa 1959, circa 1959. 1 folder.
Physical Description

1 folder

After, 1960. 1 folder.
Physical Description

1 folder

Philosophy of Science, dates not examined. 1 folder.
Physical Description

1 folder

Philosophy, History of Science, Psychology, Theology, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

circa 1952, circa 1952. 1 folder.
Physical Description

1 folder

circa 1952, circa 1952. 1 folder.
Physical Description

1 folder

circa 1952, circa 1952. 1 folder.
Physical Description

1 folder

circa 1952, circa 1952. 1 folder.
Physical Description

1 folder

Women, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Miscellaneous, dates not examined. 1 folder.
Physical Description

1 folder

Miscellaneous, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

2 boxes

1924-1929, 1924-1929. 1 folder.
Physical Description

1 folder

1930-1931, 1930-1931. 1 folder.
Physical Description

1 folder

1932, 1932. 1 folder.
Physical Description

1 folder

1933-1936, 1933-1936. 1 folder.
Physical Description

1 folder

1937-1938, 1937-1938. 1 folder.
Physical Description

1 folder

1939 after 1940, and undated, 1939. 1 folder.
Physical Description

1 folder

1959-1963 Philosophy (New York Public Library), 1959-1963. 1 folder.
Physical Description

1 folder

Physical Description

2 boxes

Book lists and library request slips, dates not examined. 1 folder.
Physical Description

1 folder

Book lists and library request slips: Philosophy, circa 1959. 1 folder.
Physical Description

1 folder

Notes once filed with library request slips, dates not examined. 1 folder.
Physical Description

1 folder

Notes re: 1949a, dates not examined. 1 folder.
Physical Description

1 folder

Fiction, etc., dates not examined. 1 folder.
Physical Description

1 folder

Greek, dates not examined. 1 folder.
Physical Description

1 folder

History, History of science, Theology, dates not examined. 1 folder.
Physical Description

1 folder

Philosophy, Philology, dates not examined. 1 folder.
Physical Description

1 folder

Miscellaneous, dates not examined. 1 folder.
Physical Description

1 folder

Notes taken in the U.S., before 1952, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

General, before 1940, dates not examined. 1 folder.
Physical Description

1 folder

General, before 1940, dates not examined. 1 folder.
Physical Description

1 folder

General, undated. 1 folder.
Physical Description

1 folder

Mathematics, before 1940, dates not examined. 1 folder.
Physical Description

1 folder

Miscellaneous memoranda slips: including Philosophy and Theology, dates not examined. 1 folder.
Physical Description

1 folder

Excerpts of newspaper articles on contemporary politics, dates not examined. 1 folder.
Physical Description

1 folder

Linguistics, dates not examined. 1 folder.
Physical Description

1 folder

Mathematical Reviews, 1940-1958. 1 folder.
Physical Description

1 folder

Scope and Contents

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..."

Arrangement

Boxes 11b-12. Filed alphabetically by subject.

Physical Description

3 boxes

American constitution and government, dates not examined. 1 folder.
Physical Description

1 folder

American history, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

"Fehlerrechn[ung] f[ür] Winkel", dates not examined. 1 folder.
Physical Description

1 folder

Rαβ, dates not examined. 1 folder.
Physical Description

1 folder

Various, dates not examined. 1 folder.
Physical Description

1 folder

Dialectica interpretation, dates not examined. 1 folder.
Scope and Contents

(See also correspondence with Bernays, Paul)

Physical Description

1 folder

"Diskussion einzelnen Gruppen" (Rotation groups, etc.), dates not examined. 1 folder.
Physical Description

1 folder

"Div. oft benötigte Formeln", dates not examined. 1 folder.
Physical Description

1 folder

"Entscheidungsverfahren für positiven Aussagenkalk[ul]", dates not examined. 1 folder.
Physical Description

1 folder

Erroneous/superfluous results and computations, dates not examined. 1 folder.
Physical Description

1 folder

"Finitismus;" "Cohensche Methode 1942", dates not examined. 1 folder.
Physical Description

1 folder

Formulas and computations, dates not examined. 1 folder.
Physical Description

1 folder

General, dates not examined. 1 folder.
Physical Description

1 folder

Rotating universes, "Div. alt", dates not examined. 1 folder.
Physical Description

1 folder

Rotating universes, cont., dates not examined. 1 folder.
Physical Description

1 folder

General remarks on mathematical philosophy, foundations, and undecidability, dates not examined. 1 folder.
Physical Description

1 folder

Grammar, dates not examined. 1 folder.
Scope and Contents

(see Notes on grammar)

Physical Description

1 folder

Greek: Pronunciation, etc., dates not examined. 1 folder.
Physical Description

1 folder

Isotropic universes and non-rotating anisotropic universes, dates not examined. 1 folder.
Physical Description

1 folder

Latin Vocabulary, dates not examined. 1 folder.
Physical Description

1 folder

Mathematical philosophy, dates not examined. 1 folder.
Scope and Contents

(see General remarks on mathematical...)

Physical Description

1 folder

Mathematics and foundations, dates not examined. 1 folder.
Scope and Contents

(see Questions and remarks on...)

Physical Description

1 folder

Miscellaneous mathematical memoranda, "wertlos[e] Notizen", 1935-1945. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Four-color problem, etc., dates not examined. 1 folder.
Physical Description

1 folder

Includes notes on reprints by Davis and van Heijenoort, dates not examined. 1 folder.
Physical Description

1 folder

Includes computation sheets, 1937-1940. 1 folder.
Physical Description

1 folder

Includes computation sheets and fragmentary drafts, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Languages, etc., dates not examined. 1 folder.
Physical Description

1 folder

Various, dates not examined. 1 folder.
Physical Description

1 folder

Fragmentary scraps ("Zettel"), dates not examined. 1 folder.
Physical Description

1 folder

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, dates not examined. 1 item.
Physical Description

1 item

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, dates not examined. 1 folder.
Physical Description

1 folder

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, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

A-C; includes Rudolf Carnap, dates not examined. 1 folder.
Physical Description

1 folder

D-Hue, dates not examined. 1 folder.
Physical Description

1 folder

Husserl, Edmund, dates not examined. 1 folder.
Physical Description

1 folder

J-M; includes Oskar Morgenstern, dates not examined. 1 folder.
Physical Description

1 folder

N-R; includes Abraham Robinson and Bertrand Russell, dates not examined. 1 folder.
Physical Description

1 folder

S-T; includes Alfred Tarski and Gaisi Takeuti, dates not examined. 1 folder.
Physical Description

1 folder

V-Z; includes Jean van Heijenoort, John von Neumann, Hao Wang, Ernest B. Zeisler (including a TLS [photocopy] from Albert Einstein to Zeisler), dates not examined. 1 folder.
Physical Description

1 folder

Notes on Emil Artin's lectures on foundations of geometry (Notre Dame, ), 1939. 1 folder.
Physical Description

1 folder

Notes on Cohen's independence proofs, dates not examined. 1 folder.
Scope and Contents

(See also Series VI: Folder 11 " "Finistismus")

Physical Description

1 folder

Notes on continuum problem and scales of functions, 1969-1974, dates not examined. 1 folder.
Scope and Contents

(See also Series V: Folder 11 and Tarski correspondence, Series I: Folder 183)

Physical Description

1 folder

Notes on grammar, dates not examined. 1 folder.
Physical Description

1 folder

Notes on symposium "Philosophic implications of the Gödel incompleteness theorem", dates not examined. 1 folder.
Scope and Contents

(See also Series XV: Box 21, Preprints and Offprints with accompanying correspondence, "Benacerraf, Paul" for audio tape of proceedings)

Physical Description

1 folder

"Ontologischer Beweis", dates not examined. 1 folder.
Physical Description

1 folder

Philosophical remarks, 1965-1967. 1 folder.
Physical Description

1 folder

"Phil[osophische] Varia" (mostly after 1961), dates not examined. 1 folder.
Physical Description

1 folder

Questions and remarks on mathematics and foundations ("alte"), dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Basic formulas, dates not examined. 1 folder.
Physical Description

1 folder

"Beginning", dates not examined. 1 folder.
Physical Description

1 folder

Diverse negative and minor results, dates not examined. 1 folder.
Physical Description

1 folder

Miscellaneous computations, dates not examined. 1 folder.
Physical Description

1 folder

"I. u[nd] II. Näherung", dates not examined. 1 folder.
Physical Description

1 folder

Stationary solutions, dates not examined. 1 folder.
Scope and Contents

(See also Formulas and computations)

Physical Description

1 folder

Rotation groups, dates not examined. 1 item.
Scope and Contents

(see "Diskussion einzelner Gruppen")

Physical Description

1 item

"Wirkungsfunktionen und Erhaltungssätze", dates not examined. 1 folder.
Physical Description

1 folder

Unclassified loose notes, dates not examined. 1 folder.
Scope and Contents

(See also Series XIV: Folder 2)

Physical Description

1 folder

Undecidability, dates not examined. 1 folder.
Scope and Contents

(see General remarks on)

Physical Description

1 folder

Scope and Contents

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.

Arrangement

Box 13a. Filed alphabetically by document type.

Physical Description

1 box

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. 1 folder.
Physical Description

1 folder

Announcements of lectures and meetings, Vienna, 1930-1932 and undated, 1930-1932. 1 folder.
Physical Description

1 folder

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. 1 folder.
Scope and Contents

(See also Miscellaneous administrative announcements)

Physical Description

1 folder

Dean's correspondence, Universität Wien: Official documents regarding appointment, leaves of absence, rescinding of "Lehrbefugnis" (teaching license), dates not examined. 1 folder.
Physical Description

1 folder

Doctoral Diploma, Universität Wien, dates not examined. 1 folder.
Scope and Contents

(see Series XIV: Folder 3)

Physical Description

1 folder

Honorary degree diplomas: Harvard University, dates not examined. 1 folder.
Scope and Contents

(see Series XIV: Box 16; Yale University, see Series XIII: Folder 1)

Physical Description

1 folder

Membership certificates: American Academy of Arts and Sciences, National Academy of Science, dates not examined. 1 folder.
Scope and Contents

(see Series XIV: Folder 4)

Physical Description

1 folder

Physical Description

1 box

Universität Wien, 1933-1936. 1 folder.
Physical Description

1 folder

Universität Wien, 1935-1940. 1 folder.
Physical Description

1 folder

University of Notre Dame: Logic homework of F.P. Jenks, student, dates not examined. 1 folder.
Physical Description

1 folder

University of Notre Dame, 1939 March-May. 1 folder.
Physical Description

1 folder

Promotion to Professor, Institute for Advanced Study (TLS from J. Robert Oppenheimer to Gödel), dates not examined. 1 folder.
Physical Description

1 folder

Publication lists of Institute for Advanced Study members and applicants, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

600th anniversary celebration, 1965. 1 folder.
Physical Description

1 folder

Gödel memorial colloquium, 1980. 1 folder.
Physical Description

1 folder

Reference information and admission cards for various libraries, 1930-1956. 1 folder.
Physical Description

1 folder

Scope and Contents

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.

Arrangement

Box 13a. Filed alphabetically by document type.

Physical Description

1 box

Apartment rental agreements, dates not examined. 1 folder.
Physical Description

1 folder

Birth and baptismal certificates, Kurt Gödel and Adele Porkert, dates not examined. 1 folder.
Physical Description

1 folder

Copyright agreements and publishing contracts, dates not examined. 1 folder.
Physical Description

1 folder

Employment permit, dates not examined. 1 folder.
Physical Description

1 folder

Marriage certificates, Kurt and Adele Gödel, 1938. 1 folder.
Physical Description

1 folder

Naturalization and citizenship documents: Austrian and American, dates not examined. 1 folder.
Physical Description

1 folder

Passports, Adele Gödel, 1953-1978. 1 folder.
Physical Description

1 folder

Passport, Kurt Gödel, 1940. 1 folder.
Scope and Contents

Includes Identity Card and records of immigration to U.S. via trans-Siberian railroad

Physical Description

1 folder

Physical Description

1 box

Correspondence, 1905. 1 folder.
Physical Description

1 folder

Correspondence: 1906-1907, 1909 and undated, 1906-1907. 1 folder.
Physical Description

1 folder

Miscellaneous, undated. 1 folder.
Physical Description

1 folder

British patent specifications, dates not examined. 1 folder.
Physical Description

1 folder

Powers of attorney, 1938-1939. 1 folder.
Physical Description

1 folder

Social Security and voter registration cards, dates not examined. 1 folder.
Physical Description

1 folder

Vaterländische Front documents, 1935-1936. 1 folder.
Physical Description

1 folder

Scope and Contents

Account books, bank statements, currency exchange vouchers, canceled checks, deposit slips, ledgers, securities transactions, and various bills and receipts.

Arrangement

Box 13b. Filed alphabetically by document type, unclassified items at end of series.

Physical Description

2 boxes

Account books: Princeton Bank and Trust Company, First Bank and Trust Company of South Bend, dates not examined. 1 folder.
Physical Description

1 folder

Assets, Statements of, 1939. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Anglo-?echoslovakischen und Prager Creditbank, Brünn, dates not examined. 1 folder.
Physical Description

1 folder

Princeton Bank and Trust Company, First Bank and Trust Company of South Bend, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Anglo-?echoslovakischen und Prager Creditbank, Brünn, 1933-1935. 1 folder.
Physical Description

1 folder

Anglo-?echoslovakischen und Prager Creditbank, Brünn, 1936-1939. 1 folder.
Physical Description

1 folder

First Bank and Trust Company, South Bend, Indiana, 1939. 1 folder.
Physical Description

1 folder

Princeton Bank and Trust Company, 1935-1936. 1 folder.
Physical Description

1 folder

Princeton Bank and Trust Company, 1937-1938. 1 folder.
Physical Description

1 folder

Princeton Bank and Trust Company, 1939. 1 folder.
Physical Description

1 folder

Booksellers' invoices and receipts, dates not examined. 1 folder.
Physical Description

1 folder

Cancelled checks, stubs, and debits, dates not examined. 1 folder.
Physical Description

1 folder

Clothing bills, dates not examined. 1 folder.
Physical Description

1 folder

Contractors' bills and receipts, dates not examined. 1 folder.
Physical Description

1 folder

Currency exchange/Funds transfer, dates not examined. 1 folder.
Physical Description

1 folder

Customs receipts, dates not examined. 1 folder.
Physical Description

1 folder

Deposit slips, dates not examined. 1 folder.
Physical Description

1 folder

Dues notices and receipts, dates not examined. 1 folder.
Scope and Contents

(See also Legal and political fee/contribution receipts)

Physical Description

1 folder

Electric bills and receipts, dates not examined. 1 folder.
Physical Description

1 folder

Freight company receipts, dates not examined. 1 folder.
Physical Description

1 folder

Fuel bills: coal, coke, wood, dates not examined. 1 folder.
Physical Description

1 folder

Gas bills and receipts, dates not examined. 1 folder.
Physical Description

1 folder

Honeymoon receipts, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

1920s-1935, 1920s-1935. 1 folder.
Physical Description

1 folder

1936, 1936. 1 folder.
Physical Description

1 folder

1938-1939, undated (except honeymoon receipts), 1938-1939. 1 folder.
Physical Description

1 folder

Housecleaning bills, dates not examined. 1 folder.
Physical Description

1 folder

Household furnishings, bills and receipts, dates not examined. 1 folder.
Physical Description

1 folder

I.A.S.: salary receipts, 1938. 1 folder.
Physical Description

1 folder

Physical Description

2 boxes

before 1932, dates not examined. 1 folder.
Physical Description

1 folder

1932 January, 1933 July-1934 December "Ausgleichsrechnungen", 1932 January. 1 folder.
Physical Description

1 folder

1933 August-1934 March, 1933 August-1934 March. 1 folder.
Physical Description

1 folder

1933-1936 (loose balance sheets), 1933-1936. 1 folder.
Physical Description

1 folder

1931-1935 Brünn (in Marianne Gödel's(?) hand), 1931-1935. 1 folder.
Physical Description

1 folder

1930-1937 Vienna (in Marianne Gödel's(?) hand), 1930-1937. 1 folder.
Physical Description

1 folder

1933 January-August (in Marianne Gödel's(?) hand), 1933 January-August. 1 folder.
Physical Description

1 folder

1933 September-1934 August (in Marianne Gödel's(?) hand), 1933 September-1934 August. 1 folder.
Physical Description

1 folder

1935-1937 Brünn (in Marianne Gödel's(?) hand), 1935-1937. 1 folder.
Physical Description

1 folder

1937 (in Marianne Gödel's(?) hand), 1937. 1 folder.
Physical Description

1 folder

1933-1934 "Villa Gödel" (in Pauline Handschuh's(?) hand), 1933-1934. 1 folder.
Physical Description

1 folder

1933-1934 Brünn (in Pauline Handschuh's(?) hand), 1933-1934. 1 folder.
Scope and Contents

(See also Series XIII: "Brno Villa: Records of receipts and expenditures")

Physical Description

1 folder

Insurance documents, dates not examined. 1 folder.
Physical Description

1 folder

Legal and political fee/contribution receipts, dates not examined. 1 folder.
Physical Description

1 folder

Lecture fee receipts, Universität Wien, dates not examined. 1 folder.
Physical Description

1 folder

Medical/dental bills and receipts, 1927-1948. 1 folder.
Scope and Contents

(See also Hotel and sanatorium receipts)

Physical Description

1 folder

Miscellaneous bills and receipts, 1929-1939. 1 folder.
Physical Description

1 folder

Princeton University Store, 1933-1934. 1 folder.
Physical Description

1 folder

Redlich, Friedrich (Textile Company): Financial statements, dates not examined. 1 folder.
Physical Description

1 folder

Rent bills, 1938-1939. 1 folder.
Physical Description

1 folder

Rent receipts, 1937-1939. 1 folder.
Physical Description

1 folder

Physical Description

1 box

Anglo-?echoslovakischen und Prager Creditbank; Österreichische Creditanstalt, dates not examined. 1 folder.
Scope and Contents

(See also Series XIV: Folder 5)

Physical Description

1 folder

Ost-Österreichische Landeshypothekenanstalt and other, dates not examined. 1 folder.
Physical Description

1 folder

Tax documents and governmental fee receipts, 1934-1948. 1 folder.
Physical Description

1 folder

Telephone/telegraph bills and receipts, 1928-1934. 1 folder.
Physical Description

1 folder

Transportation receipts, dates not examined. 1 folder.
Physical Description

1 folder

Physical Description

1 box

"Alte Abrechnungen und Zettel", dates not examined. 1 folder.
Physical Description

1 folder

"Aufstellungen", dates not examined. 1 folder.
Physical Description

1 folder

Miscellaneous, dates not examined. 1 folder.
Physical Description

1 folder

Miscellaneous, dates not examined. 1 folder.
Scope and Contents

(See also Series XIV: Folder 5)

Physical Description

1 folder

Scope and Contents

Dosage records, medical and dietary memoranda, lists of doctors, prescriptions, and temperature records.

Arrangement

Box 14a. Filed alphabetically by type of document.

Physical Description

1 box

Correspondence related to health care, 1932-1937. 1 folder.
Physical Description

1 folder

Doctors, dates not examined. 1 item.
Scope and Contents

(see Names and addresses of)

Physical Description

1 item

Physical Description

1 box

1942 May-June, 1942 May-June. 1 folder.
Physical Description

1 folder

1946-1963, 1946-1963. 1 folder.
Physical Description

1 folder

1964-1968, 1964-1968. 1 folder.
Physical Description

1 folder

1970-1974 May, 1970-1974 May. 1 folder.
Physical Description

1 folder

1974 June-1976 February, 1974 June-1976 February. 1 folder.
Physical Description

1 folder

Physical Description

1 box

before 1960, dates not examined. 1 folder.
Physical Description

1 folder

1962-1963, 1967-1969, 1962-1963. 1 folder.
Physical Description

1 folder

Dr. Hulbeck, 1963-1969. 1 folder.
Physical Description

1 folder

1970-1974 May, 1970-1974 May. 1 folder.
Physical Description

1 folder

1974 May-1975 November, 1974 May-1975 November. 1 folder.
Physical Description

1 folder

undated includes dietary notes, undated. 1 folder.
Physical Description

1 folder

Names and addresses of doctors, dates not examined. 1 folder.
Physical Description

1 folder

Prescriptions, dates not examined. 1 folder.
Physical Description

1 folder

Temperature records ("Fiebertabellen"), 1949-1953. 1 folder.
Physical Description

1 folder

Treatment reports, drug and dietary recommendations, dates not examined. 1 folder.
Physical Description

1 folder

Scope and Contents

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.

Arrangement

Boxes 14a, 14b, 15, 16. Filed by print size, and grouped therein by subject.

Physical Description

5 boxes

Scope and Contents

Consists primarily of head and shoulder portraits of Kurt Gödel as well as of his family members.

Arrangement

Arranged by subject of photograph.

Physical Description

1 box

110150-110151. Kurt Gödel: 2 head and shoulder portraits, undated. 1 folder.
Physical Description

1 folder

110152-110155. Adele Gödel: Posed by piano ca.1912, 3 head and shoulder portraits, undated. 1 folder.
Physical Description

1 folder

110156. Josef Porkert (Adele's father): Head and shoulder portrait, undated. 1 folder.
Physical Description

1 folder

110157. Hildegarde Porkert (Adele's mother): Head and shoulder portrait, undated. 1 folder.
Physical Description

1 folder

110158. Eduard Wette: on the H.M.S. Queen Elizabeth II, dates not examined. 1 folder.
Physical Description

1 folder

110159. Rudolf (brother) and Kurt Gödel: as children, undated. 1 folder.
Physical Description

1 folder

110160. Marianne (mother) and Kurt Gödel: at the Institute for Advanced Study, dates not examined. 1 folder.
Physical Description

1 folder

110161. Rudolf, Adele, and Marianne Gödel: at a picnic, dates not examined. 1 folder.
Physical Description

1 folder

110162. Hildegarde Porkert, Adele and Kurt: at table, dates not examined. 1 folder.
Physical Description

1 folder

110163. Adele Gödel, Stephen C. Kleene, and his parents: on the Kleene farm in Maine, dates not examined. 1 folder.
Physical Description

1 folder

110164. Stephen Kleene and his parents: on the Kleene farm, dates not examined. 1 folder.
Physical Description

1 folder

Scope and Contents

Consists of wedding portraits and photographs of Kurt and Adele Gödel.

Arrangement

Arranged by subject of photograph.

Physical Description

1 box

110200. Kurt and Adele Gödel, wedding portrait, 1938 September 23. 1 folder.
Physical Description

1 folder

110201. Kurt and Adele Gödel, 10th wedding anniversary portrait, 1948. 1 folder.
Physical Description

1 folder

110202. Participants in Albert Einstein's 70th birthday celebration: including Kurt Gödel, Einstein, Hermann Weyl, and J. Robert Oppenheimer, 1949 March 19. 1 folder.
Physical Description

1 folder

110203. Einstein award presentation: Albert Einstein, Gödel, Julian Schwinger, and Lewis Strauss, 1951 March 14. 1 folder.
Physical Description

1 folder

110204. Harvard honorary degree recipients: including Gödel and John Foster Dulles, 1952 June 19. 1 folder.
Physical Description

1 folder

110205. Kurt Gödel: Portrait by Arnold Newman, 1956. 1 folder.
Physical Description

1 folder

110206-110209. Rockefeller University honorary degree recipients: 4 portraits, 1972 June 1. 1 folder.
Physical Description

1 folder

110210. Kurt Gödel: Portrait, 1973 October 7. 1 folder.
Physical Description

1 folder

110211-110213. National Medal of Science presentation: 3 portraits of Saunders MacLane on behalf of Gödel, 1975 September 18. 1 folder.
Physical Description

1 folder

110214. Kurt Gödel: Early portrait (crudely retouched), undated. 1 folder.
Physical Description

1 folder

110215. Kurt Gödel: Studio portrait by Marcel Natkin, undated. 1 folder.
Physical Description

1 folder

110216. Adele Gödel: Studio portrait, undated. 1 folder.
Physical Description

1 folder

110217. Adele Gödel: Profile, undated. 1 folder.
Physical Description

1 folder

110218-110219. Rudolf Gödel (father): 2 portraits, 1924 and 1927, 1924. 1 folder.
Physical Description

1 folder

110220. Albert Einstein: heading home, by Alan Richards, dates not examined. 1 folder.
Physical Description

1 folder

110221. John von Neumann: Studio portrait, undated. 1 folder.
Physical Description

1 folder

Unidentified photographs: Unknown man dated 1950 Ein