Filosofia da Fsica Clssica

Cap. I

Filosofia da Matemtica
Questo: Como explicar a importncia da matemtica nas cincias naturais?
1. A Desarrazoada Efetividade da Matemtica Por que a matemtica to importante na fsica? Essa a questo que o importante fsico hngaro Eugene Wigner (1902-95) discutiu em um artigo em que usou a curiosa expresso desarrazoada (no razovel) efetividade (eficcia) da matemtica.1 A opinio de Wigner era que a gente no compreende porque a matemtica to til na fsica: seria uma espcie de milagre: A lei da gravitao, que Newton relutantemente estabeleceu e que ele pde verificar com uma acurcia de aproximadamente 4%, mostrou-se acurada numa porcentagem menor do que dez milsimos (p. 231). Ou seja, usamos a matemtica para descrever um domnio limitado da realidade, e s vezes essa descrio matemtica se mostra eficaz em domnios muito mais amplos. Outro exemplo que Wigner cita o sucesso da mecnica quntica (a partir de 1927) em explicar os nveis energticos do tomo de hlio, um sistema bem mais complexo (por envolver dois eltrons interagentes) do que aqueles usados por Heisenberg para construir sua mecnica matricial. Com certeza, neste caso, conseguimos tirar algo das equaes que no tnhamos colocado (p. 232). A tese de Wigner, de que a efetividade da matemtica na fsica desarrazoada, inexplicvel, exprime um certo aspecto de seu pensamento filosfico no incio dos anos 60, uma sensibilidade a problemas no resolvidos, como o mistrio da conscincia humana ou o problema do colapso na mecnica quntica. No entanto, muitas outras respostas foram dadas a este problema, desde a poca de Pitgoras, que considerava que a essncia da natureza so nmeros. Curiosamente, uma resposta semelhante de Pitgoras foi proposta recentemente pelo cosmlogo Max Tegmark, para quem nosso mundo fsico uma estrutura matemtica abstrata!2 2. A Matemtica na Grcia Antiga A matemtica grega, partindo de Tales de Mileto (c. 625-546 a.C.) e Pitgoras de Samos (c. 575-495 a.C.), se caracterizou pelo esforo de demonstrar de maneira rigorosa os seus resultados. Os pitagricos, reunidos onde hoje a Siclia, defendiam que todas as relaes cientficas eram expressas por meio de nmeros naturais (1, 2, 3, ...) ou razes entre tais nmeros, os chamados nmeros racionais, , , etc. Em conseqncia desta concepo, supunham que o espao, o tempo e o movimento eram constitudos de elementos discretos. Ao pitagrico Hipaso de Metaponto (nascido circa 500 a.C.) atribuda a descoberta dos nmeros irracionais, como 2 , que seria a medida da diagonal de um quadrado de lado 1. Esta descoberta era vista como um problema para a filosofia pitagrica, e conta a lenda que
WIGNER, E.P. (1960), The Unreasonable Effectiveness of Mathematics in the Natural Sciences, Communications in Pure and Applied Mathematics 13, 1-14. Disponvel na internet. Traduo disponvel no saite do curso. TEGMARK, M. (2007), The Mathematical Universe, arXiv 0704.0646v1, 28 pp. Na internet, fcil tambm encontrar sobre o assunto o artigo do matemtico aplicado HAMMING, R.W. (1980), The Unreasonable Effectiveness of Mathematics, American Mathematical Monthly 87.
2 1

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

