Chaitin makes a number of faith-leaps regarding the applicability of his results. One is relevant to LtU.
Similarly, proving correctness of software using formal methods is hopeless. Debugging is done experimentally, by trial and error....
Experimentation is the only way to 'prove' that software is correct. Traditional mathematical proofs are only possible in toy worlds, not in the real world. The real world is too complicated.