I scanned what Chaitin had to say. Fundamentally Godel constructed a "true" statement which, if it is true certainly cannot be proved: i.e., "this statement cannot be proved". I would rather just add the new catagory, "meaninless" and refer to the statement "this statement cannot be proved" as a meaningless statement.

This is no more than a question of preferred definition as, in my head, there is nothing more insane than the statement that a true statement cannot be proved as, as far as I am concerned, the term true maps 1:1 to being proved. Nothing can be regarded as true unless it can be proved neither can anything be regarded as false unless it can be so proved! Until the proof is understood, it is no more than opinion.

I find a definition which violates that property to be confused and ill defined.

Just an opinion -- Dick