Will ZFC no longer be the standard foundation for mathematics by 2050?
50
1kṀ17862050
33%
chance
1H
6H
1D
1W
1M
ALL
ZFC is the framework most contemporary mathematicians work in. However, some people don't like it. It's also possible that it is flawed some ways. Some people are working on new systems.
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will an inconsistency in ZFC be found before 2050?
9% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
50% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
31% chance
Will rw_search be able to replace >50% of mathlib proofs by 2025-11-26?
19% chance
Will most physicists believe in a version of the Mathematical Universe Hypothesis by 2030?
8% chance
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
41% chance
Will we have a superhuman mathematician by the beginning of 2026 (as defined here: https://twitter.com/ChrSzegedy/status/1598341927828594688)?
11% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
60% chance
Is the Riemann hypothesis true, false or unprovable in ZFC?
Will Riemann hypothesis be proven or refuted before 2050?
44% chance