
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