A Desarrazoada Efetividade da Matemtica nas Cincias Naturais*

Eugene Wigner (1960)**

[...] e provvel que haja aqui algum segredo que ainda est para ser descoberto (C.S. PEIRCE)

[1. Apresentao] H uma estria de dois amigos, que haviam sido colegas de classe no ensino mdio, e que falavam sobre seus empregos. Um deles se tornara estatstico e estava trabalhando com tendncias populacionais. Ele mostrou a separata de um artigo para seu antigo colega de classe. O artigo comeava, como de costume, com a distribuio gaussiana, e o estatstico explicou para seu colega o significado dos smbolos que representam uma populao real, a mdia da populao, etc. Seu colega ficou um tanto incrdulo e em dvida se o estatstico no estava brincando. Como que voc pode saber isso?, ele perguntou. E que smbolo este aqui?. Ah, respondeu o estatstico, este pi. Mas o que isso? A razo entre a circunferncia do crculo e seu dimetro. Bem, agora sua piada est indo longe demais, finalizou o colega, certamente a populao no tem nada a ver com a circunferncia do crculo! Naturalmente, tendemos a sorrir da simplicidade da abordagem do colega. Mesmo assim, quando escutei essa estria, tive um sentimento estranho, pois a reao do colega de classe refletia apenas o senso comum usual. Fiquei ainda mais confuso quando, [223] alguns dias depois, algum chegou para mim e exprimiu sua perplexidade1 com o fato de que
[222]
*

Ou seja, a no razovel eficcia da matemtica. A verso original : WIGNER, E.P. (1960), The Unreasonable Effectiveness of Mathematics in the Natural Sciences, Communications in Pure and Applied Mathematics 13: 1-14. Baseado em palestra feita em 11 de maio de 1959 na New York University, na Richard Courant Lecture in Mathematical Sciences. Republicado em WIGNER (1967), Symmetries and Reflections, Indiana U. Press, Bloomington, pp. 222-37, cuja paginao indicamos no texto [entre colchetes], e em WIGNER (1995), Philosophical Reflections and Syntheses, Part B, Vol. 6 of The Collected Works of Eugene Paul Wigner, Springer, Berlin, pp. 534-49 (na qual esta traduo baseada). Disponvel tambm na internet, em verso com algumas diferenas. Traduo de Osvaldo Pessoa Jr., para o curso de Filosofia da Fsica, USP, 2009. A numerao das sees foi introduzida pelo tradutor, para fins didticos. Eugene Paul Wigner (1902-95) nasceu de famlia judia em Budapeste, no Imprio Austro-Hngaro, com o nome Wigner Pl Jen, e trabalhou na Princeton University a partir de 1930. Ganhou o Prmio Nobel de 1963 por suas contribuies teoria do ncleo atmico e das partculas elementares, especialmente a descoberta e aplicao de princpios de simetria. Contribuiu significantemente para os fundamentos da mecnica quntica, defendendo (especialmente na dcada de 60) a importncia da conscincia humana. O comentrio a ser citado foi feito por F. Werner, quando era aluno em Princeton.

**

fazemos uma seleo bastante estreita quando escolhemos os dados com os quais testamos nossas teorias. Se fizssemos uma teoria que focalizasse sua ateno em fenmenos que desprezamos, e desprezasse alguns dos fenmenos que agora prendem nossa ateno, como saber se no teramos conseguido construir uma teoria que teria pouco em comum com a teoria atualmente aceita, mas que ainda assim explicaria o mesmo nmero de fenmenos que a teoria atual? Devemos reconhecer que no temos nenhuma evidncia direta de que no haja tal teoria. As duas estrias precedentes ilustram os dois pontos principais que so os assuntos da presente comunicao. O primeiro ponto que conceitos matemticos surgem em conexes totalmente inesperadas. Alm disso, eles muitas vezes permitem uma descrio inesperadamente prxima e acurada dos fenmenos presentes nestas conexes. Em segundo lugar, justamente por causa dessa circunstncia, e porque no compreendemos as razes de eles serem to teis, ns no conseguimos saber se uma teoria formulada em termos de conceitos matemticos a nica apropriada. Estamos numa posio semelhante ao de um homem que recebeu um monte de chaves e que, tendo que abrir vrias portas em seqncia, sempre acerta a chave na primeira ou segunda tentativa. Ele se torna ctico sobre a coordenao unvoca entre chaves e portas. A maior parte do que falarei sobre essas questes no ser novidade; ela provavelmente ocorreu para a maioria dos cientistas de uma forma ou outra. Meu objetivo principal iluminar isso a partir de vrios lados. O primeiro ponto que a enorme utilidade da matemtica nas cincias naturais algo prximo ao misterioso, e que no h uma explicao racional para ela. Em segundo lugar, justamente esta utilidade excepcional dos conceitos matemticos que levanta a questo da unicidade de nossas teorias fsicas. Para firmar o primeiro ponto, de que a matemtica desempenha um papel desarrazoadamente importante na fsica, ser til dizer algumas palavras sobre a questo O que a matemtica?, e depois, O que a fsica?, e depois como a matemtica entra nas teorias fsicas, e finalmente, por que o sucesso da matemtica em seu papel na fsica parece ser to desconcertante. Falarei muito menos sobre o segundo ponto, a unicidade das teorias da fsica. Uma resposta apropriada para esta questo exigiria um trabalho experimental e terico que at hoje no foi empreendido.
[224]

