Está en la página 1de 12
 
 
RESUMEN
Nos referiremos a algunos aspectos de la obra de este matemático italiano, al cumplirse este año el centenario de la publicación de "Arithmetices principia nova methodo exposita", donde propone la axiomatización de la  Aritmética que lleva su nombre y hace su primer desarrollo formal. Fue uno de los fundadores de la lógica simbólica. Su clarificación del concepto de "membresía" o "pertenencia" lo sitúa entrel os pioneros del lenguaje de la teoría de conjuntos. Puede considerársele precursor del formalismo de Hilbert.
 En 1989 - hace hoy cien años, y este centenario es una de las motivacionescircunstanciales de este trabajo - el matemático y lógico italiano GiuseppePeano (1858-1932) publicó en Turín su obra Arithmetices principia novamethodo exposita (Los principios de la Aritmética expuestos según un nuevométodo) con notas en latín. En esta obra él caracterizó a los númerosnaturales axiomáticamente y los hoy llamados "axiomas de Peano" se exponenallí, aunque en forma simbólica distinta a la actual. Utilizó para escribirlos lalógica simbólica, de la que puede ser considerado uno de sus fundadores. Sunombre ha permanecido particularmente a través de estos "axiomas dePeano". Sin embargo su aporte fue fecundo también a través de otrostrabajos.Nuestro propósito es mostrar algunos aspectos importantes de sus obras, yaque en su época fue muy influyente como lógico y como matemático. Fueprincipalmente, con Peano y su escuela, que Italia empezó a tomar parte activaen lo que a desarrollo y fundamentos de la matemática se refiere. Hasta finesdel siglo XIX en Europa Occidental habían sido Alemania, Inglaterra y Francialos países más destacados en relación con esas investigaciones.También queremos referirnos a algunos antecedentes históricos que tienenrelación con sus obras, a matemáticos que lo influyeron directamente y a porqué puede considerársele como precursor del posterior formalismo de Hilbert.Finalmente indicaremos algunas de sus obras.Giuseppe Peano fue originalmente matemático. Como tal contribuyó aldesarrollo de la teoría general de funciones e hizo aportes innovadores.Fue uno de los fundadores de la lógica simbólica.Como matemático y lógico se propuso el proyecto de expresar en unlenguaje simbólico la lógica matemática y los resultados de las diversas ramasde la matemática. Este proyecto entusiasmó a colaboradores y se materializóen la obra Formulario Matemático.Fue uno de los primeros en sentar las bases de un lenguaje formal apropiadopara los proyectos de axiomatización. Influyó en la escuela axiomática francesay en el proyecto de Russell y Whitehead que culminó en Principia Mathematica.
 
 A partir de 1903 inventó "Interlingua" o "Latino sine flexione" y desdeentonces se dedicó principalmente a trabajar sobre esta lengua artificial quereúne y simplifica vocabulario y elementos gramaticales del latín, francés,alemán e inglés. Esta labor tuvo menos repercusión que las referidasanteriormente, particularmente su estructura axiomática para los númerosnaturales.
PEANO EN EL SIGLO XIX 
La historia de la ciencia muestra que el desarrollo de nuevas ideas, así comola búsqueda de bases más sólidas sobre las cuales fundamentar las yaexistentes, necesita de lo que podríamos llamar un "ambiente" propicio. EuropaOccidental, a finales del siglo XIX y comienzos del siglo XX, proveyó de esteambiente al desarrollo de la lógica, del método axiomático y de la matemáticaen general. Esta época estuvo caracterizada por grandes cambios queabarcaron prácticamente toda la actividad humana, en particular lasmatemáticas y las ciencias. Estos cambios se gestan a principios del siglo XIX ycontinúan hasta la primera mitad del siglo XX. En lo que concierne a lasmatemáticas, se inician en el primer tercio del siglo XIX con el nacimiento de lasgeometrías no euclideanas y la introducción del rigor en el análisis.Citemos al respecto un párrafo de Carl Boyer, tomado de su obra
 A History of Mathematics 
:"Las matemáticas han sido comparadas a menudo con un árbol, que crece alo alto y ancho expandiendo la estructura de su ramaje sobre la tierra, mientrasal mismo tiempo hunde sus raíces cada vez más profundamente y a lo ancho enla búsqueda de un fundamento firme. Este doble crecimiento fue especialmentecaracterístico del desarrollo del análisis del siglo XIX, ya que la rápida expansiónde la teoría de funciones fue acompañada por la rigurosa aritmetización deltema desde Bolzano hasta Weierstrass. En álgebra el siglo XIX había sido másnotable por los nuevos desarrollos que por la atención dada a los fundamentos( . . . ). Sin embargo, durante los últimos años del siglo hubo varios esfuerzospara proveer con raíces más fuertes al álgebra. El sistema de los númeroscomplejos es definido en términos de los números reales, los cuales sonexpuestos como clases de números racionales, los cuales a su vez son paresordenados de enteros; pero, ¿qué son, después de todo, los enteros?"Los intentos de respuesta y la respuesta a esta pregunta están en el corazónde los fundamentos de la matemática, al ser ésta referida, en última instancia,a la aritmética. Ya para finales del siglo XIX, las diversas ramas de lamatemática se fundamentaban en el concepto de número natural. Peano fuemás allá, al mostrar que la teoría ordinaria de los números naturales puede serconstruida a partir de tres conceptos primitivos ("uno", "número" y "sucesor") yde nueve postulados, cuatro de los cuales corresponden a la igualdad.Transcribimos, a continuación, el párrafo en el cual Peano introduce susaxiomas, con su propia simbología. (D. A. Gillies, 1982):
 
"Explicaciones"El signo N significa número (entero positivo); 1 significa unidad; a+1significa el sucesor de a o a más 1; y = significa es igual a (este debe serconsiderado como un nuevo signo, aunque tiene la apariencia de un signo delógica).
 Axiomas.
1. 1 e N.2. a e N . É . a=a.3. a, b e N. É : a=b.=.b=a.4. a,b,c e N. É. . . a=b.b=c: É . a=c.5. a=b.b e N: É . a e N.6. a e N. É .a+1 e N.7. a,b e N. É .a=b.=.a+1=b+18. a e N . É . a+1 -=19. k e K . . . 1 e k.x e k : Éx.x+1 e k : : É N É k 
Definiciones.
 10. 2 = 1+1; 3 = 2 + 1; 4 = 3 + 1; etc."
Observaciones:
En 9, k e K significa que k es una clase, y N É k significa que N es unsubconjunto de k."Los axiomas 2, 3, 4, 5 son axiomas de igualdad, así es que los axiomas 1, 6,7, 8, 9 son los llamados "axiomas de Peano". Es interesante notar que el mismoPeano no separó en este trabajo los dos tipos de axioma, haciendo así másexplícita la caracterización de número natural.1, 6, 7, 8, 9, escritos informalmente, quedan:(P1) 1 es un número.(P2) El sucesor de cualquier número es un número.(P3) Dos números son iguales si y sólo si sus sucesores soniguales.
576648e32a3d8b82ca71961b7a986505