The Goodstein Sequence

Featuring Richard Elwes

See https://brilliant.org/numberphile for Brilliant and 20% off their premium service & 30-day trial (episode sponsor)

Numberphile videos about big numbers: https://www.youtube.com/playlist?list=PLt5AfwLFPxWJ_FwchNAjB3xa8UnoKdmQI

Gödel's Incompleteness Theorem: https://youtu.be/O4ndIDcDSGc

Richard Elwes at the University of Leeds: https://eps.leeds.ac.uk/maths/staff/4018/dr-richard-elwes-
Or: https://richardelwes.co.uk
His books: https://amzn.to/4fJIhHE

On the Restricted Ordinal Theorem (by Goodstein): https://fa.ewi.tudelft.nl/~hart/onderwijs/verzamelingenleer/materiaal/goodstein.pdf

Accessible Independence Results For Peano Arithmetic (by Kirby and Paris): https://logic.amu.edu.pl/images/3/3c/Kirbyparis.pdf