  It has been commonly argued, on the basis of Goedel's theorem and related
mathematical results, that true artificial intelligence cannot exist. Penrose
has further deduced from the existence of human intelligence that fundamental
changes in physical theories are needed. I provide an elementary demonstration
that these deductions are mistaken.
