Minds, Machines and Gödel

• 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

• Conclusion

  • Computers cannot have minds

• Should Strong AI give up and go home?

  • Certainly Gödel’s theorem applies to computers

Previous slide

Next slide

Back to first slide

View graphic version