Gödel y Eurípides: anagnórisis e indecidibilidad

Frágil y transparente como el cristal, fue la más fuerte sin más arma que la piedad. Tomen ejemplo Aquiles y Odiseo, Heracles y Jasón, los propios dioses. (Epitafio de Antígona) El primer teorema de incompletitud de Gödel demuestra que un sistema formal de una cierta complejidad no puede ser a la vez consistente y completo: siempre habrá en su seno […]