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
Accession ARCH-2005-262 Records
Note
"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
Accession ARCH-2008-054 Records
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)