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