[2.] O Que a Matemtica? Certa vez algum falou que a filosofia o uso incorreto de uma terminologia que foi inventada justamente para este propsito.2 Na mesma linha, eu diria que a matemtica a cincia das operaes habilidosas com conceitos e regras inventados justamente para este propsito. A nfase principal na inveno de conceitos. A matemtica logo ficaria sem teoremas interessantes se estes tivessem que ser formulados em termos dos conceitos que j aparecem nos axiomas. Alm do mais, ao passo que uma verdade inquestionvel que os conceitos da matemtica elementar, e em particular da geometria elementar, foram formulados para descrever entidades que so sugeridas diretamente pelo mundo real, o mesmo no parece ser verdadeiro para os conceitos mais avanados, particularmente os conceitos que desempenham um papel to importante na fsica. Assim, as regras para operaes com pares de nmeros so obviamente construdas para darem os mesmos resultados que as operaes com fraes, que primeiro aprendemos sem referncia a pares de nmeros. As regras para as operaes com seqncias, ou seja, com nmeros irracionais, tambm pertencem categoria de regras que foram elaboradas para reproduzir as regras para operaes com
2

Esta afirmao aqui citada a partir do livro de DUBISLAV, W. (1932), Die Philosophie der Mathematik in der Gegenwart, Junker & Dnnhaupt Verlag, Berlim, p. 1.

grandezas que j eram conhecidas por ns. A maioria dos conceitos matemticos mais avanados, como nmeros complexos, lgebras, operadores lineares, conjuntos de Borel e esta lista poderia prosseguir quase indefinidamente , foram criados para que fossem temas adequados com os quais o matemtico poderia demonstrar sua engenhosidade e senso de beleza formal. De fato, a definio desses conceitos, juntamente com a percepo de que consideraes interessantes e engenhosas poderiam ser aplicadas a eles, a primeira demonstrao da engenhosidade do matemtico que os define. A profunda ponderao envolvida na formulao de conceitos matemticos posteriormente justificada pela habilidade com a qual tais conceitos so usados. O grande matemtico explora de maneira completa e quase implacvel o domnio de raciocnio permissvel e evita o no permitido. Que esta imprudncia no o leva a um emaranhado de contradies um milagre: certamente difcil acreditar que nosso poder de raciocnio foi levado, pelo processo de seleo natural de Darwin, perfeio que ele parece possuir. Todavia, este no o assunto que estamos tratando. O ponto principal, que ter que ser relembrado mais tarde, que o matemtico [225] conseguiria formular apenas um punhado de teoremas interessantes se ele no pudesse definir conceitos alm daqueles contidos nos axiomas. Alm disso, os conceitos que no esto contidos nos axiomas so definidos tendo em vista permitir operaes lgicas engenhosas que satisfaam nosso senso esttico, tanto com relao s prprias operaes quanto em relao aos seus resultados de grande generalidade e simplicidade.3 Os nmeros complexos fornecem um exemplo particularmente notvel disso que foi dito. Certamente, no h nada em nossa experincia que sugira a introduo de tais grandezas. Com efeito, se se pedir a um matemtico que justifique seu interesse em nmeros complexos, ele apontar, com certa indignao, para os vrios teoremas lindos demonstrados nas teorias das equaes, das sries de potncia e das funes analticas em geral, que surgiram com a introduo dos nmeros complexos. O matemtico no est disposto a abandonar o seu interesse nessas to lindas realizaes de sua genialidade.4 [3.] O Que a Fsica? O fsico est interessado em descobrir as leis da natureza inanimada. Para que se possa compreender esta afirmao, preciso analisar o conceito de lei da natureza. O mundo nossa volta de uma complexidade desconcertante, e o fato mais bvio a respeito dele que no conseguimos prever o futuro. H uma piada que atribui a concepo de que o futuro incerto apenas ao otimista. Porm, o otimista est certo neste caso: o futuro imprevisvel. Conforme comentou Schrdinger, um milagre que, apesar da complexidade desconcertante do mundo, certas regularidades nos eventos puderam ser descobertas.(1) Uma dessas regularidades, descoberta por Galileo, que quaisquer duas pedras, soltas simultaneamente de uma mesma altura, atingem o cho ao mesmo tempo. As leis da natureza

M. POLANYI, em seu Personal Knowledge (U. Chicago Press, Chicago, 1958, p. 188), afirma: Todas essas dificuldades so apenas conseqncias de nossa recusa de ver que a matemtica no pode ser definida sem que se reconhea sua caracterstica mais bvia: qual seja, a de ser interessante. [Polanyi foi o orientador de Wigner.] Com relao a isso, o leitor talvez se interesse nos comentrios um tanto irritados de Hilbert com respeito ao intuicionismo, que parece romper com a matemtica e desfigur-la, Abh. Math. Sem. (U. Hamburg) 157 (1922), ou Gesammelte Werke, Springer, Berlim, 1935, p. 188. [Wigner apresenta tambm algumas referncias com nmeros entre parnteses, inseridas posteriormente.] SCHRDINGER, E. (1932), ber Indeterminismus in der Physik, J.A. Barth, Leipzig. Ver tambm: DUBISLAV, W. (1933), Naturphilosophie, Junker & Dnnhaupt, Berlim, cap. 4.
(1) 4

