John Searle introduced the Chinese Room thought experiment in 1980 order to give people a way to picture the difference between what computers are doing and the human mind.
The thought experiment was rendered necessary because many analytic philosophers have promoted CTM – the computer theory of mind. CTM is almost certainly not true. Computers are machines and machines are rule-following devices. Goedel’s Theorem and Alan Turing’s analysis of the Halting Problem prove that even mathematics is not simply a rule-following exercise. If it were, then mathematics could be formalized – meaning it could be reduced to the manipulation of symbols without having to worry about what those symbols mean. In fact, in such a scenario, “symbols” per se are eliminated and simply replaced with zeros and ones. Mathematical formalism would mean that truth is irrelevant, but Goedel’s Theorem relies on truth at crucial moments in its proof…
View original post 2,349 more words