Una antigua crítica tiene su origen en John Lucas (1961), quien afirmaba que los teoremas de incompletitud de Gödel plantean problemas insuperables a la analogía espíritu/máquina.