"And before you go much further down the Godel path, I had plenty of Godel in graduate school (and scored top of the class in the final exams, with a 96% score), and recently rehearsed the argument Jaki and now Hawking have given on why there are strong Godelian reasons for doubting the constructibility in this universe of a complete ToE."