Chaitin nos lleva desde la irreductibilidad en la computación a la irreductibilidad en la lógica, definiendo para ello el concepto de elegancia en los programas de ordenador como ya hemos visto antes.