Lucas, J. R. Umysły, Maszyny I Gödel. H 2009, 8, 96-117.