J. MIGUEL SAGUILLO FERNANDEZ VEGA

El pensamiento lógico-matemático reúne una serie de aspectos recurrentes que son identificables a lo largo de su historia. Desde los resultados incipientes de la aritmética pitagórica y de la geometria euclidea, hasta los desarrollos modernos de los correspondientes sistemas abstractos de la aritmetica de Peano-Godel y de la geometria de Hilbert, las ciencias deductivas exhiben una tradicion de pensamiento solidamente fundada en el valor epistemico de la prueba clasica. Esta progresion no ha estado exenta de crisis abruptas y convulsas derivadas de la tension que origina el intento de expandir el conocimiento, como cuando un nuevo descubrimiento matematico pone en entredicho lo que hasta entonces era considerado verdadero. Paradojas tales como la derivada del descubrimiento de la inconmensurabilidad de la diagonal con el lado de un cuadrado en los tiempos pitagoricos, o las derivadas del descubrimiento de algunas contradicciones en la moderna teoria de conjuntos, dan cuenta tambien de esta tension.