El concepto de verdad en matemáticas

Descripción

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.