Gödel, Gentzen, Goodstein: the magic sound of a G-string
From MaRDI portal
Publication:2341287
DOI10.1007/s00283-014-9454-4zbMath1319.03002MaRDI QIDQ2341287
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
01A60: History of mathematics in the 20th century
03F30: First-order arithmetic and fragments
03-03: History of mathematical logic and foundations
03F15: Recursive ordinals and ordinal notations
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