Anda di halaman 1dari 6

Filosofia da Fsica Clssica

Cap. VI

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.40 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 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 (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 alguma coisa que no tnhamos posto nas equaes (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 de porque a matemtica funciona to bem na fsica, 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! 41

2. A Matemtica na Grcia Antiga

A matemtica grega, partindo de Tales de Mileto (c. 625-546 AEC) e Pitgoras de


Samos (c. 575-495 AEC), 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 consequncia desta concepo,
supunham que o espao, o tempo e o movimento eram constitudos de elementos discretos.
Ao pitagrico Hipaso de Metaponto (nascido circa 500 AEC) 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

40
WIGNER, E.P. (1960), The unreasonable effectiveness of mathematics in the natural sciences,
Communications in Pure and Applied Mathematics 13, 1-14, republicado em WIGNER (1967), Symmetries and
reflections, Indiana U. Press, Bloomington, pp. 222-37. Disponvel na internet. Traduo disponvel no site do
curso: http://www.fflch.usp.br/df/opessoa/Wigner-2.pdf.
41
TEGMARK, M. (2007), The mathematical universe, Foundations of Physics 38, 101-50.

34
FLF0472 Filosofia da Fsica (USP - 2014) Cap. VI: Filosofia da Matemtica

Hipaso teria sido lanado ao mar por seus colegas, em represlia.42 Vimos no Cap. V 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 AEC. 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 EC.

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) Se A=B e B=C, ento A=C.


A2) Se A=B e C=D, ento A+C = B+C.
A3) Se A=B e C=D, ento AC = BC.
A4) Figuras coincidentes so iguais em todos os seus aspectos.
A5) 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 Figura VI.1: Quinto
e B se encontram, se forem estendidos postulado de Euclides.
suficientemente (ver Fig. VI.1).

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 na seo XIII.2
como a discusso do quinto postulado levou no sc. XIX s geometrias no-euclidianas.

42
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.

35
FLF0472 Filosofia da Fsica (USP - 2014) Cap. VI: 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 sups 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 AEC), no so dedutveis dos axiomas de Euclides.43
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 concebe que os nmeros naturais so entidades reais, assim
como outros objetos matemticos, como o tringulo. Plato (428-348 AEC) desenvolveu esta
concepo, defendendo que as entidades matemticas 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
papiro 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, para o nominalista, no se pode dizer que os
universais subsistem. O que o realista chama de universais seriam apenas idias em nossa
mente (conceitualismo) ou nomes lingusticos (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.44
Em filosofia da matemtica, a oposio entre realistas e nominalistas um pouco
diferente da querela metafsica dos universais. Os realistas afirmam que os nmeros,
conjuntos e outros objetos matemticos existem ou subsistem de alguma maneira,

43
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: EUCLIDES (1999), Os elementos, trad. I.
Bicudo, Ed. da Unesp, So Paulo.
44
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: http://www.fflch.usp.br/df/opessoa/TCFC3-06b-Loux-12.pdf.

36
FLF0472 Filosofia da Fsica (USP - 2014) Cap. VI: Filosofia da Matemtica

independentes dos seres 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 Quine (que mencionamos ser um nominalista metafsico,
mas que era um realista matemtico) e por 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.45

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 reais ou dos nmeros racionais (ou de um subconjunto finito
destes)? 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. Falaremos um pouco mais sobre esta questo na seo
VII.3. 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

45
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.

37
FLF0472 Filosofia da Fsica (USP - 2014) Cap. VI: Filosofia da Matemtica

notvel equao que tanto fascinou o jovem Richard Feynman: e i = 1 . Isso levaria noo
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 fenomenismo), que vimos
na seo III.1.
Alguns autores argumentam que os nmeros imaginrios no podem ser eliminados da
mecnica quntica e das modernas teorias de campo, a no ser por procedimentos artificiais, e
portanto eles so indispensveis para a fsica46. 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 se 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 8 no so racionais, mas fazem parte
do conjunto dos reais. Est claro que este conjunto denso, mas ele tambm tem a
propriedade de ser completo. Considere a seguinte sequncia crescente infinita de nmeros
n
racionais, {13 , 105
38
, 1289
3465 , 16988
45045 , ...}, onde cada termo n=1,2,... expresso por 1
[(4m 3)(4m 1)] .
m =1

Tal sequncia tem limites superiores racionais, como 52 , ou seja, h nmeros racionais
maiores do que todos os termos da sequncia. O problema, porm, que no h um racional
que seja o menor limite superior, ou supremo. Se considerarmos agora esta sequncia como
um subconjunto dos reais, mostra-se (a partir de frmula derivada por Gregory e Leibniz no
sc. XVII) que tal sequncia converge para 8 , que o supremo da sequncia. Assim, os reais
so completos, no sentido que todas as sequncias 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

46
WIGNER (1960 [1967]), op. cit. (nota 40), 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. PENROSE, R. (2004), The road to reality: A
complete guide to the laws of the universe, Vintage, Nova Iorque, pp. 67, 1034-6.

38
FLF0472 Filosofia da Fsica (USP - 2014) Cap. VI: Filosofia da Matemtica

funo for definida para nmeros racionais, parece ser possvel aplicar essa noo de
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 discutimos no Cap. V.
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 sequncia de
ordenamento, como o da Fig. VI.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 nmeros reais nos inteiros. 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. VI.3). Por exemplo, 8 = 0,392... teria ai1=3, ai2=9,
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 VI.2: Nmeros racionais so contveis. Figura VI.3: Argumento da diagonal de Cantor.

39