Guide to the Gödel Editorial Project Records

Front Material

Final Checklist

Illustrations

Nachlass Overview

Gödel's Gabelsberger

*1930c Correspondence

Introductory Note to *1930c

*1930c Konigsberg

Unpublished Lecture on the Completeness of the Functional Calculus

*1930c Konigsberg Translation

*1930c Textual Notes

*1931? Correspondence

Introductory Note to *1931?

*1931? "Uber unentscheidbare Satze" (Original German)

*1931? "On undecidable sentences" (English Translation)

*1933o Correspondence

Introductory Note to *1933o

*1933o "The present situation in the foundations of mathematics"

*1930o References and Textual Notes

*1933? Correspondence

Introductory Note to *1933?

*1933? "Simplified proof of a theorem of Steinitz"

*1933? References and Textual Notes

Zilsel "Konzept"

Zilsel – Photocopy of Original Shorthand

Zilsel – Correspondence

Introductory Note to *1938a

*1938a "Votrag bei Zilsel" (Original German)

*1938a "Lecture at Zilsel's" (English Translation)

*1938a Old Versions

Zilsel Transcription

Notes on "Zusammenkunft bei Zilsel"

*1938a References and Textual Notes

*1939b Correspondence – Gottinger Lecture

Introductory Notes to *1939b and *1940a

*1939b "Vortrag Gottingen" (Original German)

*1939b "Lecture at Gottingen" (English Translation)

Gottingen Lecture Typescripts

Gottingen – Photocopy of Shorthand Original

*1939b References and Textual Notes

*193? Correspondence

Introductory Note to *193?

*193? "Undecidable diophantine propositions"

*193? References and Textual Notes

*1940a Correspondence

*1940a "Lecture on the consistency of the continuum hypothesis"

*1940a Typescript

*1940a References and Textual Notes

*1941 Correspondence

Introductory Note to *1941

*1941 "In what sense is intuitionistic logic constructive?"

Yale Lecture concerning *1941 – 15 April 1941

*1941 Manuscript

*1941 References and Textual Notes

*1946/9 Correspondence

Introductory Note to *1946/9

*1946/9 Kant and Relativity– Manuscript A

*1946/9 Kant and Relativity– Manuscript B

*1946/9 Kant and Relativity– Manuscript C

*1946/9-B2 "Some observations about the relationship between theory of relativity and Kanitan philosophy"

*1946/9-B2 Typescripts

Corrections to *1946/9-B2 Manuscript B

*1946/9-C1 "Some observations about the relationship between theory of relativity and Kantian philosophy"

Corrections *1946/9-C1

*1946/9-C1 Typescripts

*1946/9-B2 and *1946/9-C1 "Barbed Wire Versions"

*1946/9 Textual Notes

*1946/9 References

Kant-Relativity Draft MSS# 040416

Kant-Relativity Draft MSS# 040417

Kant-Relativity Draft MSS# 040418

*1949b Correspondence

Introductory Note to *1949b

*1949b "Lecture on rotating universes"

*1949b "Lecture on rotating universes" Manuscript

*1949b References and Textual Notes

*1951 "Gibbs Lecture" Introductory Note and Correspondence

*1951 "Gibbs Lecture" & Manuscript

*1951 References and Textual Notes

*1953/9 Correspondence

Introductory Note to*1953/9

*1953/9-I "Is mathematics syntax of language?"

*1953/9-II "Is mathematics syntax of language?"

*1953/9-III "Is mathematics syntax of language?" (1 of 2)

*1953/9-III "Is mathematics syntax of language?" (2of 2)

*1953/9-III "Is mathematics syntax of language?" – Original Notes

*1953/9-IV "Is mathematics syntax of language?"

*1953/9-V"Is mathematics syntax of language?"

*1953/9-V and VI "Is mathematics syntax of language?"

*1953/9 References and Textual Notes

*1961/? Correspondence

Introductory Note to *1961/?

*1961/? Supporting Materials

*1961/? "The modern development of the foundations of mathematics in the light of philosophy" (Original German)

*1961/? "The modern development of the foundations of mathematics in the light of philosophy" (English Translation)

*1961/? "The modern development of the foundations of mathematics in the light of philosophy" – Original Notes

*1961/? Textual Notes

*1961/? References

*1970 Correspondence