Hipaso teria sido lanado ao mar por seus colegas, em represlia.3 Veremos no cap. II outro problema para a concepo pitagrica: os paradoxos de Zeno, que punham em xeque a concepo de que o espao e o tempo so divisveis. Os matemticos gregos passaram a dividir a matemtica na teoria dos nmeros, que estuda entidades discretas ordenadas, e na geometria, que envolve o contnuo. Essa diviso transparece nos Elementos, obra escrita por Euclides de Alexandria em torno de 300 a.C. Ele reuniu os trabalhos de Eudoxo, Teeteto e outros matemticos, sistematizou-os, melhorou as demonstraes, e coligiu sua obra de acordo com o mtodo axiomtico. Os Elementos partem de definies, axiomas (noes comuns, princpios auto-evidentes) e postulados (suposies geomtricas). O nmero 1 foi tratado como a unidade, e os outros como nmeros propriamente ditos. O nmero 0 no estava presente, e s foi introduzido na ndia, onde se usava o sistema numrico posicional, juntamente com os nmeros negativos, pelo matemtico Brahmagupta, em 628 d.C. 3. Os Postulados de Euclides Euclides partiu de 23 definies, como a de ponto, que aquilo que no tem partes, e reta, que um comprimento sem espessura [...] que repousa equilibradamente sobre seus prprios pontos. Em 1899, o alemo David Hilbert reformularia a axiomatizao da geometria plana sem partir de definies primitivas: ponto e reta seriam definidos implicitamente pelos postulados. Os cinco axiomas usados por Euclides, em notao moderna, so: A1) A2) A3) A4) A5) Se A=B e B=C, ento A=C. Se A=B e C=D, ento A+C = B+C. Se A=B e C=D, ento AC = BC. Figuras coincidentes so iguais em todos os seus aspectos. O todo maior do que qualquer de suas partes. Os cinco postulados da geometria plana so: P1) Dois pontos determinam um segmento de reta. P2) Um segmento de reta pode ser estendido para uma reta em qualquer direo. P3) Dado um ponto, h sempre um crculo em que ele centro, com qualquer raio. P4) Todos os ngulos retos so iguais. P5) Se a soma dos ngulos a e b for menor do que dois ngulos retos, ento os segmentos de reta A e B se encontram, se forem estendidos suficientemente (ver Fig. I.1).

Figura I.1: Quinto postulado de Euclides.

O postulado P5 logicamente equivalente proposio de que, dados uma reta A e um ponto P fora dela, passa apenas uma reta por P que seja paralela a A. Veremos mais frente como a discusso do quinto postulado levou no sc. XIX s geometrias no-euclidianas.

Muitos detalhes da histria da matemtica podem ser obtidos de: EVES, H. (2004), Introduo Histria da Matemtica, trad. H.H. Domingues, Ed. Unicamp, Campinas (original em ingls: 1964). Sobre Hipaso, ver p. 107.

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

Com esses axiomas e postulados, deduz-se boa parte da geometria plana, como o teorema de Pitgoras. No entanto, a base de postulados no completa. Por exemplo, Euclides supe tacitamente que uma reta que passa pelo centro de um crculo passa tambm por dois pontos do crculo, mas isso no dedutvel da base de postulados! Alm disso, muitas verdades geomtricas que dependem da noo de limite, algumas das quais formuladas por Arquimedes de Siracusa (287-212 a.C.), no so dedutveis dos axiomas de Euclides.4 A geometria euclidiana foi o paradigma de conhecimento certo e verdadeiro, na cincia e filosofia, at o sc. XIX. 4. Questo Ontolgica: Existem Objetos Matemticos? Os nmeros existem? H 27 alunos nesta classe, isso um fato indubitvel: mas o nmero 27 existe de maneira independente, no mundo, ou apenas em minha mente? H duas respostas bsicas a esta questo. A tradio pitagrica, elaborada por Plato (428-348 a.C.), concebe que os nmeros naturais so entidades reais, assim como outros objetos matemticos, como o tringulo. Tais entidades, porm, no existiriam no mundo fsico, mas em um mundo abstrato, ideal, para fora do espao e do tempo. O filsofo Bertrand Russell, simptico a esta concepo no livro Problemas da Filosofia (1912), utilizou o verbo subsistir para designar este tipo de realidade, em oposio ao existir das coisas particulares. Essa noo de subsistncia, em Plato e Russell, no se limitava apenas a entidades matemticas, mas se estendia para quaisquer propriedades ou relaes abstratas, ditas universais. Assim, para Plato, aquilo que haveria em comum entre um ato justo de um magistrado romano e um ato justo de um rei asteca seria a justia, um universal que subsistiria num mundo parte do material. Os diferentes tringulos que desenhamos num papirus seriam cpias imperfeitas de tringulos ideais, e o que todos os tringulos tm em comum seria a triangularidade, um universal distinto de qualquer tringulo desenhvel, pois cada tringulo ou issceles (ao menos dois lados de mesmo comprimento) ou escaleno, ao passo que a triangularidade no teria nenhuma dessas duas propriedades. A viso metafsica que defende a existncia de universais, quer sejam nmeros, quer sejam propriedades ou relaes, pode ser chamada de realismo de universais. A viso antagnica conhecida como nominalismo, e defende que no mundo fsico h particulares concretos (coisas) com propriedades, mas tais propriedades no tm uma realidade autnoma, independente de cada particular. Ou seja, no se pode dizer que os universais subsistem. O que o realista chama de universais seriam apenas idias em nossa mente (conceitualismo) ou nomes lingsticos (nominalismo, em sentido estrito). A querela dos universais foi disputada intensamente na Idade Mdia, e Guilherme de Ockham (1285-1350) o grande representante do nominalismo medieval, ao passo que o lgico Willard Quine (1908-2000) um importante nominalista moderno.5 Em filosofia da matemtica, a oposio entre realistas e nominalistas um pouco diferente da querela metafsica. Os realistas afirmam que os nmeros, conjuntos e outros objetos matemticos existem ou subsistem de alguma maneira, independentes dos seres
4

