Question: Will a small Turing machine (< 100 states) be found with behavior that cannot be characterized by mathematical proof?
Created: 2016-08-07
Resolved: 2017-07-17
Answer: no