Peano2.gif

Nacimiento:27 agosto 1858en SpinettaMuerte:20 abril 1932en Turín

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

ver cita en 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.


ver cita

Relaciones geográficas

Cargando el mapa…