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?

Which Millennium Prize Problem will be solved next?

Which Millennium Prize Problem will be solved next?

Which millenium problem will be solved first?

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

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

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

Which of the Millenium Prize problems will be solved next?

When will one of the remaining Millenium Problems be solved?

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?

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

Which Millennium Prize Problem will be solved next?

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

Which Millennium Prize Problem will be solved next?

Which of the Millenium Prize problems will be solved next?

Which millenium problem will be solved first?

When will one of the remaining Millenium Problems be solved?

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