Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Who was Aleph Null? (2013). Parent comment
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...
There are no comments on this comment yet.
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...