Since any formal system is limited (as shown by Gödel's Incompleteness Theorem), and since the mind is obviously not limited in a similar manner, it follows that the mind is not a formal system (or, in other words, not an algorithm).

http://tal.forum2.org/newmind