Professional Documents
Culture Documents
Cap. VI
Filosofia da Matemtica
Questo: Como explicar a importncia da matemtica
nas cincias naturais?
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:
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.
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
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
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?
Figura VI.2: Nmeros racionais so contveis. Figura VI.3: Argumento da diagonal de Cantor.
39