The Quanta Podcast cover image

How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer.

The Quanta Podcast

00:00

Is the Consistency Axis True?

Star is compatible with large cardinals, so it passed. Is the same kind of test that a c passed, when godle showed that at least it was safe? Kelder says, knowing the strongest forcing axiom gives us information. But then the question is, youknow, is it evidence for m m ouble plus, or is it evidence against mm double plus? And really that depends on what you take on star.

Transcript
Play full episode

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