Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-16T06:19:46.722Z Has data issue: false hasContentIssue false
  • English
  • Français

Future Tasks for Gödel Scholars

Published online by Cambridge University Press:  15 January 2014

John W. Dawson Jr.  and
Cheryl A. Dawson
John W. Dawson Jr.
Affiliation:
393 Waters Road, York, Pa 17403, USAE-mail: jwd7too@suscom.net and jwd7@psu.edu
Cheryl A. Dawson
Affiliation:
393 Waters Road, York, Pa 17403, USAE-mail: jwd7too@suscom.net and jwd7@psu.edu
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
Bulletin of Symbolic Logic , Volume 11 , Issue 2 , June 2005 , pp. 150 - 171
Copyright
Copyright © Association for Symbolic Logic 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Dawson, John W. Jr., Logical dilemmas: The life and work of Kurt Gödel, AK Peters, Wellesley, Mass., 1997.Google Scholar
[2] Feferman, Solomon, The Gödel editorial project: A synopsis, this Bulletin, vol. 11 (2005), no. 2, pp. 132–149, this issue.Google Scholar
[3] Gödel, Kurt, Collected works, vol. I: Publications, 1929–1936 (Feferman, Solomon et al., editors), Oxford University Press, New York and Oxford, 1986.Google Scholar
[4] Gödel, Kurt, Collected works, vol. II: Publications, 1938–1974 (Feferman, Solomon et al., editors), Oxford University Press, New York and Oxford, 1990.Google Scholar
[5] Gödel, Kurt, Collected works, vol. III: Unpublished Essays and Lectures (Feferman, Solomon et al., editors), Oxford University Press, New York and Oxford, 1995.Google Scholar
[6] Gödel, Kurt, Collected works, vol. IV: Correspondence A—G (Feferman, Solomon et al., editors), Oxford University Press, Oxford, 2003.Google Scholar
[7] Gödel, Kurt, Collected works, vol. V: Correspondence H—Z (Feferman, Solomon et al., editors), Oxford University Press, Oxford, 2003.Google Scholar
[8] Mancosu, Paolo, Between Vienna and Berlin: The immediate reception of Gödel's incompleteness theorems, History and Philosophy of Logic, vol. 20 (1999), no. 1, pp. 33–46.Google Scholar
[9] Gödel, Kurt, On the constructivity of proofs. A debate among Behmann, Bernays, Gödel and Kaufmann, Reflections on the foundations of mathematics (Sieg, Wilfried, Sommer, Richard, and Talcott, Carolyn, editors), AK Peters, Natick, Mass., 2002, pp. 349–371.Google Scholar
[10] Schimanovich-Galidescu, Maria-Elena, Archivmaterial zu Kurt Gödels Wiener Zeit 1924–1940, Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. I: Dokumente und historische Analysen (Köhler, Eckehart et al., editors), Holder-Pichler-Tempsky, Vienna, 2002, pp. 135–147.Google Scholar