Questions
Tournaments
Services
News
Questions
Tournaments
Questions
Questions
More
Log in
Sign Up
Log in
Sign Up
4
62
forecasters
8
4 comments
62 forecasters
Computing and Math
1 more...
Will a small Turing machine (< 100 states) be found with behavior that cannot be characterized by mathematical proof?
Follow
share
embed
Resolved
No
Timeline
Histogram
1d
1w
2m
all
Comments (4)
Timeline
Key Factors (0)
Question Info
Similar Questions
No key factors yet
Add some that might influence this forecast.
1 comment
12 forecasters
Smallest Value of BB Not Decided by PA
Current estimate
61.5
2 comments
13 forecasters
Smallest value of BB not decided by ZFC
Current estimate
91.9
17 comments
85 forecasters
Is the halting problem for the Collatz Program computable?
92%
chance
8 comments
49 forecasters
When will the halting problem for the Collatz Program be resolved?
Current estimate
Mar 2072
28 comments
167 forecasters
Is the Collatz Conjecture true?
95%
chance
20 comments
22 forecasters
When will AI solve a Millennium Problem?
Current estimate
Jul 2031
11 comments
142 forecasters
AI verification of math proofs by 2030
95%
chance
7 comments
65 forecasters
Riemann H. proved true, if settled by 2100
92%
chance