O presente relato foi obtido de SKLAR, L. (1974), Space, Time, and Spacetime, U. California Press, Berkeley, pp. 13-6. O livro de Euclides est disponvel na internet, ou como: EUCLID (1956), The Thirteen Books of Euclids Elements, traduo e comentrios de T.L. Heath, 3 vols., Dover, Nova Iorque.

Uma excelente introduo ao debate metafsico entre realistas de universais e nominalistas apresentada por LOUX, M.J. (2002), Metaphysics A Contemporary Introduction, 2a ed, Routledge, Londres, caps. 1 e 2. H um resumo em portugus na internet.

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

humanos. J os nominalistas defendem que os objetos matemticos so construes mentais, de forma que no se pode afirmar que os nmeros naturais existam no mundo. Um dos argumentos dos realistas, em favor da existncia dos objetos matemticos, justamente a sua grande utilidade nas cincias naturais. Segundo este argumento da indispensabilidade, formulado por Willard Quine (um nominalista metafsico, mas um realista matemtico) e Hilary Putnam, como nossas melhores teorias cientficas fazem referncia a objetos matemticos como nmeros, conjuntos e funes, e tais entidades so indispensveis para a cincia, ento devemos nos comprometer com a existncia real de objetos matemticos, da mesma maneira que nos comprometemos com a existncia de entidades fsicas tericas como quarks e partculas virtuais. Opondo-se a este argumento, o filsofo nominalista Hartry Field vem trabalhando num projeto para mostrar como possvel construir teorias cientficas sem nmeros e outros objetos matemticos, numa certa linguagem relacional. Conseguiu aplicar seu mtodo para a teoria da gravitao newtoniana, mas no para outras teorias mais contemporneas. A matemtica seria til para a cincia pelo fato de ela simplificar muito os clculos e a expresso de enunciados das cincias exatas, mas ela no seria indispensvel.6 5. Questo Metodolgica: Nmeros Imaginrios se aplicam Realidade Fsica? Na seo anterior, vimos que a questo sobre a existncia do nmero natural 27 pode receber diferentes respostas. Mas a prtica do fsico no afetada por esta questo filosfica: qualquer que seja a resposta a essa questo ontolgica (ou seja, questo sobre o que real), seguro supor que o nmero inteiro 27 se aplica corretamente descrio da realidade nessa sala de aula. Podemos investigar esta questo metodolgica em relao a nmeros no positivos, como os inteiros negativos. Talvez no possamos dizer que h 5 mas na cesta, mas podemos dizer que a temperatura 5C. Ou seja, pode-se dizer que os inteiros negativos se aplicam a certos domnios da realidade. E quanto aos nmeros que representam uma reta contnua? A estrutura do espao fsico a estrutura dos nmeros racionais ou dos nmeros reais? Na seo seguinte deixaremos clara a distino entre os dois, com base na distino entre conjuntos ordenados densos e completos. A questo levantada tambm uma questo ontolgica, mas no em relao natureza dos objetos matemticos, e sim em relao a uma entidade fsica, o espao. Sendo assim, para examinar esta questo devemos levar em conta tambm as evidncias experimentais. Deixaremos o estudo desta questo para o Cap. II. Associada a esta questo h tambm uma constatao metodolgica: usual representar o espao fsico como um espao matemtico tridimensional contnuo, envolvendo nmeros reais, e no apenas nmeros racionais. E os nmeros imaginrios? Tais nmeros, mltiplos de i, ou 1 , surgiram com o matemtico italiano Gerolamo Cardano, em 1545, como solues de equaes cbicas. Em 1637, Ren Descartes os chamou de imaginrios, indicando que no os levava srio. No entanto, Abraham de Moivre (1730) e Leonhard Euler (1748) os estudaram, chegando notvel equao que tanto fascinou o jovem Richard Feynman: e i = 1 . Isso levaria noo
Uma resumo sucinto da filosofia da matemtica : POSY, C.J. (1995), Philosophy of Mathematics, in AUDI, R. (org.), The Cambridge Dictionary of Philosophy, Cambridge U. Press, pp. 594-7. Sobre o argumento da indispensabilidade, ver: COLYVAN, M. (2004), Indispensability Arguments in the Philosophy of Mathematics, Stanford Encyclopedia of Philosophy, na internet. O filsofo brasileiro Otvio Bueno (U. Miami) tem trabalhado nesta e noutras questes da filosofia da cincia e da matemtica; por exemplo: BUENO, O. (2005), Dirac and the Dispensability of Mathematics, Studies in History and Philosophy of Modern Physics 36, 465-90.
6

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

