On the Restricted Ordinal Theorem

@article{Goodstein1944OnTR,
  title={On the Restricted Ordinal Theorem},
  author={R. Goodstein},
  journal={J. Symb. Log.},
  year={1944},
  volume={9},
  pages={33-41}
}
  • R. Goodstein
  • Published 1944
  • Computer Science, Mathematics
  • J. Symb. Log.
  • The proposition that a decreasing sequence of ordinals necessarily terminates has been given a new, and perhaps unexpected, importance by the role which it plays in Gentzen's proof of the freedom from contradiction of the “reine Zahlentheorie.” Godel's construction of non-demonstrable propositions and the establishment of the impossibility of a proof of freedom from contradiction, within the framework of a certain type of formal system, showed that a proof of freedom from contradiction could be… CONTINUE READING
    124 Citations

    Topics from this paper

    Goodstein’s Theorem Revisited
    • 6
    • Highly Influenced
    • PDF
    Proof Theory : From arithmetic to set theory
    • PDF
    What's So Special About Kruskal's Theorem and the Ordinal Gamma0? A Survey of Some Results in Proof Theory
    • J. Gallier
    • Mathematics, Computer Science
    • Ann. Pure Appl. Log.
    • 1991
    • 104
    • PDF
    ON THE NATURE OF MATHEMATICAL SYSTEMS
    • 5
    Beyond polynomials and Peano arithmetic - automation of elementary and ordinal interpretations
    • 4
    • PDF
    Formal Proof of the Weak Goodstein Theorem
    • PDF
    L O ] 1 8 M ay 2 01 4 Goodstein ’ s theorem revisited
    • 1
    • Highly Influenced

    References

    SHOWING 1-2 OF 2 REFERENCES
    Zur Widerspruchsfreiheit der Zahlentheorie
    • 121
    Die Widerspruchsfreiheit der reinen Zahlentheorie
    • 467