Un análisis en profundidad sobre Gödel’s Poetry y el futuro de la verificación matemática automatizada La historia del pensamiento matemático podría interpretarse, en su vertiente más ambiciosa, como una prolongada y obstinada persecución de la certeza absoluta. Desde el momento en…