Question
Will a small Turing machine (< 100 states) be found with behavior that cannot be characterized by mathematical proof?
Resolved :No25%Total Forecasters62
Community Prediction25% (15% - 36%)
Make a Prediction
Did this actually happen?No
Community Baseline Score
49.1
Community Peer Score
24.5
Authors:
Opened:Aug 8, 2016
Closes:Dec 1, 2016
Resolves:Jul 17, 2017
Comments
? comments
Authors:
Opened:Aug 8, 2016
Closes:Dec 1, 2016
Resolves:Jul 17, 2017
