Way Bigger Than Graham's Number (Goodstein Sequence) - Numberphile

Featuring Richard Elwes. See https://brilliant.org/numberphile for Brilliant and 20% off their premium service & 30-day trial (episode sponsor). More links & stuff in full description below ↓↓↓ 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 Patreon: http://www.patreon.com/numberphile Numberphile is supported by Jane Street. Learn more about them (and exciting career opportunities) at: https://bit.ly/numberphile-janestreet NUMBERPHILE Website: http://www.numberphile.com/ Numberphile on Facebook: http://www.facebook.com/numberphile Numberphile tweets: https://twitter.com/numberphile Subscribe: http://bit.ly/Numberphile_Sub Video by Brady Haran and Pete McPartlan Numberphile T-Shirts and Merch: https://teespring.com/stores/numberphile Brady's videos subreddit: http://www.reddit.com/r/BradyHaran/ Brady's latest videos across all channels: http://www.bradyharanblog.com/ Sign up for (occasional) emails: http://eepurl.com/YdjL9