A Implausvel Eccia da Matemtica nas Cincias Naturais

EUGENE F. WIGNER
Princeton University

e provvel que haja aqui algum segredo ainda a ser descoberto (C. S. Peirce) Existe uma histria a respeito de dois amigos, colegas de classe no colgio, falando sobre suas prosses. Um deles tornou-se um estatstico e estava trabalhando com estudos populacionais. Ele mostrou uma publicao ao seu antigo colega de classe. A publicao comeava, como de hbito, com a distribuio gaussiana e o estatstico explicou ao colega o signicado dos smbolos para a populao real, para a populao mdia e assim por diante. Seu colega se mostrava um pouco incrdulo e parecia no estar certo de que no estava sendo vtima de uma brincadeira. Como voc pode saber isso? foi sua pergunta. E o que este smbolo aqui? Ah, disse o estatstico, isso . O que isso? A razo entre a circunferncia do crculo e seu dimetro. Agora voc est levando a brincadeira longe demais, disse o colega, certamente a populao no tem nada a ver com a circunferncia de um crculo. Nossa inclinao natural sorrir diante da simplicidade desse ponto de vista. No entanto, sempre que ouo essa histria, sou tomado por um sentimento sinistro pois na reao do colega do estatstico no h nada mais que uma manifestao de puro e simples bom senso. Fiquei ainda mais confuso quando, alguns dias mais tarde, algum expressou a mim seu espanto1 com o fato de que fazemos escolhas muito restritas quando escolhemos os dados que vamos utilizar para testar nossas teorias. Como podemos saber que no possvel, levando-se em conta o que havamos desprezado e desprezando o que havamos considerado, construir uma nova teoria, em tudo diferente da que temos mas
A observao a ser citada foi feita a mim por F. Werner na poca em que era estudante em Princeton.
1

que, tanto quanto ela, capaz de explicar um grande nmero de fatos signicativos. Temos que admitir que no existe nenhuma evidncia denitiva de que isso no possvel. As duas histrias precedentes ilustram duas questes principais que so o assunto do presente discurso. A primeira delas que os conceitos matemticos aparecem em situaes totalmente inesperadas. Alm disso, eles permitem, com frequncia, descries, surpreendentemente prximas e precisas, dos fenmenos em questo. A segunda que, exatamente por causa das circunstncias descritas e tambm por no entendermos as razes dessa utilidade, no podemos saber se a teoria formulada em termos desses conceitos matemticos a nica apropriada. Estamos numa situao parecida com a do homem que recebeu um molho de chaves e que, tendo de abrir seguidamente diversas portas, sempre encontra, na primeira ou na segunda tentativa, a chave certa. Esse fato o torna ctico em relao unicidade da correspondncia entre chaves e portas. Muito do que ser dito a respeito dessas questes no ser novidade; provavelmente j ocorreu, de uma forma ou de outra, para a maioria dos cientistas. Meu principal objetivo ser iluminar a questo de diversos ngulos. O primeiro aspecto a ser considerado que a enorme utilidade da matemtica para as cincias naturais algo que beira o mistrio e que no pode ser racionalmente explicado. Em segundo lugar, exatamente essa misteriosa utilidade dos conceitos matemticos que levanta a questo da unicidade de nossas teorias fsicas. Para tratar da primeira questo, que a matemtica desempenha uma funo na fsica cuja importncia ultrapassa o razovel, ser til dizer alguma coisa sobre a questo O que a matemtica? e a seguir sobre O que a fsica? e, em seguida, sobre como a matemtica aparece nas teorias fsicas e, nalmente, sobre a razo do sucesso da matemtica ao tratar com a fsica ser to desconcertante. Muito menos se dir sobre a segunda questo: a unicidade das teorias fsicas. Uma resposta adequada para esta questo exigiria um trabalho terico e experimental que at hoje ainda no foi realizado. O que a matemtica? Algum disse, certa vez, que losoa o mau uso de uma terminologia inventada exatamente com esse propsito.2 Nessa mesma linha, eu diria que a matemtica a cincia de engenhosas operaes com regras e conceitos inventados exatamente
Essa armao foi retirada de W. Dubislavs Die Philosophie der mathematik in der Gegenwart. Junker und Dunnhaupt Verlag, Berlin, 1932, pg. 1.
2

