“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.”