referem-se a tais regularidades. A regularidade de Galileo um prottipo de uma grande classe de regularidades. Trata-se de uma regularidade surpreendente por trs razes. A primeira razo para ela ser surpreendente que ela verdadeira no s em Pisa, e na poca de Galileo, mas ela verdadeira em todo lugar na Terra, e sempre foi verdadeira, [226] e sempre ser verdadeira. Esta propriedade da regularidade reconhecida como uma propriedade de invarincia e, como tive a oportunidade de apontar algum tempo atrs (2), sem princpios de invarincia semelhantes queles implcitos na precedente generalizao da observao de Galileo, a fsica no seria possvel. A segunda caracterstica surpreendente que a regularidade que estamos discutindo independente de muitas condies que poderiam afet-la. Ela vlida quer chova ou no, quer o experimento seja feito em uma sala ou na Torre de Pisa, quer a pessoa que solte a pedra seja um homem ou uma mulher. Ela vlida at quando as duas pedras so soltas simultaneamente, da mesma altura, por duas pessoas diferentes. H obviamente inmeras outras condies que so irrelevantes do ponto de vista da validade da regularidade de Galileo. A irrelevncia de tantas circunstncias que poderiam desempenhar um papel no fenmeno observado tambm tem sido chamada de invarincia (2). Todavia, esta invarincia de um tipo diferente da anterior, j que ela no pode ser formulada como um princpio geral. A explorao das condies que influenciam ou no um fenmeno faz parte da explorao experimental inicial do campo. a habilidade e a engenhosidade do cientista experimental que o levam a fenmenos que dependem de um conjunto relativamente estreito de condies um tanto quanto fceis de realizar e reproduzir.5 No presente caso, a restrio imposta por Galileo de observar corpos relativamente pesados foi o passo mais importante no tocante a isso. Repetindo: verdade que se no houvesse fenmenos que so independentes de quase todas as condies, salvo um pequeno conjunto de condies controlveis, a fsica seria impossvel. Os dois pontos precedentes, apesar de serem muito significativos do ponto de vista do filsofo, no so os que mais surpreenderam a Galileo, e nem contm uma lei especfica da natureza. A lei da natureza est contida na afirmao de que a durao de tempo que leva para um corpo pesado cair de uma certa altura independente do tamanho, material e forma do corpo que cai. No quadro da segunda lei de Newton, isso equivale afirmao de que a fora gravitacional que age em um corpo que cai proporcional sua massa, mas independente de tamanho e forma do corpo que cai. [227] A inteno da discusso precedente nos lembrar que, primeiro, no de forma alguma natural que existam leis da natureza, e muito menos que o homem seja capaz de descobri-las.6 O presente autor teve ocasio, h algum tempo atrs, de chamar a ateno para a sucesso de camadas de leis da natureza, cada camada contendo leis mais gerais e mais abrangentes do que a anterior, e cuja descoberta constitui uma penetrao mais profunda na estrutura do universo do que com as camadas reconhecidas anteriormente.(3) No entanto, o ponto mais significativo no presente contexto que todas essas leis da natureza contm,
WIGNER, E.P. (1949), Invariance in Physical Theory, Proc. Am. Phil. Soc. 93: 521-6. Reproduzido nas coletneas mencionadas em nossa primeira nota de rodap (*). Ver, com relao a isso, o ensaio grfico de DEUTSCH, M. (1958), Daedalus 87: 86. Abner Shimony [aluno de Wigner] me chamou a ateno para uma passagem semelhante em PEIRCE, C.S. (1957), Essays in the Philosophy of Science, Liberal Arts Press, Nova Iorque, p. 237.
6 5 (2)

E. SCHRDINGER, em seu What is Life?, Cambridge U. Press, 1945, p. 31 [O Que a Vida?, trad. J. Paula Assis & V.Y.K de Paula Assis, Ed. Unesp, So Paulo, 1977], diz que este segundo milagre pode estar para alm da compreenso humana.

WIGNER, E.P. (1950), The Limits of Science, Proc. Am. Phil. Soc. 94: 422-7. Reproduzido nas coletneas mencionadas em nossa primeira nota de rodap (*). Ver tambm MARGENAU, H. (1950), The Nature of Physical Reality, McGraw-Hill, Nova Iorque, cap. 8.

(3)

mesmo em suas mais remotas conseqncias, apenas uma pequena parte de nosso conhecimento a respeito do mundo inanimado. Todas as leis da natureza so enunciados condicionais que permitem uma previso de alguns eventos futuros com base no conhecimento do presente, sendo que alguns aspectos do estado atual do mundo na prtica, a maioria esmagadora dos determinantes do estado atual do mundo so irrelevantes do ponto de vista da previso. Esta irrelevncia refere-se ao segundo ponto da discusso sobre o teorema de Galileo.7 Com respeito ao estado atual do mundo como a existncia da terra na qual vivemos e onde Galileo realizou seus experimentos, a existncia do sol e de tudo que nos rodeia as leis da natureza permanecem totalmente caladas. em consonncia com isso, primeiramente, que as leis da natureza podem ser usadas para prever eventos futuros somente sob circunstncias excepcionais quando todos os determinantes relevantes do estado atual do mundo [as condies iniciais] forem conhecidos. tambm em consonncia com isso que a construo de mquinas constitui a mais espetacular realizao do fsico maquinas cujo funcionamento pode ser antevisto por ele. Nessas mquinas, o fsico cria uma situao na qual todas as coordenadas relevantes so conhecidas, de forma que o comportamento da mquina possa ser previsto. Radares e reatores nucleares so exemplos de tais mquinas. O principal propsito da discusso precedente salientar que as leis da natureza so todas enunciados condicionais e que elas se referem apenas a uma parte muito pequena do nosso conhecimento do mundo. Assim, a mecnica clssica, que o prottipo melhor conhecido de teoria fsica, fornece as derivadas segundas das coordenadas posicionais de todos os corpos, [228] com base no conhecimento das posies, etc., desses corpos. Ela no fornece informao alguma sobre a existncia desses corpos, nem sobre suas posies ou velocidades. Deve-se mencionar, no interesse da exatido, que descobrimos h mais ou menos trinta anos [com a fsica quntica] que mesmo os enunciados condicionais no podem ser totalmente precisos: que os enunciados condicionais so leis de probabilidade que nos permitem apenas fazer apostas inteligentes sobre propriedades futuras do mundo inanimado, com base no conhecimento do estado presente. Eles no permitem que faamos enunciados categricos, nem mesmo enunciados categricos condicionados pelo estado presente do mundo. A natureza probabilstica das leis da natureza tambm se manifesta no caso das mquinas, e pode ser verificado, pelo menos no caso de reatores nucleares, se eles funcionarem a uma potncia muito baixa. Porm, a limitao adicional do escopo das leis da natureza8, que segue de sua natureza probabilstica, no desempenhar papel algum no restante da discusso. [4.] O Papel da Matemtica nas Teorias Fsicas Tendo refrescado nossas mentes sobre a essncia da matemtica e da fsica, devemos estar numa melhor posio para examinar o papel da matemtica nas teorias fsicas. Naturalmente, usamos a matemtica no dia-a-dia da fsica, para avaliar os resultados das leis da natureza, para aplicar os enunciados condicionais s condies particulares que venham a prevalecer ou venham a nos interessar. Para que isso seja possvel, as leis da natureza precisam j estar formuladas em linguagem matemtica. No entanto, este papel de avaliador das conseqncias de teorias j estabelecidas no o papel mais importante da

Certamente desnecessrio mencionar que o teorema de Galileo, conforme apresentado no texto, no esgota o contedo das observaes de Galileo com relao s leis da queda livre dos corpos. Ver, por exemplo, E. Schrdinger, na referncia (1) [acima].

matemtica na fsica. A matemtica, ou melhor, a matemtica aplicada, no quem comanda a situao nesta funo: ela est servindo meramente como um instrumento. Todavia, a matemtica desempenha um papel mais soberano na fsica. Isso j estava implcito na afirmao, feita quando se discutiu o papel da matemtica aplicada, de que as leis da natureza precisam j estar formuladas em linguagem matemtica para poderem ser um objeto de uso da matemtica aplicada. A afirmao de que as leis da natureza esto escritas na linguagem da matemtica foi feita propriamente h trezentos anos atrs9; hoje em dia ela mais verdadeira do que nunca. Para mostrar a importncia que os conceitos matemticos possuem na formulao [229] das leis da fsica, recordemos, como exemplo, os axiomas da mecnica quntica, formulados explicitamente pelo grande matemtico von Neumann(4), ou implicitamente pelo grande fsico Dirac(5). H dois conceitos bsicos na mecnica quntica: estados e observveis. Os estados so vetores no espao de Hilbert, e os observveis so operadores auto-adjuntos que atuam nesses vetores. Os valores possveis das observaes so os valores caractersticos dos operadores mas melhor pararmos por aqui, se no quisermos fazer uma lista dos conceitos matemticos desenvolvidos na teoria dos operadores lineares. verdade, claro, que a fsica escolhe certos conceitos matemticos para a formulao das leis da natureza, e certamente apenas uma frao de todos os conceitos matemticos usada na fsica. tambm verdade que os conceitos que foram escolhidos no foram arbitrariamente selecionados de uma listagem de termos matemticos, mas foram desenvolvidos, em muitos seno em todos os casos, de maneira independente pelo fsico, e s depois reconhecidos como tendo sido concebidos anteriormente pelo matemtico. Porm, no verdade, como muitas vezes se diz, que isso tinha que acontecer, porque a matemtica usa os conceitos mais simples possveis e que estes esto fadados a aparecer em qualquer formalismo. Conforme vimos anteriormente, os conceitos da matemtica no so escolhidos por sua simplicidade conceitual mesmo seqncias de pares de nmeros esto longe de ser os conceitos mais simples , mas por sua receptividade a manipulaes sagazes e a argumentos admirveis e brilhantes. No esqueamos que o espao de Hilbert da mecnica quntica ilbert o espao de Hilbert complexo, com um produto escalar hermitiano. Certamente, para a mente despreocupada, nmeros complexos esto longe de serem naturais ou simples, e eles no podem ser sugeridos por observaes fsicas. Alm disso, o uso de nmeros complexos no , neste caso, um truque de clculo da matemtica aplicada, mas quase uma necessidade na formulao das leis da mecnica quntica. Enfim, comea agora a parecer que no s os nmeros complexos esto destinados a desempenhar um papel decisivo na formulao da teoria quntica, mas tambm as chamadas funes analticas. Refiro-me teoria das relaes de disperso que est em franco desenvolvimento. difcil evitar a impresso de que um milagre nos confronta aqui, comparvel em sua natureza notvel ao milagre de que a mente humana consiga enunciar mil argumentos sem cair em contradio, ou aos dois milagres da existncia das leis da natureza e da capacidade da mente humana de descobri-las. Do que eu conheo, a observao que mais se aproxima de uma explicao para o aparecimento de conceitos matemticos na fsica a afirmao de Einstein [230] de que as nicas teorias fsicas que estamos dispostos a aceitar so as teorias belas. Resta argumentar que os conceitos da matemtica, que convidam ao exerccio de tanta sagacidade, tenham a qualidade da beleza. Porm, a observao de Einstein explica no