com esse propsito. A principal nfase est na inveno dos conceitos. A matemtica veria esgotar rapidamente seus teoremas interessantes se eles fossem formulados apenas em termos dos conceitos que j apareceram nos postulados. Alm disso, apesar de ser inquestionvel que os conceitos da matemtica elementar, particularmente os da geometria elementar, so formulados para descrever entidades que so diretamente sugeridas pelo mundo real, o mesmo no parece ser verdadeiro para os conceitos mais avanados, em particular para os conceitos que desempenham um papel fundamental para a fsica. Assim, as regras para operar com pares de nmeros so obviamente formuladas para fornecer os mesmos resultados que os das operaes com fraes que inicialmente aprendemos sem fazer referncia a pares de nmeros. As regras para operaes com sequncias, isto , com nmeros irracionais, ainda pertencem a categoria das regras que foram formuladas para reproduzir regras de operaes de quantidades que j eram por ns conhecidas. A maior parte dos conceitos matemticos mais avanados, tais como os nmeros complexos, lgebras, operadores lineares, conjuntos de Borel e a lista pode ser prolongada quase indenidamente foram concebidas de forma a serem entidades com as quais o matemtico pode demonstrar toda sua engenhosidade e senso de beleza. De fato, a denio desses conceitos, com a percepo de que consideraes engenhosas e interessantes poderiam ser a eles aplicadas, a primeira demonstrao de engenhosidade do matemtico que os dene. A profundidade de pensamento que entra na formulao de conceitos matemticos justicada, a posteriori, pela habilidade (eccia) com que esses conceitos so utilizados. O grande matemtico explora integralmente, quase implacavelmente, os domnios dos raciocnios permissveis at o limite dos no permissveis. Que esse atrevimento no o leve a um pntano de contradies , em si mesmo, um milagre: difcil de acreditar que nosso poder de raciocnio foi levado, por um processo de seleo natural Darwiniano, perfeio que aparenta possuir. Esse no , no entanto, o assunto de que estamos tratando. O ponto principal que ter que ser recordado mais tarde que se o matemtico no quiser que a matemtica que restrita a uns poucos teoremas interessantes, ser necessrio denir novos conceitos alm daqueles j contidos nos axiomas, mais ainda do que isso, esses conceitos precisam ser denidos de forma a permitir hbeis operaes lgicas, com forte apelo esttico, tanto no que se refere as operaes como tambem em termos de resultados de grande generalidade e sim-

plicidade.3 Os nmeros complexos fornecem um exemplo notvel para o que vem a seguir. certo que no h nada em nossa experincia que possa sugerir a introduo dessas quantidades. De fato, se pedirmos a um matemtico para que justique seu interesse por esses nmeros ele apontar, com alguma indignao, para o grande nmero de belos teoremas na teoria das equaes, para a teoria de sries de potncias e para a teoria geral das funes analticas cuja origem est ligada a introduo dos nmeros complexos. O matemtico no pretende abrir mo de seu interesse por essas belas criaes de seu gnio.4 O que Fsica? O fsico se interessa em descobrir as leis da natureza inanimada. Para entendermos essa armao necessrio analisarmos o conceito de lei natural. O mundo ao nosso redor de desconcertante complexidade e o fato mais bvio a seu respeito que no podemos prever o futuro. Embora se costume dizer que somente o otimista acha o futuro incerto, o otimista est, nesse caso, certo: o futuro imprevisvel. , como Schroedinger observou, um milagre que certas regularidades nos eventos, apesar da desconcertante complexidade do mundo, possam ser descobertas [1]. Uma dessas regularidades, descoberta por Galileu, que duas pedras, soltas no mesmo instante, de uma mesma altura, atingem o cho simultaneamente. As leis da natureza se referem a essas regularidades. A regularidade de Galileu um prottipo de uma grande classe delas. Por trs razes, essa regularidade surpreendente. A primeira razo pela qual ela surpreendente que ela no verdadeira apenas em Pisa, no tempo de Galileu mas verdadeira em todos os lugares da terra, foi verdadeira no passado e continuar, sempre, sendo verdadeira. Essa propriedade claramente uma propriedade de invarincia e, como tive a oportunidade de observar algum tempo atrs [2], sem princpios de invarincia semelhantes a esse, obtido pela generalizao das observaes de Galileu, a fsica no possvel. A segunda razo para essa regularidade que estamos discutindo surpreM. Polanyi em seu Personal Knowledge, University of Chicago Press, 1958 diz: Todas essas diculdades no so nada alm de consequncias de nossa recusa em ver que a matemtica no pode ser denida sem levar em conta sua mais bvia caracterstica: isto , que ela interessante, (pgina 188). 4 O leitor pode estar interessado, com relao a isso, nas observaes muito irritadas de Hilbert em relao ao intuicionismo que procura fracionar e desgurar a matemtica, Abh. Math. Sem. Univ. Hamburg, vol 157, 1922 ou Gesammelte Werke, Springer, Berlin, 1935, pgina 188.
3

