Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
(1858-1932) HIST.
Matemático y lógico italiano, nacido en Cuneo. Uno de los fundadores de la metamatemática, o ciencia que trata de las propiedades formales de un sistema deductivo. Fue el primero en utilizar el nombre de «lógica matemática» para describir la lógica moderna simbólica, a la que recurre como un instrumento para las matemáticas. Sostuvo la tesis de que todo enunciado matemático es una implicación, con la forma de «si p entonces q». El objetivo principal de su lógica matemática era lograr que las demostraciones matemáticas fueran rigurosas y excluyeran todo procedimiento intuitivo; para ello, construyó un sistema de signos, muchos de los cuales fueron después utilizados por Whitehead y Russell en sus Principia Mathematica. Además de rigor en la demostración, la matemática requiere axiomas y definiciones claras. Muestra de su labor en este campo, es la axiomatización de la aritmética, conocida como «postulados de Peano», cuya finalidad es eliminar del concepto de número todo recurso a la intuición (ver cita).
Llevado por su afán de claridad y difusión de los conocimientos, inventó el llamado latino sine flexione (ver cita).
Relaciones geográficas