MathDB2 problems
- 0 votes0 replies2 views
Herbrand's conjecture on formalizing intuitionistic proofs in Russell's system
Herbrand considers intuitionistic proofs and their formalizability in Russell's system. Herbrand's conjecture. It is impossible to prove that every intuitionistic proof is formaliz…
- 0 votes0 replies0 views
Brouwer's continuum hypothesis
Brouwer's continuum hypothesis. Cantor's second number class and the continuum have the same number of points.