Gödel, Gentzen, Goodstein: the magic sound of a G-string

DOI10.1007/S00283-014-9454-4zbMath1319.03002OpenAlexW2015749625MaRDI QIDQ2341287

Jan von Plato

Publication date: 23 April 2015

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00283-014-9454-4

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Recursive ordinals and ordinal notations (03F15)

Related Items (1)

Reflections on Orlov

Cites Work

• Unnamed Item
• Unnamed Item
• Untersuchungen über das logische Schliessen. I
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• ON THE NATURE OF MATHEMATICAL SYSTEMS
• Accessible Independence Results for Peano Arithmetic
• On the restricted ordinal theorem
• Function Theory in an Axiom-Free Equation Calculus

This page was built for publication: Gödel, Gentzen, Goodstein: the magic sound of a G-string