endente o fato dela no depender de muitas condies que poderiam afet-la. Chovendo ou no chovendo, sendo realizada numa sala ou na Torre Inclinada e independentemente de ser homem ou mulher a pessoa que solta a pedra, ela vlida. Continua vlida tambm no caso das duas pedras serem soltas, simultaneamente e da mesma altura, por duas pessoas diferentes. Existem, obviamente, enumerveis outras condies que no interferem na validade da regularidade de Galileu. A irrelevncia de muitas circunstncias que poderiam intervir num fenmeno observado tambm tem sido chamado de invarincia [2]. Essa invarincia tem, no entanto, caractersticas diferentes da anterior em virtude do fato dela no poder ser formulada como um princpio geral. A explorao das condies que afetam ou no um determinado fenmeno faz parte das pesquisas experimentais iniciais que so feitas ao se estudar de um campo. a percia e a argcia do experimentador que iro indicar a ele fenmenos que dependem de um nmero relativamente pequeno de condies que podem ser facilmente percebidas e reproduzidas.5 No caso presente, a restrio feita por Galileu de s trabalhar com corpos relativamente pesados, a mais importante. Voltamos a insistir que, se no existissem fenmenos dependentes apenas de um pequeno nmero de condies que podemos controlar, a fsica no seria possvel. Os dois pontos precedentes, embora muito signicativos para o lsofo, no foram os que mais surpreenderam Galileu uma vez que eles no contm uma lei da natureza. A lei da natureza est contida na armao de que o intervalo de tempo necessrio para um objeto pesado cair de uma determinada altura independente do tamanho, da forma e do material de que feito o corpo que cai. No contexto da segunda lei de Newton isso equivale armao de que a fora gravitacional que age no corpo em queda livre proporcional a sua massa mas, independe do tamanho, da forma e do material do qual o corpo feito. A discusso precedente tem a inteno de lembrar, em primeiro lugar que no nada natural que leis da natureza existam e, muito menos, que o homem seja capaz de descobri-las.6 O presente autor
Veja a esse respeito, o ensaio grco de M. Deutsch, Daedalus, Vol. 87, 1958, pg. 86. A Shimony chamou minha ateno para uma passagem semelhante em C. S. Peirces Essays in the Philosophy of Science, The Liberal Arts Press, New York, 1957 (pg. 237). 6 E. Schroedinger, em What is Life, Cambridge University Press, 1945, diz que esse segundo milagre pode, muito bem, estar alm da compreenso humana (pg. 31).
5

teve a ocasio, algum tempo atrs, de chamar a ateno para os sucessivos nveis de leis da natureza, cada nvel contendo leis mais gerais e abrangentes do que o anterior e tambm para o fato de as descobertas desses nveis constiturem-se num crescente aprofundamento na estrutura do universo em relao aos nveis conhecidos anteriormente [3]. No entanto, o ponto mais importante no presente contexto que todas essas leis da natureza, mesmo em suas mais remotas consequncias, contm apenas um pequeno fragmento de nosso conhecimento da natureza inanimada. Todas as leis da natureza so armaes condicionais que permitem, a partir do conhecimento do presente, predizer alguns eventos futuros; na realidade, apenas alguns aspectos do atual estado do mundo so necessrios pois, na prtica, a maioria esmagadora das condies que determinam o estado presente do mundo so, do ponto de vista da previso, irrelevantes. A irrelevncia entendida aqui no sentido do segundo ponto da discusso do teorema de Galileu.7 No que se refere ao estado presente do mundo, tal como a existncia da Terra em que vivemos e onde os experimentos de Galileu foram feitos, a existncia do Sol e de todos os nossos arredores, as leis da natureza nada dizem. em consonncia com isso que as leis da natureza s podem ser utilizadas para predizer eventos futuros sob circunstncias excepcionais quando todos os fatores que determinam o presente estado do mundo so conhecidos. tambm em consonncia com isso que a construo de mquinas cujo funcionamento podemos prever, constitui as mais espetaculares realizaes dos fsicos. Nessas mquinas, o fsico cria uma situao em que todas as coordenadas relevantes so conhecidas de tal forma que o comportamento da mquina pode ser predito. Radares e reatores nucleares so exemplos desse tipo de mquinas. O principal propsito da presente discusso salientar o fato de que as leis da natureza so armaes condicionais e que se relacionam apenas com uma parte muito pequena de nosso conhecimento do mundo. Assim, a mecnica clssica, que o mais conhecido prottipo de todas as teorias fsicas, d, a partir do conhecimento das posies, etc. dos corpos, as derivadas segundas das coordenadas de posio de todos esses corpos. No d porm, nenhuma informao sobre a existncia, as posies no momento, nem da velocidade desses corpos.
7 O autor est seguro de que desnecessrio mencionar que o teorema de Galileu, como foi abordado no texto, no exaure o contedo das observaes de Galileu relativas s leis dos corpos em queda livre.

