God, the Devil, and Gödel
Benacerraf, Paul. "God, the Devil, and Gödel." Monist 51 (1967): 9.
An attempt to refute J. R. Lucas's arguments against the possibility of true AI, cited by D. Hofstadter in the Bibliography to Gödel, Escher, Bach. Described by Hofstadter as "All about mechanism and metaphysics, in the light of Gödel's work" (746). See "A Rejoinder to Paul Benacerraf" by J. R. Lucas."