Brain in a Box

This Gödel is Killing Me

I really wish I could take credit for that pun; but no...

Some years ago, J.R. Lucas formerly a mathematician and philosopher of Merton College, Oxford, wrote in "Minds, Machines and Gödel" (and later in The Freedom of the Will) that Gödel's Incompleteness Theorems implies that mechanistic theories of the mind are false. 

Gödel's theorem states that any consistent system strong enough to produce simple arithmetic contains unprovable, though perfectly meaningful...