You are on page 1of 12

As Principais Tendncias nos Fundamentos da e Geometria no Sculo Dezenove e

Hans Freudenthal
O cap tulo mais bem conhecido da histria da matemtica a histria o a e o da geometria no euclidiana. Ele foi estudado seriamente por especialistas a e no tenho a intenao de acrescentar nada ao trabalho que realizaram. No a c entanto, a forma como essa geometria foi recebida um assunto bem menos e familiar. Vale a pena dizer algo sobre isso. Gauss, que desde muito cedo (talvez a partir dos ultimos anos do sec. XVIII) havia concebido a idia de geometria no euclidiana, jamais publicou e a uma unica palavra sobre essa sua descoberta, temendo, como armou, o clamor dos Becios. Seu medo, no entanto, era infundado. Ninguem, no o comeo dos anos trinta (do sec. XIX) se importou com as descobertas de c Lobachevsky e Bolyai no havendo assim quem alertasse os Becios. Aps a o o a morte de Gauss houve boatos de que ele havia pesquisado esse tema. O rumor foi conrmado por sua correspndencia com Schumacher, publicada o entre 1860 e 1868. Mas nem mesmo o nome de Gauss foi incentivo sucinte e para despertar interesse no estudo das geometrias no euclidianas. a A recepo da geometria no euclidiana comeou com tres eventos quase ca a c simultneos: o artigo Uber die Tatsachen, die der Geometrie zum Grund a liegen 1 (1868), a interpretaao de Beltrami da geometria no euclidiana na c a geometria diferencial, e as traduoes e reedices de textos de geometria no c o a euclidiana (a partir de 1866) por J. Houl O artigo de Riemann Uber die e Hypothesen, welche der Geometrie zugrunde ligen 2 (1954; publicado pela primeira vez em 1867) infelizmente no faz parte deste contexto histrico, a o em primeiro lugar, porque, estranhamente, no menciona a geometria no a a euclidiana mas principalmente porque durante mais de trinta anos as contribuioes de Riemann sobre os fundamentos da geometria foram ofuscadas c
1 2

Sobre os fatos que fundamentam a geometria Sobre as hipteses sobre as quais se fundamenta a geometria o

pelas de Helmholtz. Os Becios - gente vaidosa que arma ser capaz de provar o que Gauss, Riemann e Helmholtz so pessoas estupidas - no aparecem at a a e meados dos anos setenta (sec.XIX). Quem testemunhou a batalha de Einstein nos anos vinte (sec. XX) conhece esse tipo de literatura humor stica. O nome dessa nova cincia parece ser metamatemtica ou metageometria e o objetivo e a principal algo que est para a matemtica respeitvel assim como a mee a a a taf sica est para a f a sica. O conhecimento que a maior parte dessas pessoas tem sobre essa metacincia quase nulo e resume-se a acreditar que retas e e paralelas se encontram e o espao tem mais do que tres dimenses. Apesar c o disso as exposioes populares de Helmholtz ( principalmente sua brilhante c exposiao de 1870) parecem ter impressionado o pblico. So propagadas c u a por lsofos como Benno Erdmann que transforma o sabor e conciso de o a Helmholtz em prolixidade e insipidez losca. o Aps 1868, os matemticos sabem que a geometria no euclidiana existe. o a a Um deles era F. Klein que (em 1870) descobriu no famoso artigo de Cayley Sixth Memoir upon quantics 3 (1859) um modelo de geometria no eua clidiana. No entanto, esta descoberta no contribuiu para para esclarecer os a fundamentos da geometria. E claro que um modelo interessante como esse uma ferramenta agradavel de se trabalhar. Mas naquela poca as pessoas, e e inclusive Klein, no entendiam a funao lgica de um modelo. Ele armava a c o no constituir um c a rculo vicioso fundamentar a geometria no euclidiana na a geometria projetiva que por sua vez havia sido fundamentada na geometria euclideana. Mas ele mesmo nunca conseguiu entender inteiramente esse fato. A lgica da geometria foi mais obscurecida do que esclarecida pela descoberta o de um modelo de geometria no euclidiana. a No trabalho de Klein as geometrias projetiva e no euclidiana se encona tram. A mudana do enfoque euclideano para o projetivo, ocorrida no in c cio do sculo XIX, foi um dos pressupostos histricos para a axiomatizao que e o ca a geometria atingiria no nal do sculo. A geometria euclidiana uma ese e trutura complexa. Enquanto o pensamento axiomtico no se tornasse um a a hbito no seria fcil construir um sistema axiomtico para ela. Na geomea a a a tria projetiva, no entanto, essa diversidade de relaoes geomtricas reduzida c e e a apenas uma, a relaao de incidncia, embora num exame mais cuidadoso, c e uma segunda, a relaao de ordem, se mostre indispensvel. c a Num certo momento G. K. Ch. von Staud em sua Geometrie der Lage 4
3 4

Sexta memria sobre quantics o Geometria de Posio ca

(1847) parece ter alcanado a meta de uma geometria (projetiva) puramente c dedutiva. Em nenhum momento ela faz uso de relaes mtricas. A noao co e c de conjugaao harmnica denida utilizando apenas a relaao de incidncia c o e c e (teorema do quadrngulo completo). Dene-se as transformaoes projetivas a c como aquelas que preservam retas e as relaoes harmnicas. Atravs desse arc o e tif de aparncia moderna ele obtem o teorema fundamental da geometria cio e projetiva que se revela um resultado decisivo no assunto. F. Klein (1873) foi o primeiro a perceber a forma disfarada em que c suposioes de continuidade aparecem na prova de von Staud na qual propric edades de densidade da rede harmnica so atribuidas a reta. Klein no foi o a ` a capaz de preencher esta lacuna ou mesmo entender a verdadeira natureza do problema. Ele retorna vrias vezes a esse ponto. Tudo que escreve sobre isso a muito confuso. Ele no distingue de maneira adequada as noes de contie a co nuidade e de monotonia. Confunde tambem as nooes de continuidade como c propriedade de funoes e como propriedade de nmeros reais (esse conceito c u hoje conhecido com o nome de conexo). e a Para Klein a reta, o plano e o espao eram, da mesma forma que para c Helmholtz e Riemann, variedades. Ele no foi capaz de formular as proa priedades topolgicas dessas estruturas de nenhuma outra forma. Esta o e uma das razes que levaram muitos dos seus contemporneos a considerar a o a forma com que fundamentou as geometrias projetiva e no euclidiana como a um c rculo vicioso: comea-se, diziam eles, com uma variedade, mas atravs c e dela j se presupe o espao euclidiano. E claro que Klein estava certo, mas a o c mesmo depois de Pasch e Hilbert ele nunca entendeu realmente que poss e vel dispensar a noao de variedade nos Fundamentos de Geometria. c Esse um fato estranho. Desde 1871 e 1872 Dedekind e Cantor tinham, de e forma independente, conseguido analisar e entender o continuum numrico. e E claro que o continuum geomtrico era um problema mais dif uma vez e cil que a densidade da rede racional que evidente na anlise, tem que ser e a estabelecida por meio axiomtico na geometria. Essa a essncia do assim a e e chamado axioma de Arquimedes. No comeo dos anos oitenta (sec. XIX) c Pasch e O. Stolz, acredito que de forma independente, tinham percebido seu real signicado. Nos anos noventa (sec. XIX) a continuidade em geometria foi iluminada pelo aparecimento de sua contrapartida. Dos trabalhos caticos de G. Veo ronese emergiram as geometrias no arquimedianas que foram estudadas de a forma mais precisa por T. Levi-Civita. O que isso signicou pode ser inferido pela reao de Klein que em 1898 ainda estava preso a noo de variedade ca ca 3

de nmeros como substrato da geometria. u Originalmente, nem a geometria projetiva nem a geometria no euclidia ana pertenciam a fam dos fundamentos no sentido de se constituirem lia numa investigao consciente sobre a essncia do espao. Essa problemtica ca e c a caracter e stica de uma terceira corrente, pesadamente carregada de losoa. Para resenhla adequadamente deveriamos comear por Kant ou at mesmo c e por Newton e Leibniz. A luta contra e a favor da geometria no euclidiana a no sculo dezenove se desenvolve tendo como pano de fundo a doutrina de e Kant sobre o espao, ou melhor, um resumo supercial, que at hoje aparece c e nos livros como sendo a doutrina de Kant. A revindicao da verdade aprior ca stica da geometria no ajuda a comprea enso da geometria ou da lgica. No tenho condioes de decidir se a autoa o a c ridade de Kant dicultou ou no as investigaes sobre os fundamentos. De a co qualquer forma, evidente que Riemann rejeitou Kant. Ele havia estudado e cuidadosamente Herbart que tinha sido o primeiro a observar que psicologicamente o topolgico precede o espao euclidiano. De acordo com Riemann o o c substrato psicolgico da geometria uma variedade n-dimensional. Se existe o e algum a priori formal no espao, ele a topologia. Como a topologia uma c e e estrutura muito pobre, algo provindo da experincia deve ser adicionado. e Esse algo Hypothesen welche der Geometrie zugrunde liegen5 , falando e matematicamente, a mtrica riemanniana. e Como psiclogo da percepao Helmholtz apreciava Kant, mas como mao c temtico o rejeitava. Ele tinha uma teoria matemtica do espao indepena a c dente da teoria de Riemann. Usava, contra Riemann o argumento: toda mtrica espacial depende da observaao da congruncia e a congruncia prese c e e supe a existncia de corpos slidos que se movem livremente. Essa existncia o e o e o fato (contrrio a hiptese de Riemann) a que ele faz referncia no t e a o e tulo do seu trabalho Uber die Tatsachen, die der Geometrie zum Grunde liegen. Partindo da variedade e acrescentando esse fato como postulado ele consegue provar que o espao ter que ser ou euclidiano ou no euclidiano. Como subc a produto de sua teoria, Riemann j havia provado a mesma coisa, mas com a hipteses mais fortes e apenas em espaos riemannianos, enquanto Helmholtz o c no supe o carater pitagrico da metrica. a o o E claro que a suposiao de helmholtz de que corpos slidos so indisc o a pensveis para se poder comparar distncias incorreta. Rguas ou slidos a a e e o
Hipteses sobre as quais se fundamenta a geometria. Trabalho fundamental de Rieo mann
5

unidimensionais, como o caso delas, so sucientes. No entanto, a objeo e a ca de Helmholtz continuamente repetida, no apenas por lsofos como Erde a o mann, mas tambem por Poincar que, em 1902, em sua resenha dos Fundae mentos da Geometria de Hilbert criticou a armaao de Helmholtz que, por c trinta anos, havia desviado a ateno dos geometras do trabalho de Riemann. ca No sculo dezenove no havia trocas de idias matemticas entre os paises e a e a europeus. As barreiras lingu sticas eram muito fortes. A animada discusso a dos fundamentos da geometria que ocorreu, a partir dos anos trinta na Alemanha no afetou, at os anos noventa (sec. XIX), a Frana. O ensaio a e c losco de Poincar que apareceu em 1891 na revista Revue gnrale des o e e e sciences pures et appliques parece que causou tremenda sensaao embora e c Poincar no tenha, nesse artigo, ido essencialmente alm de Helmholtz. O e a e ensaio foi imediatamente reproduzido pela revista Nature. A publicaao de Poincar ocorreu na poca correta. Inseriu-se numa corc e e rente de enorme interesse em losoa cr tica - nesses mesmos anos a revista Revue de Metaphysique et Morale foi fundada. Essa era a arena que nos anos noventa (sec.XIX) Poincar, Russel, Couturat, Frege e muitos outros e discutiam os fundamentos da matemtica. Pode-se acrescentar ainda a ina troduao das idias de Cantor e de Dedekind e no nal dos anos noventa c e tambem o nome de Peano foi mencionado num artigo de Couturat. A geometria, principal assunto em discusso, era ainda tratada da mesma forma a que em 1870. Nada do que tinha acontecido na Alemanha e na Itlia havia a cruzado as fronteiras lingu sticas. Uma contribuio muito divertida a essa ca discusso o livro An essay on the Fundations of Geometry (1897) 6 . Esse a e livro foi recentemente reeditado aps sessenta anos. o Alguem - que eu no sei precisar quem - deniu um lsofo como um a e o homem que, a meia noite, num quarto escuro, procura um gato preto que ` no est l. Tendo em mente esses lsofos dos anos noventa, gostaria de a a a o acrescentar: enquanto isso, o gato est a plena luz, no quarto ao lado. a` Ento a porta se abre - quero dizer, a porta do Congresso Filosco a o de Paris em 1900. No campo da losoa das cincias a falange italiana e e suprema: Peano, Burali-Forti, Padoa, Pieri dominam de forma absoluta a discusso. Para Russel, que apresentou um artigo losco no pior sentido a o do termo, Paris foi a estrada de Damasco. O que ocorreu no decorrer desse tempo? Pensa-se que Hilbert foi o primeiro a construir um sistema lgico fechado para a geometria euclidiana que o
6

Uma Ensaio Sobre os Fundamentos da Geometria

evita qualquer apelo ilegal a intuio. O trabalho de Pasch Vorlesungen uber ` ca 7 neuere Geometrie(1882) contradiz essa crena. Aps algumas pginas, o c o a leitor desse livro percebe que Pasch vai, escrupulosamente, realizando seu programa: sempre que a geometria precisa ser realmente dedutiva o processo de inferncia deve ser independente do signicado das noes e das e co guras geomtricas. As unicas coisas que importam so as relaes entre as e a co nooes geomtricas, da forma que elas so estabelecidas pelas denies e c e a co teoremas. Esse programa poderia ter sido formulado antes de Pasch e, em alguns casos foi, mas ninguem nunca antes pensou em lev-lo adiante. Como geoa metra dedutivo, Pasch tinha contempoaneos e competidores como O. Stolz a e F. Schur, porem no tinha precursores. Os italianos Veronese, Enriques, a Pieri, e Padoa foram inuenciados por ele e estou certo que o trabalho de Peano em log stica deve muito a Pasch que foi o primeiro a mostrar como formular axiomas. Desde os tempos antigos considera-se um axioma como uma verdade evidente que no pode nem deve ser provada. Isso signicava, principalmente, a que que os axiomas no precisavam nem mesmo ser formulados. Muita a gente (especialmente Klein) falava continuamente em axiomas geomtricos e sem nunca mencionar explicitamente um unico desses axiomas. Se alguem apontasse uma lacuna numa prova geomtrica provavelmente ouviria como e resposta: Ah, isso apenas um axioma. Esse um dos contextos usuais e e da palavra axioma. O livro de Pasch um sistema axiomtico da geometria projetiva, exatae a mente o tema em que von Staudt havia falhado. Na mesma poca Cantor e e Dedekind haviam mostrado como atacar o continuum. At o nal do sculo (sec. XIX) o trabalho de Pasch foi continuado e e principalmente pelos italianos. J mencionei a descoberta das geometrias a no arquimedianas. As geometrias nitas apareceram na mesma poca (G. a e Fano, 1892; E.H. Moore, 1896). Muito antes, Klein j havia concebido a a geometria no desarguesiana, faltando lhe apenas o nome certo. a Apesar disso grande a distncia entre Pasch e Hilbert cujos Grundlae a 8 gen der Geometrie foi publicado pela primeira vez em 1899. O progresso provavelmente teria sido menos marcante se Pasch no houvesse publicado, a no comeo do sculo XX, um grande nmero de longos artigos loscos c e u o
7 8

Lies Sobre a Nova Geometria co Fundamentos da Geometria

expondo idias dolorosamente contrastantes com as de Hilbert. Enquanto e Pasch se mostrava ancioso para derivar as nooes fundamentais a partir da c experincia e no postular mais do que a experincia pode oferecer, Hilbert e a e comea armando: Wir denken uns . . . imaginamos tres espcies de coisas c e . . . chamadas pontos . . . retas . . . planos imaginamos relaoes entre pontos, c retas e planos que chamaremos de incidncia, estar entre (ordem), paralee lismo e congruncia . . . . e Como armamos, desde muito tempo se considera um axioma como uma verdade que no pode nem deve ser provada. Os que no gostavam das a a evidncias chamavam um axioma de postulado ou falavam em hipteses (Rie o emann) ou em fatos (Helmholtz). Um assunto que causou muita controvrsia e se os axiomas derivam da pura intuio (Kant), se so idealizados pela e ca a experincia (Helmholtz), se so julgamentos hipotticos sobre a realidade e a e (Riemann) ou se so armaes que transcendem a realidade (Klein). De a co qualquer forma, a geometria trata do espao - Pasch, Enriques, Veronesi, c Pieri e Klein enfatizaram isso e, na dcima primeira hora (1897), Russel e escreveu sua losoa Foundations of Geometry que revela leves pegadas de Kant e no a pata do lao. a e Wir denken uns o v nculo com a realidade cortado. A geometria se e tornou matemtica pura. A questo de como e onde aplic-la a mesma que a a a e em outros ramos da matemtica. Axiomas no so verdades evidentes. Eles a a a simplesmente no so verdades no sentido usual. a a E claro que aps o srio trabalho de Pasch sobre dedutibilidade e com a o e posterior descoberta das geometrias no desarguesianas, no arquimedianas a a e nitas essa idia (de que a geometria trata apenas do espao f e c sico) estava superada. G. Fano, um precursor de Hilbert comea um de seus artigos c (Giornale di Mat.,vol 30, pp 106-132) pressagiando as palavras de hilbert citadas acima. Dois outros italianos, Padoa e Pieri esto, nesse ponto, coma petindo com Hilbert. A conferncia de Pieri no Congresso de Filosoa de e Paris em 1900 tem um t tulo muito signicativo Sur la gometrie envisage e e comme un syst`me puremente logique9 ; Padoa apresentou dois trabalhos nos e quais o status lgico da geometria discutido e so esquematizados esboos o e a c axiomticos mais claros e precisos do que Hilbert jamais havia feito. a O que fora expressamente formulado por Padoa estava, no trabalho de Hilbert, ligado com fatos matematicamente importantes, isto , a idia de e e deniao implicita, um mostro lgico e um incomodo para muitas pessoas da c o
9

Sobre a Geometria Concebida Como um Sistema Puramente Lgico o

poca. Hilbert nunca usa o termo denio implicita. Mas ele introduz os e ca axiomas de ordem com a armao os axiomas desse grupo denem a noao ca c de estar entre. E novamente, com os axiomas de congruncia: os axiomas e desse grupo denem a noo de congruncia ou movimento. Pode-se traar a ca e c origem dessa idia ao contexto de 1894 mas, naquela poca, ninguem prestava e e atenao a ela. c O signicado das noes indenidas como ponto, reta, plano, incidncia, co e entre, congrunte implicitamente denido pelos axiomas, por regras como e e as que nos dizem como jogar um jogo. Tolice, objetavam as pessoas, pois se transformarmos o espao euclidiano em si mesmo por uma inverso as c a retas e planos so substituidos por circunferncias e esferas que satisfazem a e os mesmos axiomas embora sejam muito diferentes de retas e planos, o que prova que os axiomas no denem as nooes com que lidamos. a c Frege, contestando Hilbert como um escolar, tambem se junta aos Beocios. ( Eu nunca entendi porque Frege to admirado hoje em dia). O e a seu sistema de axiomas, diz ele a Hilbert, como um sistema de equaes e co que voce no pode resolver. Se tivvermos que decidir se um objeto, digaa mos meu relgio, um ponto, ja somos frustrados pelo primeiro axioma que o e considera dois pontos . . . . Frege parodia o sistema de Hilbert: Erklarung. Wir denken uns Gegenstnde, die wir Gtten nennen. Axiom1. a o Jeder Gott is almchtig. Axiom2. Es gibt wenigstens einen Gott. 10 a Dicilmente Frege poderia inventar uma demonstrao mais efetiva. Anca tes de Hilbert os matemticos se comportavam como se pudessem atraves da a matemtica se o relgio de Frege ou no um ponto. Sistemas axiomticos a o e a a como os da caricatura de Frege existiram (Os de Spinoza e muitos outros) enquanto se acreditou que a geometria pudesse armar alguma coisa sobre o mundo real. No nal, prevaleceu o ponto de vista de Hilbert. A geraao mais jovem c estava agradecida por ter se livrado de denioes como as de Euclides Um c ponto o que no tem partes e uma unidade aquilo de acordo com o e a e que tudo chamado de um. A clara distinao feita por Hilbert entre a e c matemtica e as cincias do real tornou-se paradigma para uma nova metoa e dologia. Por meio do livreto de Einstein Uber die spezielle uns allgemeine 11 Relativittstheorie essa doutrina fez seu caminho atraves dos lobbies da a
Proposio. Imaginamos uma coisa que chamamos Deus. Axioma1. Todo Deus ca e onipotente. Axioma2. Existe pelo menos um Deus. 11 Sobre as Teorias Especial e Geral da Relatividade
10

cincia e da losoa. Algumas sentenas cunhadas por ele para sua cone c ferncia Geometrie und Erfahrung tornaram-se clssicas: Na medida em e a que os teoremas da matemtica se referem ` realidade, eles no so certos e, a a a a na medida em que so certos, no se referem a realidade . . . O progresso proa a ` porcionado pela axiomtica consiste numa n a tida separaao da forma lgica e c o o conteudo real ou intuitivo . . . Os axiomas so criaes voluntrias da mente a co a humana . . . Dou muita importncia a essa interpretao da geometria pora ca que se no a conhecesse nunca teria sido capaz de desenvolver a teoria da a relatividade Numa longa resenha da oitava ediao dos grundlagen de Hilbert analisei c 12 Identiquei precursores e competidores. detalhadamente seu trabalho. A medida que fui descobrindo pude ir distinguindo com maior clareza o que era historicamente decisivo no trabalho de Hilbert. O pai do rigor em geometria Pasch. A idia do status lgico ocorreu ao mesmo tempo a e e o alguns italianos. A idia de deniao impl e c cita foi analisada muito antes por Gergonne. A prova da independncia por contra exemplo foi praticada pelos e inventores da geometria no euclidiana e, de maneira mais consciente, por a Peano e Padoa. O clculo com segmentos foi pregurado em von Staudt a throw calculus. O signicado do Schliessungsstze foi compreendido por a H. Wiener (1893). At mesmo o t e tulo Gundlagen der Geometrie13 esta longe de ser original. Antes de Hilbert um nome como esse indicava pesquisa da do tipo de Riemann ou Helmholtz. Os artigos de Lie de 1890 apareceram com esse t tulo o mesmo acontecendo com o livro de Killing em 1893 e 1897. Expliquei tambem, em minha resenha, porque, apesar de todos esses fatos histricos, estamos acostumados a identicar a transformaao da matemtica o c a em axiomtica com os Grunlagen de Hilbert: esse trabalho artesanal e a extremamente elaborado de axiomtica innitamente mais persuasivo do a e que especulaoes programticas e loscas sobre axiomas e o espao jamais c a o c poderiam ser. H um nome nos Fundamentos da Geometria que quase negligenciei: a Poincar. Ao ler-se o cap e tulo sobre geometria em La Science et lHypot`se e (1903?), respira-se, sem dvida, o ar dos Grundlagen de Hilbert (1899), do u esp rito moderno da axiomtica, embora se possa talvez perguntar porque o a nome de Hilbert no mencionado. Isso me fez car muito surpreso quando a e encontrei a primeira edio, publicada em 1891, um bom nmero de anos anca u
12 13

