HN2new | past | comments | ask | show | jobs | submitlogin

The cardinality of Real numbers is 2^Aleph_Null. Continuum hypothesis is equivalent to saying that it is equal to Aleph_One. But that is debated :) [Debated in the sense that you could accept one or the other, but it is independent of ZF and there should be a good reason to accept one or the other]

https://en.wikipedia.org/wiki/Aleph_number#Aleph-one



> but it is independent of ZF

Yeah, if I recall that's why forcing was invented, to specifically prove that C and CH were independent of ZF. Yeah: [1]

1. https://en.wikipedia.org/wiki/Paul_Cohen#Continuum_hypothesi...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: