Although this is not the "detailed proof" you seek, still you might find Chaitin's own reasoning interesting, as articulated in his Scientific American article "The Limits of Reason" (PDF download link):
![GCincomp][1]
![GCincomp][1]
Joseph O'Rourke
- 150.8k
- 36
- 358
- 958