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)MathSciNetMATHCrossRefGoogle 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)MathSciNetMATHCrossRefGoogle Scholar
  6. 6.
    Goldfarb W.: Herbrand’s error and Gödel’s correction. Modern Logic 3, 103–118 (1993)MathSciNetMATHGoogle 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)MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer Basel AG 2012

Authors and Affiliations

  1. 1.YorkUSA

Personalised recommendations