I have been thinking about the difference between a mathematical model and a computational model. There is something different about the 4 colorability proof (you only need 4 colors to color a map), and like Godel’s incompleteness proof. For the colorability proof you actually have to simulate the problem and find all the results. There is no schema that will give you the answer – what is this!
I am not sure, but one of the things I was thinking about today is time. For a mathematical model time is not directional, but for a computation it is. How do you run a neural network backwards in time?