Internet of Events Leaderboard Traders Markets Hot Bets Surveillance Pricing

Log in Get Access

Accrue
/Home
/Manifold Markets
/Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?

ManifoldActiveBINARY · cpmm-1

Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?

Yes8%

Yes Pool

$739

No Pool

$978

Probability

8%

Volume$993

24h Volume$0

Liquidity$1K

Traders12

CreatorJesper Cockx

ClosesDec 31, 2049

View on Manifold →Compare Across Platforms →

Accrue© 2026

Internet of Events Leaderboard Traders Markets Hot Bets Surveillance

The Intelligence Terminal for Prediction Markets

Terms Privacy Risk Disclosure Cookies Disclaimer Acceptable Use