Logica Universalis

, Volume 6, Issue 3–4, pp 293–299 | Cite as

Jean van Heijenoort and the Gödel Editorial Project

  • John W. DawsonJr.


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.

Mathematics Subject Classification

01A60 0A170 03-03 


Jean van Heijenoort Gödel Editorial Project 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Davis, M. (ed.): The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions. Raven Press, New York (1965)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Dreben B., Andrews P., Aanderaa S.: False lemmas in Herbrand. Bull. Am. Math. Soc. 69, 699–706 (1963)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Feferman S.: The Gödel editorial project: a synopsis. Bull. Symbolic Logic 11, 132–149 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Goldfarb W.: Herbrand’s error and Gödel’s correction. Modern Logic 3, 103–118 (1993)MathSciNetzbMATHGoogle Scholar
  7. 7.
    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–371Google Scholar
  8. 8.
    Gödel, K.: In: Feferman, S., et al. (eds.) Collected Works, 5 vols. Oxford University Press, New York and Oxford (1986–2003)Google Scholar
  9. 9.
    Herbrand, J.: In: van Heijenoort, J., (ed.) Écrits logiques. Presses Universitaire de France, Paris (1968)Google Scholar
  10. 10.
    Herbrand, J.: Logical Writings. English translation by W. Goldfarb of 9. Reidel, Dordrecht (1971)Google Scholar
  11. 11.
    Sieg W.: Only two letters: the correspondence between Herbrand and Gödel. Bull. Symbolic Logic 11, 172–184 (2005)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Basel AG 2012

Authors and Affiliations

  1. 1.YorkUSA

Personalised recommendations