A Walk with Goodstein and Ackermann

David Fernández-Duque, Andreas Weiermann

Goodstein's theorem states that a certain sequences based on exponential notation for the natural numbers are always finite. The result is independent of Peano arithmetic and is a…