Ela atribuda a Galileo.

(4) VON NEUMANN, J. (1932), Mathematische Grundlagen der Quantenmechanik, Springer, Berlim. Traduo para o ingls: Princeton U. Press, 1955. (5) DIRAC, P.A.M. (1947), Quantum Mechanics, 3a ed., Clarendon, Oxford.

mximo as propriedades de teorias nas quais estamos dispostos a acreditar, e no faz referncia alguma acurcia intrnseca da teoria. Tratemos ento desta questo. [5.] O Sucesso das Teorias Fsicas realmente Surpreendente? Uma explicao possvel para o uso que o fsico faz da matemtica para formular suas leis da natureza que ele uma pessoa um tanto irresponsvel. Como resultado disso, quando ele encontra uma conexo entre duas grandezas que se assemelha a uma conexo bemconhecida da matemtica, ele salta concluso de que a concluso aquela discutida na matemtica, simplesmente porque ele no conhece nenhuma outra conexo semelhante. No a inteno da presente discusso refutar a acusao de que o fsico uma pessoa um tanto irresponsvel. Talvez ele seja. No entanto, importante salientar que a formulao matemtica da experincia muitas vezes grosseira do fsico leva, em um nmero excepcional de casos, a uma descrio espantosamente acurada de uma grande classe de fenmenos. Isso mostra que a linguagem matemtica tem mais ao seu favor do que ser a nica linguagem na qual conseguimos falar; isso mostra que ela , num sentido muito real, a linguagem correta. Passemos a considerar alguns exemplos. O primeiro exemplo o bastante citado exemplo do movimento planetrio. As leis da queda dos corpos tornaram-se razoavelmente bem estabelecidas como resultado de experimentos conduzidos principalmente na Itlia. Esses experimentos no podiam ser muito acurados, no sentido em que hoje entendemos acurcia, em parte por causa do efeito da resistncia do ar e em parte por causa da impossibilidade, quela poca, de medir intervalos de tempo curtos. Mesmo assim, no surpreendente que, como resultado de seus estudos, os cientistas naturais italianos tenham adquirido uma familiaridade com as maneiras pelas quais objetos atravessam a atmosfera. Foi Newton quem ento relacionou a lei da queda livre dos objetos com o movimento da lua; e percebeu que a parbola da trajetria de uma pedra arremessada na terra e o crculo da trajetria da lua no cu so casos particulares do mesmo objeto matemtico, a elipse; e postulou a lei universal da gravitao com base em uma nica coincidncia numrica que na poca era muito rudimentar. Filosoficamente, a lei da gravitao formulada por Newton era repugnante para sua poca e para ele prprio. Empiricamente, ela [231] estava baseada em observaes muito esparsas. A linguagem matemtica na qual ela foi formulada continha o conceito de derivada segunda, e ns que j tentamos desenhar um crculo osculador a uma curva sabemos que a derivada segunda no um conceito muito imediato. A lei da gravidade que Newton relutantemente estabeleceu, e que ele pde verificar com uma acurcia de aproximadamente 4%, posteriormente se mostrou acurada numa porcentagem menor do que dez milsimos, e se tornou to intimamente associada idia de acurcia absoluta que s recentemente os fsicos se tornaram audaciosos o suficiente para investigar as limitaes de sua acurcia.10 Certamente, o exemplo da lei de Newton, citado repetidas vezes, deve ser mencionado primeiro como um exemplo monumental de uma lei, formulada em termos que parecem simples para o matemtico, que se mostrou acurada alm de todas as expectativas razoveis. Recapitulemos nossa tese com este exemplo: primeiro, a lei, particularmente porque uma derivada segunda aparece nela, simples apenas para o matemtico, no para o senso comum ou para o calouro sem formao matemtica; em segundo lugar, ela uma lei condicional de escopo muito limitado. Ela no explica nada sobre a terra que atrai a pedra de Galileo, ou sobre a forma circular da rbita lunar, ou sobre os planetas do sol. A explicao dessas condies iniciais deixada para o gelogo e o astrnomo, e eles tm bastante trabalho com elas.
10

