×

Future tasks for Gödel scholars. (English) Zbl 1098.03001

Summary: 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.

MSC:

03-03 History of mathematical logic and foundations
01A60 History of mathematics in the 20th century
01A67 Future perspectives in mathematics
01A75 Collected or selected works; reprintings or translations of classics
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Collected works II (1938) · JFM 64.0020.05
[2] Collected works I (1929)
[3] The Gödel editorial project: A synopsis 11 pp 132– (2005)
[4] Logical dilemmas: The life and work of Kurt Gödel (1997) · Zbl 0866.03003
[5] Collected works III (1995)
[6] Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. I: Dokumente und historische Analysen pp 135– (2002)
[7] DOI: 10.1080/014453499298174 · Zbl 1051.01504 · doi:10.1080/014453499298174
[8] Collected works V (2003)
[9] Collected works IV (2003)
[10] Reflections on the foundations of mathematics pp 349– (2002)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.