Lucas se ha ocupado de esta cuestión en "Mentes, Máquinas y Gödel".