“Godel showed that provability is a weaker notion than truth, no matter what axiom is involved…It suggest ultimately, we cannot understand our own mind/brains….All the limitative theorems of mathematics and the theory of computation suggest that once the ability to represent your own structure has reached a certain critical point, that is the kiss of death, it guarantees that you can never represent yourself totally.”–Hofstadter, Godel, Escher, Bach