Ver, por exemplo, DICKE, R.H. (1959), Am. Sci. 25.

O segundo exemplo o da mecnica quntica ordinria, elementar. Ela surgiu quando Max Born percebeu que algumas regras de clculo dadas por Heisenberg eram formalmente idnticas com as regras de clculo com matrizes, estabelecidas muito tempo antes por matemticos. Born, Jordan e Heisenberg ento propuseram substituir as variveis de posio e momento das equaes da mecnica clssica por matrizes.(6)11Eles aplicaram as regras da mecnica matricial para alguns problemas muito idealizados e os resultados foram bastante satisfatrios. Porm, no havia na poca uma evidncia racional de que sua mecnica matricial se mostraria correta sob condies mais realistas. Eles inclusive escreveram: se a mecnica aqui proposta se mostrar correta em seus traos essenciais. De fato, a primeira aplicao de sua mecnica a um problema realista, o do tomo de hidrognio, foi dado vrios meses depois, por Pauli. Esta aplicao forneceu resultados que concordaram com a experincia. Isso era satisfatrio, mas era algo at esperado, pois as regras de clculo de Heisenberg foram abstradas de [232] problemas que justamente incluam a velha teoria do tomo de hidrognio. O 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 sem sentido. As regras de Heisenberg pressupunham que as equaes clssicas de movimento tinham solues com certas propriedades de periodicidade; e as equaes de movimento dos dois eltrons do tomo de hlio, ou do nmero ainda maior de eltrons de tomos mais pesados, simplesmente no tm essas propriedades, de forma que as regras de Heisenberg no podem ser aplicadas nesses casos. Mesmo assim, o clculo do nvel de menor energia do hlio, feito h alguns meses atrs por Kinoshita em Cornell e por Bazley no Bureau of Standards, concorda com os dados experimentais com a acurcia das observaes, que uma parte em dez milhes. Com certeza, neste caso, conseguimos extrair alguma coisa das equaes que no pusemos nelas. O mesmo verdade das caractersticas qualitativas dos espectros complexos, ou seja, os espectros dos tomos mais pesados. Gostaria de recordar uma conversa com Jordan, que me disse, quando as caractersticas qualitativas do espectro foram derivadas, que um desacordo entre as regras derivadas da teoria quntica e as regras estabelecidas pela pesquisa emprica forneceriam a ltima oportunidade para se fazer uma modificao no quadro geral da mecnica matricial. Em outras palavras, Jordan sentiu que ficaramos sem ao, pelo menos temporariamente, se um desacordo inesperado ocorresse na teoria do tomo de hlio. Tal teoria, naquela poca, foi desenvolvida por Kellner e por Hilleraas. O formalismo matemtico era claro demais e inaltervel, de forma que se o milagre do hlio, mencionado anteriormente, no tivesse ocorrido, uma verdadeira crise teria surgido. Certamente, os fsicos teriam superado a crise de uma maneira ou outra. Por outro lado, verdade que a fsica, como a conhecemos hoje, no seria possvel sem uma recorrncia constante de milagres semelhantes ao do tomo de hlio, que talvez o milagre mais admirvel que ocorreu ao longo do desenvolvimento da mecnica quntica elementar, mas de longe no o nico. De fato, o nmero de milagres anlogos limitado, segundo nosso ponto de vista, apenas por nossa disposio de ir atrs de mais casos semelhantes. A mecnica quntica teve, todavia, muitos outros sucessos quase to notveis, que nos deu a firme convico de que ela o que chamamos de correta. O ltimo exemplo o da eletrodinmica quntica, ou a teoria do deslocamento de Lamb. Ao passo que a teoria da gravitao de Newton ainda tinha [233] conexes bvias com a experincia, no caso da formulao da mecnica matricial a experincia entrava apenas na forma refinada ou sublimada das prescries de Heisenberg. A teoria quntica do deslocamento de Lamb, concebida por Bethe e estabelecida por Schwinger, uma teoria
11(6)

BORN, M. & JORDAN, P. (1925), On Quantum Mechanics, Z. Physik 34: 858-8. BORN, M.; HEISENBERG, W. & JORDAN, P. (1926), On Quantum Mechanics, Part II, Z. Physik 35: 557-615. A frase citada ocorre neste ltimo artigo, na p. 558. [Na verdade, ela aparece no ltimo pargrafo do artigo.]

