Skip to main content
SpringerLink
Log in

Gödel, Gentzen, Goodstein: The Magic Sound of a G-String

  • Article
  • Published:
The Mathematical Intelligencer Aims and scope Submit manuscript

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

Literature

  • Gödel, K. (1931) On formally undecidable propositions of Principia Mathematica and related systems I. (English translation of German original), in J. van Heijenoort, ed., From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, pp. 596–617, Harvard University Press, 1967.

  • Gentzen, G. (1934–35) Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, vol. 39, pp. 176–210 and 405–431.

  • Gentzen, G. (1936) Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, vol. 112, pp. 493–565.

  • Gentzen, G. (1938) Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, vol. 4, pp. 19–44.

  • Gentzen, G. (1943) Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, vol. 120, pp. 140–161.

  • Gentzen, G. (1969) The Collected Papers of Gerhard Gentzen, M. Szabo, ed. North-Holland Publ. Co., Amsterdam.

  • Goodstein, R. (1944) On the restricted ordinal theorem. The Journal of Symbolic Logic, vol. 9, pp. 33–41.

  • Goodstein, R. (1945) Function theory in an axiom-free equation calculus. Proceedings of the London Mathematical Society, vol. 48, pp. 401–434.

  • Goodstein, R. (1958) On the nature of mathematical systems. Dialectica, vol. 12, pp. 296–316.

  • Hempel, C. (2000) An intellectual autobiography. In Science, Explanation, and Rationality, J. Fetzer, ed., pp. 3–35. Oxford University Press, New York

  • Kirby, L. and J. Paris (1982) Accessible independence results for Peano arithmetic. Bulletin of the London Mathematical Society, vol. 14, pp. 285–293.

  • Paris, J. and L. Harrington (1977) A mathematical incompleteness in Peano arithmetic. In J. Barwise, ed., Handbook of Mathematical Logic, pp. 1133–1142, North-Holland.

  • von Plato, J. (2014) From Hauptsatz to Hilfssatz. In M. Baaz, R. Kahle and M. Rathjen eds., Gentzen’s Centenary: The Quest of Consistency, in press.

  • Stillwell, J. (2010) Roads to Infinity: The Mathematics of Truth and Proof. A. K. Peters, Wellesley, Massachusetts.

Download references

Author information

Authors and Affiliations

  1. University of Helsinki, Helsinki, Finland

    Jan von Plato

Authors
  1. Jan von Plato
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan von Plato.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

von Plato, J. Gödel, Gentzen, Goodstein: The Magic Sound of a G-String. Math Intelligencer 36, 22–27 (2014). https://doi.org/10.1007/s00283-014-9454-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00283-014-9454-4

Keywords

Search

Navigation