michael_nielsen

Yes… there’s still some proofs in high school geometry, I believe, but no real explanation of what a proof is and why you should care, so I suspect it’s totally forgotten at the end of the year

This. The significance and nature of proofs is not taught at school, and mostly not even understood by the teachers, because they don't understand the concept of epistemology.

Right… and, unfortunately, I don’t think the MIT professors I had as a math undergraduate understood the issues involved at all well either. Anyway, were unwilling to discuss them!

And then you ran into the @rodneyabrooks and he irrevocably burned your brain because you had no epistemological defenses against his embodimentalism and you despaired and because a Buddhist

Just for the historical record, Phil Agre and I got embodiment from Lucy Suchman and Hubert Dreyfus. Rod came to it independently at the same time (as did Leslie Kaelbling & Stan Rosenschein).

This is very interesting; closer to the mark than much writing on embodiment, which often seems like wishful thinking. What of arguments like Chomsky's &, in a different domain, people like Dehaene: that there is substantial innate structure to support certain abstractions?