La teoría clásica de la verdad matemática afirma que la deducción a partir de axiomas intuitivos es condición suficiente y necesaria para la verdad matemática. Al menos tres crisis importantes a lo largo de los últimos ciento cincuenta años quebraron esta confianza: la irrupción de geometrías no euclídeas, el descubrimiento de contradicciones en el seno de la teoría de conjuntos y la constatación de la existencia de limitaciones intrínsecas en los sistemas axiomáticos. La última esperanza, la posibilidad de encontrar un algoritmo que respondiera a toda pregunta bien formulada, se desvanecía igualmente. Quedaba una concepción mucho más débil de verdad matemática, menos ingenua y de gran riqueza de matices.

Jesús M. Landart Ercilla. Estudios de Ingeniería Técnica Electrónica por la EHU/UPV, Licenciado en Ciencias Matemáticas por la UNED, Graduado en Filosofía por la UNED, Máster en Lógica, Historia y Filosofía de la Ciencia por la UNED.