Chaitin definió la constante de Chaitin Ω, un número real cuyos dígitos están equidistribuidos y expresa la probabilidad de detención de un programa escogido al azar.