This is a good point, I didn't know Alan Kay had said this. Logic can sometimes be used to describe (to model) some minute aspect of thinking. But it is nearl

This is a good point, I didn't know Alan Kay had said this. Logic can sometimes be used to describe (to model) some minute aspect of thinking. But it is nearly always a massive simplification, discarding much of what happened during the thought process. A couple of similar examples that might help: - Thinking is not arithmetic (but arithmetic can be used to describe the result of some thoughts about stuff.) - The solar system is not computing anything (but we can use the patterns as a though it were a program executing a timer/counter). A related point is that thinking is not "executing an algorithm on a Turing machine".