Los teoremas de incompletitud de Gödel pusieron de

manifiesto la existencia de enunciados matemáticos cuya

validez no puede determinarse por medio de procedimientos
formales.

Poco después, Alan Turing demostró la imposibilidad de

resolver el problema de la detención: determinar por
anticipado si un programa informático dado llegará o no a
detenerse.

A partir de esa idea puede definirse el número omega, una

cantidad concreta y carente de ambigüedades que, sin
embargo, ningún programa informático podrá calcular jamás.