Abstract
A colleague’s personal recollections of Jean van Heijenoort’s contributions to the editing of volumes I–III of Gödel’s Collected Works and of his interactions with the other editors.
Similar content being viewed by others
References
Davis, M. (ed.): The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions. Raven Press, New York (1965)
Dawson J.W. Jr.: Prelude to recursion theory: the Gödel–Herbrand correspondence. In: Wolkowski, Z. (ed) First International Symposium on Gödel’s Theorems., pp. 1–13. World Scientific Publishing Company, Singapore (1993)
Dreben B., Andrews P., Aanderaa S.: False lemmas in Herbrand. Bull. Am. Math. Soc. 69, 699–706 (1963)
Feferman, A.B.: Politics, Logic and Love: The life of Jean van Heijenoort. Jones and Bartlett, Boston and London (1993); reissued as: From Trotsky to Gödel. A K Peters, Natick, Mass (2003)
Feferman S.: The Gödel editorial project: a synopsis. Bull. Symbolic Logic 11, 132–149 (2005)
Goldfarb W.: Herbrand’s error and Gödel’s correction. Modern Logic 3, 103–118 (1993)
Gödel, K.: On undecidable propositions of formal mathematical systems (mimeographed lecture notes taken by Stephen C. Kleene and J. Barkley Rosser) (1934). Published, with revisions. In 1, pp. 39–74, and reprinted, with 1964 Postscript, in 8, vol. I, pp. 346–371
Gödel, K.: In: Feferman, S., et al. (eds.) Collected Works, 5 vols. Oxford University Press, New York and Oxford (1986–2003)
Herbrand, J.: In: van Heijenoort, J., (ed.) Écrits logiques. Presses Universitaire de France, Paris (1968)
Herbrand, J.: Logical Writings. English translation by W. Goldfarb of 9. Reidel, Dordrecht (1971)
Sieg W.: Only two letters: the correspondence between Herbrand and Gödel. Bull. Symbolic Logic 11, 172–184 (2005)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Dawson, J.W. Jean van Heijenoort and the Gödel Editorial Project. Log. Univers. 6, 293–299 (2012). https://doi.org/10.1007/s11787-012-0050-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-012-0050-0