Anda di halaman 1dari 8

BREVES NOES DE FILOSOFIA DA MATEMTICA

Jos Roosevelt Dias Mestre em Matemtica - UFF Professor Adjunto - UFF jrdias@microlink.com.br

BREVES NOES DE FILOSOFIA DA MATEMTICA


Ao escolher este tema para incluir no Caderno, esperamos contribuir para que nossos alunos tomem um primeiro contato com a Filosofia da Matemtica. Acreditamos na importncia de tal leitura na medida em que trata da natureza da Matemtica nos seus mltiplos aspectos e questionamentos. Alm de despertar o leitor para o tema, espero que a bibliografia no fim do texto permita que ele possa iniciar a leitura no assunto. Ser abordado o que denominado A crise dos Fundamentos como contedo principal, por ser assunto bsico e ter originado obras monumentais como os Principia Mathematica de Bertrand Russell e A. Whitehead, Grundlagen der Geometrie de Hilbert e Grundlagen der Arithmetik de Frege . Alm disso, apresentaremos as escolas filosficas que surgiram ao longo desta crise, na qual vrios matemticos importantes na poca defenderam seus pontos de vista .

I. CONSIDERAES BSICAS
A Matemtica, dentre muitas aplicaes, participa da montagem de modelos para a tecnologia; possibilita o clculo de trajetrias de planetas, a determinao de rbitas de satlites e a prpria quantificao da fora de lanamento . No entanto, boa parte dos matemticos no se envolve com as diversas aplicaes da Matemtica; trabalha num mundo de conhecimentos aparentemente distante da "realidade", num mundo "ideal", da verdade, como o postulava Plato. A Filosofia da Matemtica e a sua Epistemologia parece tambm no serem consideradas. bem verdade que fatos importantes j ocorreram na Matemtica, indicando que se pode estudar hermeticamente a prpria Matemtica e obter resultados profundos. Citamos, por exemplo , a descoberta das geometrias noEuclidianas, que se deu aps sculos de anlise sobre o quinto postulado de Euclides, e a conjetura de Fermat, hoje o seu "grande teorema", que desenvolveu a princpio a lgebra comutativa e posteriormente partes da geometria algbrica . Mas a Matemtica no teria o acervo que hoje detm se no tivesse "um p na realidade" do mundo fsico ou da tecnologia . Desde os primrdios, a cincia foi se desenvolvendo como instrumento eficaz para descrever o mundo, explicando seus fenmenos. H a todo um contexto sobre se possvel tal empreitada, pois questes se pem como a do determinismo e a do que seria o observvel. A civilizao grega j mantinha esse papel para a cincia, mas foi com a publicao dos Principia de Newton que a cincia pode explicar a realidade objetiva atravs de inmeras leis e equaes . Contudo, havia uma demanda de novos estudos, pois o mundo se desenvolvia tecnologicamente e as aplicaes exigiam aperfeioamentos, seja aumentando a velocidade dos barcos com a mecnica dos fluidos, seja desenvolvendo tcnicas de navegao com a tica, seja utilizando balas de ferro ao invs das de pedra com resultados de balsticas . Newton usava o mtodo de fluxos e considerava que as variveis x e y fluam no tempo. Dada uma relao de fluxo, designava por "o" um "acrscimo infinitesimal do tempo" e, considerando as variaes, infinitesimais x + xo de x e a correspondente y + yo em y, dividia o resultado do fluxo por 'o' e eliminava os termos que contivessem "o", aps os clculos correspondentes . Por exemplo, da relao f(x ,y) = y - ax - bx - c = 0 , obtemos f(x + x'o, y + y'o) = (y+y'o) - ((a(x+x'o) + b(x+x'o) + c) = = (y - ax - bx- c) + y'o - 2ax(x'o) - a(x'o) - b(x'o) = = y'o - 2ax(x'o) - a(x'o) - b(x'o) . Dividindo pelo fator "o" e eliminando os termos que ainda o contm , chegamos igualdade 0 = y'- 2axx'- bx'. Este processo foi bastante criticado , pois a eliminao de potncias superiores de "o" no eram fundamentadas. No considerava nulo o fator "o" ao dividir mas, aps esta operao, "estranhamente" o eliminava . Com o volume de novos resultados, percebia-se que a Matemtica carecia de uma preciso maior que a libertasse de alguns enigmas que feriam a intuio e de fatos que hoje so simples, como a igualdade, mas que no haviam sido demonstrados. Sabia-se apenas que um irracional era aproximado por racionais, de alguma maneira. Uma noo bsica como a de curva foi se mostrando fugir idia inicial de que "contnuo" era algo "liso" onde sempre se traa tangente. Teoremas que dependiam da noo de continuidade eram demonstrados recorrendo quase que s figuras . Enquanto os matemticos lidavam com irracionais sem conhecer sua verdadeira natureza , no sculo XVII, teoremas-chave do clculo no podiam ser estabelecidos. Por exemplo , a prova de Bolzano-Cauchy do valor intermedirio para funes contnuas, dependia de propriedades assumidas como verdadeiras por Cauchy e por Riemann, dentre outros. Um fato tido como verdadeiro era que toda funo contnua seria diferencivel salvo em pontos isolados, mas Weierstrass exibiu em Berlim, em 1861, a funo abaixo, que contnua em todo ponto mas no diferencivel em nenhum deles: f(x) =

n=0

cos (a nx) onde a um inteiro mpar e b est

no interior do intervalo [0,1]. O ano de 1872 culminou com publicaes simultneas da construo dos nmeros reais por Dedekind , Cantor e Heine ,seguidos tempos depois por Weierstrass . Posteriormente ,novos problemas foram surgindo em funo da complexidade crescente ao se construir novas curvas e superfcies e do surgimento de novas funes no polinomiais.

72

Caderno de Licenciatura em Matemtica


mente, a prpria base numrica no nvel dos racionais e dos inteiros tambm foi questionada, pois nem mesmo os naturais estavam caracterizados formalmente. Ora, se a Matemtica caminhava para uma espcie de "independncia da realidade objetiva" do mundo da experincia e da aplicao, seus alicerces eram constitudos de uma noo emprica de natural , baseada no contar e sem uma contrapartida formal. Este ponto foi levantado brilhantemente por Frege no seu livro Fundamentos da Aritmtica. Por exemplo, em Kant, encontramos a justificativa de evidncia em igualdades envolvendo naturais. Assim, no haveria necessidade de justificar que 2 + 3 = 5. Mas o que dizer de uma igualdade no evidente como em 132 677 235 + 345 698 232 = 478 375 467 ? Leibniz apresentou uma demonstrao que 2 + 2 = 4, usando a definio que 2 1 e 1, 3 2 e 1 e 4 3 e 1. No entanto, observou Frege, faltou destacar a propriedade associativa. Era um retorno demonstrao precisa, ao "esprito euclidiano". Aps criticar as diversas tentativas de definir os naturais ou de us-los em clculos considerados "evidentes em si mesmos", apresentou a definio destes usando a Teoria dos Conjuntos com a noo de equipotncia, que como veremos a seguir trouxe luz vrias questes sobre o infinito nos trabalhos de Cantor. H tantos pontos na reta quantos no plano. Este fato foi uma surpresa para o prprio Cantor que o descobriu ao tentar caracterizar o conceito de dimenso como cpias de R. A noo de funo j vinha sendo construda desde Leibniz que considerava funo uma quantidade associada a uma curva como a inclinao ou o raio de curvatura. Rapidamente o par conjunto e funo foram permitindo expressar fenmenos matemticos importantes. A correspondncia bijetiva foi usada na definio de conjuntos equipotentes. Um conjunto enumervel se existe uma bijeo entre ele e os naturais (dizemos tambm que equipotente aos naturais). infinito se for equipotente a um subconjunto prprio; assim os naturais formam um conjunto infinito, pois equipotente ao conjunto dos naturais pares. Dos resultados obtidos por Cantor, que causaram grande impacto no incio da sua teoria, destacamos a afirmao de que os racionais so enumerveis. Isto surpreende, pois eles formam um conjunto denso ( entre dois racionais existem infinitos deles ). Outro resultado contundente que os nmeros algbricos formam um conjunto enumervel (um nmero algbrico se for raiz de um polinmio de coeficientes racionais ; por exemplo, 2 + 3 algbrico por ser raiz do polinmio f(x) = x4 - 10x + 1). No entanto, mostrar que h vrias ordens de infinito foi um marco obtido por Cantor e ele o conseguiu ao mostrar que o intervalo [0,1] um conjunto no enumervel. A demonstrao de Cantor usa o mtodo de diagonalizao que veremos abaixo: Suponha a possibilidade de enumerar os elementos de [0,1], digamos, na forma x1 , x2 , x3 , ... Podemos considerar que cada tal elemento um decimal. Ponhamos x1 = 0,a11a12 a13 ... x2 = 0, a21a22 a23 ... x3 = 0, a31a32 a33 ... etc. onde cada nmero aij (i , j percorrendo os naturais) um dos dgitos 0,1,2,3,4,5,6,7,8,9. Vamos exibir um nmero distinto de todos eles e localizado no intervalo [0,1]. Para isto,

Alm dos infinitsimos, outro recurso era questionado: o uso das sries. Representava-se uma funo por meio de uma srie sem que se soubesse se ela fornecia um nmero ( real ou complexo ), isto , se ela convergia como o caso da funo f(x) = 1/(x+1). Seu desenvolvimento em srie 1/(1+x) = 1 - x + x2 - x 3 + ... que para x = 1 a incongruncia abaixo (na poca sem explicao ) gera: 1/2 = 1-1+1-1+... A integrao de uma srie era feita termo a termo . Um ponto central nesta questo era o desenvolvimento binomial de Newton cuja srie (1+x)a = 1 + x C (a,1) +x2C(a,2) + ... = 1 +

C (a ,n) xn ,
n =1

a ( a 1)...( a n + 1) onde C(a , n ) = com a Q . n!

O leitor pode verificar que a srie 1/(1+x) desenvolvida pelo binmio de Newton para a = -1 , tem como coeficientes C(-1,n) = = . =

Porm a condio necessria | x | < 1 para a convergncia no foi estabelecida por Newton. Outro aspecto do uso das sries ocorreu com respeito chamada srie de Fourier. No seu livro Thorie Analitique de la Chaleur de 1822 ele percebeu que a representao f(x) =
a0 + 2

(a
n =1

cos nx + b n sen nx )

era possvel para uma grande classe de funes. Obtendo a expresso dos coeficientes como sendo

Fourier percebeu que a representao era possvel mesmo que a derivada da funo f no existisse em muitos pontos . Esta srie motivou o desenvolvimento da teoria da convergncia de sries no s devido a sua importncia em aplicaes, como tambm por ser mais geral do que a srie de Taylor, e ainda, porque as sries de potncias permitem um tratamento formal no que concerne efetuar operaes entre elas, mesmo sem se saber sobre sua convergncia, alm de serem de melhor manipulao ao derivar e ao integrar . Nem todos os matemticos partilhavam da preocupao com os fundamentos da Matemtica. Muitos deles no se sentiam motivados para trat-los, porque, em parte, os experimentos em Fsica j comprovavam a natureza de um resultado. Isto ocorria, por exemplo, com respeito equao diferencial do pndulo. Alm disso, muito havia que se fazer nos diversos ramos da Fsica como Mecnica Celeste, tica, Acstica etc. O ponto crtico destes problemas ocorria na concepo de nmero real, atingindo no s a Anlise Matemtica mas tambm a lgebra. Se esta j usava a revolucionria Teoria de Galois (1830), as lgebras de Clifford e a Teoria dos Ideais, desenvolvidas simultaneamente por Dedekind e Kummer, era forte a presena dos nmeros complexos que tambm estavam em cheque, pois so definidos a partir dos reais como seu fecho algbrico. Posterior-

Dezembro 1999 - Nmero 2 - ano 2

73

construa o nmero y = 0, y1y2 y3 ... de tal forma que y1 a11 , o que implica ser distinto de x1 , a seguir o nmero y2 a22 , que o faz diferir de x2, e assim por diante. Teremos y xi para todo i, pois o dgito de ordem i de y difere de aii . Em meados do sculo XIX surge uma forma de lgica de carter algbrico cujas bases so creditadas a George Boole (1815-1864). O propsito era deslocar a lgica da metafsica, de onde havia se originado a partir de Arquimedes, e aproximla da Matemtica. Para isto, esta deveria lidar com variveis representando tambm sentenas e no apenas nmeros e grandezas. Boole comparava a Lgica Geometria, "pois ambas so assentadas em verdades axiomticas e seus teoremas so construdos segundo a teoria geral do simbolismo, que aquilo que reconhecido como Anlise ". No seu livro Investigaes das Leis do Pensamento (1854), Boole usou letras romanas x , y , z , ... para designar entidades como nmeros, pontos e idias, unificados por abstraes e submetidas a operaes apropriadas. Seu mtodo foi interpretar as identidades algbrico-aritmticas (associatividade, distributividade etc.) luz da Lgica, portanto numa lgebra abstrata no sentido de que no lidava com nmeros nem grandezas. As operaes x+y e xy podem ser interpretadas como unio ou disjuno e interseo ou conjuno. No entanto, na Lgica vlida a lei xn = x, o que levou Boole a considerar somente os valores 0 e 1. Seu projeto esbarrou em problemas de transposio como o caso do uso no exclusivo da conjuno "ou" , mas teve o mrito de introduzir outras possibilidades na Matemtica alm do nmero e do contnuo, contribuindo para o surgimento da chamada "matemtica pura".

II. O SURGIMENTO DAS ESCOLAS


Num congresso em 1900, Hilbert apresentou vinte e trs problemas que segundo ele iriam ocupar boa parte da pesquisa futura ([8] p. 448). Alguns deles estavam relacionados com os fundamentos da Matemtica. Neste congresso Poincar leu crticas aos trabalhos de Cantor. Desta controvrsia surgiram as escolas filosficas. Porm, elas no se contrapunham em todos os itens de posies e nem todo matemtico admitiu uma posio estrita. As propostas de fundamentao foram trs: logicismo, formalismo e intuicionismo, mas existem outras concepes da Filosofia da Matemtica. Vamos no entanto apresentar a seguir alguns tpicos que motivaram pesquisas e publicaes, constituindo o cerne da chamada crise dos fundamentos. A geometria Alguns matemticos tinham direcionado seus estudos de geometria no sentido da axiomatizao. Negando o quinto postulado de Euclides eles montaram uma geometria do espao com propriedades diferente da euclidiana. Um deles, Bolyai, demonstrou primeiramente uma srie de teoremas, sem o uso do 5 postulado denominando esta geometria de absoluta, j que no havia conflito entre ela e a euclidiana. Na mesma poca, em localidades distintas, Bolyai e Lobachevski substituram o 5 postulado de Euclides pelo axioma que admitia mais de uma paralela por um ponto fora de uma reta, formando a chamada geometria hiperblica. A geometria j se tornara ento uma teoria matemtica dependente do grupo de axiomas que se considerasse e no mais unicamente a euclidiana. Riemann, por sua vez, apresentou uma geometria que diferia da de Euclides por no admitir reta infinita nem tampouco paralela por um ponto externo a uma reta. Este avano na geometria s foi possvel com a concluso de que o axioma das paralelas (o chamado quinto postulado de Euclides) era independente dos outros. Este estudo puramente axiomtico e pertence fundamentao da Matemtica. Posteriormente, Hilbert reformulou a geometria euclidiana, observando que esta era imprecisa e continha demonstraes que pressupunha hipteses no explicitadas como, por exemplo, a reta ser infinita. Alm disso, era lacnica no que concerne continuidade. A no unicidade da geometria, que agora j no era a geometria do universo nem a divina, repercutiu profundamente na filosofia e na cincia. A relao da Matemtica com a realidade sofreu grande abalo. Evidenciou-se o aspecto axiomtico, onde so formulados axiomas constituindo uma estrutura ou espao matemtico e, a partir deles, so deduzidos teoremas. Sob este ngulo, a Matemtica se resumia a um compromisso apenas com a coerncia, pensava Hilbert. A elaborao de sistemas matemticos era de aparncia arbitrria; apenas no se podia infringir suas prprias regras, como num jogo. A aritmetizao da anlise J estando claro que o conceito de continuidade e diversas propriedades dos nmeros reais se interligavam, buscou-se explicitar tal relacionamento. Num sentido, os reais foram apresentados numa reta sem buracos (os cortes de Dedekind). Este caminho era ao mesmo tempo o da ordenao, com propriedades sobre o nfimo e supremo. Por outro lado, levou-se em conta que um nmero real sempre seria o limite de uma seqncia de racionais (como o fizeram Cantor e Cauchy com as seqncias fundamentais atualmente denominadas seqncias de Cauchy). O conjunto dos reais seria a extenso dos racionais, tornando-se completo, pois nele toda seqncia que se acumulasse em intervalos arbitrariamente pequenos seria convergente. Teoria dos conjuntos A nfase a agrupamentos arbitrrios de pontos j constava em Descartes ao propor a geometria analtica. Com Cantor, surgiu o uso sistemtico de conjunto como objeto matemtico e como figuras arbitrrias. No entanto, vrios paradoxos foram descobertos. Ele prprio j tinha observado que a construo do conjunto de todos os conjuntos contradizia seu teorema, que garantia que um conjunto tem menor potncia que o conjunto de suas partes. Assim, era incoerente conceber o conjunto de todos os conjuntos (pois ele teria tambm a maior potncia).

74

Caderno de Licenciatura em Matemtica


O infinito Num artigo interessante, Hilbert discutiu as vrias formas do infinito: o denso, o ilimitado e o infinitamente pequeno. H ainda, uma diferena entre o Infinito Potencial e o Infinito Atual. Dado um natural n, admitido que existe um natural m que o supera em grandeza, ou seja, m um natural tal que m > n. Concebemos aqui que os naturais constituem uma totalidade ilimitada. No entanto, formulando propriedades de uma totalidade infinita estaremos considerando um objeto infinito como objeto matemtico. Estamos admitindo o uso do infinito atual. Outro exemplo seria considerar um crculo mximo numa esfera e percorrelo. Evidentemente podemos fazer isto o nmero de vezes que quisermos. Neste sentido, o circulo um caminho ilimitado sem ser no entanto infinito. Mas o uso sistemtico do infinito atual na Matemtica provocou reaes de vrias origens. Sua considerao mais freqente e sua importncia deveram-se ao desenvolvimento da teoria dos conjuntos. A concepo de real como uma seqncia genrica de racionais, sem se ter noo de sua construo, no foi aceita por Brouwer, que liderou um pensamento da filosofia da Matemtica denominado intuicionismo. s suas crticas somavam-se as de Poincar e de Kronecker, dentre outros.

Outros paradoxos foram apresentados. Um deles provocou a axiomatizao dos conjuntos, por ser bsico: No podemos formar o conjunto de todos os conjuntos que pertencem a si prprios , pois no podemos decidir se ele pertence ou no a si prprio (antinomia de Russell). O conceito de nmero Um dos matemticos que contriburam para os fundamentos da Matemtica foi Peano, apresentando axiomas para o sistema dos naturais que seria obtido a partir apenas das noes de nmero, sucessor e indutivo. Seu texto se resumia a descrever os naturais, sem os conceituar. Posteriormente, Frege publicou o que seria o conceito de nmero natural. Neste empreendimento usou a noo de equinumrico de Cantor, isto , a potncia de conjunto. Quando sua obra, bastante profunda e detalhada, estava para ser impressa, recebeu uma carta de Russell mostrando que seu mtodo levava a incoerncia. Para isso, Russell apresentou um conjunto que no permitia concluir se um objeto era ou no seu elemento, como j comentamos. Tendo Russell contornado a questo com a teoria dos tipos, o prprio trabalho de Frege serviu de base para a tese logicista: a Matemtica lgico-dependente, como veremos mais adiante.

III. AS ESCOLAS FILOSFICAS


Vemos a filosofia como uma explanao que visa a organizar uma desordem num ramo do conhecimento. Discute seus rumos e analisa suas crises. Ao lidar com a Matemtica, podemos nos mover em duas direes: uma, no sentido da sua construo, adicionando resultados, apresentando novas estruturas, novos aspectos, indo no sentido que usualmente se concebe como construir a Matemtica; a outra, indo no sentido oposto ao anterior, quando nos dirigimos aos seus princpios bsicos, seus primrdios, seus fundamentos, tentando, de maneira crtica, elaborar matematicamente ou logicamente o que senso comum. Esta atividade envolve principalmente Teoria dos Conjuntos e Lgica.

Logicismo
O logicismo sustenta que as leis da Matemtica so redutveis s leis lgicas ou so derivadas da Lgica. Da Lgica viria o fascnio, o rigor e a exatido. Os gregos j viam a semelhana entre Matemtica e Lgica. Cabe registrar que Leibniz j visualizava a Lgica como uma cincia abrangendo os princpios e as idias sobrejacentes a todas as outras. Quem traduziu de forma concreta a interpretao lgica da Matemtica foi Gottlob FREGE. Para ele a Matemtica era por si mesma racionalidade, uma parte da razo. O fato da sua anlise se passava na Aritmtica, que a base da Matemtica clssica. A tese do logicismo foi defendida nos Principia Mathematica por WHITEHEAD e Bertrand RUSSELL, influenciado pelos Fundamentos da Aritmtica de Gottlob FREGE. Para nos localizarmos no contedo da tese logicista, nos reportemos a dois pontos. Primeiro, para WHITEHEAD e RUSSELL os termos conjunto e par ordenado, assim como as leis relativas a eles, eram tidas como pertencentes Lgica e no como parte da Matemtica. Hoje, naturalmente, a viso j outra, mesmo por parte dos matemticos. Em segundo lugar, e a que o ponto crucial, o logicismo partia da origem lgica da Aritmtica, em contraste com outras concepes sobre o conceito de nmero. Por exemplo, para os normalistas os nmeros eram idias da nossa mente: algo que surge num instante, dura algum tempo e depois cessa. No pois uma entidade abstrata como a entendemos. Para eles, ento, h tantos zeros diferentes quantas so as pessoas que tm idia de zero. Frege faz crtica ao que se pretende considerar sob o conceito de nmero. Este ataque a uma noo tida como bsica na Matemtica indica uma desordem na sua base, nos seus fundamentos. A aritmtica, diz ele, sofre de uma frouxido oriunda dos hindus. Enquanto a geometria de Euclides elaborada segundo definies e demonstraes, por vezes at de afirmaes que no lhes seria exigida, a aritmtica se apodera de um objeto sem defini-lo. Nmero, diz Frege, no atributo de objeto, mas sim de um conceito. se designarmos por um cada um dos objetos a enumerar erramos visto que coisas diferentes recebem o mesmo sinal. Se provermos o 1 de traos distintivos (1, 1,...) torna-se inutilizvel pela Aritmtica. A linguagem comum atribui por vezes nmeros a conceitos como em cinco homens mas tambm a objetos: o nmero de mas parecendo querer falar de objetos, quando na verdade quer-se enunciar algo de conceito. Um trio de homens uma instncia do nmero 3 e 3 uma instncia de nmero. Mas o trio no um nmero. Uma pluralidade no uma instncia de nmero mas de

Dezembro 1999 - Nmero 2 - ano 2


um nmero determinado. Finalmente conclui com a definio de equinumrico, que a noo de cardinal obtida com bijees. Nmero ento seria a extenso do conceito de equinumrico. Da concepo logicista de nmero, decorre a construo paulatina de outras instncias de nmeros (inteiros, racionais, reais e complexos). O contnuo apresentado atravs dos reais, sobre os quais repousa a Anlise. A identificao das coordenadas tridimensionais com ternos de nmeros reais colocou a Geometria como dependente da Lgica, atravs da Geometria Analtica. Este fato, conseqncia do trabalho de Frege, acrescido da aritmetizao da anlise, formaram a estratgia de Russell e Whitehead para formularem uma tese que fundou a chamada Escola Logicista. A tese logicista de que a Matemtica redutvel Lgica, logo, nada mais do que uma parte dela. Esta tese pode ser dividida em duas partes: 1) Os conceitos da Matemtica podem ser derivados dos conceitos lgicos atravs de definies explcitas e 2) Os Teoremas da Matemtica podem ser derivados de axiomas lgicos atravs de pura deduo lgica. Os maiores problemas encontrados por Russell ocorreram na Teoria dos Conjuntos. Para eliminar os paradoxos, ele elaborou uma Teoria dos Tipos. Ao Tipo 0 pertencem os nomes dos objetos (indivduos) do universo de discurso: a, b, c etc., ao Tipo 1, as propriedades destes objetos: f(a), g(a), h(b) etc., ao Tipo 2, as propriedades das propriedades destes objetos: F(f), G(f), H(g) etc. O clculo da teoria dos tipos contm uma hierarquia enumervel de nveis de variveis e suas nicas frmulas atmicas so: ... - e ... = -. Na primeira frmula exigido que os nveis difiram por uma unidade. Assim, x y significa que se x do nvel n ento y do nvel n+1, isto , xn yn+1. Por outro lado, xi = yj se, e s se, i = j. Assim, podemos formar o conjunto dos reais positivos, mas no tem sentido enunciar: o conjunto de todos os conjuntos pois esto no mesmo nvel. Vemos que a antinomia de RUSSELL no mais ocorre. Para ver que tambm a de Cantor no possvel neste clculo, considere ento o conjunto U de todos os conjuntos. Notando que cada formulao submetida a um nvel i, devemos rescrever isto como xi (xiU) e desta forma, U deve pertencer ao nvel i+1. Pelo axioma de

75

compreenso, onde tomamos (xi) como sendo x i = xi, existe um tal conjunto Ui. O conjunto Ui+2 a potncia do conjunto Ui+1. Outros pontos a serem contornados foram os axiomas do infinito e o da escolha. Mas como observou Russell eles so questionveis por serem de existncia. O primeiro garante que dado um natural sempre h um que lhe supera em grandeza. O da escolha garante a existncia de um conjunto onde no se conhece a natureza dos seus elementos. Quanto a isto, denotando por I e C, respectivamente, os axiomas do infinito e o da escolha, Russell apresentou a formulao axiomtica: I S para um teorema S que dependesse do axioma do infinito (isto , S vlido se o axioma do infinito o for), o mesmo se passando com respeito ao axioma da escolha: C S. Seu argumento foi o de que Lgica no caberia afirmar sobre a existncia categrica. Outra dificuldade dos formalistas ocorre na definio de nmero real. Para eles um nmero real uma propriedade de conjuntos de racionais. Por exemplo, 2 definido como a classe de todos os racionais positivos cujo quadrado maior que 2. Torna-se necessrio ento se referir ordem dos reais que se esteja considerando: temos a coleo de todos os reais de tipo tal ao invs de a coleo de todos os reais. Mas h outros inconvenientes na Teoria dos Tipos: Cardinais: h o inconveniente de que cada um se refere ao seu nvel correspondente. Universo: cada nvel tem a sua classe (quase) universal. Classe vazia: tambm cada nvel tem a sua . Complemento: um (quase) complemento pois ocorre em cada nvel. Frmulas simtricas: as frmulas x y e y x existem em separado mas no podemos compor a sentena ((x y) (y x)). Sobre os reais, o corte envolve a formulao de conjuntos de conjuntos. H seguidores ilustres do logicismo como Wittgenstein, Carnap, Quine e hoje tenta-se no logicismo contornar o uso de idias matemticas como iterao e reduo.

Intuicionismo
A tese intuicionista baseada na construo da Matemtica a partir dos nmeros naturais considerados como uma idia intuitiva. Ela admite que a srie dos naturais 1,2,3,... faz parte do senso comum e afirma que a Matemtica no uma teoria, um sistema de regras e afirmaes, mas uma parte fundamental da atividade humana. Esta escola teve como maior defensor o matemtico holands L. Brouwer, que liderou uma reviso rgida de conceitos como existncia, prova e objeto matemtico. O principal problema da fundamentao da Matemtica era fazer uma ponte entre o discreto e o contnuo, ou seja, entre a Aritmtica e a Geometria. Para os intuicionistas, o discreto e o contnuo seguiam lado a lado e nenhum se fundamentava sobre o outro. O uso indiscriminado do infinito e da prova por absurdo motivaram os fundadores do intuicionismo a apresentarem o que considerariam legtimo em Matemtica. Um conjunto, por exemplo, s devia ser considerado se cada elemento pudesse ser construdo passo a passo por uma lei. O axioma da escolha no era, portanto, aceito na sua generalidade por esta escola. Trata-se de um axioma de carter existencial, mas que no fornece a construo da seleo. A lei do terceiro excludo tambm no era aceita pelos intuicionistas, salvo para conjuntos finitos. Para eles, uma afirmao pode ter uma e s uma das trs possibilidades: verdadeira, falsa ou indecidvel. Por exemplo, considere as trs afirmaes a seguir:

76

Caderno de Licenciatura em Matemtica

1) 2n + 1 um nmero primo. 2) Existe um terno x, y e z de nmeros naturais tais que xn+2 + yn+2 = zn+2. 3) Se p primo, existe um primo q maior que p. A primeira sentena pode ser verificada para cada nmero natural. Mesmo que o teste seja longo, o mesmo ser feito e a afirmao para tal n ser falsa ou verdadeira.Para a segunda, o mesmo no ocorre pois dado um n teremos de verificar a afirmao para possivelmente infinitos ternos. Aqui os intuicionistas consideram que o problema indecidvel pois no h uma forma de construo dos ternos. O infinito no a questo nica pois em 3) temos infinitos primos mas existe uma forma efetiva de construir o prximo primo. Neste caso o problema decidvel. Uma questo deve ser formulada aos intuicionistas: o que se manteria agora a curto prazo na Matemtica se forem usados somente processos que satisfazem s suas exigncias?

Formalismo
Os formalistas consideram a Matemtica como o estudo dos sistemas de axiomas acrescidos de leis lgicas. A Matemtica, ento, repousa na questo fundamental da consistncia, ou seja, no fato de que num sistema no se pode provar uma proposio e ao mesmo tempo sua negao. Aps a aritmetizao da Anlise e da fundamentao Aritmtica feita por Frege e antecedida pela listagem dos axiomas aritmticos de Peano (que caracterizou mas no conceituou o nmero), restava apenas fundamentar a Geometria. Esta era assentada na euclidiana, que continha muitas falhas e imprecises. Com esta viso, Hilbert reestruturou a Geometria euclidiana mantendo a base axiomtica, pois observara que temos de partir de termos no definidos, usando neste caso o ponto, a reta e o plano como tais. Tambm destacou seis relaes no definidas: estar sobre, estar entre, congruncia, continuidade e paralelismo, transformando a Geometria euclidiana de inspirao emprica numa geometria de relaes. Levando ainda em conta as novas geometrias no euclidianas, a hiperblica e a elptica, se posicionou sobre a natureza da Matemtica, fundando uma escola filosfica. Hilbert props a concepo formalista da Matemtica, elaborando seu programa , aps a publicao do seu Grundlagen der Geometrie em 1899. A Matemtica formalista tem um ar de vazio, de arbitrrio, pois a existncia e a verdade fsica no a envolvem. Os estudos neste sentido levam a comparar modelos. Por exemplo, o surgimento das geometrias No-Euclidianas destruiu concepes arraigadas de que a Geometria Euclidiana era a Geometria do universo. Afinal, Newton a usava na sua cosmologia (seu modelo fsico do universo). Surgiram vrios modelos para as novas geometrias, como o de Poincar para a geometria Hiperblica. Os estudos comparativos, neste caso, mostraram que a Geometria NoEuclidiana seria consistente se a Geometria Euclidiana o fosse. Buscou-se a Aritmtica, tida como inquestionvel, para estudar a consistncia das geometrias. No entanto, o mtodo comparativo de modelos no podia ser aplicado neste caso, pois no existia teoria mais simples na qual se pudesse construir um modelo apropriado correspondente. Traduzindo o problema de provar a consistncia da Aritmtica para uma situao abstrata, Hilbert construiu modelos atravs de situaes formais, criando a Teoria da Demonstrao em Grundlagen der Mathematik, livro que correspondeu ao Principia Mathematica do logicismo. No entanto, a tese ruiu com a prova de Kurt GODEL de que o sistema de Hilbert no era completo pois que nele havia afirmaes indecidveis (isto , afirmaes que no se pode decidir se so falsas ou se so verdadeiras), e a consistncia do sistema era uma delas.

III. COMENTRIOS FINAIS


Podemos dizer que as escolas consideravam vlidas boa parte de tcnicas abstratas da prpria teoria dos conjuntos. Porm, divergem quanto intensidade ou legitimidade de algumas. Quando do surgimento dos paradoxos, as crticas teoria dos conjuntos foram distintas. Brouwer declarou que a concepo estava errada desde o incio, que se transferia a manipulao de conceitos de objetos finitos para o infinito. Era o uso abusivo do infinito. J Russell acreditava numa reconstruo da teoria que pudesse eliminar o que considerava a origem de tudo: o crculo vicioso. Como j fizemos referncia, o matemtico pode subsistir num mundo hermtico abstrato fazendo Matemtica pela Matemtica. Neste sentido, ele faz uso exatamente de vrias concepes criadas ao longo da sedimentao dos fundamentos. Como Plato, ele acredita numa evoluo pela prtica racional e vive no mundo da idias, que um mundo sem representao na realidade objetiva. A esta atitude de acreditar que os objetos matemticos existem e so palpveis pela mente, costuma-se denominar de Platonista. Um platonista est convencido de que para cada condio bem definida existe, em geral, um conjunto ou classe que compreende todas as entidades que a satisfazem. O clculo usado o chamado clculo ideal e a teoria dos conjuntos envolvida a teoria intuitiva dos conjuntos que constitui, segundo Hilbert, o paraso criado por Cantor. Simpatizantes do Platonismo, como Kurt GODEL, formulam pontos de vista sobre suas concepes quanto Matemtica. Citemos um trecho:

Dezembro 1999 - Nmero 2 - ano 2

77

Malgrado seu distanciamento da experincia dos sentidos, temos algo como que uma percepo tambm de objetos da teoria dos conjuntos como se depreende do fato de que os axiomas se impem ns como verdadeiros. No vejo nenhuma razo por que deveramos ter menos confiana neste tipo de percepo, isto , na intuio matemtica, do que na percepo dos sentidos. Esses objetos podem tambm representar um aspecto da realidade objetiva. Ren THOM tambm simpatizante destas idias e num outro aspecto diz: as formas matemticas tm uma existncia que independente da mente que as contempla. No entanto, a qualquer momento, os matemticos tm somente uma viso incompleta e fragmentria deste mundo das idias. Vrios campos da fundamentao constituem hoje objeto de pesquisa nas mais variadas reas, como a teoria da prova de Hilbert. A teoria dos conjuntos outro vasto campo de estudos. Praticamente todas as reas da matemtica se beneficiam de resultados da teoria dos conjuntos e outras, como a topologia geral, dela surgiram. Embora a teoria quntica tenha mostrado que a natureza d saltos contrariando o conceito de continuum desenvolvido na Matemtica, a eliminao pura e simples do infinito na Matemtica iria ser uma perda intelectual irreparvel, como se posicionou Hilbert. Na verdade, o que comps as divergncias foram exigncias em se lidar com objetos construdos. No entanto, o uso da teoria dos conjuntos no cotidiano da Matemtica compreende a teoria intuitiva dos conjuntos, onde tudo permitido, desde formar conjuntos arbitrariamente at lidar com aritmtica transfinita e conjuntos inacessveis, universos, onde novamente o que se prioriza a idia e no a legitimidade. Grosso modo, a Filosofia da Matemtica tem como sub-reas a existncia de objetos matemticos e a verdade Matemtica. No podemos dizer que a Matemtica est em crise, mas sua fundamentao ainda incompleta. Por exemplo, no h uma teoria axiomtica dos conjuntos que seja satisfatria. H diversas em uso, a primeira tendo sido formulada por Zermelo junto com Fraenkel, que praticamente todo matemtico usa. Num processo similar ao caso da Geometria euclidiana, temos hoje a Teoria dos Conjuntos nocantoriana, onde no vale a hiptese do contnuo. O mtodo de apresentar tal modelo permitiu j utilizao em outras reas de pesquisa, tornando-o no propriamente legtimo, mas eficiente. Esperamos poder tratar mais uma vez deste tema e advertimos novamente o leitor que a Filosofia da Matemtica um vasto campo, que continua margem do interesse da maioria dos matemticos.

Bibliografia
[1] WILDER , Raymond L. , Evolution of Mathematical Concepts. An Elementary Study, John Wiley & Sons, INC 1968 [2] BENACERRAF, P. / PUTNAM, H., Philosophy of Mathematics, Cambridge University Press, 1985 [3] FRAENKEL / LEVY, Foundations of Set Theory, North-Holland Co., 1973 [4] RUSSEL, Bertrand, Introduo filosofia da Matemtica, Zahar Editores, 1974 [5] STOLL, Robert, Set Theory and Logic, W. Freeman and Co., 1963 [6] TARSKI, Alfred, Introduction to Logic, Oxford Press, 1965 [7] HOWARD, Eves, Introduo Histria da Matemtica, Editora Unicamp, 1995 [8] BOYER Carl, Histria da Matemtica, editora Edgard Blcher Ltda., 1974 [9] EDWARDS, C. , The Historical Development of the Calculus, Springer-verlag, 1982 [10] PEIRCE / FREGE, G., Coleo Os Pensadores, Abril Cultural, 1980 [11] BARKER, Stephen F., Filosofia da Matemtica, Zahar Editores, 1976 [12] DAVIS, Philip; HERSH, Reuben, A Experincia Matemtica, Francisco Alves, 1985