[I]nfluences that lead to the study of... mental entities and structures... came from... s and cybernetics, and from formal linguistics. They fostere… - Joscha Bach

[T]he types of models that we form right now are not sparse enough... which means that, ideally, every potential model state should correspond to a potential world state. So... if you vary states in your model, you always end up with valid world states. ...[O]ur mind is not quite there... an indication is especially what we see in dreams. The older we get, the more boring our dreams become, because we incorporate more and more constraints that we learned about how the world works. So many of the things that we imagine to be possible as children turn out to be constrained by physical and social dynamics, and as a result fewer and fewer things remain possible. It's not because our imagination scales back, but the constraints under which it operates become tighter and tighter. ...So the constraints under which our neural networks operate are almost limitless, which means it's very difficult to get a neural network to imagine things that look real.

[C]omputation is about doing the work... executing a transition function.

You cannot define objective truth without understanding the nature of truth... So what does the brain mean by saying that it's discovered something as truth... A model can be predictive or not... [T]here can be a sense in which a mathematical statement is true because it's defined as true under certain conditions. So it's... a particular state that a variable can have in the assembled game and then you can have a correspondence between systems and talk about truth, which is again a type of model correspondence.