Filosofia da Fsica Clssica

Cap. VI

Filosofia da Matemtica
Questo: Como explicar a importncia da matemtica
nas cincias naturais?

1. 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
Hipaso teria sido lanado ao mar por seus colegas, em represlia.41 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.

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

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

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

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 Figura VI.1: Quinto
suficientemente (ver Fig. VI.1). 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 na seo XIII.2
como a discusso do quinto postulado levou no sc. XIX s geometrias no-euclidianas.
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.42
A geometria euclidiana foi o paradigma de conhecimento certo e verdadeiro, na
cincia e filosofia, at o sc. XIX.

3. Questo Ontolgica: Existem Entidades 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, que
existem na natureza (fora de mentes pensantes), assim como outros objetos matemticos,
como o tringulo. Semelhente viso foi defendida de forma radical por Tegmark (2007), ao
afirmar que nosso mundo fsico uma estrutura matemtica abstrata! 43
Plato (428-348 AEC) modificou 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

42
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.
43
TEGMARK, M. (2007), The mathematical universe, Foundations of Physics 38, 101-50.

35
 FLF0472 Filosofia da Fsica (USP - 2015) Cap. VI: Filosofia da Matemtica

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,
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 natural.
Grosso modo, o nominalista matemtico afirma que a objetividade da matemtica
uma consequncia da estrutura do crebro humano (ou de qualquer ser inteligente), ou da
maneira como a mente est ligada ao mundo, ou das regras do jogo matemtico. As entidades
matemticas seriam projees da mente, que podem estar associadas realidade fsica, mas
segundo esta viso seria sem sentido afirmar que a matemtica existe fora da mente de seres
inteligentes ou que subsiste em um domnio externo mente e suas projees.
Vale notar que a questo do realismo na cincia, apresentada na seo III.1, bem
diferente da questo do realismo na matemtica. A primeira discute a realidade de entidades
fsicas concretas, postuladas por teorias cientficas mas no observveis, e que existiriam
independentemente dos seres humanos. J o realismo na matemtica postula a realidade de
estruturas matemticas abstratas, cuja realidade seria independente da existncia de seres
inteligentes, ou que existiriam no prprio mundo fsico (pitagorismo) ou que subsistiriam
numa dimenso para alm do tempo e do espao (platonismo).
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

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 - 2015) Cap. VI: Filosofia da Matemtica

cincia pelo fato de ela simplificar muito os clculos e a expresso de enunciados das cincias
exatas, mas ela no seria indispensvel.45

4. 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 [(4m 3)(4m 1)]
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
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.

5. 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
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. (2010), Philosophy of
mathematics, in Allhoff, F. (org.), Philosophies of the Sciences, Wiley-Blackwell, Oxford, pp. 68-91.
Disponvel online.

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

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.

6. Questo de Aplicao: A Utilidade da Matemtica

Por que a matemtica to importante na fsica? Por que as leis matemticas da

natureza funcionam to bem? Essas so questes que o destacado fsico hngaro Eugene
Wigner (1902-95) discutiu em um artigo em que usou a curiosa expresso desarrazoada (no
razovel) efetividade (eficcia) da matemtica.46 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

46
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. Ver pp. 225, 229. Disponvel na internet. Traduo
disponvel no site do curso: http://www.fflch.usp.br/df/opessoa/Wigner-2.pdf.

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

