News for hackers. Stuff that matters.

A comment on Who was Aleph Null? (2013). Parent comment

Re:Who was Aleph Null? (2013) by brobdingnagians on Thursday October 14, 2021 @01:21PM (#28867177)
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

[ Parent | on HN ]
Re:Who was Aleph Null? (2013) by guerrilla on Thursday October 14, 2021 @01:30PM (#28867293)
> 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...

[ Parent | on HN ]