[N]egligence of internal states of the mind makes it difficult to form conclusive theories of cognition, especially with regard to language... and co… - Joscha Bach

[D]espite inevitable difficulties and methodological problems, the design of unified architectures modeling the breadth of mental capabilities in a single system is a crucial stage in understanding the human mind...

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.

All our access to mathematics... is because we do computation. We can understand mathematics because our brain can compute some part of mathematics, very very little of it and to a very constrained complexity, but enough so we can map some of the infinite complexity and noncomputability of mathematics into computational patterns which we can explore.