A bem da preciso precisamos mencionar que aprendemos, h mais ou menos trinta anos, que mesmo as armaes condicionais no podem ser completamente precisas: as armaces condicionais so leis de probabilidade que somente nos capacitam a fazer apostas inteligentes, fundadas em nosso conhecimento do presente, sobre as propriedades que o mundo inanimado ter no futuro. Elas no nos permite fazer armaes categricas, nem mesmo armaes condicionais categricas, fundadas em nosso conhecimento do presente. A natureza probabilstica das leis da natureza se manifesta tambm no caso das mquinas, pelo menos no caso dos reatores nucleares quando os fazemos funcionar com potncias muito baixas isso pode ser vericado. Todavia essa limitao adicional ao escopo das leis da natureza,8 imposta pela sua natureza probabilstica, no desempenhar papel algum no resto de nossa discusso. O Papel da Matemtica nas Teorias Fsicas. Aps havermos analisado aspectos essenciais da matemtica e da fsica, devemos estar em melhor posio para discutir o papel da matemtica nas teorias fsicas. , naturalmente, corriqueiro o uso da matemtica na fsica para calcular os resultados das aplicaes das leis da natureza, isto , para aplicar as armaes condicionais s particulares condies que prevalecem no momento ou quelas em que tivermos interesse. Para que isso seja possvel, as leis da natureza precisam j estar formuladas em linguagem matemtica. No entanto, a funo de calcular as consequncias de teorias j estabelecidas no o papel mais importante da matemtica na fsica. matemtica, ou melhor, matemtica aplicada no desempenha o principal papel nessa funo: ela apenas uma ferramente auxiliar. A matemtica, todavia, desempenha um papel bem mais importante em fsica. Isso j estava implcito quando armamos, ao discutir o papel da matemtica aplicada, que as leis da natureza j deviam estar formuladas em linguagem matemtica para poderem ser por ela utilizadas. A armao de que as leis da natureza so escritas em linguagem matemtica j foi feita, muito adequadamente, trezentos anos atrs;9 essa armao agora ainda mais verdadeira do que jamais foi. Para mostrar a importncia que os conceitos matemticos tm na formulao das leis fsicas, vamos, como um exemplo, recordar os axiomas da mecnica quntica formulados, de forma explcita, pelo grande matemtico von
8 9

Veja, por exemplo, E. Schroedinger, referncia [1]. Essa armao atribuda a Galileu.

Neumann, ou, implicitamente, pelo grande fsico Dirac [4,5]. Existem dois conceitos bsicos em mecnica quntica: estados e observveis. Os estados so vetores num espao de Hilbert e os observveis so operadores auto-adjuntos nesse espao. Os possveis valores das observaes so os valores caractersticos dos operadores , no entanto, melhor parar por aqui para no termos que fazer uma lista de conceitos matemticos criados pela teoria dos operadores. claro que verdade que a fsica escolhe certos conceitos matemticos para formular as leis da natureza e, certamente, apenas uma pequena frao desses conceitos utilizada na fsica. Tambm verdade que eles no foram escolhidos, de forma arbitrria, entre os conceitos que guram numa lista de termos matemticos mas, ao contrrio, foram, em muitos casos, se no na maioria deles, desenvolvidos, de forma independente pelo fsico e, somente a posteriori, reconhecidos como tendo sido concebidos previamente pelo matemtico. No verdade, porem, como armado com frequncia, que isso teria que acontecer porque a matemtica utiliza os conceitos mais simples possveis e, em virtude disso, eles teriam que aparecer em qualquer formalismo. Como j vimos, os conceitos matemticos no so escolhidos por sua simplicidade conceitual mesmo sequncia de pares de nmeros esto muito longe de estar entre os conceitos mais simples e sim por se prestarem a manipulaes astutas e a argumentos brilhantes. No devemos esquecer que o espao de Hilbert da mecnica quntica um espao sobre os nmeros complexos com produto escalar Hermitiano. Certamente para o esprito despreocupado, os nmeros complexos esto longe de ser naturais e simples e no podem ser sugeridos por observaes fsicas. Alm disso, o uso de nmeros complexos no , nesse caso, um truque computacional de matemtica aplicada mas se aproxima de uma necessidade na formulao das leis da mecnica quntica. Finalmente, comea agora a parecer que as chamadas funes analticas esto destinadas a desempenhar papel decisivo na formulao da teoria quntica. Estou me referindo ao rpido desenvolvimento da teoria das relaes de disperso. difcil evitar a impresso de que nos defrontamos aqui com um milagre, que pela sua surpreendente natureza, se compara com outro que a capacidade que a mente humana tem de encadear mil argumentos sem cair em contradio ou ainda a dois outros que so a existncia das leis da natureza e a capacidade da mente humana de adivinh-las. Que eu saiba, a observao que mais se aproxima de uma explicao

