Future tasks for Gödel scholars

Bulletin of Symbolic Logic 11 (2):150-171 (2005)
  Copy   BIBTEX

Abstract

As initially envisioned, Gödel's Collected Works were to include transcriptions of material from his mathematical workbooks. In the end that material, as well as some other manuscript items from Gödel's Nachlass, had to be left out. This note describes some of the unpublished items in the Nachlass that are likely to attract the notice of scholars and surveys the extent of shorthand transcription efforts undertaken hitherto. Some examples of sources outside Gödel's Nachlass that may be of interest to Gödel scholars are also indicated

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Kurt Godel and phenomenology.Richard Tieszen - 1992 - Philosophy of Science 59 (2):176-194.
The Reception of Godel's Incompleteness Theorems.John W. Dawson - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:253 - 271.
Gödel and 'the objective existence' of mathematical objects.Pierre Cassou-Noguès - 2005 - History and Philosophy of Logic 26 (3):211-228.
The gödel editorial project: A synopsis.Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (2):132-149.

Analytics

Added to PP
2009-01-28

Downloads
107 (#163,860)

6 months
22 (#121,906)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.
Gödel’s Natural Deduction.Kosta Došen & Miloš Adžić - 2018 - Studia Logica 106 (2):397-415.
The gödel editorial project: A synopsis.Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (2):132-149.
Jan von Plato.* Can Mathematics be Proved Consistent?John W. Dawson - 2023 - Philosophia Mathematica 31 (1):104-111.

View all 7 citations / Add more citations

References found in this work

Add more references