Introductory Note to*1970

*1970 "Ontological proof"

*1970 References and Textual Notes

*1970a,b,c Correspondence

Solonay Introductory Note to *1970a,b,c

*1970a "Scales of functions"

*1970a,b,c Supplementary Material

*1970a,b,c Textual Notes

*1970a,b,c References

*1970b "Scales of functions II"

*1970c "Scales of functions III"

Appendix A

Appendix B

*1970 excerpt: Max-Phil XIV

Textual Notes and Correspondence

General Textual Notes

References

Correspondence Concerning References

Addenda and Corrigenda

Index

Indices to References

Complete Manuscript (1 of 2)

Complete Manuscript (2 of 2)

Corrections to Preface and References – October 1993

Corrections to Complete Manuscript – December 1993

Last Corrected Pages

General Proofreading – Messages

Volume II – Issues

Volume III – General (through 1992)

Volume III – references

"Books and Journals in the Nachlass of Kurt Gödel" compiled by Cheryl A. Dawson, July 1984

"The Papers of Kurt Gödel, an Inventory," John W. Dawson, July 1984

TEX status, 1984-85

1929 + trans [translation]

1930 + trans

1930a + trans

1931 + trans

1930b + trans

1931a + trans

1931b + trans

1931c + trans

1931d + trans

1931e + trans

1931f + trans

1931g + trans

1932

1932a + trans

1932b + trans

1932c + trans

1932d + trans

1932e + trans

1932f + trans

1932g + trans

1932h + trans

19321 + trans

1932j + trans

1932k + trans

1932l + trans

1932m + trans

1932n + trans

1932o + trans

1933 + trans

1933 + trans

1933a + trans

1933b + trans

1933c + trans

1933d + trans

1933e + trans

1933h + trans

1933i + trans

1933j + trans

1933k + trans

1933l + trans

1933m + trans

1933n + trans

1934

1934a + trans

1934b + trans

1934d + trans

1934e + trans

1934f + trans

1935 + trans

1935a + trans

1935b + trans

1935c + trans

1936 + trans

1936a + trans

1936b + trans

1938

1939

1939a

1940

1944

1946

1947

1949

1949a +

1952 (?)

1958

1964

1972a

1974

Reviews

References

Gödel correspondence (responses to the call for correspondence from Gödel 1982)

Correspondence [letter to Feferman from John, 1987, with attachments]

Translations of Gödel-Bernays correspondence

Typescripts of Gödel-Bernays and Gödel-Carnap correspondence

Bernays-Gödel correspondence 1930-31 (photocopies)

Gödel-Bernays correspondence, 1930s-60s (photocopies)

Re Gödel-Bernays correspondence (photocopies)

Gödel-Bernays correspondence (photocopies)