para o fato dos conceitos de matemtica aparecerem tanto em fsica foi feita por Einstein que armou que as nicas teorias fsicas que estamos dispostos a aceitar so as bonitas. Resta argumentar que os conceitos matemticos, que convidam ao exerccio de tanta argcia, tem a qualidade de beleza. No entanto, a observao de Einstein pode, na melhor das hipteses, explicar propriedades de teorias que queremos aceitar mas, ela no faz referncia preciso intrnseca dessas teorias. Retornaremos, mais tarde a essa questo. O Sucesso das Teorias Fsicas Realmente Surpreendente? Uma possvel forma de explicar o uso que o fsico faz da matemtica para formular suas leis da natureza que ele uma pessoa at certo ponto irresponsvel. Por causa disso, quando ele encontra uma conexo entre duas quantidades que se assemelha a uma conexo j conhecida em matemtica ele conclui imediatamente, que a conexo da fsica a da matemtica j que ele no conhece nenhuma outra similar. No pretendemos aqui refutar essa acusao de certa irresponsabilidade por parte do fsico. Pode ser que ele seja assim. , no entanto, importante observar que a formulao matemtica de uma experincia fsica, s vezes rudimentar, leva, um nmero surpreendente de vezes, a uma descrio extraordinariamente precisa de uma classe muito grande de fenmenos. Isso mostra que a linguagem matemtica tem mais a recomend-la do que ser a nica linguagem que sabemos utilizar; mostra num sentido muito real que a linguagem correta. Vamos examinar alguns exemplos. O primeiro exemplo, frequentemente citado, o do movimento planetrio. As leis dos corpos em queda livre caram muito bem estabelecidas em consequncia de experincias efetuadas principalmente na Itlia. Essas experincias, em parte por causa do efeito causado pela resistncia do ar e, em parte, pela impossibilidade que se tinha na poca de medir intervalos de tempo muito pequenos, no poderiam ter sido muito precisas. Entretanto, no causa grande surpresa que os cientistas naturais italianos tenham adquirido familiaridade com a forma como os objetos se movimentam atravs da atmosfera. Foi Newton quem relacionou a lei que rege os objetos em queda livre com o movimento da Lua, notou que a parbola descrita pela pedra atirada na Terra e a trajetria circular da Lua no cu so casos particulares de um mesmo objeto matemtico e, apoiado apenas numa nica e, na poca, pouco precisa coincidncia numrica, formulou e postulou a lei da gravitao universal. Do ponto de vista losco, a lei de gravitao, da

forma como foi formulada por Newton, era repugnante no apenas a seu tempo mas tambm a si prprio. Baseava-se em observaes empricas muito escassas. A linguagem matemtica na qual era formulada continha o conceito de segunda derivada e aqueles de ns que j tentaram desenhar um crculo osculador de uma curva sabem que uma segunda derivada no um conceito muito imediato. A lei de gravitao que Newton estabeleceu de forma to relutante e que foi capaz de vericar com preciso de aproximadamente 4% provou ser correta dentro de uma aproximao de um sobre dez mil por cento e tornou-se to associada a idia de exatido absoluta que apenas recentemente os fsicos adquiriram coragem para questionar os limites dessa exatido.10 Sem dvida, o exemplo da lei de Newton, citado to frequentemente, deve ser o primeiro a ser mencionado como um exemplo monumental de uma lei formulada em termos que parecem simples para um matemtico e que mostrou uma preciso alm de qualquer expectativa razovel. Vale a pena recapitular nossa tese nesse exemplo: em primeiro lugar a lei, particularmente por conter uma derivada segunda, simples apenas para o matemtico e no para o senso comum ou para uma mente no matemtica; em segundo lugar uma lei condicional de escopo muito limitado. Ela no explica nada sobre a Terra que atrai as pedras lanadas por Galileu ou sobre a rbita circular da Lua ou sobre os planetas do Sol. A explicao dessas condies iniciais relegada ao gelogo e ao astrnomo que enfrentam, com isso, grandes diculdades. O segundo exemplo refere-se a mecnica quntica elementar. Originou-se com a observao feita por Max Born de que algumas regras de clculo formuladas por Heisenberg eram formalmente idnticas a regras de clculo com matrizes, estabelecidas muito antes, pelos matemticos. Born, Jordan e Heisenberg propuseram ento substituir a posio e o momento nas equaes da mecnica clssica por variveis matriciais [6]. Eles aplicaram as regras da mecnica matricial a uns poucos problemas, altamente idealizados, e os resultados foram bem satisfatrios. Entretanto, no havia naquela poca nenhuma evidncia racional de que essa mecnica matricial pudesse, em condies mais realistas, vir a ser correta. Eles, de fato, se perguntaram: A mecnica, da forma proposta, em seus traos essenciais, no poderia estar correta? Na realidade, a primeira aplicao dessa mecnica a um problema real, o do tomo de hidrognio, foi feita, alguns meses mais tarde, por Pauli. Essa aplicao
10

