Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
➕
Plus
38
Ṁ4014
2040
25%
chance
Get
Ṁ1,000
and
S3.00
Sort by:
bought Ṁ15 NO

no way

What if it's proven that "proving then possible or impossible" is impossible?

predictedNO

@StrayClimb But proving the problem would also prove that it's provable. So it's impossible to prove that they can't be proven possible or impossible, since, in doing so, you would prove that they are impossible, a contradiction.

predictedNO

@StrayClimb I'm not going to go over each problem, but eg. RH is \Pi^0_1 and one of two Turing Machines must halt with a proof or counterexample.

© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules