The continuum hypothesis is independent
- logic
- american
Paul Cohen's forcing shows, with Gödel's earlier result, that ZFC can neither prove nor refute it.
Sources
Open The continuum hypothesis is independent in the timeline
From the Ishango bone to formalized proofs: arithmetic, geometry, algebra, analysis, probability, logic and topology across Babylonian, Egyptian, Greek, Indian, Chinese, Islamic and European mathematics and beyond. Moments are tagged by area (and colored by it) and by civilization; eras are shown as spans. Ancient dates are approximate and say so. Summaries are our own; each moment links to its Wikipedia articles.
99 moments · 20000-01-01T00:00:00Z BCE – 2020-01-01T00:00:00Z CE · by @athan · @athan
Paul Cohen's forcing shows, with Gödel's earlier result, that ZFC can neither prove nor refute it.
Open The continuum hypothesis is independent in the timeline