[snarks_when_bored]

I find nothing to criticize in that quote from Yourgrau as far as what Gödel accomplished, but I do point out that he ends by saying this: "...if we are able somehow to grasp the complete truth in this domain, then we, or our minds, are not machines or computers." That 'if' is huge. I see nothing that leads me to believe that we're capable of grasping the complete truth in mathematics.

[headsonpikes]

I see nothing that leads me to believe that we're capable of grasping the complete truth in mathematics.

We only have to grasp one truth uncaptured by a formal system to satisfy Goedel's criterion, not all truths.

As I read it.