La constante de Chaitin revela el núcleo aleatorio de la computación
La constante de Chaitin mide la probabilidad de que un programa se detenga. Encarna la profunda aleatoriedad subyacente a la indecidibilidad del problema de la parada en la teoría de la computación.
Alan Turing demostró en 1936 que ningún algoritmo puede predecir si un programa de computadora se detendrá. Este "problema de la parada" es fundamentalmente indecidible. Décadas después, el matemático Gregory Chaitin introdujo Ω (Omega). Es una constante que representa la probabilidad de que un programa generado al azar se detenga.