←back to thread

116 points baruchel | 2 comments | | HN request time: 0.41s | source
1. b0a04gl ◴[] No.44362700[source]
how much of modern set theory is reverse engineered from axioms rather than discovered. we're always building highways through a forest we haven't mapped, assuming every tree will fall in line. and suddenly these new large cardinals show up that don't even sit neatly in the ladder. it's maynot be failure of math,but failure of narrative. we thought the infinite was climbable, now it's folding sideways. maybe the math we're building is just a subset of what's possible, shaped by what's provable under our current tools. lot of deep shit probably hiding in the unprovable.
replies(1): >>44363690 #
2. QuesnayJr ◴[] No.44363690[source]
This isn't really how it went down, historically. They considered lots of different large cardinals, and then they turned out to be linearly orderable by consistency strength. And then it's natural to wonder if it's a general rule.