Nieuw Archive voor Wiskunde (4) 5 (1957), Fundamentos da geometria

105-142

tes dos Grundlagen de Hilbert. (A maior parte de La Science et LHypot`se e uma reediao quase textual de ensios publicados em revistas nos anos noe c a venta (sec. XIX)). E verdade que Poincar havia, em importantes pontos, a e antecipado Hilbert? Minha surpresa aumentou quando li todos os outros artigos de Poincar e e as controversias que eles causaram. Pareceu-me que as reexes de o Poincar` no tinham quase nada a ver com a pesquisa sobre o status lgico e a o da geometra embora, depois dos Grundlagen elas tenham prontamente sido interpretadas assim. Devo confessar que essa foi para mim uma experincia e desconcertante. Historiadores que acreditam que, lendo um trabalho isoladamente de seu contexto e numa ediao mais recente ou talvez mesmo traduzida c para uma outra linguagem, podem entender um lsofo, devem se acautelar. o Num outro contexto, um livro inteiro pode adquirir um signicado totalmente diferente - como foi o caso de it La Science et lHypotse. No posso e a aduzir aqui as longas citaoes atraves das quais estabeleci, em outro lugar, a c prova dessa tese. Posso apresentar apenas um resumo desses resultados. Nos Fundamentos da Geometria, Poincar apoiou-se muito em Helmholtz. e Com Helmholtz, inicialmente rejeitou Riemann. E vis que no conhecia vel a nada de Pasch nem dos italianos. Sua contribuio matemtica para os ca a Fundamentos da Geometria insignicante. Sua produo losca, que se e ca o iniciou em 1891, mais abundante. e Nem uma vez siquer, em nenhum desses artigos, Poincar trata do proe blema que ocupou os matemticos a partir de Pasch: encontrar um lugar a para a geometria na matemtica pura. Embora Poincar faa clara distino a e c ca entre os continuos matematico e f sico, ele nunca usa esses adjetivos quando fala de geometria. Nunca se sabe quando usa as palavras espao, ponto e reta c se o faz num sentido matemtico ou f a sico. Poincar via a geometria como e uma cincia natural, usando mtodos matemticos como se fosse mecnica, e e a a termodinmica ou eletricidade. Em seu livro, todas as cincias so foradas a a e a c se conformarem a um mesmo padro, diferente da aritmtica, cujos juizos, de a e acordo com Poincar, so a priori. Fal muito em axiomas sem citar nenhum. e a Algumas vezes axioma, em sua terminologia, signica qualquer coisa que o gemetra utiliza sem prova. Em outras ocasies ele, presumivelmente, tinha o o em mente axiomas de algum livro texto ou ainda o que Helmholtz chamava de fatos. A idia de Pasch de sistematizaao axiomtica e rigor na deduo e c a ca ainda no havia atingido Poincar. a e Talvez voe saiba que, de acordo com Poincar, os axiomas geomtricos c e e (quais?) so convenoes. Originalmente isso era uma metfora. Mas, graa c a 10

dualmente, ele passa a gostar do termo e no m ele passa a chamar toda proposiao terica da cincia de convenao ou mesmo, conenao lingu c o e c c stica. Para evitar inconsistncias ele muda de uma conveno para outra. De acordo e ca com o mtodo usado nal, aplicado em La Science et lHypot`se, armar que e e Napoleo nasceu em 1789 em Ajaccio seria uma convenao lingu a c stica porque um procedimento arbitrio contar os anos a partir do nascimento de e a Jesus Cristo, chamar Napoleo de Napoleo e no de Wellington, e Ajaccio a a a de Ajaccio e no de Roma. a Quando em Fundamentos da Geometria aparece a palavra convenao c lembramo-nos imediatamente dos Grundlagen de Hilbert. A partir dele, um sistema axiomtico tem sido, frequentemente, comparado a um jogo que se a joga de acordo com regras convencionalmente estabelecidas. Mas ao usar essa imagem, estamos considerando a geometria como algo desvinculado do espao real. No entanto, se considerarmos a geometria uma cincia f c e sica, a armaao de que seus axiomas so convenoes no faz mais sentido do que c a c a a armao mais geral de que todas as armaoes da f ca c sica so convenes e a co portanto, at onde consigo ver, no faz nenhum sentido. e a Quando originalmente usada, a palavra conveno no acarretava nada ca a mais do que a existncia de varias espcies de geometria e tambem que nee e nhuma delas mais verdadeira do que as outras. Isso o que Poincar e e e aprendeu com Helmholtz; e essa armao no almeja muito alem do que ca a Helmholtz pretendia. A conceito de geometria de Poincar estremamente e ee restrito. Ele no admite nenhuma outra escolha alem das geometrias euclia diana e no euclidiana. Repetidamente enfatiza: Si donc il ny avait pas a de corps solides dans la nature il ny aurait pas de gomtrie14 . Essa a e e e verdadeira substncia das objeoes que Helmholtz fez a Riemann, e mostra o a c quo distante Poincar ainda estava da concepao de Hilbert do status lgico a e c o da geometria. Para Poincar a homogeneidade do espao era necessria e e c a ele at mesmo tentou provar isso em um dos seus artigos. Na verdade, o e unico fato que Poincar considerava convencional era o valor da curvatura do e espao. Nunca ocorreu para ele, antes de ler Hilbert que havia mais axiomas c que pudessem ser suprimidos. Cada linha de sua resenha dos Grundlagen15 revela sua surpresa. Estava surpreso porque no sabia o que havia acontea cido nos ultimos trinta anos. De repente, cou sabendo da existncia de uma e variedade muito maior de geometrias do que as que ele conhecia. Ele admitia
14 15

Portanto, se no existisse na natureza corpos slidos, no haveria geometria. a o a Bull. Sci. math (2) 26(1902), 249272

11

os espaos de Riemann e havia descoberto o paralogismo do argumento que c Helmholtz usou contra Riemann. Havia incorporado to entusiasticamente a a idia de deduao rigorosa em geometria que chegou a armar: On poure c rait coner les axiomes a une machine a raisonner, . . . et lon verrait sortir ` toute la Gomtrie16 . E, nalmente, ele tomou conhecimento das iias dos e e e italianos como eles as espuseram em Paris. No h melhor evidncia da capacidade dos Grundlagen em mostrar o a a e poder de persuaso de uma losoa que no imposta como um programa, a a e mas apenas o fundo silencioso de uma obra prima de artesanato. Exempla e trahunt17 . Esse grande sucesso s foi concedido a Hilbert em geometria. o Ele inicia os Foundations of mathematics na outra extremidade, como um programa - um programa, como diz Padoa em 1900, quimrico. e Esse dito Exempla trahunt tambem caracteriza os Principia Mathematica 18 de Russel e Whitehead, tambem um trabalho dominante, embora menos profundo do que o de Hilbert. O triunfo dos matemticos italianos foi uma vitria de Pirro. Aps os a o o Grundlagen der Geometrie eles deixaram de trabalhar nos fundamentos da geometria e, aps os Principia Mathematica, deram adeus a log o ` stica.

Referncias e
[1] Thomas Heath, EUCLIDE The thirteen Books of THE ELEMENTS. Translated with introduction and commentary by Sir Thomas L. Heath , DOVER.

Pode-se introduzir os axiomas numa mquina de calcular, . . . e se ver aparecer toda a a a geometria. 17 Os exemplos cativam. 18 Princ pios de Matemtica a

16

12

You might also like