Giuseppe Peano

Giuseppe Peano

El papel del matemático italiano Giuseppe Peano fué crucial en todo el proceso de paso de una visión "ingenua" de la lógica a una lógica que establecería ya el rigor, mediante reglas de juego, del proceso de la demostración.

La lógica de enunciados y Peano:
Hasta el año 1878, en el que comenzó a publicarse una serie de artículos de Hugh Mc Coll (1837-1909) sobre el "Cálculo de enunciados equivalentes", se consideraba que la lógica matemática era, simplemente, la lógica de clases, el álgebra de clases. Fue a partir de entonces cuando se empezó a entender que toda la lógica matemática dependía de la implicación lógica entre enunciados diversos. Que la raíz de toda la lógica matemática es la teoría de enunciados, y no la teoría de clases.
La gran aportación de Peano al respecto fue la idea de que es posible poner todas las argumentaciones de la lógica de enunciados y de la lógica de clases en un lenguaje artificial de signos, conectados mediante implicaciones. En este sentido, afirmaba que "todos los teoremas de la matemática sin implicaciones entre enunciados".
Esta idea de Peano fue inspiradora de la definición que Russell y Whitehead daban en los Principia Mathematica del concepto que tenían de la Matemática: La matemática es la clase de los enunciados de la forma "si A entonces B", estando los enunciados A y B sujetos a ciertas limitaciones.
Para Peano la Logica Matemática era, realmente, la Lógica de la Matemática, esto es, un instrumento cuyo objetivo era dar el rigor y adecuado valor a las argumentaciones del quehacer de la matemática.

Aportaciones del trabajo de Peano:
El deseo de colocar las argumentaciones de la matemática en un lenguaje riguroso, obligó a Peano a desarrollar un cuerpo de signos que sirvieran para la notación de los razonamientos y las definiciones de objetos. Fueron varios los símbolos que comenzó a utilizar y las ideas sobre la simbolización de los razonamientos que aún en nuestros días se utilizan comúnmente.
Un ejemplo importante es la simbolización de una clase por medio de un enunciado que estableciera una cierta propiedad. Sería algo asi como "la clase de los objetos x tales que p(x)". Esto es algo así como un axioma formador de clases por la propiedad p(x) que contengan los objetos x.
Otro descubrimiento de Peano fue el hecho de que "ser elemento" de una clase, es decir "pertenecer" a una clase, es algo diferente a "estar incluido o contenido" en una clase. Es decir, estableció la diferencia entre los objetos de una clase y las partes de una clase. Para la indicación de la relación de pertenencia se utiliza hoy dia el símbolo "" y para la relación de inclusión el símbolo "".
Otra notación que hoy día seguimos utilizando es la del cuantificador universal, esto es la notación, por ejemplo, de "para todo x, x pertenece a A si p(x)", que hoy día hacemos con el símbolo "". Asimismo, el cuantificador existencial para indicar situaciones como "existe algun x tal que p(x)", que también hoy dia simbolizamos con "".
En Italia se constituyó la llamada Escuela de Peano, un grupo de expertos interesados en las bases axiomáticas de la matemática y por el uso adecuado de un lenguaje simbólico para la exposición de los teoremas y argumentaciones. El grupo, encabezado por Peano, llevó adelante la publicación de la revista "Rivista di matematica", a partir de 1891, y la obra "Le formulaire de Mathématiques" entre los años 1895 y 1908.