Veja, por exemplo, R. H. Dicke, American Scientist, Vol. 25, 1959.

10

forneceu resultados concordantes com a experincia. Isso era satisfatrio mas ainda compreensvel porque as regras de clculo de Heisenberg foram formuladas a partir de problemas que incluam a antiga teoria do tomo de hidrognio. O verdadeiro milagre ocorreu apenas quando a mecnica matricial, ou uma teoria matematicamente equivalente, foi aplicada a problemas para os quais as regras de clculo de Heisenberg no faziam sentido. As regras de Heisenberg tinham como pressuposto que as equaes clssicas do movimento tivessem solues com certas propriedades de periodicidade. Com dois eltrons, no caso do tomo de hlio, ou um nmero ainda maior quando se trata de tomos mais pesados, as equaes do movimento no tm essas propriedades e portanto as regras de Heisenberg no podem ser aplicadas. No entanto, o clculo feito no nvel mais baixo de energia do hlio, feito alguns meses atrs por Kinoshita em Cornell e por Bazley no Bureau of Standards, concorda com os dados experimentais dentro dos limites de preciso da observao que de um sobre dez milhes. Desta vez, tiramos das equaes, algo que, certamente, no havamos posto nelas. O mesmo verdadeiro em relao as caractersticas qualitativas dos espectros complexos, isto , dos espectros dos tomos mais pesados. Desejo relatar uma conversa com Jordan que me contou, na poca em que as propriedades qualitativas dos espectros foram deduzidas, que uma discordncia entre as regras derivadas da teoria da mecnica quntica e as regras estabelecidas por pesquisa emprica, teriam fornecido uma ltima oportunidade para fazer uma mudana na mecnica matricial. Em outras palavras, Jordan sentiu que teramos cado, pelo menos temporariamente, perdidos caso houvesse ocorrido um inesperado desacordo na teoria do tomo de hlio. A vericao da concordncia foi feita, na poca, por Kellner e Hilleraas. O formalismo matemtico era muito claro e imutvel de forma que, no houvesse ocorrido o milagre descrito anteriormente com o hlio, uma verdadeira crise estaria instalada. Certamente, de uma forma ou de outra a fsica teria superado essa crise. Por outro lado verdade que a fsica como a conhecemos hoje no seria possvel sem a constante repetio de milagres similares ao do tomo de hlio que provavelmente o mais extraordinrio que ocorreu no desenvolvimento da mecnica quntica elementar, mas est muito longe de ser o nico. De fato esse nmero de milagres s limitado por nossa disposio de buscar outros. A mecnica quntica teve muitos outros sucessos, quase igualmente extraordinrios, o que nos d a rme convico de que ela , o que chamamos, correta.

11

O ltimo exemplo o da eletrodinmica quntica, ou a teoria do deslocamento de Lamb. Enquanto a teoria da gravitao de Newton ainda estava obviamente ligada a experincia, esta s participa da formulao da mecnica matricial de uma forma muito renada ou sublimada atravs das prescries de Heisenberg. A teoria quntica do deslocamento de Lamb da forma concebida por Bethe e estabelecida por Schwinger uma teoria puramente matemtica e a nica contribuio experimental direta foi a demonstrao da existncia de um efeito mensurvel. A concordncia com os clculos melhor do que uma parte em mil. Os trs exemplos precedentes, que poderiam ser aumentados quase indenidamente, devem ilustrar a propriedade e a preciso da formulao matemtica das leis da natureza em termos dos conceitos escolhidos pela sua manipulabilidade, sendo as leis da natureza de uma preciso quase fantstica mas de escopo estritamente limitado. Proponho chamar de lei emprica da epistemologia as observaes que esses exemplos ilustram. Ela forma, junto com as leis de invarincia das leis fsicas, a indispensvel fundamentao dessas teorias. Sem as leis de invarincia as teorias fsicas no poderiam ser fundamentadas com fatos; se a lei emprica da epistemologia no fosse correta teramos falta de estmulo e segurana que so necessidades emocionais sem as quais as leis da natureza no poderiam ter sido exploradas com sucesso. O Dr. R. G. Sachs com quem discuti a lei emprica da epistemologia chamou-a de artigo de f do fsico terico e, sem dvida nenhuma, isso mesmo que ela . No entanto, o que ele chamou de nosso artigo de f pode ser ilustrado por exemplos verdadeiros muitos outros exemplos alm dos trs que mencionamos. A Unicidade das Teorias Fsicas. A natureza emprica da observao anterior me parece bvia. Ela certamente no uma necessidade do pensamento e no deveria ser necessrio para provar isso apelar para o fato de que ela somente se aplica a uma pequena parte do nosso conhecimento do mundo inanimado. absurdo acreditar que a existncia de expresses matemticas simples para a derivada segunda da (funo) posio evidente quando nenhuma expresso similar para a posio ou para a velocidade existem. , portanto, muito surpreendente a presteza com que o maravilhoso presente contido na lei emprica da epistemologia foi dado como evidente. A habilidade da mente humana, j mencionada anteriormente, de encadear mil argumentos de forma correta um dom similar.

