Will the consistency of the First Order Theory beyond Higher Order Set Theory be determined by EOY 2050?
0
1k2050
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,000 to start trading!
1,000Related questions
Related questions
What will be true of Anthropic's best LLM by EOY 2025?
Will we have the Theory of Everything by 2040?
18% chance
Will we get a new LLM paradigm by EOY?
24% chance
Will I Think Extropic AI Accelerated Timelines by EOY 2027?
15% chance
Will an inconsistency in ZFC be found before 2050?
9% chance
Will Algorithmica receive more content before EOY 2025?
52% chance
Will any LLM released by EOY 2025 be dangerously ASL-3 as defined by Anthropic?
64% chance
What WON'T happen by EoY 2025? [ADD RESPONSES]
Will the "Hot Stove Theory of Iteration" be cited by someone important by EOY 2030?
67% chance
Will future language models converge on "what Einstein would have thought of Many-Worlds?" before 2036?
46% chance