Heisenberg para construir sua mecnica matricial. Com certeza, neste caso, conseguimos
tirar alguma coisa que no tnhamos posto nas equaes (p. 232).
Diversas respostas foram dadas a este problema de porque a matemtica funciona to
bem na fsica.
(a) A resposta mais simples a este problema fornecido pelos pitagricos, como
Tegmark, que explicariam essa efetividade pelo fato de a natureza ser intrinsecamente
matemtica, de ela ser constituda por estruturas matemticas. Assim, fica explicado por que
o cientista tem tanto sucesso em descrever a natureza com a linguagem matemtica, e em
fazer novas previses. Na variante platonista, as formas das coisas seriam cpias imperfeitas
das ideias matemticas puras e perfeitas.
(b) A resposta de Wigner foi de que a efetividade da matemtica um milagre.
Nessa sua atitude, que pode ser chamada de misteriana, ele considerava at difcil acreditar
que nosso poder de raciocnio foi levado, pelo processo de seleo natural de Darwin,
perfeio que ele parece possuir (p. 224). Sua posio tem sido descrita como mentalista,
indicando que claramente no tinha uma viso de mundo estritamente materialista.
(c) A maneira como Wigner formulou a questo pode ser identificada com o problema
da induo: o que justifica estender uma lei que descreve adequadamente um domnio restrito
de objetos para um domnio mais amplo? Seguindo David Hume, o filsofo empirista John
Stuart Mill ponderou sobre esta questo, no contexto de sua filosofia empirista, e concluiu
postulando a existncia de um princpio de uniformidade do curso da natureza. Ou seja, a
natureza tem uma tendncia a ser uniforme, a se repetir no tempo e no espao, de forma que
se observamos uma regularidade em um nmero finito de objetos, geralmente (mas nem
sempre, claro) estaremos seguros em generalizar esta regularidade ou lei de maneira
universal, para todos os objetos daquela espcie.
(d) Uma abordagem menos empirista e mais construtivista, ou seja, uma postura que
considera que a experincia ativamente formatada pela mente humana, como a do filsofo
Immanuel Kant, no apela para um princpio de uniformidade na natureza, mas sim para um
princpio interno ao sujeito do conhecimento, para a maneira como o aparato cognitivo do
sujeito estrutura os dados do mundo externo, maneira esta que seria matemtica. O que Mill
consideraria a uniformidade da natureza para Kant um pr-requisito a priori de qualquer
experincia possvel, expressa como uma categoria do entendimento. A efetividade da
matemtica seria uma consequncia necessria da maneira como nossa mente constroi sua
representao do mundo.47
(e) Uma ltima soluo, consistente tanto com o realismo cientfico quanto com o
nominalismo matemtico, est relacionada com as concepes de Hilbert e Poincar de que a
existncia matemtica livre de contradio.48 A proposta que a matemtica tem, em sua
essncia, uma propriedade Xmat. que corresponde a uma propriedade fsica geral Xfis. possuda
pela realidade fsica. No relato de Mill, a propriedade fsica correspondente seria a
uniformidade da natureza, que seria expressa por certas regularidades da descrio
matemtica. Seguindo a sugesto de Hilbert e Poincar, pode-se argumentar que a
consistncia das teorias matemticas usadas nas cincias naturais (Xmat.) corresponderia a uma

47
Ver SILVA, JAIRO J. (2011), On the nature of mathematical knowledge, in Krause, D. & Videira, A.A.P.
(orgs.), Brazilian studies in philosophy and history of science (Boston Studies in the Philosophy of Science 290),
Springer, Dordrecht, pp. 151-60. A uniformidade da natureza aparece em MILL, J.S. (1979), Sistema de lgica
dedutiva e indutiva, trechos in Os Pensadores, 2 ed., trad. J.M. Coelho, Abril Cultural, So Paulo (orig. em
ingls: 1843), livro III, cap. III, 1.
48
HILBERT, D. (1902), Mathematical problems, Bulletin of the American Mathematical Society 8, 437-79, ver
p. 448. POINCAR, H. (1908), Science et mthode, Flammarion, Paris, cap. III, 4.

39
FLF0472 Filosofia da Fsica (USP - 2015) Cap. VI: Filosofia da Matemtica

certa propriedade de consistncia ou ausncia de contradio (Xfis.) da realidade natural.

Se de fato se puder estipular Xmat. e Xfis., ento poder-se-ia explicar porque a matemtica
funciona to bem no domnio das cincias naturais, e porque outros sistemas formais
(diferentes da matemtica) no o fazem.

7. Nmeros Imaginrios descrevem a Realidade Fsica?

Descrevemos diferentes vises sobre a ontologia das entidades matemticas, ao