puramente matemtica e a nica contribuio da experimentao foi mostrar a existncia de um efeito mensurvel. O acordo com o clculo melhor do que uma parte em mil. Os trs exemplos precedentes, que poderiam ser multiplicados quase indefinidamente, devem ilustrar a adequao e acurcia da formulao matemtica das leis da natureza em termos de conceitos escolhidos por sua capacidade de serem manipulados sendo que as leis da natureza tm uma acurcia quase fantstica mas um escopo estritamente limitado. Proponho que se refira observao que esses exemplos ilustram como a lei emprica da epistemologia. Juntamente com as leis de invarincia das teorias fsicas, ela um fundamento indispensvel para essas teorias. Sem as leis de invarincia, no se poderia atribuir s teorias fsicas qualquer fundamento de fato; se a lei emprica da epistemologia fosse incorreta, careceramos de encorajamento e reafirmao, que so necessidades emotivas, 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 um artigo de f do fsico terico, e ela certamente o . Todavia, o que ele chamou de nosso artigo de f pode ser bem sustentado por exemplos concretos h muitos exemplos alm dos trs que foram mencionados. [6.] A Unicidade das Teorias da Fsica A natureza emprica da observao precedente parece-me auto-evidente. Certamente no se trata de uma necessidade de pensamento, e para demonstrar isso no deve ser necessrio apontar para o fato de que ela se aplica apenas a uma parte muito pequena de nosso conhecimento do mundo inanimado. absurdo acreditar que a existncia de expresses matematicamente simples para a derivada segunda da posio seja auto-evidente, j que no h expresses semelhantes para a prpria posio ou para a velocidade. portanto surpreendente o quo facilmente a maravilhosa ddiva contida na lei emprica da epistemologia foi tida como bvia. A habilidade da mente humana, mencionada anteriormente, de formar uma cadeia de 1000 concluses e ainda assim se manter correta uma semelhante ddiva. [234] Toda lei emprica tem o trao inquietante de que no se conhecem suas limitaes. Vimos que h regularidades nos eventos do mundo nossa volta que podem ser formuladas em termos de conceitos matemticos com uma acurcia excepcional. Por outro lado, h aspectos do mundo em relao aos quais no acreditamos que haja quaisquer regularidades exatas. Chamamos esses de condies iniciais. A questo que se apresenta se as diferentes regularidades, ou seja, as vrias leis da natureza que sero descobertas, se fundiro em uma unidade consistente nica, ou se pelo menos se aproximaro assintoticamente desta fuso. De modo alternativo, possvel que sempre haja algumas leis da natureza que no tenham nada em comum entre si. Isso verdadeiro hoje em dia, por exemplo, com relao s leis da hereditariedade e as da fsica. at possvel que algumas das leis da natureza entrem em conflito umas com as outras, com respeito s suas implicaes, mas que cada uma permanea suficientemente convincente em seu prprio domnio, de forma que no estejamos dispostos a abandonar nenhuma delas. Talvez tenhamos que nos resignar a tal estado de coisas, seno o nosso interesse em aclarar o conflito entre as vrias teorias poderia se esvair. Perderamos interesse na verdade ltima, isto , num retrato que seja a fuso consistente, numa nica unidade, de pequenos retratos formados a partir dos vrios aspectos da natureza. Pode ser til ilustrar as alternativas a partir de um exemplo. Temos hoje em dia, na fsica, duas teorias de grande poder e interesse: a teoria dos fenmenos qunticos e a teoria da relatividade. Essas duas teorias tm suas razes em grupos mutuamente exclusivos de fenmenos. A teoria da relatividade se aplica a corpos macroscpicos, como estrelas. O

evento de coincidncia, ou seja, em ltima anlise o de coliso, o evento primitivo na teoria da relatividade, e define um ponto no espao-tempo, ou pelo menos definiria um ponto se as partculas colidentes fossem infinitamente pequenas. A teoria quntica tem suas razes no mundo microscpico e, do seu ponto de vista, o evento de coincidncia ou coliso, mesmo que ocorresse entre partculas sem extenso espacial, no primitivo e de forma alguma nitidamente isolado no espao-tempo. As duas teorias operam com conceitos matemticos diferentes o espao de Riemann quadridimensional e o espao de Hilbert de infinitas dimenses, respectivamente. At hoje, as duas teorias no puderam ser unidas, ou seja, no h uma formulao matemtica que tenha essas duas teorias como aproximaes. Todos os fsicos acreditam que uma unio das duas teorias seja inerentemente possvel e que a encontraremos. Mesmo assim, possvel tambm imaginar que nenhuma unio das duas teorias [235] possa ser encontrada. Este exemplo ilustra as duas possibilidades mencionadas anteriormente, de unio e de conflito, ambas as quais so concebveis. Para que se possa ter uma indicao de qual das alternativas finalmente esperar, podemos fingir ser um pouco mais ignorantes do que somos e nos colocar num nvel de conhecimento mais baixo do que de fato possumos. Se pudermos encontrar uma fuso de nossas teorias nesse nvel inferior de inteligncia, poderemos confiantemente esperar que encontraremos uma fuso de nossas teorias tambm no nvel real de inteligncia. Por outro lado, se chegssemos em teorias mutuamente contraditrias num nvel um pouco inferior de conhecimento, a possibilidade de permanncia de teorias conflitantes tambm no poder ser excluda para ns. O nvel de conhecimento e engenhosidade uma varivel contnua, e improvvel que uma variao relativamente pequena dessa varivel contnua altere, de inconsistente para consistente, o retrato de mundo atingvel.10 Considerado deste ponto de vista, um fator adverso o fato de que algumas teorias, que sabemos ser falsas, do resultados to espantosamente acurados. Se tivssemos um conhecimento um tanto menor, o grupo de fenmenos que essas teorias falsas explicam nos pareceria grande o suficiente para demonstrar essas teorias. No entanto, essas teorias so consideradas falsas por ns justamente pela razo de que elas so, em ltima anlise, incompatveis com retratos mais abrangentes e, se um nmero suficientemente grande de tais teorias falsas forem descobertas, elas estariam destinadas a se mostrarem tambm em conflito entre si. De maneira semelhante, possvel que as teorias, que consideramos demonstradas por um nmero de concordncias numricas que nos parece suficientemente grande, sejam falsas porque esto em conflito com uma possvel teoria mais abrangente, que estaria para alm de nossos meios de descoberta. Se isso fosse verdade, deveramos esperar conflitos entre nossas teorias quando seu nmero crescesse alm de um certo ponto, e quando elas cobrissem um nmero suficientemente grande de grupos de fenmenos. Por contraste ao artigo de f do fsico terico, mencionado anteriormente, isso o pesadelo do terico. [236] Consideremos alguns exemplos de teorias falsas que fornecem, tendo em vista sua falsidade, descries alarmantemente acuradas de grupos de fenmenos. Com alguma boa vontade, pode se descartar algumas das evidncias que esses exemplos fornecem. O sucesso das primeiras idias pioneiras de Bohr a respeito do tomo sempre foi um tanto estreito, e o mesmo se aplica aos epiciclos de Ptolomeu. Nosso ponto de vista atual fornece uma descrio acurada de todos os fenmenos que essas teorias mais primitivas podem descrever. O mesmo no mais verdade a respeito da chamada teoria do eltron livre, que fornece um retrato maravilhosamente acurado de muitas, seno a maioria, das propriedades de metais,
Este trecho foi escrito aps muita de hesitao. O autor est convencido de que seja til, em discusses epistemolgicas, abandonar a idealizao que o nvel de inteligncia humana tenha uma posio singular numa escala absoluta. Em alguns casos pode at ser til considerar o grau que possvel atingir no nvel de inteligncia de alguma outra espcie. Porm, o autor tambm reconhece que sua linha de raciocnio indicada no texto muito breve e no est sujeita a uma avaliao suficientemente crtica para ser confivel.
10

