3 ms·
Please see my reply to @baddox. You say you do math and not philosophy, but the whole CH independence proof kinda moves this discussion out of the realm of (ZF
by bnjmn 8y ago
Please see my reply to @baddox.
You say you do math and not philosophy, but the whole CH independence proof kinda moves this discussion out of the realm of (ZFC-based) math, doesn't it? If you don't want to consider philosophy here, there's not much more to say.
- ginnungagap 8y agoPlenty of math is done outside of ZFC, a lot of modern set theory for example, but that doesn't make it philosophy. Even Grothendieck's EGA has a couple of arguments that cannot be carried out in ZFC in the generality he presents them in, but I wouldn't call EGA a philosophy treatise nor an algebraic geometer a philosopher