Gödel-Herbrand correspondence (JvH's file)

Gödel-Ulam correspondence 1956-73 (photocopies)

Gödel correspondence with van Heijenoort 1960s (photocopies)

Dreben-Gödel correspondence (photocopies)

Dreben-Gödel correspondence (photocopies)

Gödel-von Neumann correspondence (copies)

Integrated TEX files for 1944-1972 items, done in 1985

Dreben and van Heijenoort. Notes on Gödel 1929/30, 1985

Dreben / van Heijenoort. Notes on Gödel 1929/30, final MS. + TEX

van Heijenoort / Dreben. Notes on Gödel 1929/30

van Heijenoort. Notes on Gödel 1929/30

S. C. Kleene re: 1931, 1934 items, notes and revisions, 1983

S. C. Kleene re: 1931, 1934 (Sept. 1983 on)

Kleene – notes on 1930b, 1931, 1932b, 1934 - 1983

TEX – Kleene notes for 1931

Feferman – Introductory note to 1931c, 1985

Kleene – 1931 (etc.) Aug.-Nov. 1983

Dawson – notes on 1931a etc. 1984

Quine – notes on Gödel's short notes 1985

Troelstra – note on 1932, 1985

Goldfarb – notes on Gödel 1932a, 1933i + revisions, 1983-84

Kleene – note on 1932d, 1934e, 1936b, 1985

Webb – notes on G's geometry papers, 1933b etc., 1983-85

Troelstra – notes on Gödel 1933e, f, 1984-85

Royden – notes (?)

Kleene – 1934 - TEX

Kleene – notes on Gödel 1934, 1983

Vaught – notes on Gödel 1934c, 1935, 1984-85

Solovay – notes on Gödel 1938, 1939a, 1940, 1983-85

Dawson – intro note on 1936

Parikh – notes on 1936a, 1983-85

Parsons – notes on 1944

Parsons – notes on 1946, 1983-85

Hawking – notes on Gödel 1949, 1950, 1983-85

Stein – notes on Gödel 1949a, 1983-85

Translation of 1958, semi-final version

Translation of 1958

Troelstra – notes for 1958/1972 TEX version

Troelstra – notes for 1958/1972 08/84 version

Troelstra – notes for 1958/1972

Troelstra – notes for 1958

Troelstra – notes for 1958/1972 revised

Dialectica paper – misc.

Gödel chronology

Guidelines to authors and original invitations, 1982-83

Introductory notes – letters to authors after 1st draft

Penultimate letters to authors of notes

G. Project invoices 1981/82

Gödel Project budgetary 1986-87

Gödel Project expenses 1985/86

Gödel Project foreign editions

Oxford Press contract/agreement 1983

Oxford new contract, Vol. II, Vol. III?

OUP [Oxford Univ. Press] – publicity, etc., Vol. II, III

OUP – publicity, etc., Vol. I

Gödel Project – Oxford Press Vol. I

Gödel Works Vol. I - reviews

Gödel Project Vol I – OUP publicity

Gödel Project – legal matters, copyright memo 1983

Oxford Press – agreement, correspondence

Gödel Project – editorial C.V's

Gödel Project – editorial correspondence 1985

Estimates of lengths

Moore, Gregory – correspondence 1986

Title page and cover – experiments

Letters on Gödel volume 1986

RS [Soloway] file – correspondence

Dawson – annotated bibliography, 1981-82

TEX – references + Dawson bibliography [only contains the bibliography

JvH file [van Heijenoort]

JD [Dawson] file

Moore on Russell [Moore's paper "Russell's Paradox: A Reappraisal of its Origins" 1985]

GM [Moore] file, correspondence and notes from conversations, 1985

SCK [Kleene] file, correspondence and notes from conversations, 1984-86

GK [Kreisel] – JvH 1984

Kreisel – notes on three undated notes (1972a)

From Kohler and Schimanovich, 1985-86

Finalizing volume 1, summer 1985

NSF Proposal – work up

NSF Proposal – work up

NSF Proposal – assorted

NSF – Gödel Project award

G. Project funding

G. Project – initial funding efforts

NSF – proposal addenda work up

Editorial Board – C.V.'s

NSF Proposal - final

TEX – proof reading correspondence, 1984-85

Gödel Project Editorial – May/June 1985

Gödel Project Editorial – May-December 1984

G. Project Ed. Group notes and correspondence Jan.-Feb. 1984

G. Project Ed. Group notes and correspondence Sept. 1983-Feb. 1984

Gödel Project Princeton meeting 10/11/83

Gödel Project Editorial notes and correspondence May-October 1983

Gödel Project Editorial notes and correspondence Nov. 1982-July 1983

Gödel Project Editorial notes and correspondence Aug.-Dec. 1982

Gödel Project Editorial correspondence April-July 1982

Gödel Project organizationa letters to Edit. Board 5/12/82

Gödel Project Editorial correspondence Jan.-April 1982

Gödel Project Pre-organizational correspondence 1978-1981

Gödel Project 1982 Format/Styles questions

Gödel Project I.A.S. organization meeting (core ed. group) July 1982

Gödel Project Editorial notes, correspondence May-Aug. 1982

Gödel Project – organizational summer 1982

Moore – draft transcription of Gödel's 38-39 lectures

Arbeitshefte – Indexes

Gödel – Gabelsberger fragment

Translations – questions

Draft translations

Kreisel correspondence [actually contains 2 papers: "Frege's Foundations and Intuitionistic Logic" and "Gödels Ambivalenz zur intuitionistischen Logik"]

Princeton Press – copyright negations re 1940

Nagayama, Tadashi – correspndence, 1984-85

Nagayama – Gabelsberger translation

Gödel Project expenses 1982-84

Gödel Project expenses

Expenses

Gödel Project – report to ASL 12/22/83

Gödel Project – funding correspondence 1983

Expenses, NSF and Sloan grants from 8/20/84

Gödel Project Publisher's final responses

Gödel Project – letters to publishers

Gödel II – references, 1987

Dawson – Vol. III issues

Volume III general planning and organization

Gödel – Konigsberg lecture on completeness plus translation and textual notes

*1930?

Hahn: Vienna seminar notes (Gödel's contributions) *1931/2

*1933?

*1933g

*1937

Vortrag by Zilsel *1938a

Vortrag by Zilsel *1938a

Notre Dame seminar on logic *1939c

*1938c (040181)

*1938c (040180)

*1938c (040182)

*1939d Gottingen Vortrag transcription/translation

Gödel Gottingen lecture *1939d

*193?a Theorem on Real Functions

Some Observations . . theory of relativity. . .Kantian philosophy *1946/9

*1949b, *1950

*1949b

*1950 – ICM lecture "Rotating universes in general relativity theory"

Gödel – text of Gibbs Lecture *1950

*1953/9 "Is mathematics syntax of language?"

*1961/? "The modern development of the foundations of math in the light of philosophy"

*1970 Ontologischer Beweis

*1970c

*1970b Scales of Functions II

*1970a

*1970? Schemes of ramification

Dawson – inventory of G. Nachlass 1984

Books and Journals in Gödel's Nachlass 1984

Microfilm copies of Gödel's Nachlass papers

Headings in "Logic and Foundations" from the Arbeitshefte

Gödel – transcription from the Arbeitshefte

Herbrand transcripts

Max-Phil notebook transcriptions

Other shorthand transcriptions

Addenda and Corrigenda – Gödel Works Vol. I

Gödel – independent AC (?) notes

B. J. Lucas re Gödel/Parry, 1989

Prefatory material Vol. II

Permissions statement Vol. II

Volume II proof reading correspondence 1987-88

Moore material 5/20/88 and vol. II proof reading

Final corrections to IN [introductory notes] 38, 39, 39a, 40

Solovay – IN to 1938-40 (TEX)

Solovay – Introd. Note to 1938-1940

Solovay – Introd. Note extra copies

Solovay 1938 [re his introductory note to], 1985

Final corrections to IN 44

Parsons – notes on 1944, 1983-85

Parsons – changes in note for 1944

Parsons – note on 1944

Gödel 1944 Emendations (prep. by JvH)

Final corrections to IN 46

Final corrections to IN 47, 64

Correspondence re IN 47, 64

Moore – Introductory note to Gödel 1947

Final corrections to Gödel 1947

Final corrections to IN 49, 52

Final corrections to IN 49a

Final corrections to 1952

Final corrections to IN 58, 72

Final corrections to 1962

Final corrections to 1964

Final corrections to 1972

Final corrections to IN 72a

Introductory notes to 1972a.1,2

Introductory note 1972a.2 (Feferman and Solovay)

1972a Notes 1, 2 (Kreisel's version)

Webb – introductory note to Gödel 1972a #3

Webb – note on 1972a (3)

Final corrections to 1972a

Fenstad – notes on Gödel 1974

Final corrections to IN 74

Final corrections to 1974

New References, 1987

Corrections to the references Vol. II, 1987

Herbrand – Chevalley [photocopies of original documents]

Herbrand – Chevalley 3 Dec. 1930 [photocopies of original documents]

Herbrand, Noether – Chevalley 12 Dec. 1931 [photocopy of original document]

Herbrand correspondence [photocopies of original documents]

Herbrand general [photocopies of original documents]

Herbrand – Groupe Herbrand [photocopies of original documents]

Herbrand references

Notes accompanying "L'oeuvre logique de Jacques Herbrand…" 1981 (JvH)

Kreisel – JvH correspondence 1986

Gödel Works Vol. III Planning meeting, Phila. March 1988

Miscellaneous correspondence

Oxford Press projects

Gödel Nachlass Inventory – TEX, vol. III

TEX samples – shorthand/longhand

[To file: photocopy of Gödel item (04038) and correspondence of S. Kleene 1988]

Gödel project – current

Gödel Project editorial meeting, March 1988

Items from Gödel Nachlass (copies)

Gödel Project material from Zurich, Winter 1987

[To file: copy of Gödel 1958 and correspondence of Dirk Siefkes

Gödel refile

Solomon Feferman – Gödel Project – Things to do

Gödel Project – editorial correspondence, work, 1986

Finalizing Vol. II – memo to eds, 1986

Gödel Works Vol. II – finalizing material from JD

Proposed translation of the Gödel Volume [to Italian], 1986

Gödel group meeting, Jan. 1985

Working agenda July 1986

[Review of Volume I, 1987]

Assorted printouts and copies of final text and/or material for volumes

List of appendices, cover sheet for Appendix A, Contents V. II

Appendix B: Reviews

Appendix C: CV's

Appendix D1 and D2

Appendices E, F, and G

*1946/9 Kant/Relativity Man. A

*1946/9 Kant/Relativity Man. B

*1946/9 Kant/Relativity Man. C

Appendix H and cover sheets for I

Appendix J, K and L

Printouts of text

ASL/NSF Audit Response Gödel Project May 27, 1992

ASL/NSF Audit Materials May 13, 1992

Gödel Project Budgets 1984-

Materials from Henson

NSF – Gödel Project audit

Materials from CD [assorted reports, minutes, assignments, etc.]

Gödel – Tarski correspondence(photocopies and typescript copies)

G. Kreisel [published versions of Gödel's letters to]

Dawson "A meeting of minds: the Gödel editorial project"

G. K. reviews of K. G. Works II

Heading lists [of Gödel's notebooks]

Gödel Works, contract for Volume III and IV

Memo re TEX fonts

Files of van Heijenoort:

Notebook "Gödel" [very few entries]

Gödel: photocopies of original papers

Partial folder list

Originals [actually contains photocopies of articles]

Textual notes

Reviews, computer text July 8, 1982

Bauer-Mengelberg corrections to JWD translations

Proofreading corrections by JvH of Dawson translations

Nevarietur

IN 1929 and 1930 – correspondence, 1983-85

IN 1929 and 1930 – final draft

IN 1929 and 1930 – general

IN 1929 and 1930 – materials

IN 1929 and 1930 – material

IN 1929 and 1930 – remarks by Dawson

IN 1929 and 1930 – Dreben's notes of October 15, 1983

IN 1929 and 1930 – SF's remark on draft of May 25, 1983

IN 1929 and 1930 – remarks by Feferman

IN 1929 and 1930 – July 10, 1984 draft, SF's remarks

IN 1929 and 1930 – remarks by Kleene and Moore

1929 Vienna University text

1929 Princeton text

van Heijenoort, Differences between the Vienna and Princeton texts, 1982

van Heijenoort, Remarks on the variora…, 1982

Gödel dissertation, computer text May 1982

Gödel dissertation, corrections by JvH to computer text of May 1982

van Heijenoort, Remarks on the computer text of Gödel's dissertation, Aug. 1982

1929: TEXscript

Gödel dissertation, translation, miscellaneous notes

1930: original German

1940g: original

1930: TEXscript

1930e: FFTG

Work on completeness (1930a)

1931 Notes - Kleene

1931 Notes

1931g Original

1931 reprint annotated by KG

1931

1932a draft translation by Dawson

Files of van Heijenoort, continued:

G 1933e

G 1934

G 1938 IN

G 1938

G 1939

G 1939a

G 1940

G 1944 – 5/5/85

G 1944 IN

G 1944

G 1944

G 1944 annotations

G 1946

G 1946

G 1947

G 1947

G 1949

G 1949a

G 1952

G 1958 Dilectica original [photocopy]

G 1958 IN

G 1958 notes

G 1958 Goldfarb translation

G 1958 old

G 1958 Draft (rought) by JvH July 27, 1983

G 1958 Draft by JvH July 27, 1983

G 1958 Translation by SBM-JvH, draft of Sept. 18, 1983

G 1958 – I

G 1958 – II

G 1958 English translation by SBM-JvH, draft

G 1958 Dawson's remarks on SBM-JvH translation

G 1958 SF's remarks on SBM-JvH translation

G 1958 Draft of English translation by SBM and JvH June 1984

G 1958 Translation revised by SBM and JvH June 1984

G 1958 latest work

G 1958e Printout of 8/27/84 – SBM's remarks

G 1958e Printout of 8/27/84 – SF's remarks

G 1958e Proofread by JvH on Jan.9, 1986

G 1958 English translation – remarks

G 1958 G Proofread by JvH on Jan. 9, 1986

G 1964

G 1964

G 1965

G 1972

G 1972a

G 1972a IN draft by Kreisel

G 1972a IN – Webb

G 1974 IN – Fenstad

G copyrights

G contract

G Bauer – Mengelbert (things to be taken up with)

G Correspondence with Herbrand IN

Very current (in progress at time of death)

G editing

G Volume I misprints

G Contents II

G Bernays correspondence (Zurich): listings

G non-current (misc. memoranda, mostly re Volume I)

G Volume 3

G * 1930c Konigsberg lecture on incompleteness

G * 1930c Konigsberg lecture on incompleteness

G Herbrand Bericht

G * 1938c Williamsberg

Files of van Heijenoort, continued, and files of S. Feferman:

G *1939b N.D. GCH I-IV

G *1939b continued

G Notes on Herbrand

G 1950

Arbetishefte / Results on Foundations: indices and heading lists

G Arbetishefte notes

G Arbetishefte notes

G Arbetishefte Max-Phil (Takenti)

G Material sent by Dawson, August 13, 1982 (German translation of Einstein paper, Steinitz's theorem, rotating universes)

G Material sent by Dawson, August 17, 1982 (B&P 3rd ed., Boron's Dialectica translation, Gibbs, 1933 AMS lecture, Kant-Einstein, NYPS-1934)

G Kant / relativity theory drafts (some observations)

G Some observations…Version A

G Some observations…Version B

G Some observations…Version C

G Is mathematics syntax of language?

G Is mathematics syntax of language?

G Is mathematics syntax of language?

G Some considerations…

Modern developments in foundations…(transcript from Gabelsberger)

Cohen – Gödel correspondence

G's revised translation of 1958 (1972)

Gödel Project action '94

Gödel Works IV – general planning and issues

Gödel Project – Cambridge editorial meeting March 1993

Gödel – Bem. Phil. Math.

Gödel – excerpts from the Max-Phil notebooks

Gödel Project – active 1992

Gödel IV-V jacket material

Gödel Project – recent 1989-90

Gödel Project – grant ext. plans 1992-94

Gödel Project – appearance of Vol. III

Minutes of Gödel Editorial Board Jan. 1991

Gödel Editorial Board meeting / work assignments Jan. 1989

R. Thomas / R. Tieszn *1961 flap

Gödel Project action 1990-91

Gödel Nachlass overview/inventory for Vol. III

Arbeitshefte: index and headings

Nagayama – Gödel Project work

E. Kohler – correspondence 1990-91

Nagayama – Gabelsberger transcription

What Have We Learned from the Gödel Project? [Feferman's] talk in Stockholm Sept. 1, 1989

Gödel Project – editorial correspondence, 1988

Baaz – letter to Dawson, Dec. 19, 1982

G Bauer-Mengelberg to S. Feferman (Copyright memo) 1983

G Bauer-Mengelberg to Feferman 1984

G Brown to JWD

Bauer-Mengelberg letter to Gödel, Feb. 21, 1964

Bauer-Mengelberg to JvH, 1982-86

Church letter to Kleene, Nov. 29, 1935

G Dawson to SBM (Stefan Bauer-Mengelberg)

G Dawson to JvH, 1982-86

G Dawson to Editors, 1982-86

Taussky-Todd, "Remembrance of Kurt Gödel," Engineering & Science, Winter 1988

Anellis, Irving H. "Jean van Heijenoort, his life and his contributions to logic" – typescript, ca. 1985

Files of van Heijenoort, continued, and files of S. Feferman:

Dawson to SF 1982-85

Dawson to SK 1983

Dreben-Gödel correspondence 1966-70

Dreben-Gödel correspondence; copies of batch given by B. D, to JvH on Oct. 15, 1983

Feferman to Dreben 1985

Feferman to Kleene

Feferman to Kreisel

Feferman to Troelstra

Feferman to editors

Feferman to JvH

Feferman to various

Feferman correspondence on behalf of Gödel Project 1982-85

Gödel letter to Balas [transcript] 1970

Bernays 1942

Bernays 1976

Bernays, "Sur le platonisme…"

Bernays, "Quelques points essentials…"

Bernays, "Mathematische existenz…"

Gödel letter to Brutian, Dec. 10, 1969

Gödel/Buchi correspondence

Gödel letter to Burks [published version]

Gödel correspondence with Davis

Finsler/Gödel correspondence

Gödel responses to Grandjean

Gödel correspondence with Kleene

Gödel correspondence with Quine

Gödel letter to Reid, March 22, 1966

Gödel letter to Schilpp, Feb. 3, 1959

Henson to van Heijenoort

Kleene to editors

Kleene to SF

Kleene to JvH

Kleene to JvH Oct. 30, 1983

Kurepa to JvH

Marcus to SF

Moore to editors

Moore to JvH 1982-84

Moore to JvH 1985-86

Moore to various

Quine to van Heijenoort

SK to SF, GM, JvH March 28, 1985

JvH / Kleene – controversy on underlining

van Heijenoort to JWD

van Heijenoort to SBM

van Heijenoort to editors

van Heijenoort to BD

van Heijenoort to Goldfarb

van Heijenoort to SK

van Heijenoort correspondence with Lauener

van Heijenoort to GM 1982-84

van Heijenoort to Moore 1985

van Heijenoort to Webb

van Heijenoort to SF

van Heijenoort correspondence on behalf of Gödel Project

Wang to SF

Webb letter to van Heijenoort Nov. 13, 1983

Weyhrauch, Yasuko to editors

Gödel – Hao Wang correspondence

Gödel – Bernays correspondence 1939-59

Gödel – Bernays correspondence 1960-63

Gödel – Bernays correspondence 1965-75

Gödel, "Some considerations leading…"

Gabelsberger

Trial translations from Gabelsberger

Gabelsberger from Max X

Materials sent as appendices to NSF proposal (1)

Materials sent as appendices to NSF proposal (2)

Index miscellany

Gödel lecture on completeness May 14, 1930 (?)

Transcriptions from Gabelsberger

Transcriptions from Gabelsberger – Phil-Max

Transcriptions from Gabelsberger – "Results on Founcations"

Dawson, "The Papers of Kurt Gödel an Inventory" July 1984

Assorted photocopies

Translations of AC index

Papers from the Nachlass

Photocopy of notebook [original manuscript, in English]

Logic lectures, 0, n.d.

Logic lectures, I, n.d.

Logic lectures, II, n.d.

Logic lectures, III, n.d.

Logic lectures, IV, n.d.

Logic lectures, V, n.d.

Logic lectures, VI, n.d.

Logic lectures, VII, n.d.

Continuum lectures, I, n.d.

Continuum lectures, II, n.d.

Continuum lectures, III, n.d.

Continuum lectures, IV, n.d.

Continuum lectures, V, n.d.

Sources, photocopies, misc.

Book cover layouts

Front matter, Vol. IV

Photo information

Angoff

Balas

Behmann – correspondence with editors, 1994-2000

Behmann – introductory note

Behmann – typescripts and TeXscripts

Behmann – photocopies of original letters

Behmann – translation

Behmann – transcriptions, text and correspondence re

Behmann – references

Bernays – correspondence information

Bernays – introductory note

Bernays – current text

Bernays – TeXscripts (1 of 2)

Bernays – TeXscripts (2 of 2)

Bernays – TeXscripts

Bernays – TeXscript 10/00

Bernays – TeXscript 12/98

Bernays – TeXscript 4/94

Bernays – TeXscript 9/93

Bernays – edited typescripts

Bernays – photocopies of original correspondence, 1930-42

Bernays – photocopies of original correspondence, 1956-61

Bernays – photocopies of original correspondence, 1962-65

Bernays – photocopies of original correspondence, 1966-70

Bernays – photocopies of original correspondence, 1971-75

Bernays – translations, TeXscripts

Bernays – translations, typescripts

Bernays correspondence, textual notes

Bernays – references

Blackwell

Bohnert

Boone

Boone – references

Brutian

Büchi

Carnap

Carnap - TeXscripts

Church – typescripts, TeXscripts

Cohen

Dreben

Feigl – typescripts, TeXscripts

Feigl – photocopies of original correspondence

Finsler

Follett

Goddard

Gödel to Marianne Gödel – introductory note

Gödel to Marianne Gödel – TeXscripts

Gödel to Marianne Gödel – translations

Grandjean

Greenberg

Günther – correspondence of editors

Günther – introductory note

Günther – TeXscripts (1 of 2)

Günther – TeXscripts (2 of 2)

Günther – typescripts

Günther – translation

Günther – photocopies of original correspondence

Correspondence of Henkin with Russell and Church re Gödel's work

Henkin

Herbrand – introductory note

Herbrand – TeXscripts

Herbrand – translations

Heyting – introductory note and correspondence of editors

Heyting – TeX (1 of 3)

Heyting – TeX (2 of 3)

Heyting – TeX (3 of 3)

Heyting – typescripts

Heyting – photocopies of original correspondence

Heyting – translations

Heyting – references

Honderich

Hwastecki

Menger – TeXscripts (1 of 2)

Menger – TeXscripts (2 of 2)

Menger – photocopies of original correspondence from IAS

Menger – photocopies of original correspondence from IIT

Menger – translations

Nagel – introductory note and correspondence of editors

Nagel

Perlis

Pitts

Plumer

Popper

Post

Rappaport

Rautenberg

Reid

Robinson – introductory note

Robinson – TeXscripts and photocopies of original correspondence

Robinson – photocopies of original correspondence from Yale

Russell

Sawyer

Schilpp – introductory note

Schilpp – TeXscripts (1 of 2)

Schilpp – TeXscripts (2 of 2)

Schilpp – photocopies of original correspondence

Schilpp – photocopies of original correspondence from SIU

Seelig

Skolem

Suppes

Tarski – TeX

Tarski – photocopies of original correspondence

Thirring

Ulam – correspondence of editors

Ulam

van Heijenoort – TeXscripts

van Heijenoort – photocopies of original correspondence

von Neumann – introductory note

von Neumann – TeXscripts (1 of 2)

von Neumann – TeXscripts (2 of 2)

von Neumann – typescripts

von Neumann – translations

von Neumann – photocopies of original correspondence

Wang – correspondence of editors

Wang – introductory note

Wang – TeXscripts (1 of 2)

Wang – TeXscripts (2 of 2)

Wang – photocopies of original correspondence 1948-72

Wang – photocopies of original correspondence 1972-75

Wang – photocopies of original correspondence 1976-78

Wang – references and Appendix B

Zermelo

Calendars of correspondence

Proofreading inventory of Nachlass [finding aid to Gödel papers at Princeton]

Appendix A – TeXscript

Scott, Appendix A – photocopies of original correspondence

Appendix B - TeXscript

Textual notes - TeXscript

Addenda and corrigenda

References – correspondence of editors

References – TeXscript (1 of 2)

References – TeXscript (2 of 2)

References – additional material

References, Vol. IV, 1/31/02

References, Vol. IV, TeXscripts (1 of 2)

References, Vol. IV, TeXscripts (2 of 2)

Reference searching

Editorial principles

Headings list to Gödel's notebooks and record of transcriptions

Reports

Reports

Reviews

Lists for microfilming book annotations

Preservation Resources

Microfilming correspondence, 1996-97

Microfilming correspondence and other records, 1989-95

Permission letter for photocopying from Gödel's Nachlass 1997

Correspondence re microfilm publication

Final version of finding aid to Gödel's papers at Princeton

Microfilming correspondence, 1998

Microfilming correspondence, 1997

Committee correspondence (1 of 2) 1996

Committee correspondence (2 of 2) 1995-96

Firestone Library correspondence, 1985-89

Meeting minutes, 1988-2000

Volume III, general correspondence, 1994-97

Volume III, general correspondence, 1993

Volume III, general correspondence, 1987-93

Volume IV, general correspondence, 1993-2001

Vol. IV, index – corrected text

Vol. IV, corrections to first unified copy, preface to p. 345

Vol. IV, corrections to first unified copy, p. 346-end

Vol. IV, final batch of corrections, to p. 256

Vol. IV, final batch of corrections, p. 257-564

Vol. IV, final batch of corrections, references and addenda

Vol. IV-V, CD of complete computer files

Vol. IV final copy [in box]

Vol. IV final copy [in box]

Vol. V – corrections to first combined version, preface-p. 251

Vol. V – corrections to first combined version, p. 255-end

Vol. V – final corrections (1 of 2)

Vol. V – final corrections (2 of 2)

Vol. V – final corrections 12/1/02 (1 of 2)

Vol. V – final corrections 12/1/02 (2 of 2)