Will the consistency of the First Order Theory beyond Higher Order Set Theory be determined by EOY 2050?
Plus
0
2050
50%
chance
1D
1W
1M
ALL
The First Order Theory beyond Higher Order Set Theory is written for the googolism Large Number Garden Number - the current largest known non-salad number in the googology community. This is such a strong theory that it might be possible to be inconsistent in some trivial way.
Resolves YES if I found rigorous proof for/against the consistency of the set theory that Googology Wiki has accepted. Resolves NO if no such proof is released before EOY 2050. If for any reason the Googology Wiki ceases to exist, I will use other sources or my own judgment.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Related questions
Related questions
What will be true of Anthropic's best LLM by EOY 2025?
Will Anthropic remain independent by EOY 2024?
96% chance
Will any foundation models/LLMs be able to reliably come up with novel unparalleled misalignments before EOY 2024?
49% chance
What WON'T happen by EoY 2025? [ADD RESPONSES]
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
17% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
32% chance
Will I Think Extropic AI Accelerated Timelines by EOY 2027?
24% chance
Will we have the Theory of Everything by 2040?
18% chance
Will any LLM released by EOY 2025 be dangerously ASL-3 as defined by Anthropic?
59% chance
Will future language models converge on "what Einstein would have thought of Many-Worlds?" before 2036?
46% chance