de plano complexo, formulado por Caspar Wessel (1797), Carl Gauss (1799) e Jean Argand (1806), que representa os nmeros complexos a + bi em um plano. A questo ontolgica, da realidade dos nmeros imaginrios, no parece ser diferente da questo ontolgica de outros objetos matemticos. A diferena est na questo metodolgica, pois costume afirmar-se que nenhuma grandeza fsica observvel representada por um nmero imaginrio. Nmeros imaginrios aparecem na representao de movimentos oscilantes ou ondulatrios, mas na hora de exprimir valores de correntes (na engenharia eltrica) ou de probabilidades (na mecnica quntica), o resultado sempre expresso por meio de nmeros reais. Assim, num certo sentido, nmeros imaginrios no se aplicam realidade observvel. Mas e a realidade no-observvel? Aqui recamos na discusso sobre o estatuto da realidade no-observvel (realismo x instrumentalismo), que veremos no cap. IV. Alguns autores argumentam que os nmeros imaginrios no podem ser eliminados da mecnica quntica e das modernos teorias de campo, a no ser por procedimentos artificiais, e portanto eles tm aplicao essencial na fsica7. Por outro lado, a discusso no que os nmeros imaginrios no podem ser aplicados realidade observada, pois por conveno poderamos multiplicar todos os nmeros que representam grandezas observveis por i, de tal maneira que seriam os reais no-imaginrios que no teriam aplicao direta. O ponto da discusso que os nmeros reais seriam suficientes para descrever a realidade observvel, sem necessidade de ampliar, com os nmeros imaginrios, o sistema numrico utilizado. 6. Noes de Continuidade Consideremos o intervalo entre os nmeros 0 e 1, e imaginemos o conjunto ordenado de todos os nmeros racionais (fraes) deste intervalo. Este conjunto denso, pois entre quaisquer dois nmeros racionais existe pelo menos um nmero racional. fcil intuir que h um nmero infinito de racionais neste intervalo. No entanto, sabemos que nmeros como 22 e no so racionais, mas fazem parte 8 do conjunto dos reais. Est claro que este conjunto denso, mas ele tambm tem a propriedade de ser completo. Considere a seguinte seqncia crescente infinita de nmeros
38 racionais, {1 , 105 , 1289 , 3 3465 16988 45045

, ...}, onde cada termo n=1,2,... expresso por

