>see the mind as computation over a formal system Wow, is that what people actually think a "computational theory of mind" is? Look, just because every progra

>see the mind as computation over a formal system Wow, is that what people actually think a "computational theory of mind" is? Look, just because every program can be trivially rewritten as some kind of formal proof system, doesn't mean that any given program meaningfully has the semantics of a formal proof system, let alone the mind.