The Continuum Hypothesis is a statement in set theory that is independent of ZFC (the standard axiomatization of set theory used as a foundation for math), meaning it can neither be proven nor disproven from the axioms. Because of this, philosophers of math debate over whether CH has a well-defined truth value or not. Some argue that it does, and we just don't know enough about sets to determine it. Perhaps we could even decide on its truth value with new axioms. Others argue that it doesn't because there are multiple equally valid conceptions of the Universe of sets, some of which obey CH and others of which do not.
On my Manifold survey, I will ask
Is there a fact of the matter as to whether the Continuum Hypothesis is true or not?
Yes, it is true.
Yes, it is false.
Yes, but I'm not sure whether the Continuum Hypothesis is true or false.
No, there is no fact of the matter.
I'm not sure and/or don't know what the Continuum Hypothesis is.
Will the majority of responses (not including the last one) be "Yes" responses?
See Plasma's Manifold Survey for other questions about the survey.
The survey is officially out! You can take it here: https://forms.gle/xZqWVxuY5irgLigu9
1,000
3.00In the closest result on the entire survey, there was an exact tie, 27 to 27.
https://plasmabloggin.substack.com/p/survey-results-pt-4-philosophy
That means this market resolves NO, since it wasn't a majority.
The survey is officially out! You can take it here: https://forms.gle/xZqWVxuY5irgLigu9