El anhelo humano por delegar el pensamiento deductivo a las máquinas ha tropezado históricamente con un muro invisible: la diferencia entre parecer inteligente y serlo bajo las leyes inmutables de la lógica. En el panorama actual de la computación, donde las entidades de aprendizaje profundo han alcanzado una elocuencia que roza la paridad con el…
El fin de los teoremas imposibles
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…