62 forecasters

Will a small Turing machine (< 100 states) be found with behavior that cannot be characterized by mathematical proof?

25%chance

ResolvedNo

The community gave this a 25% chance, and it resolved No.

Forecast Timeline

Authors:

Opened:

Aug 8, 2016

Closes:

Dec 1, 2016

Resolved:

Jul 17, 2017

Spot Scoring Time:

Aug 9, 2016

Learn more about Metaculus NewsMatch