AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the Goodstein principle, a natural number-theoretic theorem unprovable in Peano arithmetic, through this 52-minute lecture from the Workshop on "Reverse Mathematics: New Paradigms" at the Erwin Schrödinger International Institute. Examine how different canonical representations using Fast-Growing hierarchies provide natural Goodstein processes independent from theories of various strengths. Discover normal forms based on the Bachmann-Howard Hardy hierarchy that yield a Goodstein process independent from the theory of ID2. Learn about the collaborative research exploring normal form notations for the Goodstein principle, building upon the original process definition to develop new mathematical frameworks. Gain insights into advanced topics in reverse mathematics and proof theory through this specialized mathematical presentation that bridges number theory and logical foundations.
