Un análisis en profundidad sobre Gödel’s Poetry y el nuevo paradigma en la verificación matemática automatizada La historia del pensamiento matemático podría interpretarse, en su vertiente más ambiciosa y romántica, como una prolongada y obstinada persecución de la certeza absoluta. Desde el instante primigenio en que los antiguos geómetras griegos trazaron las primeras líneas sobre…
Adiós al error humano matemático
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…