- Continuum Hypothesis is independent of ZFC, proved in Lean (from April 2019) https://arxiv.org/abs/1904.10570 24 comments math
Linking pages
Related searches:
Search whole site: site:arxiv.org
Search title: [1904.10570] A formalization of forcing and the unprovability of the continuum hypothesis
See how to search.