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

2024-11-26

[public] 67.1K views, 7.57K likes, dislikes audio only

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: /youtube/video/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