Reflexión la realizada por J. R. Lucas: Por más complicada que sea la máquina que construyamos, se corresponderá, si es una máquina, con un sistema formal, el cual estará expuesto, a su vez, al procedimiento Gödel de hallazgo de una fórmula indemostrable-en-tal-sistema. La máquina será incapaz de producir dicha fórmula como verdadera, en tanto que una mente puede percibir ese carácter. De este modo, la máquina seguirá sin lograr constituirse en un modelo adecuado de la mente.
