Is any Millenium problem independent of ZFC? | Manifold

Is any Millenium problem independent of ZFC?

Basic

3

Ṁ46

2100

40%

chance

1D

1W

1M

ALL

Resolves NO once they're all solved, or YES with an independence proof.

This question is managed and resolved by Manifold.

Get

1,000

and

3.00

Sort by:

Most of them are meaningless. But I can annoy stack exchange with my proof that the 1/2 is a square root so it's needed to make the primes irrational and cancel out.

Related questions

Will at least one of the remaining Millenium Problems be solved before 2030?

+9% 1d49% chance

Are any Millennium Prize problems undecidable/unprovable/unsolvable?

Will ZFC no longer be the standard foundation for mathematics by 2050?

Which millenium problem will be solved first?

Will a Millenium problem be formally stated in a theorem prover by 2025

Will any of the remaining Clay Millenium problems be solved with substantial help from an AI before 2030?

+11% 1d43% chance

Will the next Millennium Problem be solved by an AI?

Which Millennium Prize Problem will be solved next?

Which Millennium Prize Problem will be solved next?

Which of the Millenium Prize problems will be solved next?

Related questions

Will at least one of the remaining Millenium Problems be solved before 2030?

Will any of the remaining Clay Millenium problems be solved with substantial help from an AI before 2030?

Are any Millennium Prize problems undecidable/unprovable/unsolvable?

Will the next Millennium Problem be solved by an AI?

Will ZFC no longer be the standard foundation for mathematics by 2050?

Which Millennium Prize Problem will be solved next?

Which millenium problem will be solved first?

Which Millennium Prize Problem will be solved next?

Will a Millenium problem be formally stated in a theorem prover by 2025

Which of the Millenium Prize problems will be solved next?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules