Axiomas de Peano

Perodo: 1858 a 1932 d.C.

Assuntos matemticos envolvidos:
lgebra: sistemas lineares;
Matemtica elementar: lgica matemtica; introduo do simbolismo matemtico;

Giuseppe Peano, um autor italiano, cujo nome lembrado at hoje em conexo com os
axiomas por ele introduzidos, dos quais dependem tantas construes rigorosas da
lgebra e da anlise. O que motivou seu trabalho foi o desejo de expressar toda a
matemtica em termos de um clculo lgico. Em seu Formulaire de Mathmatiques, que
contm cinco volumes ( escrito com a participao de colaboradores ) publicados a partir
de 1894, desenvolveu uma linguagem formalizada que continha no s a lgica
matemtica como todos os ramos mais importantes da matemtica. Atraiu um grande
nmero de colaboradores e discpulos pelo fato de evitar o uso de uma linguagem
metafsica e de introduzir smbolos: tais como (pertence classe de), (soma lgica ou
unio), (produto lgico ou intercesso) e (contm) - muitos deles usados at hoje. Para
seus fundamentos da aritmtica ele escolheu trs conceitos primitivos - zero, nmero
( que, no contexto, se refere a inteiros positivos), e a relao " sucessor de" -
satisfazendo aos cinco postulados seguintes:
1. Zero um nmero.
2. Se a um nmero, o sucessor de a um nmero.
3. Zero no o sucessor de um nmero.
4. Dois nmeros cujos sucessores so iguais so eles prprios iguais.
5. Se um conjunto S de nmeros contm o zero e tambm o sucessor de todo
nmero de S, ento todo nmero est em S.

Em 1888, introduziu a definio axiomtica de espao vetorial, chamando de sistemas

lineares. Os axiomas de Peano, foram formulados pela primeira vez em 1889 na
Arithmetices Principia nova methodo exposita, que representava a tentativa de reduzir a
aritmtica comum a puro simbolismo formal. Peano exprimia os postulados em smbolos,
em vez das palavras que usamos. O mtodo postulacional atingiu novo nvel de preciso,
sem ambigidade de sentido e sem hipteses ocultas. Ele tambm desenvolveu a lgica
simblica.
Em 1890, Peano mostrou que a matemtica podia surpreender o senso comum quando
construiu curvas continuas que enchem o espao - isto , curvas dadas por equaes
paramtricas x = f(t), y = g(t), onde f e g so funes reais contnuas no intervalo , cujos
pontos preenchem completamente o quadrado unitrio . Esse paradoxo combina
perfeitamente com a descoberta de Cantor de que no h mais pontos no quadrado
unitrio que no segmento de reta unitrio. Porm, em 1903, Peano se distraiu com a
inveno da linguagem internacional que ele chamou Interlngua ou Latino sine flexione,
com vocabulrio tirado do latim, francs, ingls e alemo. Esse movimento foi mais
efmero que sua estrutura axiomtica da aritmtica.
No final do sculo XIX, com a aritmetizao da anlise e os axiomas de Peano, a maior
parte da matemtica conseguiu base estritamente axiomtica. Peano foi um dos
precursores do logicismo cuja expresso definitiva a monumental obra Principia
Mathematica de Whitchead e Russell.