Filosofia da Fsica Clssica

Cap. II

Filosofia da Matemtica
Questo: Como explicar a importncia da matemtica
nas cincias naturais?
(Nota: Esta aula no foi ministrada em 2010)
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.8 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 extrair alguma coisa das equaes que no pusemos nelas (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!9
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
8

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

TEGMARK, M. (2007), The Mathematical Universe, arXiv 0704.0646v1, 28 pp.

FLF0472 Filosofia da Fsica (USP - 2010)

Cap. II: Filosofia da Matemtica

Hipaso teria sido lanado ao mar por seus colegas, em represlia.10 Veremos no cap. III 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. II.1).

Figura II.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.

10

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 - 2010)

Cap. II: 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 a.C.), no so dedutveis dos axiomas de Euclides.11
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.12
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
11

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.

12

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 - 2010)

Cap. II: 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 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.13
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. 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
13

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.

10

FLF0472 Filosofia da Fsica (USP - 2010)

Cap. II: 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 fenomenalismo), que
vimos na seo I.3.
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 tm aplicao essencial na fsica14. 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 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 seqncia crescente infinita de nmeros
38
, 1289
racionais, {13 , 105
3465 ,

16988
45045

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

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

m =1

Tal seqncia tem limites superiores racionais, como 52 , 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 8 , que o supremo da seqncia. Assim, os reais
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

14

WIGNER (1960 [1967]), op. cit. (nota 8), 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.

11

FLF0472 Filosofia da Fsica (USP - 2010)

Cap. II: 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. III.
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. II.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. II.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 II.2: Nmeros racionais so contveis.

Figura II.3: Argumento da diagonal de Cantor.

12