En Unknowable, Chaitin demuestra que no se puede demostrar que un programa sea elegante.