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

The Gödel Editorial Project: A Synopsis

Published online by Cambridge University Press:  15 January 2014

Solomon Feferman
Solomon Feferman*
Affiliation:
Departments of Mathematics and Philosophy, Stanford University, Stanford, CA 94305, USAE-mail: sf@csli.stanford.edu
Get access Rights & Permissions [Opens in a new window]

Extract

The final two volumes, numbers IV and V, of the Oxford University Press edition of the Collected Works of Kurt Gödel [3]–[7] appeared in 2003, thus completing a project that started over twenty years earlier. What I mainly want to do here is trace, from the vantage point of my personal involvement, the at some times halting and at other times intense development of the Gödel editorial project from the first initiatives following Gödel's death in 1978 to its completion last year. It may be useful to scholars mounting similar editorial projects for other significant figures in our field to learn how and why various decisions were made and how the work was carried out, though of course much is particular to who and what we were dealing with.

My hope here is also to give the reader who is not already familiar with the Gödel Works a sense of what has been gained in the process, and to encourage dipping in according to interest. Given the absolute importance of Gödel for mathematical logic, students should also be pointed to these important source materials to experience first hand the exercise of his genius and the varied ways of his thought and to see how scholarly and critical studies help to expand their significance.

Though indeed much has been gained in our work there is still much that can and should be done; besides some indications below, for that the reader is referred to [2].

Type
Research Article
Information
Bulletin of Symbolic Logic , Volume 11 , Issue 2 , June 2005 , pp. 132 - 149
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, A. K. Peters Ltd., Wellesley, 1997.Google Scholar
[2] Dawson, John W. Jr. and Dawson, Cheryl, Future tasks for Gödel scholars, this Bulletin, vol. 11 (2005), no. 2, pp. 150–171, this issue.Google Scholar
[3] Feferman, Solomon et al. (editors), Kurt Gödel, Collected Works. Vol. I. Publications 1929–1936, Oxford University Press, New York, 1986.Google Scholar
[4] Feferman, Solomon et al. (editors), Kurt Gödel, Collected Works. Vol. II. Publications 1938–1974, Oxford University Press, New York, 1990.Google Scholar
[5] Feferman, Solomon et al. (editors), Kurt Gödel, Collected Works. Vol. III. Unpublished essays and lectures, Oxford University Press, New York, 1995.Google Scholar
[6] Feferman, Solomon et al. (editors), Kurt Gödel, Collected Works. Vol. IV. Correspondence A-G, Oxford University Press, Oxford, 2003.Google Scholar
[7] Feferman, Solomon et al. (editors), Kurt Gödel, Collected Works. Vol. V. Correspondence H-Z, Oxford University Press, Oxford, 2003.Google Scholar
[8] Goldfarb, Warren, Herbrand's error and Gödel's correction, Modern Logic, vol. 3 (1993), pp. 103–118.Google Scholar
[9] Köhler, Eckehart et al. (editors), Kurt Gödel, Wahrheit und Beweisbarkeit. Bd. I. Dokumente und historische Analysen, Öbv & Hpt, Vienna, 2002.Google Scholar
[10] Köhler, Eckehart et al. (editors), Kurt Gödel, Wahrheit und Beweisbarkeit. Bd. 2. Kompendium zum Werk, Öbv & Hpt, Vienna, 2002.Google Scholar
[11] Tait, William W., Gödel's reformulation of Gentzen's consistency proof for arithmetic: The no-counterexample interpretation, this Bulletin, vol. 11 (2005), no. 2, pp. 225–238, this issue.Google Scholar
[12] van Heijenoort, Jean, From Frege to Gödel. A source book in mathematical logic, 1879–1931, Harvard University Press, Cambridge, 1967. (Third printing, with corrections, 1976.)Google Scholar