Chaitin [2007] presented the following analysis: Godel's proof of inferential undecidability [incompleteness] was too superficial. It didn't get at the real he

Chaitin [2007] presented the following analysis: Godel's proof of inferential undecidability [incompleteness] was too superficial. It didn't get at the real heart of what was going on. It was more tantalizing than anything else. It was not a good reason for something so devastating and fundamental. It was too clever by half. It was too superficial. [It was based on the clever construction] I'm unprovable. So what? This doesn't give any insight how serious the problem is.