

A partir dos anos 1960, Chaitin fez contribuições para a teoria da informação algorítmica e metamatemática, em particular um novo teorema da incompletude, em reação ao teorema  da incompletude de Gödel.