discutirmos por que a matemtica to til nas cincias naturais. Uma outra questo
relacionada aplicao da matemtica se os nmeros imaginrios descrevem a realidade. A
viso convencional que nmeros imaginrios no so nunca usados para descrever aspectos
observveis do mundo, apesar de eles poderem ser teis nos passos intermedirios de clculos
sobre esses aspectos observveis. Os nmeros reais, por outro lado, descreveriam o que
observamos.
Esta viso convencional tem seus problemas. Em primeiro lugar, em que sentido
nmeros reais podem ser atribudos a grandezas observveis, j que, no mundo fsico
concreto, no h maneira de distingui-los dos nmeros racionais? Quais classes de nmeros
podemos observar?
H 13 pares de nervos cranianos em cada mamfero, mostrando que direta a
aplicao de nmeros naturais para objetos bem definidos e distintos. Um pitagrico poderia
afirmar com segurana que nmeros naturais existem no mundo fsico (mas no todos eles, se
o Universo for finito).
E quanto aos nmeros inteiros negativos? A quais coisas eles podem ser aplicados? A
altitude do Mar Morto 378 metros, onde o sinal negativo indica que ele est abaixo do
nvel de referncia dos oceanos. Mas se o nvel de referncia fosse o centro da Terra, a
altitude seria sempre um nmero positivo. O sinal negativo apenas exprime uma escolha
convencional de referncia: por que, ento, o pitagrico deveria acreditar em sua existncia no
mundo fsico?
Nmeros racionais podem ser aplicados de maneira mais direta para exprimir razes
entre comprimentos (expressos como nmeros inteiros, por exemplo mltiplos inteiros de
uma unidade bsica, como o milmetro), como em cordas musicais, onde o intervalo de quinta
corresponde razo 3/2 entre os comprimentos de duas cordas.
E os nmeros reais? O nmero real 2 descreveria de maneira exata o comprimento da
diagonal de um quadrado de lados unitrio, mas esse resultado no se aplica de maneira exata
realidade, onde h sempre pequenas imperfeies e flutuaes. Ou seja, um nmero racional
descreveria igualmente bem a diagonal de um quadrado concreto. Mesmo assim, os nmeros
reais so utilizados como base para as teorias fsicas, ento temos o costume de associar os
resultados de medies reais a nmeros reais.
De um ponto de vista nominalista, no h nada de errado em associar nmeros reais ao
mundo fsico, pois ao fazer isso no estaramos pressupondo que os nmeros reais existem
no mundo fsico (como diria um neopitagrico), mas simplesmente que os nmeros reais,
entendidos como uma construo mental abstrata, podem ser aplicados de maneira coerente
ao mundo fsico.
E o que dizer dos nmeros complexos? O nmeros imaginrios, 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 de plano complexo, formulado por Caspar Wessel (1797), Carl

40
 FLF0472 Filosofia da Fsica (USP - 2015) Cap. VI: Filosofia da Matemtica

Gauss (1799) e Jean Argand (1806), que representa os nmeros complexos como a soma de
um nmero real e um imaginrio, a + bi, em um plano.
Nmeros complexos so muito teis para descrever as fases relativas de movimentos
oscilatrios, o que levou alguns fsicos49 a considerar que eles no podem ser eliminados da
fsica terica, especialmente das teorias de calibre, pondo-os em p de igualdade com os
nmeros reais. Tal atitude parece sensata. Do ponto de vista do nominalismo matemtico, a
questo se um conceito matemtico til na cincia, e no se ele de fato existe, como
tenderia a dizer um pitagrico. verdade que, na teoria quntica usual, nenhum valor
esperado calculado pela teoria envolve termos imaginrios, o que significa apenas que os
nmeros reais (ou racionais) so suficientes para representar valores medidos, e no que estes
tenham mais realidade que aqueles.
Outro caso interessante o de probabilidades negativas. Feynman50 salientou que estes
nmeros nunca podem ser aplicados realidade, apesar de serem uma ferramenta til nos
passos intermedirios de um clculo de grandezas observveis da natureza. No entanto, pode-
se interpretar uma probabilidade negativa como indicando que uma situao tem um grau de
impossibilidade maior do que uma situao cuja probabilidade simplesmente zero. Em
outras palavras, pode-se classificar diferentes cenrios logicamente possveis de acordo com
um certo parmetro , e tal parmetro pode aparecer em uma equao exprimindo o grau de
possibilidade do cenrio: o valor negativo da probabilidade de uma situao indicaria o quo
distante o parmetro est do cenrio com probabilidade zero.

49
WIGNER ([1960], 1967), op. cit. (nota 46), 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.
50
FEYNMAN, R.P. (1987), Negative probability, in Hiley, B.J. & Peat, F.D. (orgs.), Quantum implications,
Routledge, London, pp. 235-48.

41