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

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 of the Millenium Prize problems will be solved next?

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

Which Millennium Prize Problem will be solved next?

Which millenium problem will be solved first?

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

Will an inconsistency in ZFC be found before 2050?

Related questions

Are any Millennium Prize problems undecidable/unprovable/unsolvable?

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

Will the next Millennium Problem be solved by an AI?

Which Millennium Prize Problem will be solved next?

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

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?

Will an inconsistency in ZFC be found before 2050?

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