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:
Closes:
Resolves:
Comments
? comments
Authors:
Opened:
Closes:
Resolves: