¿Qué es?
No se ha añadido ninguna twiki todavía.
Matemático y lógico italiano, nacido en Spinetta, cerca de 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
Quaestio si nos pote defini [math]N_0[/math] significa si nos pote scribe
aequalitate de forma
[math]N_0[/math] = expressiones composito per signos noto, [math]\cup, \cap, -, ..., \iota[/math]
quod non es facile. Ergo nos sume tres idea
[math]N_0, 0, +,[/math]
ut idea primitivo per que nos defini omni symbolo de Arithmetica. Nos determina valore de symbolo non definito per systema de propositio primitivo sequente.
_________________________________________________________________
Citado por W. Y M. Kneale, El desarrollo de la lógica, Tecnos, Madrid 1972, p. 437.
Relaciones geográficas