Awareness and understanding of math is not the same as doing math, I think he would say.
Penrose knows that. But if you read his "Road to reality", he really seems to think that we can do mathematics in ways that machines cannot. He must be aware that our "informal logic" is probably formalizable, but for some reason Gödel compels him to bet his soul against it.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.