Giuseppe Peano - matemático e logicista italiano nasceu a 27 de agosto de
1858 em Spinetta, um vilarejo próximo à Cuneo - cidade italiana em que ele e seu
irmão caminhavam para frequentar a escola.
Em 1876, Peano se matriculou na Universidade de Turim para estudar engenharia,
mas, depois decidiu cursar matemática tendo sido discípulo de Angelo Genocchi.
Após a conclusão do seu curso, tornou-se, em 1880, professor assistente
universitário.
Peano, ainda como professor assistente toma consciência da necessidade de uma
revisão dos fundamentos da matemática através de suas aulas de cálculo e decidiu
lançar o seu primeiro livro, publicado em 1884 com o nome do mestre Genocchi sob
o título " Calcolo differenziale e principii di calcolo integrale " ( Cálculo
diferencial e princípios de cálculo integral ). O livro contém os teoremas
usuais, mas com muitos aperfeiçoamentos de pormenor, formulados com grande
precisão e demonstrados com deliberada ausência de recursos intuitivos. No campo
da matemática propriamente dita, Peano estuda as equações diferenciais e
apresenta o primeiro exemplo de obtenção de soluções por métodos de aproximação
sucessiva. Independentemente desse método, desenvolveu a ideia do ponto de
agrupamento de uma função.
Em 1886, Peano assumiu ao cargo de professor na Academia Militar Real e, no
mesmo ano, provou um dos teoremas mais importantes que diz o seguinte:
Se f(x,y) é uma função contínua então a equação diferencial de primeira ordem dy/dx
= f(x,y) tem uma solução.
A existência de soluções com hipóteses mais convincentes em " f " tinha sido,
anteriormente, determinada por Cauchy e depois por Lipschitz. Quatro anos
depois, Peano mostrou que as soluções não eram únicas, dando como exemplo a
equação diferencial dy/dx = 3y2/3 , com y(0) = 0. Em 1887 ele casou-se porém não
teve filhos. Neste ano, escreveu " Applicazione geometriche del calcolo
infinitesimale " ( Aplicação geométrica do cálculo infinitesimal ).
Em 1888, ele redige obra que contém um sistema completo de cálculo geométrico,
mais simples e potente do que os similares então conhecidos ( quarterniões,
cálculo baricêntrico, eqüipolência, etc. )
Nessa época, o movimento em favor da axiomatização da matemática teve grande
impulso com Cantor e com o surgimento das geometrias não-euclidianas. A
contribuição de Peano foi de modo decisivo consistindo em efectuá-la, dando,
assim, origem ao natural desejo de uma axiomatização de toda a matemática ou
seja, o desenvolvimento dos postulados ( axiomas ) e definições que são a base
do sistema matemático.
Em 1889 publicou um livro intitulado " Arithmetices princípia novo methodo
exposita " ( Princípios aritméticos: novo método de exposição ) e " I Principi
di geometria logicamente esposti " ( Os princípios da geometria expostos
logicamente ) através dos quais abordou, em sua primeira versão, um sistema de
lógica matemática que incluía os seus famosos axiomas que definiram os números
naturais em termos de conjunto e que foi denominado de axiomas de Peano, bem
como o desenvolvimento de um conjunto relacionado para a geometria. Entende-se
por lógica matemática o uso de símbolos em vez de escrever declarações
matemáticas. A ideia tinha sido anteriormente exposta, a mais de cento e
cinquenta anos, por Leibniz que sugeriu um programa de criação de uma ideografia
como linguagem apropriada para a dedução e, de modo especial, para a matemática
e outro para um idioma universal.
Com base nos planos de Leibniz, Peano criou um simbolismo que, por sua
simplicidade, completude e facilidade de manejo, não encontrou paralelo. Usando
símbolos, as equações são simplificadas e fáceis de serem entendidas e
interpretadas. Como por exemplo, Peano introduziu os símbolos (existe ) e (
pertence ) já conhecidos por todos nós.
Em 1890, Peano assumiu o cargo de professor extraordinário e introduziu os
elementos básicos de cálculo geométrico dando novas definições para o
comprimento de um arco e para a área de uma superfície curva. Exibiu o primeiro
exemplo que preenche todos os pontos de um quadrado, isto é, uma sobrejecção
contínua f : [0,1] ----> [0,1] x [0,1]. Actualmente, chama-se Curva de Peano no
espaço métrico " M " a uma aplicação contínua f : I--->M tal que f(I) = M. A
demonstração encontra-se na página 230 do livro " Espaços Métricos " de Elon
Lages Lima.
Como já foi dito, Peano não só tomou consciência da necessidade de uma revisão
dos fundamentos da matemática, como também, um dos seus maiores interesses
estava centrado nesses fundamentos, pois, ele juntamente com Dedekind atribuía a
falta de rigor na análise ao uso indiscriminado de noções intuitivas. O
movimento crítico, em plena efervescência , levou-o a não mais considerar noções
como as de função ou de curva como noções intuitivas, mas como noções que
exigiam elaboradas definições lógicas. Sua curva, que cobre um determinado
campo, foi exemplo marcante de como as conclusões intuitivas podem deixar de ser
legítimas quando se faz exclusivo apelo a definições rigorosamente apresentadas:
mostrou que a definição de função acarreta a manutenção de noções intuitivas
acerca da dimensão dos conjuntos de pontos.
Peano, concluiu que, como resultado de suas pesquisas, o que se mostrava
necessário era uma revisão geral dos fundamentos da matemática, de modo a
transformá-la em um sistema formal coerente. A partir de então, adoptou uma
linha grega de demonstração, mas ao afirmar que as entidades consideradas (
números, funções, pontos, etc. ) não são dadas por intuição, devendo ser
introduzidas por meio de definições ou de postulados, dela se afastou. O mesmo
devia ser dito dos axiomas, que não seriam ' verdades intuitivas ', mas verdades
pressupostas, que não requerem nem admitem justificação no seio de uma teoria
formal. Introduzidos os termos primitivos e os axiomas, os teoremas seriam, em
seguida, deduzidos mediante exclusivo apelo à lógica.
Com esse objectivo, Peano renunciou à linguagem ordinária e a partir desse ponto
reescreveu toda a matemática empregando simbolismo novo e formalizando a lógica
do raciocínio matemático, bem como a linguagem em que a disciplina pode ser
expressa, substituindo inferências intuitivas por um número fixado de regras
lógicas.
O trabalho de formalização exigia apresentação das teorias existentes em forma
simbólica ¾ e grande esforço no sentido de se reorganizarem as sequências
dedutivas, para acomodá-las aos novos padrões de rigor. Com a colaboração de
amigos e discípulos, esse trabalho inicia, criando, em 1891, a " Rivista di
Matematica " ( Revista de matemática ) ¾ posteriormente " Révue de Mathématique
e Revista de Mathematica " cuja duração foi muito curta, as quais foram
publicados oito volumes, sendo que o último dos quais corresponde aos anos 1902
¾ 1906.
Neste mesmo ano, Peano foi eleito para a Academia de Ciências em Turim e foi
orador de vários Congressos Internacionais de Matemática.
Paralelamente aos trabalhos desenvolvidos, Peano publica em 1893 mais uma obra
intitulada " Lezione di analisi infinitesimale " ( Lições de análise
infinitesimal ), pois no campo da análise, ele fez muitas descobertas
importantes.
Á medida que criava a revista, Peano preocupou-se em organizar o " Formulaire de
Mathématique " cujo objetivo seria uma exposição cumulativa de todo o sistema
criado por ele que constou de cinco volumes, cuja série teve início com um
folheto intitulado " Notations de Logique mathématique; introduction au
formulaire de mathématique " cuja divulgação ocorreu em 1894.
Em 1895, Peano ocupa o mais alto posto em sua carreira de magistrado, o de
professor ordinário e nessa ocasião divulga o primeiro volume com nove seções,
escritas por ele e seus colaboradores, distribuídas da seguinte maneira:
|
I - Lógica
Matemática II - Operações Algébricas III - Operações Aritméticas IV - Teoria das Grandezas (Burali - Forti) V - Classes de Números |
VI - Teoria dos
conjuntos ( Vivanti ) VII - Limites ( Bettazzi ) VIII - Séries ( Giudice ) IX - Contribuições à teoria dos números algébricos ( Fano |
O segundo volume surgiu em três partes, cujas publicações ocorreram em 1897,
1898 e 1899 e os demais foram publicados em 1901, 1902, 1903 e 1908.
O Formulaire, no volume publicado em 1901, engloba cinco partes conforme segue:
I - lógica; II - aritmética; III - funções analíticas; IV - números complexos e
V - vetores. Na parte de lógica, Peano apresentou o simbolismo ( letras ) para
denotar proposições e funções proposicionais, sinais específicos para
representar negação, implicação, qualificação universal, etc. Esta nova notação
simbólica seria em parte utilizada por Russel e Whitehead em sua obra intitulada
" Principia Mathematica " e publicada em 1910. Na parte concernente à
aritmética, que é a mais notável, quase tudo o que se produziu na área da
fundamentação da aritmética é um prolongamento das ideias apresentadas na obra
de Peano que teve como alicerce as três noções primitivas seguintes:
No = Classe dos números naturais;
0 = o particular número zero;
a+ = o sucessivo de ' a '.
Em 1901, Giuseppe Peano foi forçado a renunciar ao cargo de professor da
Academia Militar Real e todos os estudantes de engenharia foram privados do
ensino.
Preocupado com a linguística, Peano procurou formular uma linguagem universal em
que fosse entendida por todas as pessoas, preferencialmente pela comunidade
científica. A partir daí, experimentou o latim e, posteriormente, propôs o
chamado " Latino sine flexione " ( Latim sem flexão ) ou seja, uma versão do
latim em que conservava o vocabulário desse idioma e suprimia as flexões
gramaticais e as variações sintáticas. Peano, procurou aperfeiçoar a ideia e
compilou o vocabulário levando palavras do inglês, francês, italiano, alemão e o
próprio latim dando origem a um " Vocabolario commune ad latino - italiano -
français - english - deutsch; vocabulario interlingua ( 2. ed. 1915 ) ", criado
em 1903, onde aparecem palavras cuja raiz é comum a um grande número de idiomas
europeus - e que se prestariam para a comunicação de resultados científicos.
Com o propósito de implantar esse idioma especial, foi fundada em 1908 a
Academia pro Interlingua cujo presidente nomeado foi Giuseppe Peano num
congresso para o desenvolvimento de um idioma auxiliar e que, nesse ano apareceu
o Formulaire com o título " Formulario Mathematico ", emprestado de idioma
especial que ele já tinha encontrado. Devido ao seu empenho no campo da
linguística, cessaram, num momento inoportuno, os seus trabalhos matemáticos,
isto porque o Formulaire apesar de ser impressionante em sua realização, não
despertou interesse dentro da comunidade matemática, gerando, em consequência,
uma crise, pois os símbolos matemáticos geravam uma verdadeira confusão dentro
da comunidade científica. Enquanto isso, na universidade, os professores
objectaram à insistência de Peano em ensinar lógica matemática e os estudantes
se ressentiram tendo que aprender " os símbolos " quando eles nunca os usariam
na vida real.
Apesar de tudo isso, Peano ainda tinha forças para participar de organizações de
educação primária e secundária, desenvolver um calendário perpétuo e se tornar
politicamente envolvido numa greve de trabalhadores de algodão sendo ainda
anfitrião de uma festa para os grevistas na vila rural.
Sem sombra de dúvida, Peano foi um génio de ideias originais, capaz de realizar
pesquisas autenticas de tipo habitual e, de se afastar das tradições dominantes
para examinar, de modo crítico e desapaixonado, as ideias de seus antecessores.
Suas inovações exerciam profunda influência no pensamento de matemáticos e
filósofos e encontravam, nas obras de outros autores, a repercussão de que se
faziam merecedores.
Ademais, apesar de não ser considerado o pai da lógica matemática, pelo fato do
filósofo Gottlob Frege ( 1848 - 1925 ) o ser, Peano foi o fundador, um dos
pioneiros, um marco na história da lógica, desempenhando, nessa área, papel de
grande relevo, como também, foi o criador da língua internacional, ' a
interlíngua '.
No dia 20 de abril de 1932, vítima de um ataque de coração, faleceu em Turim -
Itália, Giuseppe Peano.
-------------------------------------------------------------------------------------------------------------------------------------
Giuseppe Peano's parents worked on a farm and Giuseppe was born in the farmhouse 'Tetto Galant' about 5 km from Cuneo. He attended the village school in Spinetta then he moved up to the school in Cuneo, making the 5km journey there and back on foot every day. His parents bought a house in Cuneo but his father continued to work the fields at Tetto Galant with the help of a brother and sister of Giuseppe, while his mother stayed in Cuneo with Giuseppe and his older brother.
Giuseppe's mother had a brother who was a priest and lawyer in Turin and, when he realised that Giuseppe was a very talented child, he took him to Turin in 1870 for his secondary schooling and to prepare him for university studies. Giuseppe took exams at Ginnasio Cavour in 1873 and then was a pupil at Liceo Cavour from where he graduated in 1876 and, in that year, he entered the University of Turin.
Among Peano's teachers in his first year at the University of Turin was D'Ovidio who taught him analytic geometry and algebra. In his second year he was taught calculus by Angelo Genocchi and descriptive geometry by Giuseppe Bruno. Peano continued to study pure mathematics in his third year and found that he was the only student to do so. The others had continued their studies at the Engineering School which Peano himself had originally intended to do. In his third year Francesco Faà di Bruno taught him analysis and D'Ovidio taught geometry. Among his teachers in his final year were again D'Ovidio with a further geometry course and Francesco Siacci with a mechanics course. On 29 September 1880 Peano graduated as doctor of mathematics.
Peano joined the staff at the University of Turin in 1880, being appointed as assistant to D'Ovidio. He published his first mathematical paper in 1880 and a further three papers the following year. Peano was appointed assistant to Genocchi for 1881-82 and it was in 1882 that Peano made a discovery that would be typical of his style for many years, he discovered an error in a standard definition.
Genocchi was by this time quite old and in relatively poor health and Peano took over some of his teaching. Peano was about to teach the students about the area of a curved surface when he realised that the definition in Serret's book, which was the standard text for the course, was incorrect. Peano immediately told Genocchi of his discovery to be told that Genocchi already knew. Genocchi had been informed the year by Schwarz who seems to have been the first to find Serret's error.
In 1884 there was published a text based on Genocchi's lectures at Turin. This book Course in Infinitesimal Calculus although based on Genocchi's lectures was edited by Peano and indeed it has much in it written by Peano himself. The book itself states on the title page that it is:-
... published with additions by Dr Giuseppe Peano.
Genocchi seemed somewhat unhappy that the work came out under his name for he wrote:-
... the volume contains important additions, some modifications, and various annotations, which are placed first. So that nothing will be attributed to me which is not mine, I must declare that I have had no part in the compilation of the aforementioned book and that everything is due to that outstanding young man Dr Giuseppe Peano ...
Peano received his qualification to be a university professor in December 1884 and he continued to teach further courses, some for Genocchi whose health had not recovered sufficiently to allow him to return to the University.
In 1886 Peano proved that if f(x,y) is continuous then the first order differential equation dy/dx = f(x, y) has a solution. The existence of solutions with stronger hypothesis on f had been given earlier by Cauchy and then Lipschitz. Four years later Peano showed that the solutions were not unique, giving as an example the differential equation dy/dx=3y2/3 , with y(0) = 0.
In addition to his teaching at the University of Turin, Peano began lecturing at the Military Academy in Turin in 1886. The following year he discovered, and published, a method for solving systems of linear differential equations using successive approximations. However Emile Picard had independently discovered this method and had credited Schwarz with discovering the method first. In 1888 Peano published the book Geometrical Calculus which begins with a chapter on mathematical logic. This was his first work on the topic that would play a major role in his research over the few years and it was based on the work of Schröder, Boole and Charles Peirce. A more significant feature of the book is that in it Peano sets out with great clarity the ideas of Grassmann which certainly were set out in a rather obscure way by Grassmann himself. This book contains the first definition of a vector space given with a remarkably modern notation and style and, although it was not appreciated by many at the time, this is surely a quite remarkable achievement by Peano.
In 1889 Peano published his famous axioms, called Peano axioms, which defined the natural numbers in terms of sets. These were published in a pamphlet Arithmetices principia, nova methodo exposita which, according to [5] were:-
... at once a landmark in the history of mathematical logic and of the foundations of mathematics.
The pamphlet was written in Latin and nobody has been able to give a good reason for this, other than [5]:-
... it appears to be an act of sheer romanticism, perhaps the unique romantic act in his scientific career.
Genocchi died in 1889 and Peano expected to be appointed to fill his chair. He wrote to Casorati, who he believed to be part of the appointing committee, for information only to discover that there was a delay due to the difficulty of finding enough members to act on the committee. Casorati had been approached but his health was not up to the task. Before the appointment could be made Peano published another stunning result.
He invented 'space-filling' curves in 1890, these are continuous surjective mappings from [0,1] onto the unit square. Hilbert, in 1891, described similar space-filling curves. It had been thought that such curves could not exist. Cantor had shown that there is a bijection between the interval [0,1] and the unit square but, shortly after, Netto had proved that such a bijection cannot be continuous. Peano's continuous space-filling curves cannot be 1-1 of course, otherwise Netto's theorem would be contradicted. Hausdorff wrote of Peano's result in Grundzüge der Mengenlehre in 1914:-
This is one of the most remarkable facts of set theory.
In December 1890 Peano's wait to be appointed to Genocchi's chair was over when, after the usual competition, Peano was offered the post. In 1891 Peano founded Rivista di matematica, a journal devoted mainly to logic and the foundations of mathematics. The first paper in the first part is a ten page Peano summarising his work on mathematical logic up to that time.
Peano had a great skill in seeing that theorems were incorrect by spotting exceptions. Others were not so happy to have these errors pointed out and one such was his colleague Corrado Segre. When Corrado Segre submitted an article to Rivista di matematica Peano pointed out that some of the theorems in the article had exceptions. Segre was not prepared to just correct the theorems by adding conditions that ruled out the exceptions but defended his work saying that the moment of discovery was more important than a rigorous formulation. Of course this was so against Peano's rigorous approach to mathematics that he argued strongly:-
I believe it new in the history of mathematics that authors knowingly use in their research propositions for which exceptions are known, or for which they have no proof...
It was not only Corrado Segre who suffered from Peano's outstanding ability to spot lack of rigour. Of course it was the precision of his thinking, using the exactness of his mathematical logic, that gave Peano this clarity of thought. Peano pointed out an error in a proof by Hermann Laurent in 1892 and, in the same year, reviewed a book by Veronese ending the review with the comment:-
We could continue at length enumerating the absurdities that the author has piled up. But these errors, the lack of precision and rigour throughout the book take all value away from it.
From around 1892, Peano embarked on a new and extremely ambitious project, namely the Formulario Mathematico. He explained in the March 1892 part of Rivista di matematica his thinking:-
Of the greatest usefulness would be the publication of collections of all the theorems now known that refer to given branches of the mathematical sciences ... Such a collection, which would be long and difficult in ordinary language, is made noticeably easier by using the notation of mathematical logic ...
In many ways this grand idea marks the end of Peano's extraordinary creative work. It was a project that was greeted with enthusiasm by a few and with little interest by most. Peano began trying to convert all those around him to believe in the importance of this project and this had the effect of annoying them. However Peano and his close associates, including his assistants, Vailati, Burali-Forti, Pieri and Fano soon became deeply involved with the work.
When describing a new edition of the Formulario Mathematico in 1896 Peano writes:-
Each professor will be able to adopt this Formulario as a textbook, for it ought to contain all theorems and all methods. His teaching will be reduced to showing how to read the formulas, and to indicating to the students the theorems that he wishes to explain in his course.
When the calculus volume of the Formulario was published Peano, as he had indicated, began to use it for his teaching. This was the disaster that one would expect. Peano, who was a good teacher when he began his lecturing career, became unacceptable to both his students and his colleagues by the style of his teaching. One of his students, who was actually a great admirer of Peano, wrote:-
But we students knew that this instruction was above our heads. We understood that such a subtle analysis of concepts, such a minute criticism of the definitions used by other authors, was not adapted for beginners, and especially was not useful for engineering students. We disliked having to give time and effort to the "symbols" that in later years we might never use.
The Military Academy ended his contract to teach there in 1901 and although many of his colleagues at the university would have also liked to stop his teaching there, nothing was possible under the way that the university was set up. The professor was a law unto himself in his own subject and Peano was not prepared to listen to his colleagues when they tried to encourage him to return to his old style of teaching. The Formulario Mathematico project was completed in 1908 and one has to admire what Peano achieved but although the work contained a mine of information it was little used.
However, perhaps Peano's greatest triumph came in 1900. In that year there were two congresses held in Paris. The first was the International Congress of Philosophy which opened in Paris on 1 August. It was a triumph for Peano and Russell, who attended the Congress, wrote in his autobiography:-
The Congress was the turning point of my intellectual life, because there I met Peano. I already knew him by name and had seen some of his work, but had not taken the trouble to master his notation. In discussions at the Congress I observed that he was always more precise than anyone else, and that he invariably got the better of any argument on which he embarked. As the days went by, I decided that this must be owing to his mathematical logic. ... It became clear to me that his notation afforded an instrument of logical analysis such as I had been seeking for years ...
The day after the Philosophy Congress ended the Second International Congress of Mathematicians began. Peano remained in Paris for this Congress and listened to Hilbert's talk setting out ten of the 23 problems which appeared in his paper aimed at giving the agenda for the century. Peano was particularly interested in the second problem which asked if the axioms of arithmetic could be proved consistent.
Even before the Formulario Mathematico project was completed Peano was putting in place the major project of his life. In 1903 Peano expressed interest in finding a universal, or international, language and proposed an artificial language "Latino sine flexione" based on Latin but stripped of all grammar. He compiled the vocabulary by taking words from English, French, German and Latin. In fact the final edition of the Formulario Mathematico was written in Latino sine flexione which is another reason the work was so little used.
Peano's career was therefore rather strangely divided into two periods. The period up to 1900 is one where he showed great originality and a remarkable feel for topics which would be important in the development of mathematics. His achievements were outstanding and he had a modern style quite out of place in his own time. However this feel for what was important seemed to leave him and after 1900 he worked with great enthusiasm on two projects of great difficulty which were enormous undertakings but proved quite unimportant in the development of mathematics.
Of his personality Kennedy writes in [5]:-
... I am fascinated by his gentle personality, his ability to attract lifelong disciples, his tolerance of human weakness, his perennial optimism. ... Peano may not only be classified as a 19th century mathematician and logician, but because of his originality and influence, must be judged one of the great scientists of that century.
Although Peano is a founder of mathematical logic, the German mathematical philosopher Gottlob Frege is today considered the father of mathematical logic.