[(4m 3)(4m 1)]

m =1

2 Tal seqncia tem limites superiores racionais, como 5 , ou seja, h nmeros racionais maiores do que todos os termos da seqncia. O problema, porm, que no h um racional que seja o menor limite superior, ou supremo. Se considerarmos agora esta seqncia como um subconjunto dos reais, mostra-se (a partir de frmula derivada por Gregory e Leibniz no sc. XVII) que tal seqncia converge para , que o supremo da seqncia. Assim, os reais 8 so completos, no sentido que todas as seqncias com limite superior tm um supremo. Na matemtica, a noo de continuidade aplica-se a funes, como y = f(x) . Intuitivamente, diz-se que uma funo contnua se uma pequena variao no argumento x levar a uma pequena variao em y. Na disciplina de Clculo I, aprendemos a definio rigorosa de continuidade de Cauchy para os reais, em termos de psilons e eltas. Se uma funo for definida para nmeros racionais, parece ser possvel aplicar essa noo de

WIGNER (1960), op. cit. (nota 1), pp. 225, 229. YANG, C.N. (1987), Square Root of Minus One, Complex Phases and Erwin Schrdinger, in Kilmister, C.W. (org.), Schrdinger: Centenary Celebration of a Polymath, Cambridge: Cambridge University Press, pp. 53-64.

FLF0472 Filosofia da Fsica (USP - 2008)

Cap. I: Filosofia da Matemtica

continuidade tambm para os racionais. Por outro lado, o conjunto dos nmeros reais s vezes chamado de o contnuo. 7. Existe o Infinito? H uma longa histria da noo de infinito na matemtica, na cincia e na filosofia. Hoje em dia aceita-se que o Universo tenha uma extenso espacial finita, mas a questo do infinitamente pequeno ainda est em aberto, como discutiremos no Cap. II. Na matemtica, um resultado importante foi obtido pelo russo-alemo Georg Cantor (1845-1918): podem se definir infinitos maiores do que o infinito contvel! O tamanho de um conjunto denominado sua cardinalidade. Cantor denotou a cardinalidade dos nmeros naturais por 0 (alef-zero), ou infinito contvel. Para encontrar a cardinalidade de outro conjunto infinito, basta tentar mapear os elementos do conjunto nos nmeros naturais. Por exemplo, mostra-se que a cardinalidade dos nmeros racionais tambm 0, escrevendo todas as fraes m/n em uma matriz na posio (m,n), e escolhendo uma seqncia de ordenamento, como o da Fig. I.2, que mapeia cada frao em um nmero natural (podem-se eliminar as fraes de valores repetidos). Qual seria a cardinalidade dos nmeros reais, entre 0 e 1? Cantor apresentou o argumento da diagonal, que permite construir um nmero real que escapa da tentativa de mapear bijetoramente os inteiros nos nmeros reais. Faamos uma lista dos nmeros reais entre 0 e 1, com i = 1, 2, ..., escrevendo cada um da seguinte forma: pi = 0 , ai1, ai2, ai3, ..., onde os aij so dgitos entre 0 e 9 (Fig. I.3). Por exemplo, = 0,392... teria ai1=3, ai2=9, 8 ai3=2, etc. Naturalmente, esta lista de nmeros reais pi seria contavelmente infinita, mas h pelo menos um nmero real que no consta desta lista, o nmero q = 0 , b1, b2, b3, ..., construdo da seguinte maneira. Consideremos os dgitos na diagonal i=j, ou seja, a11, a22, etc. Se o dgito aii = 5, ento bi = 4; se aii 5, ento bi = 5. Com isso, constri-se um nmero real b que no consta da lista contavelmente infinita (que tem cardinalidade 0). Isso mostra que a cardinalidade dos nmeros reais, que Cantor mostrou ser igual a 20, maior do que a dos nmeros racionais: 20 > 0 .

Figura I.2: Numeros racionais so contveis.

Figura I.3: Argumento da diagonal de Cantor.