El Teorema de Chaitin asegura que no es posible determinar si un programa es elegante (en particular, no es posible determinar si un programa es elegante a partir de un determinado umbral).