Re:Gödel's Incompleteness Theorems (2015)
by eli_gottlieb on Tuesday April 04, 2017 @07:50PM
(#14038388)
>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.
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.