The Rest Is Science cover image

Michael Wrote Some Math Poetry

The Rest Is Science

00:00

Can we prove mathematics is consistent?

Hannah explains 20th-century attempts to formalize math and Gödel-era limits on proving mathematics' correctness.

Play episode from 03:19
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app