Giovanni Girolamo Saccheri

Nació en San Remo el 5 de septiembre de 1667 y murió en Milán el 25 de octubre de 1733. Fue un precursor de la geometría no euclidiana. Ingresó en 1685 en la Compañía de Jesús, y estudió los Elementos de Euclides bajo la guía del geómetra Tommaso Ceva. Desde 1699 hasta el fin de sus días enseñó mate­máticas en la universidad de Pavía. La obra fundamental de Saccheri, publicada el mismo año de su muerte, es Euclides rei vindicado (v.), de la cual resulta premisa esencial Lógica demostrativa (1697).

En ella el autor anticipa los criterios lógicos modernos em­pleados en el examen de la dependencia de los postulados, y desarrolla singularmente una forma original de razonamiento «a con­trario» (una proposición es verdadera si su negación «se destruye a sí misma», es decir, si de su negación se puede deducir la pro­posición misma). Esta particular técnica de­mostrativa es aplicada por Saccheri en su Euclides al postulado de las paralelas. Aun cuando vinculada a la geometría no euclidiana (hi­perbólica) de Lobachevski (v.) y Bólyai (v.), ni uno ni otro conocieron la obra de Saccheri, por cuanto ésta no fue «descubierta» y apre­ciada hasta 1889.

L. L. Radice