A Different Perspective on Maths & AI
  1. Not possible to have a perfect maths program
  2. Humans are not perfect
  3. Humans use a "scruffy architecture"
  4. Machines can be scuffy
Here is presented a different perspective on Maths and AI than the one offerred by Penrose.
It is not possible to have a perfect maths program that could solve any problem you gave it. Humans are not perfect at doing mathematics, or any other kind of problem solving. This is because humans use a scruffy cognitive architecture derived from evolution. But, machines can be designed also to have scruffy cognitive architectures. The Contextual Memory System is an example of a scruffy cognitive architecture.