Lucas de M. Rodrigues Vargas.

Resumo do texto Sistemas Axiomticos Formalizados, de Arno Aurlio Viero.

O texto trata sobre sistemas axiomticos. Estes nada mais so do que formalizaes dos
enunciados de um conhecimento qualquer, no texto o tipo de conhecimento que se trata
a matemtica. Foi nesta cincia que os gregos introduziram, primeiramente, a
axiomatizao. O motivo de tal fato ainda hoje disputado, talvez tenha sido para
enfraquecer o uso da intuio na obteno de resultados. No texto surge com privilgio
a figura de Euclides. Ele foi o primeiro a introduzir axiomtica para obter resultados
geomtricos, resultados estes que permaneceram como "paradigma de rigor a ser obtido
nas reas matemticas" por muito tempo.

Acredita-se que a matemtica seja to antiga quanto s civilizaes, porm, sua
evoluo, principalmente devida Grcia antiga, a tornou mais sofisticada e prtica.
Ainda disputado o motivo que levou aos gregos introduzir a demonstrao na
obteno de conhecimento derivado da matemtica, Tarski, no seu artigo "Truth and
Proof", acredita que o motivo bsico da introduo deste novo mtodo de pesquisa seria
restringir o recurso intuio. Os ganhos com esta nova prtica so altamente
relevantes, como por exemplo, o teorema de Hipcrates de Chio a respeito de reas de
crculos, o que o permitiu construir um quadrado com as mesmas propores de uma
rea curvilnea, fato indito na matemtica at ento.

No topo do sistema axiomtico, tem-se o que chamamos de axiomas, que so os termos
primitivos, ou seja, so postulados aceitos sem necessitarem de demonstrao. O que se
deriva dos axiomas chamamos de teoremas do sistema. Assim, vemos que Euclides
aplicou este processo de axiomatizao geometria de uma forma to eficiente que, por
muito tempo, acreditou-se ser o seu modelo o paradigma de rigor a ser obtido nas reas
matemticas.

Euclides comea os seus livros nos dando definies, postulados e o que se chama de
condies comuns (konai ennoiai). No livro um, p. ex., encontramos definies de
ponto, "aquilo que no possui partes"; de linha, "comprimento sem largura"; e de linhas
retas paralelas, "so linhas que, estando no mesmo plano e sendo produzidas
indefinidamente em ambas as direes, no se cruzam". So oferecidos tambm alguns
postulados como: (i) Uma linha reta pode ser traada de um ponto a outro; (ii) Qualquer
segmento finito de reta pode ser prolongado indefinidamente para constituir uma reta; e
(iii) Dados um ponto e uma distncia qualquer, podemos traar um crculo de centro
naquele ponto e raio igual dada distncia (utilizado na demonstrao do tringulo
equiltero).
Logo aps so apresentadas noes comuns como: (i) Coisas que so iguais a uma
mesma coisa so tambm iguais entre si e (ii) O todo maior que a parte.
Essa a estrutura basilar d'Os Elementos. Faz-se uma distino entre dois tipos de
proposies que aparecem nesta estrutura,(a) as que pedem uma execuo de uma
tarefa so chamadas de problemas (problemata) e (b) aquelas que fazem uma assero
so chamadas de teoremas (theoremata). Um exemplo de 'a' se d quando pedimos para
determinar o centro de um crculo, e, de 'b', quando dizemos que o tringulo isscele
possui dois ngulos iguais, a saber, os da base.

difcil, no entanto, compreender exatamente o sentido atribudo por Euclides
utilizao do mtodo axiomtico, uma vez que no se encontram definies caras ao
sistema como as de 'definio', 'postulado', 'noo comum' e 'demonstrao'. uma
tarefa difcil, tentar atribuir significados a estes termos pelo nvel de sofisticao
conceitual dos mesmos.
Embora no possamos ter certeza absoluta de uma correspondncia entre a
axiomatizao Euclidiana e a teoria aristotlica, claro o papel fundamental da
matemtica grega na concepo de mtodo dedutivo desenvolvida nos Segundos
Analticos. Talvez esta noo se d ao grande nmero de exemplos matemticos
encontrados na obra do Filsofo.

Esta dificuldade de definies conceituais citada anteriormente, suscitou diversos
debates entre os antigos. Tal fato no despertou o interesse por parte dos filsofos e
matemticos posteriores. O que se percebe, em Pascal por exemplo, o pouco caso
feito frente aos elementos presentes no sistema axiomtico grego. Para ele, demonstrar
persuadir. convencer algum de uma verdade j obtida. Em ltima anlise, ento,
acreditar na verdade de um enunciado, seria acreditar na verdade de princpios auto-
evidentes.
Embora haja, ocasionalmente, um ponto comum entre as ideias de Pascal e dos gregos
antigos, como, p. ex., na distino entre definies e axiomas, percebe-se a introduo
de um elemento completamente estranho a toda discusso em torno do mtodo
axiomtico relatado por Proclus. Este trao diferencial o ideal de definir e provar tudo
dentro do sistema. Para os gregos este ideal no era ideal, no sem razo, pois, ao
menos algo seria improvvel no sistema, exatamente seus princpios (axiomas).Para
tentar diminuir o recurso intuio na matemtica, o ideal de Pascal ganhou fora e
resultados que antes eram aceitos sem prova passaram a ser demonstrados a partir de
conceitos precisamente definidos.

Em resumo, na "A questo da desinterpretao", em sentido contrrio do que foi dito no
comeo do texto, o autor pe em evidncia a ineficincia dos princpios da axiomtica
clssica quando se trata de rigor matemtico. Surge ento, no sculo XIX, as
geometrias no euclidianas e a concepo de que o mtodo axiomtico, em ltima
anlise, era um mtodo sinttico. A seguir, Arno Viero discorre sobre quatro provveis
motivaes para que a concepo de sistema axiomtico passasse a ser esta, quais
sejam, desenvolvimento da lgebra, nfase de alguns matemticos em uma
fundamentao slida para a anlise, retomada do interesse pela geometria projetiva e a
descoberta de geometrias no euclidianas por Gauss, Bolyai, Lobachevsky e Riemann.