Penrose's views on Maths
  1. Humans can see if a result is true
  2. Computers cannot understand maths
  3. A Maths understanding program limited by Godel


Penrose believes that humans can directly see the truth or falsehood of a mathematics statement. Further, he believes that computers understand mathematics because any mathematics understanding program would be limited by Godel's theorem.