Skip to main content
SpringerLink
Log in

Jean van Heijenoort and the Gödel Editorial Project

  • Published:
Logica Universalis Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Davis, M. (ed.): The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions. Raven Press, New York (1965)

  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. Dreben B., Andrews P., Aanderaa S.: False lemmas in Herbrand. Bull. Am. Math. Soc. 69, 699–706 (1963)

    Article  MathSciNet  MATH  Google Scholar 

  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)

  5. Feferman S.: The Gödel editorial project: a synopsis. Bull. Symbolic Logic 11, 132–149 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  6. Goldfarb W.: Herbrand’s error and Gödel’s correction. Modern Logic 3, 103–118 (1993)

    MathSciNet  MATH  Google Scholar 

  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–371

  8. Gödel, K.: In: Feferman, S., et al. (eds.) Collected Works, 5 vols. Oxford University Press, New York and Oxford (1986–2003)

  9. Herbrand, J.: In: van Heijenoort, J., (ed.) Écrits logiques. Presses Universitaire de France, Paris (1968)

  10. Herbrand, J.: Logical Writings. English translation by W. Goldfarb of 9. Reidel, Dordrecht (1971)

  11. Sieg W.: Only two letters: the correspondence between Herbrand and Gödel. Bull. Symbolic Logic 11, 172–184 (2005)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. 393 Waters Road, York, PA, 17403, USA

    John W. Dawson Jr.

Authors
  1. John W. Dawson Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John W. Dawson Jr..

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-012-0050-0

Mathematics Subject Classification

Keywords

Search

Navigation