12

Toda lei emprica tem a inquietante qualidade de no se conhecer suas limitaes. Vimos que existem regularidades nos eventos do mundo que nos cerca que podem ser formuladas em termos de conceitos matemticos com incrvel preciso. Existem, por outro lado, aspectos do mundo em relao aos quais no acreditamos na existncia de regularidades precisas. Esses aspectos recebem o nome de condies iniciais. A questo que se apresenta se essas diferentes regularidades, isto , as diferentes leis da natureza que sero descobertas iro se fundir numa nica unidade consistente ou se, pelo menos, se aproximaro assintoticamente dessa fuso. Por outro lado possvel que sempre existam algumas leis da natureza que no tenham nada em comum umas com as outras. No presente, isso ocorre, por exemplo, com as leis da hereditariedade e as da fsica. at mesmo possvel que algumas leis da natureza, em suas implicaes estejam em conito umas com as outras mas que sejam to convincentes em seus prprios domnios que no se queira abandon-las. Podemos nos resignar a esse estado de coisas ou ainda mais, nosso interesse em resolver esse conito entre as diversas teorias, pode desaparecer. Podemos perder nosso interesse pela verdade ltima, isto , um panorama que seja a fuso consistente das diversas imagens locais formadas por cada um dos diversos aspectos da natureza. Pode ser til ilustrar as alternativas por um exemplo. Temos agora, em fsica duas teorias de grande poder e interesse: a teoria dos fenmenos qunticos e a teoria da relatividade. Essas teorias tem suas razes em grupos de fenmenos mutuamente exclusivos. A teoria da relatividade se aplica a corpos macroscpios como, por exemplo, estrelas. O evento de coincidncia, que em ltima anlise uma coliso, o evento primitivo na teoria da relatividade e dene um ponto no espao-tempo, ou, pelo menos, deniria um ponto se as partculas em coliso forem innitamente pequenas. A teoria quntica tem suas razes no mundo microscpico e, de seu ponto de vista, o evento de coincidncia, ou de coliso, mesmo que ele ocorra entre partculas sem extenso espacial, no primitivo e de forma alguma nitidamente isolado no espao-tempo. As duas teorias utilizam conceitos matemticos diferentes um espao Riemanniano de dimenso 4 e um espao de Hilbert de dimenso innita, respectivamente. At agora, as duas teorias no puderam ser reunidas, isto , no existe nenhuma formulao matemtica da qual ambas as teorias sejam aproximaes. Todos os fsicos acreditam que a unio das duas teorias inerentemente possvel e

13

que iremos conseguir faz-la. No entanto, possvel tambm imaginar que nenhuma unio das duas teorias possa ser encontrada. O exemplo que demos ilustra as duas possibilidades anteriormente mencionadas, unio e conito, ambas concebveis. Para conseguirmos uma indicao de qual das alternativas devemos esperar que acontea podemos ngir que somos um pouco mais ignorantes do que realmente somos e nos colocarmos num nvel de conhecimento abaixo do que realmente possumos. Se pudermos encontrar uma fuso de nossas teorias nesse nvel mais baixo de conhecimento poderemos car conantes de que encontraremos tambm uma fuso no nvel do nosso conhecimento real. Por outro lado, se chegarmos, nesse nvel mais baixo, a teorias mutuamente contraditrias no poderemos descartar a possibilidade de que as teorias permaneam conitantes no nvel mais alto. O nvel de conhecimento e de engenhosidade uma varivel contnua e pouco provvel que pequenas variaes dessa varivel transforme a imagem que podemos ter do universo de inconsistente para consistente.11 Considerado desse ponto de vista, o fato de que algumas das teorias que sabemos serem falsas fornecerem resultados to incrivelmente precisos, um fator adverso. Se tivssemos um conhecimento um pouco menor, o grupo de fenmenos que essas teorias falsas explicam pareceria para ns sucientemente grande para prov-las. No entanto, consideramos essas teorias falsas pelo fato de que elas so, em ltima anlise, incompatveis em contextos mais abrangentes e, se um nmero suciente dessas teorias falsas fosse descoberto, elas poderiam tambm estar em conito, umas com as outras. De maneira similar, possvel que as teorias que consideramos provadas por um nmero de concordncias numricas que aparenta ser sucientemente grande, sejam falsas por estarem em conito com teorias mais abrangentes mas que estejam fora do alcance de nossas descobertas. Se isso for verdade deveremos esperar conitos entre nossas teorias, sempre que seu nmero cresa alm de um certo ponto e assim que abranjam um nmero sucientemente grande de grupos de fenmenos. Em contraste com o artigo de f mencionado
11 Essa passagem foi escrita aps muita hesitao. O autor est convencido de que til, em discusses epistemolgicas, abandonar a idealizao de que o nvel da inteligncia humana tem uma posio singular numa escala absoluta. E em alguns casos, pode at mesmo ser til considerar as realizaes possveis no nvel de inteligncia de outras espcies. No entanto, o autor tem conscincia de que suas reexes seguindo as linhas sugeridas pelo texto so muito breves e foram insucientemente criticadas para serem conveis.

