[1904.10570] A formalization of forcing and the unprovability of the continuum hypothesis - discu.eu

Reddit

Continuum Hypothesis is independent of ZFC, proved in Lean (from April 2019) https://arxiv.org/abs/1904.10570 24 comments 15/6/2020 math

Linking pages

A Candidate Geometrical Formalism for the Foundations of Mathematics and Physics—Wolfram Institute Bulletins https://www.wolframphysics.org/bulletins/2020/08/a-candidate-geometrical-formalism-for-the-foundations-of-mathematics-and-physics/ 0 comments

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.

Submit link to: