Escolar Documentos
Profissional Documentos
Cultura Documentos
Jos Roosevelt Dias Mestre em Matemtica - UFF Professor Adjunto - UFF jrdias@microlink.com.br
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
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
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
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-
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".
74
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.
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
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
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.
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