El trabajo de Chaitin extiende la aproximación de Gödel sobre la incompletitud y la hace más accesible enfocándola a la computabilidad.