Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 11, Issue 2 (2005), 150-171.
Future tasks for Gödel scholars
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.
Bull. Symbolic Logic, Volume 11, Issue 2 (2005), 150-171.
First available in Project Euclid: 1 July 2005
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Dawson, John W., Jr.; Dawson, Cheryl A. Future tasks for Gödel scholars. Bull. Symbolic Logic 11 (2005), no. 2, 150--171. doi:10.2178/bsl/1120231627. https://projecteuclid.org/euclid.bsl/1120231627