Will ZFC prove a contradiction by 1 0000? | Manifold

Will ZFC prove a contradiction by 1 0000?

4

Ṁ139

9999

20%

chance

1D

1W

1M

ALL

This market will resolve YES if, before the year 1 0000, a finite proof is discovered, within the standard formulation of ZFC, that derives a contradiction (e.g., 0 = 1), and this result is verified and accepted by the mainstream mathematical community. Otherwise, it will resolve NO.

Get

1,000

and

1.00

Related questions

Will ZFC prove a contradiction by 2100?

Will an inconsistency in ZFC be found before 2050?

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

Will PA prove a contradiction by 2100?

Is the Riemann hypothesis true, false or unprovable in ZFC?

Will PA prove a contradiction by 1 0000?

Is any Millenium problem independent of ZFC?

Related questions

Will ZFC prove a contradiction by 2100?

Is the Riemann hypothesis true, false or unprovable in ZFC?

Will an inconsistency in ZFC be found before 2050?

Will PA prove a contradiction by 1 0000?

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

Is any Millenium problem independent of ZFC?

Will PA prove a contradiction by 2100?

Terms & Conditions•Privacy Policy•Sweepstakes Rules