Abstract
El trabajo se refiere principalmente a los programas elaborados por Chaitin para computar con una máquina universal de Turing y a cómo puede mostrarse que el número omega de Chaitin (elaborado sobre la base de la probabilidad de la detención de un programa) es absolutamente incomputable. Se trataría de una entidad matemática definible pero no compactable (en el sentido de compresible), y que se puede comparar con un enunciado a la Godel, verdadero pero indemostrable.