Penrose's issue is that most mathematicians have disagreed with his understanding of Godel's theorem. He basically wants to say "A computer by definition can't

Penrose's issue is that most mathematicians have disagreed with his understanding of Godel's theorem. He basically wants to say "A computer by definition can't know that a "Godel statement" is true, and yet I do, and therefore my mind can't be a computer." Yet Godel's theorem is entirely formal and understandable by a computer, which can draw the same conclusions about any such statement as a human.