> it was proved by Cantor and Cohen *Goedel* and Cohen. Goedel proved it might b...

		gjm11 on July 6, 2013 \| parent \| context \| favorite \| on: Indescribable numbers: The theorem that made me fa... > it was proved by Cantor and Cohen Goedel and Cohen. Goedel proved it might be (constructible universe); Cohen proved it might not be (forcing). I think Cohen's on record as saying he suspects that with the "right" axioms, mathematicians might come to think that CH is obviously false.

Ah, of course, I don't know why I have written Cantor. It's too late to edit now.