Lucas and Penrose extended this: if human cognition is not Turing-computable, then 'computable' in t...