14

anteriormente, este o pesadelo do fsico terico. Vamos considerar alguns exemplos de teorias falsas que, em vista de sua falsidade, fornecem descries alarmantemente precisas de alguns grupos de fenmenos. Com alguma boa vontade possvel descartar algumas da evidncias que esses exemplos fornecem. As idias iniciais e pioneiras de Bohr sobre o tomo nunca tiveram grande sucesso e o mesmo pode ser dito dos epiciclos de Ptolomeu. Nossa posio privilegiada possibilita uma descrio precisa de todos esses fenmenos que essas teorias primitivas no tinham condies de oferecer. Isso no verdade para a, assim chamada, teoria do eltron livre que fornece uma descrio incrivelmente boa de muitas, seno de todas, as propriedades dos metais, dos semicondutores e isolantes. Em particular, ela explica o fato, nunca adequadamente compreendido pela teoria real, de que isolantes exibem uma resistncia a corrente eltrica que pode chegar a ser 1026 vezes maior do que aquela dos metais. No existe, de fato, nenhuma evidncia experimental para mostrar que a resistncia no innita sob as condies em que a teoria do eltron livre nos leva a crer que ela seria innita. Apesar disso, estamos convencidos de que a teoria do eltron livre uma aproximao muito crua e que deveria, ao descrevermos todos os fenmenos referentes aos slidos, ser substituda por algo mais adequado. Vista do nosso ponto de vista privilegiado, a situao apresentada pela teoria do eltron livre irritante mas improvvel que ela venha a apresentar alguma inconsistncia que no possa ser superada. Essa teoria coloca em dvida a importncia que se deve atribuir, ao se vericar a correo de uma teoria, a concordncia que ela tem com a experincia. J nos acostumamos a essas dvidas. Ocorreria uma situao muito mais difcil e confusa se pudssemos, algum dia, estabelecer uma teoria de fenmenos da conscincia ou da biologia que fosse to coerente e convincente como nossas atuais teorias do mundo inanimado. As leis de Mendel da hereditariedade e o trabalho subsequente em genes podem muito bem se tornar o comeo dessa teoria no que se refere biologia. Alm disso, muito possvel que possa ser encontrado um argumento abstrato que mostre a existncia de um conito entre essa teoria e os princpios aceitos pela fsica. O argumento poderia ser de uma natureza to abstrata que no permitisse resolver o conito, atravs da experincia, em favor de uma das teorias. Tal situao traria um grande abalo na f que temos em nossas teorias e na crena da realidade de nossas concepes. Traria

15

tambm um profundo senso de frustrao em nossa procura pelo que chamamos de derradeira verdade. O que faz com que essa situao seja concebvel o fato de, na realidade, no sabermos a razo pela qual nossas teorias funcionam to bem. O fato de fornecerem resultados precisos no prova de sua veracidade nem de sua consistncia. Na realidade, o autor acredita que, se compararmos as atuais leis da hereditariedade e as da fsica, algo muito prximo da situao descrita acima ocorrer. Permitam-me terminar num tom mais animador. O milagre da ecincia da linguagem matemtica para formular as leis fsicas algo que nem merecemos nem entendemos. Deveramos ser gratos por ele ocorrer e esperar que continue vlido na pesquisa futura e que se estenda, para o bem ou para o mal, para o nosso prazer ou talvez para o nosso espanto, amplas reas do conhecimento. O autor deseja manifestar sua gratido ao Dr. M. Polanyi que, muitos anos atrs, inuenciou profundamente seu pensamento em problemas de epistemologia, e a V. Bargmann cuja amigvel crtica foi importante para atingir a clareza que possa ter sido atingida. tambm muito grato a A. Shimony por ter revisto o presente artigo e chamado sua ateno para os artigos de C. S. Peirce.

16