¿Es posible estimar empíricamente la constante de Chaitin?

La constante de Chaitin no es computable, significa que no hay un algoritmo finito para determinar todos sus dígitos, y ningún programa de computadora puede ser diseñado para calcularlos todos (asumiendo la tesis de Church-Turing). Los números computables, por el contrario, se pueden calcular con un programa real de extensión finita. Por supuesto, para obtener todos los dígitos si el número es irracional, necesitaría un tiempo infinito, pero el programa siempre es finito. Todos los racionales, los irracionales algebraicos y muchos números trascendentes, incluso [matemática] e [/ matemática] o [matemática] \ pi [/ matemática] son ​​computables. A pesar de ellos, el conjunto de los reales computables es infinito contable, y luego cerca de todos los reales no son computables. Pero eso no significa que no pueda obtener con un programa de computadora un largo finito arbitrario de dígitos para un número computable (el máximo de dígitos depende del lenguaje de programación y el número concreto), pero nunca todos