10

semicondutores e isolantes. Em particular, ela explica o fato, nunca propriamente entendido com base na teoria real, que isolantes exibem uma resistncia especfica eletricidade que pode ser 1026 maior do que aquela de metais. De fato, no h evidncia experimental que mostre que a resistncia no seja infinita nas condies em que a teoria do eltron livre nos levaria a esperar uma resistncia infinita. Mesmo assim, estamos convencidos de que a teoria do eltron livre uma aproximao grosseira que deve ser substituda por um retrato mais acurado, na descrio de todos os fenmenos concernentes a slidos. Visto do nosso ponto de observao real, a situao apresentada pela teoria do eltron livre irritante, mas no parece ser o pressgio de inconsistncias que sejam insuperveis por ns. A teoria do eltron livre levanta dvidas sobre o quanto devemos confiar na concordncia numrica entre teoria e experincia como evidncia para a correo da teoria. Estamos acostumados com tais dvidas. Uma situao muito mais difcil e confusa surgiria se pudssemos, algum dia, estabelecer uma teoria dos fenmenos da conscincia, ou da biologia, que seria to coerente e convincente como nossas teorias atuais sobre o mundo inanimado. As leis da hereditariedade de Mendel e o trabalho subsequente sobre genes pode muito bem ser o incio de tal teoria, no que se refere biologia. Alm disso, bem possvel que um argumento abstrato possa ser encontrado que mostre que h um conflito entre tal teoria e os princpios aceitos da fsica. O argumento poderia ser de natureza to abstrata que poderia no ser possvel resolver o conflito, em favor de uma ou outra teoria, por meio de um experimento. Tal situao poria uma pesada tenso na f que temos em nossas teorias, e na nossa crena na realidade dos conceitos que formamos. Ela nos daria um senso profundo de frustrao em nossa busca pelo que chamei de a verdade ltima. A razo pela qual tal situao concebvel [237] que, fundamentalmente, no sabemos porque nossas teorias funcionam to bem. Assim, sua acurcia pode no ser a prova de sua verdade e consistncia. De fato, a crena do presente autor que algo semelhante situao descrita acima existe se as atuais leis da hereditariedade e da fsica forem confrontadas. Deixem-me encerrar num tom mais animado. O milagre de que a linguagem da matemtica seja apropriada para a formulao das leis da fsica uma maravilhosa ddiva que ns nem entendemos e nem merecemos. Devemos estar gratos por ela, e esperar que ela permanea vlida na pesquisa futura, e que ela possa se estender para melhor ou para pior, para nosso prazer ou para nosso espanto sobre vastos ramos do conhecimento. O autor gostaria aqui de registrar sua dvida com o Dr. M. Polanyi que, h muitos anos atrs, influenciou profundamente seu pensamento em problemas de epistemologia, e com V. Bargmann, cuja amistosa crtica foi importante para que se atingisse o mnimo de clareza que foi atingido. Ele tambm est muito agradecido a A. Shimony por ter revisto o presente artigo e por ter lhe chamado a ateno para os escritos de C.S. Peirce.

11