Minds, Machines and Gödel

• Title of article by J.R. Lucas

  • reprinted in `Minds and Machines’, ed. A.R. Anderson
    • Prentice Hall, 1964

• Argument is based on the following premises

  • 1. Gödel’s theorem shows that any consistent and powerful formal system must be limited
    • there must be true statements in cannot prove
  • 2. Computers are formal systems
  • 3. Minds have no limit on their abilities

Previous slide

Next slide

Back to first slide

View graphic version