Habiendo comenzado hacia fines de los años 1960, Chaitin hizo importantes contribuciones a la teoría algorítmica de la información y a la metamatemática, en particular un teorema de la incompletitud similar en espíritu al teorema de incompletitud de Gödel.