Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
