One picky remark: Paul Almond ascribes this argument to Searle, and indeed it appears in a work of Searle's from 1990; but Hilary Putnam published a clearer and more rigorous presentation of it, two years earlier, in his book "Representation and reality".

(Putnam also demolished the rather silly Goedelian argument against artificial intelligence that's commonly attributed to J R Lucas before Lucas even published it. Oh, and he was one of the key players in solving Hilbert's 10th problem. Quite a clever chap.)