Skip to main content
Simplified.
Source Link
Jason Dyer
  • 2.6k
  • 1
  • 24
  • 29

What ifdo models where the Continuum Hypothesis wereCH is false look like?

After Cohen proved the CH (Continuum Hypothesis) was independent of ZFCAdditionally, most efforts on the topic seemed (by my reading)is there any intuitive way to be along the lines of either philosophical arguments forvisualize the CH being true or attempts to derive axiomscardinalities that were equivalent to the CH being true.

But what if we assumed the CH were false, and then, parallel-postulate style, derived what mathematics would happen as a result? Has anyone done this? Has anyone failed at this? Does anyone have any idea of what set with a cardinality between the natural numbers and the real numbers would look like, even in a wildly hypothetical sense?

What if the Continuum Hypothesis were false?

After Cohen proved the CH (Continuum Hypothesis) was independent of ZFC, most efforts on the topic seemed (by my reading) to be along the lines of either philosophical arguments for the CH being true or attempts to derive axioms that were equivalent to the CH being true.

But what if we assumed the CH were false, and then, parallel-postulate style, derived what mathematics would happen as a result? Has anyone done this? Has anyone failed at this? Does anyone have any idea of what set with a cardinality between the natural numbers and the real numbers would look like, even in a wildly hypothetical sense?

What do models where the CH is false look like?

Additionally, is there any intuitive way to visualize the cardinalities that result?

added 9 characters in body
Source Link
Jason Dyer
  • 2.6k
  • 1
  • 24
  • 29

After Cohen proved the CH (Continuum Hypothesis) was independent of ZFC, most efforts on the topic seemed (by my reading) to be along the lines of either philosophical arguments for the CH being true or attempts to derive axioms that were equivalent to the CH being true.

But what if we assumed the CH were false, and then, parallel-postulate style, derived what mathematics would happen as a result? Has anyone done this? Has anyone failed at this? Does anyone have any idea of what set with a cardinality between the natural numbers and the real numbers would look like, even in a wildly hypothetical sense?

After Cohen proved the CH (Continuum Hypothesis) was independent of ZFC, most efforts on the topic seemed (by my reading) to be along the lines of either philosophical arguments for the CH being true or attempts to derive axioms that were equivalent to the CH being true.

But what if we assumed the CH were false, and then, parallel-postulate style, derived what mathematics would happen as a result? Has anyone done this? Has anyone failed at this? Does anyone have any idea of what a cardinality between the natural numbers and the real numbers would look like, even in a wildly hypothetical sense?

After Cohen proved the CH (Continuum Hypothesis) was independent of ZFC, most efforts on the topic seemed (by my reading) to be along the lines of either philosophical arguments for the CH being true or attempts to derive axioms that were equivalent to the CH being true.

But what if we assumed the CH were false, and then, parallel-postulate style, derived what mathematics would happen as a result? Has anyone done this? Has anyone failed at this? Does anyone have any idea of what set with a cardinality between the natural numbers and the real numbers would look like, even in a wildly hypothetical sense?

Source Link
Jason Dyer
  • 2.6k
  • 1
  • 24
  • 29

What if the Continuum Hypothesis were false?

After Cohen proved the CH (Continuum Hypothesis) was independent of ZFC, most efforts on the topic seemed (by my reading) to be along the lines of either philosophical arguments for the CH being true or attempts to derive axioms that were equivalent to the CH being true.

But what if we assumed the CH were false, and then, parallel-postulate style, derived what mathematics would happen as a result? Has anyone done this? Has anyone failed at this? Does anyone have any idea of what a cardinality between the natural numbers and the real numbers would look like, even in a wildly hypothetical sense?