Professional Documents
Culture Documents
UNIVERSIDADE DE SO PAULO
REITOR
Proj. Dr. Luis Antnio da Gama e Silva
PRESIDENTE
Proj. Dr. Mrio Guimares Ferri
FACULDADE DE FILOSOFIA, CINCIAS E LTRA8
ME MUR O3
Proj. Dr. A. Brilo da Cunha Proj. Dr. C. da Silva Lacaz
FAC. CE FII.OK., ClfcNC. E LTRAS FACULDADE DE MEDICINA
O PENSAMENTO
MAT EMTI CO
Sua grandeza e seus limites
EDITORA IIERDER
SO PAULO
Vorso portugusa do Prof. TIelmoth At.FRRno
Sxmon, do original alemo: Groesse und Qreme
der Malhfmatisclten Dcnkweise, von Oskar
Bkoker (em. o. Prof. der Philoeophic an der
Uniwisit&t Bonn), publicado pola Verlag Karl
Albert, Freiburg'Mueneheti 1959.
Prejcio................................................................................... 7
CAPTULO PRIMEIRO
O PEN SA M E N T O PITA G RICO
1. Os matemticos o filsofos gregos mais antigos.... 11
2. A tese fundamental dos pitagricos: as coisas so
nmeros........................................................................ 15
3. A teoria pitagriea" de Plato sbre a matria.. 18
4. Opinies de Plato, dos pitagricos e de Aristteles
sbre a natureza dos nmeros................................. 25
CAPTULO SEGUNDO
C I N C IA DA NATUREZA EXATA
1. O papel da astronomia................................................. 28
2. A experincia analtica na Antigidade e na
Idade Moderna........................................................... 31
3. "Forar a natureza?................................................... 36
4. Naturam renuntiando vincimus.................................... 41
5. O problema da realidade na fsica clssica............ 46
6. A fsica moderna e o problema da realidade.......... 55
7. Viso de ooujunto......................................................... 75
CAPTULO TERCEIRO
M ATEM TICA PU R A COMO C I N C IA L IV R E
1. Os incios da matemtica grega. Aparece pela pri
meira vez o problema do Infinito (Zeno de Ela) 82
2. A descoberta do irracional........................................... 90
3. A teoria aristotlica sbre o infinito......................... 06
4. A teoria aristotlica da abstrao na matemtica.
A mathesis universalis nos sculos XVII e XVIII. 100
5. Evoluo em direo da matemtica formal............... 108
CAPTULO QUARTO
0 3 L IM IT E S DO PEN SA M EN TO M ATEM TICO
O pensamento Pitagrico
11
que sucedeu tambm em outros tempos e lugares).
Mas a tendncia geral era restringir os conheci
mentos matemticos s construes, agrimensura,
diviso das heranas e astronomia. Os gregos,
ao contrrio, para quem o homem tende por
natureza ao saber(3) consideravam a matemtica
como conhecimento puro. No sabemos se j antes
de Pitgoras se tinha uma idia exata dessa pu
reza. Pois o que sabemos dos primeiros matem
ticos se relaciona com o uso da matemtica. Tales
teria predito um eclipse do sol, medido a altura
das pirmides do Egito e determinado a distncia
de um navio no mar por observaes feitas de
um ponto na terra. Anaximandro fabricou instru
mentos astronmicos para acompanhar o decurso
dos dias e das noites em Esparta, construiu um
globo celeste (sphaira) e deneou uma carta ter
restre.
Mas no era tudo. Tales e Anaximandro eram
tambm filsofos, isto , procuravam delinear
um sistema ou uma imagem do mundo que no
mais dependesse das concepes mitolgicas tradi
cionais, em que os fenmenos naturais (como os
terremotos ou as enchentes do Nilo) fssem expli
cados sem recorrer a personificaes divino-demo-
nacas. Em Tales no se consegue ver a relao
que existe entre sua filosofia (na qual, como se
sabe, fz da gua o elemento original de tudo) e
a matemtica. Anaximandro, contudo, esboou a
primeira imagem do universo traduzida em n
meros, o que no deixa de ser algo muito apre
civel e de enormes conseqncias. Anaximandro
conhecido, sobretudo, pela sua sentena,
um fragmento transmitido por Simplcio que o
tirou de Teofrasto; o contedo completo no nos
(3) Arist., Met. a 1, 980 a. 21. Vid. igualmente algumas sentenas
pr-eocrticas: Anugoraa A 39, Dcmcrito 118 (Dicls).
12
conhecido, nem seu contexto, e por causa de
seu carter fragmentrio difcil explic-lo com
clareza. Contudo, apesar de sua forma doxogr-
fica pode-se reconhecer nesse fragmento as linhas
essenciais do sistema csmico de Anaximandro. (4)
Segundo ste a terra paira no centro do cosmos
sob a forma de um bloco de coluna (cilindros
de pedra cuja superposio formava as colunas
dos templos gregos), cuja altura e dimetro esto
na razo de 1:3. A terra est firme porque no
h razo pela qual ela cairia para qualquer um
dos lados do universo, que representado como
um sistema radial simtrico. Aparece aqui pela
primeira vez na histria o principio da simetria,
de to grande importncia ainda hoje, tanto na
matemtica como na fsica terica; tambm Plato
insistir mais tarde neste ponto. possvel ver
nesta teoria csmica de Anaximandro tambm a
primeira "teoria da relatividade". Para o pensa
mento simples da experincia diria os conceitos
de em cima e em baixo so absolutos; assim
o eram na Antigidade para Demcrito e Epicuro.
Mas para Anaximandro em baixo significa a
direo da terra, que muda conforme o posto de
observao.
Ao redor da terra se estendem grandes crculos
ou anis (kykloi) que se afastam razo de 9,
18, 27 . . . , isto , na razo de 3.3, 2.(3.3), 3.(3.3)...
raios terrestres. O crculo interno contm ou as
estrias fixas ou os planetas (o que discutido), o
mdio contm a lua e o exterior o sol. A parte
interna dsses crculos est cheia de massa gnea
(4) Vid. "*ontcnaM era: Frajtiu. B 1 CDlela). tirado de Simplcio
in AriHtot. Phyv piij. 21, 13. SiSbre o slaUsxna cdwinico: A 11, tirado
do Hippolit., Ref. I 6, 3-5; vid. ijpmlrocuto A 18, A 1, A 22.
Hftbro * oarta torro#tro: A fl, A 7. Sbru os luatrumentofi astronmico*
em Esparta: A 1 (l) (2). Vide igualraontc W. Krant, Kotmoe, em: Archiv
fuer Begriffftgxttchichte II, 1 (Bonn (1955) pg. 12 se.
13
que nos fica visvel por uma abertura lateral e
torna possvel a viso das estrias. O cosmos no
eterno, mas se originou do apeiron (o ilimitado)
e depois de um espao de tempo aparentemente
bem determinado voltar ao ilimitado. O conceito
do apeiron uma tentativa de representar racio
nalmente o conceito mtico de chaos.
No aqui o lugar de entrar nos pormenores
dos problemas propriamente filosficos, talvez "es
peculativos', do pensamento de Anaximandro. O
que importante para ns a grande influncia
da matemtica nessa antiqssima imagem do
mundo dos gregos. Pode ser que esta nos parea
bem simplria e talvez o nmero 3, que a deter
mina, tenha fundamentos mitolgicos. Em Hesodo
(Teogonia 722 ss.) se fala de um bloco de metal
(akmn) talvez se trate de um meteoro que
leva nove dias para cair da abbada celeste e
atingir a terra e que levar outros nove dias para
chegar at ao Trtaro. (Parece, portanto, que o
Trtaro era concebido simtricamente ao cu como
o hemisfrio voltado para baixo). Tudo isto no
impede que Anaximandro conceba o princpio
fundamental do universo como ordenado numri-
camcntc. Esta opinio, portanto, precede a tese
pitagrica, da mesma maneira como o conceito
de "ilimitado", que pertence aos conceitos mais
fundamentais do pitagorismo. certo que
se trata de pura especulao sem base na ex
perincia; mas tal a caracterstica de todo
pensamento incipiente, como podemos observar
nas crianas. S lentamente a imagem do
mundo assim formadu se adapta aos dados da
experincia.
Deve-se acrescentar ainda que no terreno da
astronomia Anaximandro fz observaes exatas;
a fabricao dos instrumentos que seguiam exata
mente o curso do sol, cm Esparta, supunha a me
dida da altura polar dessa localidade e outras
coisas ainda.
jf
mala) entre as propriedades dos nmeros e das
coisas, sobretudo na estrutura da harmonia mu
sical e na construo dos cus e de seus movi
mentos. Tildo isto resumido por Aristteles (sem
que se constate um salto no curso de seus pensa
mentos) pelas palavras: Todo o cu harmonia
e nmero(9).
Encontra-se igualmente uma formulao afim,
isto , que as coisas so o que so pela imitao,
ou melhor, pela representao (mimsis) dos n
meros, e isto por Aristteles identificado com a
participao (methexis) platnica das coisas nas
idias(lO). Tudo isto se entende em parte quando
se tem em mente que Aristteles tem em mira
antes de tudo a filosofia platnica, em que as
idias" so explicadas como nmeros". Uma
distino essencial, entre Plato e os pitagricos,
Aristteles v no fato que aqule separa as idias
das coisas, o que stes no fizeram com os n-
meros(ll).
Ao tentar-se harmonizar estas diferentes afir
maes sbre a doutrina pitagrica, cai-se em con
tradies e paradoxos. Assim dizemos: se os n
meros esto nas coisas, ou se as coisas se com
pem de nmeros, ento as coisas no so os n
meros. Parece que esta ltima frmula pode ser
considerada como um resumo das duas anteriores,
mais claras, ja que os diferentes modos de exprimir
se encontram prximos uns dos outros na mesma
sentena(12). O que se quer dar a entender 6 a
imanncia dos nmeros nas coisas, quer se os
conceba como partes integrantes, quer smente
os elementos (stoicheia) dos nmeros sejam iden-
(0) M et. A S. 985b, 27-986 a, S (vid. 986 a, 21).
(10) M et. A 6, 987 b, 11-12.
(11) M et. A 8, 987b, 27-28: N. 3. 1090a, 20-25.
(12) Por exemplo em M et. M 6. 1083b, 17-19.
tifieados com as coisas. sses elementos so:
limite (peras) e ilimitado (apeiron)(13). Parece
que a imanncia deve ser representada como a
presena nas coisas de determinada estrutura nu
meral, semelhante a uma armadura aritmtica,
mais ou menos como ainda hoje pomos nos cristais
uma estrutura gradeada, com o grupo corres
pondente.
19
mero (arit.hmoe) evidentemente o nmero nu
merado, isto , a coisa numerada ou numervel,
ou mais exatamente, uma multiplicidade discreta
(no contnua), que pode ser designada por um
ou mais nmeros, Na realidade tais nmeros
no deveriam ser expressos por dois, trs, qua
tro . . mas por duplo, triplo, qudruplo . .
Que se recorde a etimologia da palavra arUhmos:
esta provm de a r a r i s k o eu ordeno, ponho
em ordem, e significa em seu sentido original:
ordem, disposio. At mesmo em Aristteles
se encontra um eco dste carter concreto e estru
tural do conceito primitivo de nmero, que no
pode ser aplicado a qualquer coisa, mas que de
pende de determinados objetos(17). Tal concepo
se encontra muito mais acentuada nos pitagricos,
e at mesmo em Plato.
Partindo dste conceito original e primitivo a
tese pitagrica se torna muito mais inteligvel.
Nmero significa a estrutura das coisas, aritrn-
ticamente descritvel, e que constitui sua essncia
prpria mente dita. Contudo, na concepo pita
grica esta estrutura no o arcabouo atri
budo coisa por outrem, mas uma armao
interna prpria coisa, e que de dentro a man
tm unida. Como isto deva ser entendido, mais em
particular pode-se ver na doutrina dos elementos
contida no dilogo de Plato chamado Timeu.
A Plato fala pela bea do pitagrico Timeu
(quer sc trate de uma pessoa histrica, quer no)
mostrando-se de certa forma como pitagrico le
prprio.
Os tomos dos quatro elementos so concebidos
como poliedros regulares: o fogo como tetraedro,
o ar como octaedro, a gua como icosaedro e a
(17) Vid. JT. iW>nn0f, Z&lilwort uad Ziffer, 2. ed.. Goettingen, 1958.
20
terra como cubo. Os trs primeiros corpos, cujas
faces so tringulos equilteros e congruentes, so
concebidos como compostos por stes, constituindo
assim corpos elementares tridimensionais a partir
dc superfcies de smente duas dimenses! Isto,
naturalmente, constitua uma pedra de tropo
para Aristteles que critica violentamente a dou
trina platnica sbre os elementos em seu livro
De coelo (III, 1). Afirma que a matria real
corprca e pesada, enquanto que as simples super
fcies como entidades matemticas, isto 6, abs
tratas, no o so. Mas Aristteles no compreen
dera a profunda doutrina de Plato. Esta quer
explicar a essncia mesma da matria c no o
composto material que consta de pequenas partes
indivisveis. Em Plato o conceito de matria
ainda no se solidificou em matria prima, no
mais inteligvel, como em Aristteles. Se se qui
sesse traduzir em trmos modernos o sentido plat
nico de matria, poder-se-ia hesitar entre conceitos
tais como espao, matria e campo.
Neste contexto os resultados de um estudo de
E. M. Bmin(18) sbre as mudanas fsicas e
qumicas dos elementos platnicos so de grande
intersse. Entre outras coisas necessrio que o
interior dos poliedros platnicos seja essencialmente
vazio, j que a soma das faces fica igual nas trans
formaes (como na qumica de Lavoisicr a soma
das massas), mas no a soma dos volumes (em
alguns casos o volume se reduz metade!).
Tda a teoria, portanto, se baseia exclusiva
mente nas superfcies dos poliedros e 110 fato de
os poliedros se comporem de superfcies sendo que
os ngulos que as superfcies formam so tambm
de importncia quanto sua grandeza relativa.
(18) La Chimii du Tlwe, em Revue do Mtapliyaique et de Moral,
56. pi*. 289-282.
21
A grossura das superfcies contudo nula, o que
demonstra o carter puramente matemtico dos
tomos polidricos. Esses mesmos poliedros no
so materiais, nem no sentido da matria prima
aristotlica e nem no sentido da fsica clssica
moderna, mas constituem de certa forma a matria
j formada dos quatro elementos. O fato de que
se insiste precisamente no nmero das faoes elemen
tares provm de que temos diante de ns um
princpio pitagrico de considerao; ste tem sido
levado adiante por Plato e pelos matemticos
de sua escola (sobretudo por Teeteto).
Um eminente fsico terico de nossos dias, W.
Heisenberg, diz a respeito dos tringulos elemen
tares de Plato: Os tringulos no so matria,
mas so simples formas matemticas . . . , e a ques
to do porqu dessas partculas elementares
reduzida por Plato matemtica. As partculas
elementares tm a forma que lhes atribuda por
Plato porque tal a forma mais bela e mais
simples. A ltima causa dos fenmenos, portanto,
no a matria, mas a lei matemtica, a simetria,
a frmula mat.emtica(19). E Heisenberg explica
por esta mesma tendncia simetria sua prpria
teoria sbre as partculas elementares hoje conhe
cidas, por mais que no decurso de mais de dois
milnios se tenha modificado a posio da fsica.
Com a descoberta, feita por Planck, dos quanta
energticos, de nvo entrou na cincia natural a
idia platnica que na ba.no da estrutura aJmica
da matria est em ltima anlise uma lei mate
mtica, uma simetria matemtica(20).
(19) N a confornci pronunciada em Berlim & 25-4-10.58: "A diweo-
berta de Planclc e u h w i filosfiefta da doutrina atmica", cm: Dia
NaturwUnenuchatcji 1968. fase. 10. pga. 237-234.
(20) Podc-M perguntar se os tringulo* elementar d PlatXo sSo
tringuloa mutcmticos exatos, lato , entidades "uicna". Tal pergunta
4 difcil de re aponde r a partir do texto do "Timeu. Por um lado a dou-
22
E dc fato, a equao fundamental da fsica
das partculas elementares, proposta por Heisen-
berg, se caracteriza pelo fato de utilizar-se de tda
uma srie de relaes simtricas. verdade que
no se trata a da simetria simblieo-espacial dos
corpos platnicos, que se apia sbre o grupo
abstrato das operaes de reoobrimento que so
possveis sbre aqules corpos, pois o tempo desem
penha agora um papel relevante. Entretanto, tam
bm as leis fsicas invariantes para grupos dc trans
formaes de vrios tipos so no fundo nada mais
que frmulas matemticas abstratas que se re
ferem ao espao e ao tempo.
Apontamos neste contexto para os estudos de
Andreas Speiser sbre a anlise matemtica da
simetria na ornamentao, na arquitetura e na
msica(21). Eis o que diz ste notvel matemtico e
filsofo sbre uma composio musical: Assim
como para a equao algbrica existe uma metaf
sica, o grupo, cujo conhecimento encerra o cerne
da equao, assim tambm para a obra de arte
existe uma metafsica, isto , um contedo sim-
trina doe elementos est em certa contradifco com os outro* temo mato-
mticos do dilogo e com a estrutura da alma do raundo". Esta * um
eaqueraa, ou um mod&o imaterial, e aua cpia que constitui o cosmos
visvel com o equador celeste, a eclptica e o curso doe planetas. A dis-
tlnAo entre alma do mundo e cosmos visvel tom a possvel explicar as
diferena* entre oa movimentos observado nos corpos celcstes e no es
quema ideal doa meamos. Mas 09 componentes ltimos dos "elementos"
s&o concebido, de forma mais pitagrica, como verdadeiras partcula*
elementares invisveis do* assim chamados elementos' visveis: o e o ,
ar, gua, terra. Pode ser que estilo subtrados ao lHo humano tinicamente
em ras&o de sua pequenes, enquanto que ura deus o poderia ver. Por
outro lado duvidoso se se pode considerar como materia* os tringulos
elementares incorpreos; em trmos modernos: silo lcs "roaia" ou ideais" ?
Neste ponto Aristteles entrou com sua crtic* (De eoelo III, 1). ver
dade que Plat&o fala do reino eterno do espao" (cK6ra: Tira. 52 ab),
mas a questSo se esta propriedade de "eternidade" deve snr entendida
como relacionada com a exatido matemitca; esta questfio mcrecerla
um estudo mais detalhado; fica-se em todo o coso com a imprfio qno
Plato "pitagorisa" sobretudo em sua doutrina sbre as partculas elemen
tares.
(21) A. Spttr, Theorie der Gruppen von endlicher Ordnung (3. ed.
Berlim 1037); Id., Die mathematbche Denkweise (2. ed., Basilia, 1945)#
pg. 34. Vid. H. W*yl, Symmetrie (Dasilia-tuttgart 1055).
23
trico, cujo conhecimento toma possvel a composi
o de muitas belas peas, sendo a descoberta de
tal configurao a verdadeira inveno artstica.
Tarefa da cincia seria ento o descobrimento da
estrutura total dessas peas com todos os seus
nexos mltiplos. .. Pode-se supor que existem
composies, como as fugas de Bach, em que cada
tom determinado por nexos prprios, de modo
que ste se toma o nico tom possvel. Pode
ser que a obra de arte se distinga por algumas
propriedades mnimas: a pea mais simples que
possvel produzir dentro de um determinado
complexo simtrico.
Voltando a Heisenberg encontramos o seguinte:
. . . Pela significao bsica das propriedades
simtricas, qualquer csbo de teoria sbre as
partculas elementares recebe um carter todo pe
culiar de unidade. Encontram-se estruturas to
Intimamente ligadas e entrelaadas entre si que
impossvel introduzir qualquer mudana cm qual
quer uma de suas partes sem pr em perigo todo
o conjunto. Lembramos neste contexto os orna
mentos das mesquitas rabes em que no se pode
modificar um mnimo detalhe sem estragar todo
o conjunto . . . Esta ltima sentena contm
uma aluso evidente anlise dos ornamentos de
Speiser que conta entre os mais ricos e complexos
as janelas de algumas mesquitas rabes.
Tdas essas consideraes de Speiser e Heisenberg
so no fundo pitagorismo. Pois a idia bsica dos
pitagricos era que a essncia das coisas se reduz a
nmeros, leis definveis por meio de nmeros
o que leva afirmao de que a-s leis que regem
as coisas coincidem com a simetria interna ou
a harmonia das leis que presidem os nmeros.
Vemos assim que existe uma ponte que une entre
si os pitagricos e Plato com a pesquisa atual.
24
4. Opinies de Plato, dos 'pitagricos
e de Aristteles sbre os nmeros
Mas no se pode definir Plato simplesmente
como pitagrico; sempre foi e permaneceu um
filsofo critico. No Timeu freqentemente repete
que suas exposies constituem um mythos que
no deve ser tomado como verdade prpriamente
dita; alm disto, falou claramente sbre o carter
ideal da verdadeira astronomia (no livro VII,
do Estado). As posies e os movimentos obser
vveis dos astros no correspondem ao verda
deiro estado de coisas, j que fazem parte do
que visvel (isto , essencialmente imperfeito),
O cu visvel pode ser comparado com um modlo
geomtrico no qual os conhecedores da geometria
podem reconhecer uma obra de mestre, mas que
les certamente no poro na base de suas pes
quisas sbre a verdadeira essncia do igual e
do duplo.
ste, para ns to estranho, paralelo entre um
modlo artificial para o uso do ensino c os fen
menos observveis da natureza, tambm aceito
sem dificuldade por Aristteles (Met. B 2, 997b 34
at 99Sa 0), ainda que se trate smente de uma
tese a ser considerada (no livro B da Metafsica).
A se diz que a Astronomia no pode tratar do
grandezas observveis pelos sentidos, nem sequer
do cu que est imediatamente sbre ns, pois
as linhas de que fala o gemetra no so observ
veis, e no se pode dizer que um anel material
tangencia uma rgua num nico ponto (o que j
fra notado por Prottoras) e os movimentos e
as trajetrias espirais dos planetas no cu no so
aqulca que o astrnomo trata.
25
Estamos inclinados a rejeitar sses paralelos se
os modelos imaginados pelos homens, para o uso
da demonstrao, no correspondem a fenmenos
objetivos da natureza. Devemos igualmente con
ceder que a concepo platncia (que tanta influ
ncia teve!) no favorecia o progresso da cincia
exata.
Mas, pode-se ver na opinio de Plato um
lado mais positivo quando se a considera como
expresso do espirito critico de Plato. Conside
rada dste ponto de vista ela afirma claramente a
pressuposio necessria do conceito de modlo nas
cincias matemticas. Tambm ns falamos na
fsica moderna de modlo, empregando a mesma
palavra j usada por Plato para os modelos geom
tricos. O fsico moderno, partindo de determinado
grupo de fenmenos constri um modlo, ela
bora-o como que in abstracto e procura ver
quais traos da realidade observada so nle refle
tidos, ou, como se dizia antigamente, at que ponto
o modlo 6 verdadeiro.
A posio de Aristteles frente a sse problema
, do ponto de vista moderno, notvel por sua
sobriedade. Os objetos matemticos tm sua ori
gem na abstrao (aphaireMS). Aristteles
alis o primeiro a empregar tal trmo. 0 matem
tico considera como separado o que na realidade
no separado, por exemplo, na bola de bronze,
simplesmente a forma esfrica; na rgua smente
a linha reta, no raio de luz ou de viso s a retili-
neidade dstes. 0 que no fica explicado nesta
opinio que a abstrao s no basta para dar
origem s imagens geomtricas, pois (quase sem
pre) se acrescenta uma certa idealizao; uma
roda no exatamente circular, a rgua de fato
no reta. Aristteles sabe disto e alude ao mesmo
fato. Mas o problema por le transferido para
26
o terreno lgico: smente para o gemctra tem
importncia o fato que uma linha que no- desenho
tem um p de comprimento, na realidade no tem
tal extenso; para o matemtico isto no constitui
iTo. Tambm isto concorda em certo sentido com
o to freqente ponto de vista convencional da
cincia moderna. Mas duvidoso que se possa ir
to longe na interpretao dos textos aristotlicos;
pois em outras passagens o ponto de vista ontol-
gico fortemente sublinhado.
No aqui o lugar de nos ocuparmos de discus
ses histricas. O que acabamos de dizer s quer
fazer ver como j na Antigidade clssica o pro
blema no era fcil, pois j a se cruzam motivos
que no decorrer dos sculos sempre de nvo sur
giram. V-se que o pensamento pitagrico no
aceito simplesmente, sem contudo deixar de sub
sistir sob diferentes formas e variantes, e que at
os nossos dias le continua valendo como um dos
ingredientes mais essenciais do pensamento mate
mtico.
27
CArTULO SEGUNDO
Cincia exata da natureza
1. O papel da astronomia
Freqentemente se ouve a afirmao que a
cincia exata da natureza , seno uma conse
qncia, pelo menos uma preparao e at um
pressuposto da tcnica. Afirma-se(l) que a cincia
matemtica recente um produto do capitalismo
incipiente; que ela o produto de uma concepo
do mundo segundo a qual o trabalho humano nos
ofcios e na produo de bens se tornou o modlo
dos fenmenos naturais e determinou assim nosso
conhecimento da natureza; na cincia est sempre
presente a vontade de dominar e subjugar a natu
reza. As frmulas matemticas da fsica terica
dominam um determinado ciclo de fenmenos,
mas sem entend-los, ou querer entend-los. E
quando Nietzsche afirma que em tda a vontade
de conhecer est includa uma certa crueldade, e
quando um neo-romntico moderno se queixa de
que a tcnica moderna rebaixou a grande me a es
crava, estamos na mesma linha de pensamento.
O prprio Heidegger fala de um desafio mtuo,
de uma afirmao recproca da natureza e do
homem, do ser e do homem, nesta nossa era at-
(1) V;d. Mas ScKtUr, "Erkenntniii und Arbeit" n obrt: Die Wmhm.
(ormea und die GwolUcbaft (U>ip*i 1926).
25
tica. Mais tarde voltaremos a esta linha do pensa
mento moderno.
Mas perguntamos: tal concepo, que quase
j se tornou lugar-comum, verdadeira? Parece-
nos bastar pronunciar a palavra astronomia para
refut-la. Porventura a astronomia no uma
cincia exata da natureza? Quando foi ela a pre
parao para qualquer tcnica? Com as estrias,
at hoje, no se pde fazer experincias; o mximo
que se podo fazer examinar sua irradiao. Fen
menos celestes podemos smente observar, mas
no modificar. Galileu pde fazer rolar suas bolas
sbre um plano inclinado, com um pso que le
mesmo escolheu (como Kant diz to plstiea-
mente), mas com os astros ningum pode brincar.
Do ponto de vista histrico a astronomia
muito antiga. Como cincia exata, baseada em
mtodos matemticos, existe desde o sculo vm
antes de Cristo, desde os tempos babilnico-assi-
racos. Desde a metade do sculo vm existem
observaes sistemticas dos eclipses; a mais an
tiga, citada por Cludio Ptolomeu, teve lugar em
746. O primeiro sistema exato do mundo, baseado
em observaes, do grego Eudoxo (teoria das
esferas homocntricas); um outro, talvez tambm
do sculo rv, de Herakleides Pontikos(2). O
mais tardar no sculo m so conhecidos epiciclos
e excntricos (Apolnio de Perge). No decurso do
perodo hclenstico, tanto no mundo grego como
neo-babilnico, se desenvolveu uma astronomia
subtil baseada em observaes e clculos; os
documentos dessa poca nos foram conservados
sobretudo nos escritos de Cludio Ptolomeu para
(2) Conforme B. L. van d*r Wnerden J ao acha oxpre*** no "Timeu"
uma teoria do* piriclos p*ra Mercrio e Venua (Di Autronomie der
Pytbasoreer, ia Verhandl. d. K. Nederl. Akad. y. Wctcn*ch. Afd. Natutirk.
1. R. Deel XX Nr. 1 (Amaterdam, 1951) 8. 45 ff.).
29
a parto grega, e em numerosos textos euneiformes,
para a parte neo-babilnica. O que a encontra
mos , sem dvida alguma, cincia exata de alto
quilate, baseada no pensamento matemtico. O
valor desta cincia pode ser demonstrado pelo fato
que seu8 mtodos e resultados foram aceitos por
Coprnico sem restries. smente a Astro
nomia nova de Kepler (1609) que produz uma
reviravolta e traz novidades que mais tarde tor
naria possvel a mecnica celeste de Newton.
O prprio Kepler ainda adota dois mtodos.
Suas obras Mysterium cosmographicum e Hamwnice
Mundi existem lado a lado com a Astronomia
nova: de um lado pitagorismo, de outro obser
vao cmprico-cxata. E digno de nota que a
terceira lei de Kepler (de significado secundrio
11a Harmonice Mundi) juntamente com a deter
minao feita por Huygens da acelerao centr
fuga se tornou 0 ponto de partida para a lei de
Newton sbre a gravitao.(3) Huygens de sua
parte se utiliza da analogia entre a acelerao
centrfuga e a acelerao da queda como a calculara
Galileu. V-se assim que na teoria newtoniana
se ajuntam os pensamentos de Galileu e de Huygens
com os de Kepler para a elaborao da teoria da
mecnica celeste(4).
(3) Conformo a terceira lei do Kepler os cubos doa grandea eUoa
daa trajetrias dos planeta* (aproximadamente os cuboa (r*] doe raios) afio
proporcionais aos quadrados dos trmpos das cireunvolues (T*). Conforme
Hiiygnn* a a^elcrafto centrifuga () diretamente proporcional ao qua
drado da velocidade da circunvolul (c*) indiretamente proporcional
ao raio (r); ora a velocidade citada igual ao comprimento da circunfe
rncia (2pir) dividida pelo tempo da circunvolu&o f ; ent&o. a acele
rao centrfuga a 6 proporcional a c/r ou (rtyTtyr ou r{T1e, entio. como T*
proporcional a r, conclui-ee que est na proporo r/r* ou l/r*. O ceme
da lei da gravitayfio de Newton . no fundo, igual, no que concerne cine-
mtica.
(4) Deve-ae aereaeentar ainda que Newton ampliou a teoria de Huygens
eatenlen to-a do movimento circular para o movimento elptico com acele
raio dirigida para um doa focos romo exigem a primeira e a segunda
lei de Kepler) e assim aplicou rigorosamente aa leis kephrianaa e solu
cionou o assim chamado "problema doe dota corpo*"*
30
Nesta confluncia de duas correntes de pensa
mento, das quais uma trata da mecnica terrestre
e a outra das leis dos movimentos dos planetas
no cu, se operou algo de nvo: a assimilao
das leis dos movimentos terrestres c celestes; lan
ou-se assim uma ponte por sbre o abismo exis
tente entre a terra e o cu, cavado pela tradio
clssica antico-medieval, em oposio ao atomismo
democrtico-epicureu, difamado como suspeito. Em
princpio, a mecnica dos corpos smente observ
veis e no influenciveis a mesma que a dos
corpos terrestres que podemos tocar. Tambm na
esfera terrestre existem leis no menos exatas do
que no cu. Com isto se inicia a cincia matem
tica clssica do Ocidente. verdade que hoje
em dia esta unidade das leis naturais para tdas
as esferas foi de algum modo abalada, j que para
corpos muito grandes (no caso, as estrias) as leis
exatas conservam seu valor, enquanto que para
as partculas muito pequenas s existem leis esta
tsticas (teoria dos quanta). Contudo a passagem
da fsica clssica de Newton para a fsica mo
derna (que se efetivou ai por 1900), no , apesar
de tudo o que se diz cm contrrio, um passo maior
na direo de um outro modo de pensar do que
a descoberta da mecnica celeste no sculo xvn
(elaborada por Newton j em 1666, mas publi
cada smente em 16S7).
37
qualquer aparellio produzido pela tcnica perfeita
de nossos dias, como seja um avio a jato, um
foguete espacial que coloca um satlite em rbita
ao redor da terra, ou uma mquina de calcular
eletrnica (da qual algumas pessoas chegam a
afirmar que capaz de pensar por si), tem um
efeito bem mais conRpcuo e de fato "fora a
natureza. Existem pessoas que julgam que o ta
lento e o esfro que o inventor tem de gastar
na construo de um dsses aparelhos diablicos
exercer algum dia qualquer ao nefasta sbre a
humanidade! Ainda que se no tenha em vista
o uso e o abuso militar dessas descobertas, as
reaes sociolgicas que inevitvelmcnte suscita a
tcnica sempre mais desenvolvida das mquinas
so de temer, e sem sombra de dvida j se fize
ram sentir. Os homens perdem aos poucos a liber
dade que no decurso da histria to denodada-
mente conquistaram para serem absorvidos inexora
velmente pelo coletivismo, como uma engrena
gem na monstruosa mquina socialista.
Pode-se acrescentar que no havia outra es
colha. O enorme aumento da populao na Eu
ropa no decurso do sculo xix obrigou a uma
evoluo tcnica em etapas foradas, o que teria
sido evitado apenas se ela se trvesse conformado a
descer at o nvel de vida das populaes asiticas,
realmente insuportvel. Mas com Heidegger se
pode responder que precisamente nisto que reside
a necessidade inelutvel (o destino do ser) do
homem ocidental.
Quando se pergunta como e porqu se chegou a
sse estado de coisas, ser necessrio chamar a
ateno para o papel desempenhado pelo pensa
mento matemtico. le que torna possvel a
pesquisa analtica dos fenmenos naturais, sua
decomposio em processos simples e controlveis
38
em mias causas, e assim a construfio de aparelhos
tcnicamente mais perfeitos do que era capaz de
produzir a cultura antiga que nascia da natu
reza. Foi preciso antes de tudo destruir e decompor
os conjuntos naturais para conseguir que as fras
da natureza agissem segundo a vontade do homem.
Em segundo lugar o pensamento matemtico
no smente analtico, mas tambm construtivo,
e construtivo de forma inteiramente conseqente.
Seu mtodo fundamental, o clculo, um processo
segundo regras bem determinadas que no per
mitem exceo, um processo de conseqncias inelu
tveis; depois que se escolhem livremente as regras
de um clculo estamos restritos a elas de modo
absoluto. Na primeira escolha somos livre, na
segunda escravos. Um tal processo leva sempre
mais longe, para novas construes c argumentos.
Em terceiro lugar est ainda a idia dos extre
mais. Alcanar o mximo com o mnimo dc meios,
tal era j para Leibniz a lei da ao no s dos
homens, mas tambm de Deus. Dste princpio
resulta a tendncia para um sempre maior aper
feioamento dos aparelhos tcnicos. Um conhecido
provrbio diz: O timo inimigo do bom. Uma
tal tendncia no to natural como hoje em dia
nos poderia parecer. A Antigidade, por exemplo,
era muito conservadora nas coisas tcnicas; e
melhoramentos tcnicos de grande estilo, como
seja no trfego, tais como a estrada de ferro e o
avio consigo trouxeram, dificilmente so encon-
trveis. Na tcnica guerreira algumas vzes apa
reciam novidades, como os elefantes de guerra,
mas nunca se chegou a mudanas to radicais
como a descoberta da plvora no fim da Idade-
Mdia.
A irrupo de tantas novidades no sculo xvn
algo de notvel. No preciso peusar no apri-
39
sionamcnto de grandes fras naturais nas m
quinas, que ento nem sequer tinham sido cons
trudas com xito (embora o plano de Hrygcns
de uma mquina a plvora pode ser considerado
prcdeccssor dos motores a exploso), mas cm
descobertas to simples como o telescpio c o
microscpio. A simples justaposio de lentes,
conhecidas h tanto tempo (vidros de aumento j
havia na Antigidade e culos j sc usavam no
sculo xv), abriu mundos novos, macrocosmos e
microcosmos inteiramente desconhecidos at en
to. (O telescpio foi descoberto por prticos ho
landeses desconhecidos; Galileu imediatamente os
usou para fins astronmicos e Kepler formulou a
teoria que os rege, ainda que no tivesse desco
berto a lei dos senos, mas smente uma aproxi
mao da mesma para o clculo dos ngulos muito
pequenos).
De nvo perguntamos: O telescpio e o micros
cpio representam um foramento da natureza,
enquanto que a lupa e os culos no o so ainda ?
Ou o limite ultrapassado smente pelo telescpio
gigante de Monte Palomar, ou talvez j pelo
grande instrumento de F. W. Herschel?
Est-se tentado a ver o critrio do foramento
da natureza no fato de que novos instrumentos
abrem um mundo inteiramente nvo; assim pelo
telescpio de Galileu ficaram visveis as luas de
Jpiter, de cuja existncia antes ningum jamais
sonhara. No entraria nesta classe, contudo, o teles
cpio nutico que no trouxe consigo uma revira
volta na navegao martima; como tal deveria
ser considerado o cronmetro nutico que se desen
volveu a partir dos relgios construdos por Huy-
gens.
Voltando para o terreno das mquinas, vemos
que o uso das primeiras mquinas a vapor para
40
tirar a gua das minas da Inglaterra no foi um
fato decisivo; elas simplesmente substituram os
homens e os animais em seu trabalho. Mas j
as primeiras locomotivas a vapor trouxeram con
sigo uma verdadeira revoluo nos transportes e
na velocidade das viagens, que s se pode com
parar com a introduo do avio intercontinental
de nossos dias. Igualmente a descoberta do navio
a vapor possibilitou a renovao de tda a tcnica
naval. Estas duas invenes transformaram costu
mes e hbitos milenares que se criam imutveis.
Nestes exemplos vemos claramente o quo Hei-
degger chama de foramento recproco (o afir-
mar-sc) do homem e da natureza. O homem
arrancou da natureza mistrios de cuja existncia
nem se suspeitava e libertou suas fras secretas
(pensemos na eletricidade e na energia atmica!),
as quais por sua vez reagem sbre o homem, seus
hbitos e sua posio na sociedade; e isto de ma
neira irresistvel. No no sentido que a natureza
Be vingaria do homem, mas que aqui se nos revela
uma influncia necessria de uma sbre o outro.
No se pode negar que em tudo isto o pensa
mento matemtico teve uma participao decisiva.
Smente le torna possvel o "foramento, e
isto de maneira paradoxal, pela renncia, como
agora queremos explicar.
4(i
do. No podemos expor em tda a sua extenso
a velha controvrsia entre realismo e idealismo, j
que hoje em dia esta questo parece estar de pre
ferncia restringida questo da "existncia inde
pendente de outros homens ("outros eus). Para
ns ste problema de importncia s enquanto
tem conseqncias para a cincia da natureza.
No tomaremos, portanto, nosso ponto de partida
da problemtica filosfica, mas daquela que re
sulta de tda a evoluo da fsica (no sentido mais
amplo).
Como vimos, a cincia exata da natureza se
originou de diferentes fontes. A astronomia, pri
meira cincia exata, desde o como se ocupou de
objetos os astros que no fazem parte do
ambiente imediato do homem, que portanto no
possuem um carter real to imediato como as
coisas com que lidamos todos os dias. No pode
mos trat-los como tratamos uma mesa ou uma
cadeira, chapu, manto, arado, barco, espada e
escudo. A grandeza e a distncia dos corpos ce
lestes s dificilmente pode ser comparada com a
grandeza e as medidas de nosso prprio corpo e
com as distncias que nos so familiares.
Em poucas palavras: os objetos que constituem
o campo de pesquisa da astronomia (sol, lua, es
trias) so puros fenmenos e como tais esto ao
nosso alcance, mas no podemos v-los e toc-los
com as mos. As coisas que nos cercam e com
que lidamos todos os dias, que esto ou que podem
estar ao alcance de nossas mos, que esto pre
sentes, esto a como sendo nossas, ou ao menos
como atingveis.
S muito mais tarde e com muito maiores difi
culdades a cincia exata comeou a se ocupar das
coisas que nos esto prximas. A Antigidade
clssica conseguiu alguns resultados smente no
terreno da fsica esttica e um pouco no da tica
e acstica (neste smente na doutrina sbre a har
monia musical). A fsica de Aristteles era pouco
inclinada a pesquisas quantitativas exatas; a cate
goria da quantidade a aparecia ao lado de outras
categorias, (como substncia, qualidade, relao),
ocupando um lugar bem modesto. No mundo que
estava abaixo da esfera da lua, as leis da natureza
no tinham valor exato e preciso, mas eram to
smente regras estatsticas, dificilmente determi-
nveis, assim como as coisas freqentemente, ou
em geral, so. Smente no sculo xvn com a
mecnica de Newton, que tanto vale para os pro
cessos terrestres como para os celestes, a fsica se
tornou uma cincia universal; smente ento o
pensamento matemtico perpassa todo o mundo e
o faz objeto da pesquisa exata.
Quanto teoria do conhecimento, na Antigi
dade nunca se chegou a formular uma teoria idea
lista no sentido moderno da palavra. Nem a
explicao dos eleatas nem a de Plato sbre as
coisas sensveis como sendo meros fenmenos, que
no existem no sentido prprio, nem o ceticismo
dos tempos hclensticos, podem ser interpretados
como sendo idealismo. Descartes foi o primeiro
que comeou a raciocinar de um ponto de vista
subjetivista, com sua clebre meditao sbre a
dvida metdica; mas acabou por decidir-se pelo
realismo. Berkeley o primeiro idealista genuno
com o seu esse est percipi; sua atitude diante
da cincia exata de seu tempo s parcialmente
negativa. Em seu escrito De motu lo critica a
doutrina de Newton sbre o espao absoluto do
ponto de vista empirista e no The Analyst
critica violentamente o clculo do fluxo.
Voltemos cincia exata e perguntemo-nos sbre
o conceito de realidade que est na sua base.
48
Como acabamos dc ver, na Antigidade jus
tamente os objetos terrenos, to acessveis aos
homens e de cuja realidade nem a filosofia peri-
pattica, nem a cstica ou a epicrica jamais du
vidaram, estavam subtrados pesquisa exata.
(Por esta razo algumas opinies ticas da Anti
gidade no tm importncia para a nossa ques
to). O terreno da astronomia, o nico a que se
aplicava a cincia matemtica exata, , ao con
trrio, problemtico quanto espcie de reali
dade que se lhe deve atribuir. Para Plato e
Aristteles os astros so uma espcie de sres di
vinos cuja matria distinta da dste mundo.
Havia tambm outras opinies como as de Anax-
goras, Demcrito e Epicuro; mas estas no podiam
ser formuladas de maneira satisfatria do ponto
de vista da matemtica e por isto no constituam
srias teorias concorrentes(8).
A realidade prpria dos astros era, portanto
duvidosa. Isto teve como conseqncia que na
astronomia antiga e medieval se formaram duas
tendncias: uma, puramente matemtica (melhor:
cinemtica), que se limitava a analisar os com
plexos movimentos dos planetas no cu, compostos
de movimentos circulares uniformes (anlogamente
ao desenvolvimento de uma funo em srie trigo-
(8) B. L. wan der Warrdtn expG longamente por que a conccpllo
platnlco-aristotllica. quo em Uitna anlise depende doe pitagricos.
superior do ponto dc vista matemtico concep&o anaxssrico-democritica
(Die Antronomie dtr PyihafforMr, pg. 13*15). Anaxgoras decompe o
movimento anual do sol (e anlogamente o da lua) numa componente
paralela ao equador celeste e numa que 6 paralela ao eixo celeste. Isto
possvel do ponto de vista cinemtico, mas aom conseqncias astron*
minas. De fato. ambas as componentes sio explicadas de maneira dife
rente do ponto de vista dinmico: a primeira pela revoluo do ter, a
outra pela resistncia oferecida pelo ar frio do Norte que obriga o sol a
"virar-ee, isto . voltar para a proximidade do equador. No wi explica
eorao os movimentos das duas componentes se relacionam entre si, isto ,
o fato de o sol depois de um ano voltar, nfto para a mesma rbita, mas
tambm para o mesmo signo do soiaco. concep^lo pitagriea, ao
contrrio, pelo fato de afirmar que o sol possui movimento prprio na
lptica de oasto para leste (isto , contrrio ao movimento dirio das
estrias fixas), explicava ob fenmenos corretamente.
49
nomtrica(9), sem se importar do mecanismo fsico
que tornasse possvel aqueles movimentos; a outra
tendncia se orientava mais no sentido fsico, e
tentava descrever o mecanismo fsico e as causas
dos processos, descritos pelos matemticos do ponto
de vista puramente cinemtico: stes, portanto,
se preocupavam com pesquisas dinmicas. O pri
meiro mtodo empregado por Cludio Ptolomeu
no "Almagesto, o segundo na Hypothesis pla-
netarum do mesmo autor.
Esta dupla concepo, que tornava fcil falar
em hipteses astronmicas no sentido do pri
meiro mtodo, pelo qual se podem calcular tabelas
de planetas em cuja verdade no se precisa acre
ditar, teve sua importncia ainda durante a Idade
Mdia e mesmo nos sculos xvi e xvn. Assim,
por exemplo Osiander, editor pstumo da obra
principal de Coprnico De revolutionibw, con
cebia o sistema heliocntrico dsto como simples
hiptese. Tycho Brahe, Keplcr e Galileu, ao con
trrio, estabeleceram sistemas que deviam tambm
ter valor fsico. No processo de Galileu isto teve
sua importncia: O Cardeal Belarmino lutou sem
resultado por uma interpretao hipottica do
sistema(lO). O progresso ulterior das cincias no
sculo xvu mostrou, pelo sistema da mecnica
celeste de Newton, que a tendncia hipottica
no mais correspondia ao esprito do tempo.
(9) Havia ainda oa mtodo 'lineares" dos babilnios ((empo helenls*
tico), empregados ifualmsnte por aatrckiomos gregos, como se pode ver
no 'Aaaphorikos" de HipaUdea e no "Tetrablblo*" do PtoJomcu. sioa
sio nemalhantea ao noaso mtodos de desenvolvimento em sries do
potncias,
(10) Vld. a rxpo*illo de E. J . Dijk$terhuii no livro De Meckanl-
eierunfc doa Weltbildes (Berlim-Goottingen-Heidelberg 195fl), pgs. 69-77
(Antigidade), 23Ss., 239-243 {Idade Mdia). 304 ss. (Renascena), 320 es.
(Copmiao), 334 as. (Tycho), 337 ss. (Kepler, sobretudo pgs. 343-349),
424-429 (Galileu). Vld. igualmente O. jY#w6u*r, The Kxact Sciences in
Antiquity (Providence, [Rhodo IsJand] *1957), pgs. 204-206.
50
Trata-se, portanto, da realidade fsica dos corpos
celestes e de seus movimentos. A separao funda
mental entre o mundo terrestre e o mundo celeste
est definitivamente superada; a mesma matria
constitui as estrias e a nossa terra, as mesmas
leis mecnicas valem para todos os corpos. Mas
surge uma nova dificuldade que diz respeito
natureza das fras que movem os planetas em
suas rbitas e fazem cair os corpos pesados na
terra. Trata-se da fra centrfuga e da gravitao
(resp. a gravidade terrestre). A fra centrfuga
uma fra aparente que resulta da inrcia da
matria, como explicou Huygens. A gravitao,
contudo, uma fra distante que opera instant-
ncamente, e como tal explicada por Newton em
seus Princpios. Sua natureza permaneceu enig
mtica e ningum dentre os contemporneos de
Newton (como Huygens e Lcibniz) e nem sequer
o prprio Newton se contentavam com a concepo
da gravitao como fra distante, apesar da utili
dade que do ponto de vasta matemtico da pro
vinha, como brilhantemente o demonstrara Newton.
Huygens em todo o caso foi o nico que estabeleceu
uma teoria quantitativamente determinada de ao
de contato da gravidade, pelo menos da gravidade
terrestre, teoria geial que j como a teoria dos
turbilhes de Descartes (que entretanto no fora
elaborada a ponto de poder ser traduzida em tr-
mos de matemtica) reduzia a gravitao fra
centrfuga de uma matria muito subtil que gira
em redor da terra (e dos outros astros respectiva
mente).
No podemos agora entrar em pormenores; o
importante que vejamos o motivo que domina
esta teoria da ao de contacto, como tambm a
teoria de Huygens sbre a luz (a luz um movi
mento ondulatrio longitudinal, o que torna com
51
preensvel a disperso das fontes luminosas): todos
6ses fenmenos so reduzidos presso e ao cho
que de corpos que se tocam. (Huygens, mesmo
depois da tentativa fracassada do Descartes, conse
guira deduzir as leis oertas do choque, do principio
de relatividade de Galileu(ll). Presso e choque
eram conceitos familiares a todos e pareciam no
necessitar de ulterior explicao. Parecia que de
fenmenos at ento inexplicveis se poderia fa
bricar modelos mecnicos nos quais no haveria
nada mais de misterioso.
Esta teoria da ao de contacto fra elaborada
com o auxlio de diferentes corpsculos c surgiu
ento a questo sbre a espcie dc realidade dessas
partculas e com isto da prpria matria. Chegou-
se, assim, a comear por Galileu e Descartes e
pela ressurreio das idias dos antigos atomistas,
distino de duas espcies de qualidades, chama
das mais tarde por Locke de primrias e secun
drias. Nmero, extenso (grandeza), forma e
movimento so qualidades primrias, enquanto que
cr, som, cheiro e gsto so secundrias. Deter-
minveis (mensurveis) com exatido so smente
as primrias que representam tambm aquilo que
prpriamente objetivo nas coisas materiais. As
qualidades secundrias, ao contrrio, so uma es
pcie de engano dos sentidos, sujeitas s proprie
dades de nossos rgos sensitivos e, portanto, sim
plesmente subjetivas. Partindo desta distino a
extremada tendncia mecanicista do sculo xvn,
representada sobretudo por Descartes e o carte-
siano Huygens, recebeu uma espcie de funda
mento filosfico. Esta fsica totalmente mecnica
se contentava com as qualidades primrias e igno-
(11) Vid. DijktUrhuU, loc. cit. pg. 401 a. (teoria de Descartei sbre
o turbilhfto doa planetas), 514-518 ^Teoria de Huygeos sbre a lui e a
gravidade), 416-420 (Leia do choque de Huygens).
52
rava todoe os oonceitos de outra origem. Ignorou
portanto, tambm, o conceito de fra como sendo
primrio e fundamental; era concebido como depen
dente das sensaes subjetivas do esfro mus
cular, a partir de onde era formado. Natural
mente tambm os princpios metafsicos bsicos
de Aristteles, potncia e ato, bem como as quali-
tates occuliae dos escolsticos eram desprezados.
Por mais que Newton tentasse libertar-se da
tradio medieval no o conseguiu inteiramente,
como fcil demonstrar por uma crtica dos funda
mentos de sua mecnica do ponto de vista mo-
demo.(12) Julgava insatisfatrias as teorias meca-
nicistas extremistas de seu tempo, como a de
Huygens, pois trabalhavam com corpsculos desco
bertos "ad hoc e no observados, e apelavam
para teorias complexas para "explicar os fen
menos, teorias que s serviam ao fim intentado.
No Scholium generale acrescentado aos Prin
cipia estabeleceu a clebre sentena: Hypo-
theses non jingo, aludindo s hipteses forjadas
pelo esprito cartesiano. J no incio de seus Prin
cipia (livro I, definio 8) afirmara considerar
as foras aceleradoras da gravitao como "fras
no no sentido fsico, mas matemtico; no quer
explicar o modo c a maneira de sua ao, nem
sua causa fsica. Bastava-lhe poder deduzir de
suas leis universais do movimento e da lei da gravi
dade os movimentos observados dos planetas e
das mars.
Apesar disto Newton no elaborou um conceito
nominalista de fra; nem dejiniu a fra
como produto de massa e acelerao. Chegou
at a chamar do "absurdo a admisso de uma
(13) Vid. DijktlerKuit, loc. cit. pdga. 619-533.
53
fra de atrao fsica que age distncia(13),
concedendo que no podia dar uma explicao da
gravitao. Para le aa fras distantes so reali
dades fsicas que por enquanto nfio se podem ex
plicar, mas que produzem movimentos reais de
impulso.
Ora, o desenvolvimento ulterior to intenso da
fsica nos sculos xvni e xix tomou seu ponto de
partida desta base, conceitualmente to pouco
clara. As qualidades primrias de nmero,
extenso, forma, movimento (que smente torna
vam possvel uma descrio cinemtica da natu
reza) foram completadas pela nova qualidade da
inrcia e foram acrescentadas como princpios expli
cativos ulteriores algumas fras que agiam dis
tncia mas que dependiam do um lugar. Sbre
esta base foi possvel desenvolver durante os
sculos xvin e xix as teorias do potencial, do
turbilho, etc. (Lagrange, Laplace, Poisson) e a
elaborar no s a mecnica celeste mas tambm
a teoria das fras de atrao eltricas e magn
ticas (Coulomb, Green, Gauss e outros).
Mais tarde foi necessrio abandonar na eletro-
dinmica a teoria das fras centrais distncia
e fazer depender a fra existente entre duas cargas
eltricas, em movimento no s de sua distncia
mas tambm de sua velocidade e acelerao (Leis
de Weber). T5 verdade que o conceito de fra
distncia ainda se conservou, mas foi necessrio
aceitar a limitao da velocidade de disperso da
ao dinmica. Isto obrigou finalmente a uma
modificao radical: volta teoria do efeito prxi
mo no campo eltrico (Faraday, Maxwell). Com
isto se originou um nvo desenvolvimento muito
(13) Num curta a Hichnrd Bontley (L. T . Mora, Iaiae Newtoo.
A Biogruphy. Now York-London 1934), pg. 379); DtjktUrhui*, l.c. p. 505.
54
importante na fsica terica e prtica que tambm
colocou, novamente, o problema da realidade.
Chegamos assim aos umbrais da fsica moderna
no sentido prprio do trmo.
59
sirer(l8), como reallsticamente. Pode-se dizer que
no processo do conhecimento que se verifica du
rante o fieri de uma teoria fsica so formados
pelo intelecto os objetos quadridimensionais; mas
pode-se tambm dizer que sempre existiram inde
pendentes do saber humano, embora nunca se
tenha conseguido compreend-los no passado. O
que decisivo e absolutamente no depende de
qualquer posio gnoseolgica a parte matem
tica na teoria fsica, isto 6, a exigncia de invaria-
bilidade, que o que h de mais importante em
cada teoria, numa palavra a simetria demonstrada
pelas frmulas matemticas empregadas.
O velho princpio da relatividade de Galileu
aparece como um caso-limite, um caso especiali
zado ou degenerado (como dizem os matem
ticos) que entra em questo quando a velocidade
de transmisso dos sinais mais rpidos se torna
infinita. Portanto, a velha teoria se torna mais
compreensvel atravs da nova. Tambm a aparece
o papel dominante da matemtica.
Quanto teoria da relatividade geral, no nos
possvel entrar nos pormenores dos problemas
que ela envolve (como a questo da estrutura
especial da medida e da volta aparente ao movi
mento natural dos corpos celestes e dos corpos
que caem livremente, no sentido aristotlico).
Queremos contudo notar que precisamente nesta
teoria, em que a invariabilidade das .leis da natu
reza desempenha um papel muito importante para
um muito grande grupo de transformaes (tdas
as transformaes continuas), o elemento matemtico
tem absoluta predominncia. Isto aparece muito
claramente da exposio autobiogrfica que o
(18) Vid. Jf. Cawi*6T, Zur Eituteiiucheii ReUvit&cUtheorie. Erkonnt-
niitheoretbabc Itotrachtungon (Berlim 1921).
60
prprio Einstein fz sbre a origem do sua teoria(19).
Einstein, para poder abranger igualmente a gravi-
tao dentro da nova imagem da natureza ofere
cida pela teoria da relatividade restrita, 80 viu
forado a elaborar uma teoria da ao de contacto,
isto , uma teoria do campo da gravitao. Se
uma teoria no s devia abranger o campo vazio
mas tambm as massas gravitacionais (que deviam
aparecer como as singularidades do campo), ento
as equaes diferenciais do campo no mais podiam
ser lineares. Ora, para descobrir na imensa massa
das equaes possveis as que eram certas, era
necessrio aplicar um princpio de seleo muito
severo. Tal princpio foi encontrado na exigncia
de invariana para (Mas as transformaes con
tnuas; ora, temos a um grupo que muito mais
amplo que o grupo das transformaes de Lorenz
que estava na base da teoria da relatividade res
trita.
Queremos lembrar mais um ponto da teoria
da relatividade geral, que foi muitas vzes discutido
em amplos crculos; trata-se da aplicao da geome
tria no-euclidiana (de Riemann) fsica para
descrever a estrutura real do espao fsico real.
Os matemticos sabiam desde Gauss, Bolyai,
Lobatchevski e Riemann que do ponto de vista
puramente matemtico possvel imaginar muitas
formas de espao, das quais a forma antiga e
tradicional, a euclidiana, smente uma das possi
bilidades. J em 1854 Riemann afirmara que uma
estrutura espacial de mtrica contnua devia ser
procurada em fras que sbre le agem e in
fluem. Segundo H. Poincar a geometria de
um espao isico optativa at um certo grau,
(19) No Urro: "Albrt Einstein: Philoopb#r-8olenl*t", e<l. por P.
A . Sckpp (New York 1919), pg. 62 * .
61
mas a escolha deve ser feita por motivos racionais,
dentre os quais a simplicidade e a conservao
das simetrias que aparecem nos fenmenos fsicos,
so os mais importantes. Assim, no arbitrrio
mas racional conceber os raios luminosos e as
trajetrias da inrcia como aa linhas mais curtas
(geodticas), isto , como as trajetrias mais
retas. Isto levou Einstein em sua teoria da rela
tividade geral a conceber o campo das fras iner-
ciais e gravitacionais como "campo mtrico, pela
considerao da igualdade entre massa inerte o
pesada; e ste "campo mtrico determina a
geometria do espao, respectivamente da varie
dade quadridimensional espao-tempo. Da resulta
que o espao "curvo, usando de uma expresso
no muito exata, tirada da analogia com uma
superfcie curva.
Do ponto de vista matemtico puro no h
nisto a mnima dificuldade; pois a maneira de
exprimir, um pouco paradoxal, pode ser compre
endida como meramente simblica c da se passa
a calcular algbrica e anallticamente naquela varie
dade quadridimensional. Mas concebida como reali
dade fsica, aquela teoria nos obriga a abandonar
concepes tradicionais e aparentemente evidentes
a priori. certo que possvel oferecer algumas
analogias com os espaos no-euclidianos, como as
que se verificam sbre superfcies curvas (p. ex.
sbre a curvatura da terra), mas tais analogias
no nos levam a compreender realmente um espao
tridimensional no-euclidiano, como , por ex., o
globo terrestre. Pode-se descrever os fenmenos
(como j Helmholtz o demonstrou), tais como les
se apresentariam ticamente num espao "curvo
(segundo Helmholtz se assimilariam ao "mundo
que se imagina contemplar refletido dentro de
uma bola de metal), mas tais fenmenos seriam
62
considerados como distores do espao "normal
e se estaria tentado a explic-los no geomtrica
mas fisicamente. De fato, existe uma norma para
nossa concepo do espao, por mais incmoda que
tal afirmao possa parecer aos fsicos e filsofos
empiristas. Mas por outro lado, a norma eucli
diana de nosso espao intuitivo no nos obriga a
afirmar que o espao fsico igualmente eucli
diano. Pois o espao intuitivo pode ser explicado
como espao tangencial do espao fsico "curvo,
cujo ponto de contacto talvez coincida com o
posto ocupado pelo ohservador(20). Assim o homem
simples de antigamente julgava a terra curva como
sendo uma superfcie plana.
O fundamento da norma espacial euclidiana
parece ser a seguinte: em nossa observao con
creta do espao, estamos (qualquer observador) no
centro do espao cujo sistema natural de coorde
nadas no o conhecido sistema cartcsiano de
trs eixos perpendiculares e as coordenadas x, y, z
(trs segmentos), mas um sistema de coordenadas
polares em cujo ponto-origem estamos ns. Temos
assim as coordenadas r, phi, theta; onde r designa
o raio, a distncia de um ponto origem, enquanto
que phi e theta representam os ngulos de uma
direo zero-convencional com um eixo e com a
direo da origem ao ponto visado.
Isto quer dizer que no temos trs coordenadas
do mesmo gnero (x, y, z), (todos segmentos mas
dois gneros de coordenadas das quais a primeira
(r) designa um segmento que d a profundidade
espacial (i. , a distncia), enquanto que as outras
duas, os ngulos phi e theta, so coordenadas de
(20) O *paco portanto aparece como uma hiperauperflcie, ou mais
exatamente: o "mundo" quadridimenaional se torna uma hipersuperfloi*
quadridimensional. que ae pode repreaentar como contida dentro de um
etpao euclidiano de diroensfto uperior.
63
direo. Ora, do ponto de vista do observador,
sses dois gneros de coordenadas podem variar
independentemente um dos outros, pois do ponto
do vista fenomenolgieo les so qualitativamente
distintos, como altura de tom e intensidade. Da
se origina uma "independncia da direo quanto
ao lugar (como se exprime Riemann) e tal a
caracterstica do espao euclidiano(2 1 ).
Existe tambm um argumento de ordem total
mente diversa em favor do espao euclidiano que
vem j de F. A. Taurinus (1825)(22). Recordemo-lo
aqui, j que de natureza claramente filosfica.
Taurinus parte da tese kantiana que o espao
uma simples forma dc percepo a priori, "a sim
ples forma dos sentidos externos. Observa ento
que em razo dessa aprioridade a forma no pode
ter uma constante emprica determinada. Ora,
smenle o espao euclidiano (entre tdas as formas
de espao que poderiam concorrer com le) est
totalmente livre de tais constantes quo no podem
ser matemticamente determinadas a priori, isto
, que poderiam ser deduzidas da observao emp
rica. ( medida de sua curvatura zero em qual
quer ponto). Tambm nas formas espaciais mais
prximas da euclidiana, as que afirmam uma me
dida constante de curvatura, esta medida de curva
tura (o "raio espacial recproco) no est deter
minada a priori, mas deve ser deduzida do mundo
real por meio de observaes ou a partir de hip
teses fsicas; muitos fsicos admitem hoje em dia
um raio espacial de trs bilhes de anos-luz (23).
(21) U m a e x p lc aS o m a is d e t a lh a d a p o d e c r e n c o n tr a d a e m O.
B tcktr, B tra e c e i j r p lu u m om en oloc ch en B e g n ie n d u n g d e r G e o m e trie
u n d ih r e rp h y sk a lU c h e n A n w e n d u n g e n .e m : J a h i b u c h f u c r Philoaoph ic u n d
p h anotn en ologiciw F o rach u n g (ed . p o r E . H u saerl), VI (1 9 2 3 ), p * . 38fi m ;
B ttk e r, D e ap rio risc h e S t r u k t u r d e A ruch & n un girau m o , w n : P h ilo so -
p hiaolw r A n zciger, I V (1930) p g s. 129-182.
(22) V id . G M , p i e . 183 Bs.
(28) V id . F . n W tiu a ecktr, D ie G o w b ic h t d o r N a t u r (G o e ttia e e n ,
(1954). p g . 130.
64
O argumento de Taurinus, na forma que lhe
deu, s aceitvel para os seguidores da concepo
kantiana de espao. Mus 6 possvel generaliz-lo
e dizer: se o espao totalmente indiferente"
a seu contedo, sendo uma simples forma (quer
se a entenda no sentido do idealismo transcen
dental, quer no), no pode existir uma constante
espacial emprica. Novamente podemos ver que
do ponto de vista da matemtica e da cincia
exala da natureza no se pode decidir sbre a
verdade do idealismo ou do realismo.
Estamos portanto diante da escolha: admitire
mos um espao real no-euclidiano ou um campo
mtrico universal, isto , de uma realidade fsica
na qual as medidas esto to distorcidas, em que
as linhas mais curtas esto to curvas, que suas
relaes de medida correspondem a uma geometria
no-euclidiana ? Tal campo mtrico poderia ser
imaginado como contido num espao euclidiano
comum. Como ilustrao pense-se na mtrica
que resulta quando se d a distncia entre dois
pontos A e B numa regio montanhosa no por
uma linha area, mas pelo tempo que se necessita
em terra para chegar de A a B. A geometria
que resultaria de tais medidas seria tudo, menos
euclidiana. Talvez se dir que isto no culpa
do espao, mas da matria distribuda pelo espao,
isto , das montanhas e vales, das estradas de
ferro e dos caminhos, etc.
Enquanto neste exemplo fcil a distino
entre espao vazio e contedo material do espao,
a questo fica aparentemente insolvel quando
aplicada ao espao universal; ou ento se lhe dar
uma soluo arbitrria. Conceder-se- ao espao
o carter absoluto que lhe deu Newton, e ainda
assim defender sua realidade? Ou ento se ver,
nle nada mais que uma espcie de ordem simul-
6'5
t.nea(24) c se o ter simplesmente por phaeno-
mcnon bene fundatum, como Leibnitz ? Ou uma
simples forma de percepo a priori, como Kant ?
Ou se retomar a Aristteles se e atribuir aT>
espao determinada fra (dynaviis) que faz
cair os corpos pesados?
Tdas essas questes no se podem responder
clara e insofismvelmente do ponto de vista da
fsica matemtica. Pode-se explicar a teoria da
relatividade geral partindo de concepes filos
ficas totalmente diferentes. Decisiva e funda
mental, mais uma vez, a possibilidade da preci-
sao matemtica, e nada mais. Pode-se afirmar
neste sentido que certamente devemos contar com
uma geometria no-euclidiana, mas no incondi
cionalmente com um espao no-euclidiano.
E aqui aparece que a descontinuidade decisiva
na histria da fsica (no tanto da astronomia) se
encontra entre a fsica antigo-medieval, especial
mente aristotlica, e a cincia matemtica do
sculo xvii, e no entre a fsica clssica do
sculo xix e a fsica moderna do sculo xx.
De fato, por maior que seja a diferena entre a
fsica clssica e moderna, ambas se empenham por
penetrar nos mistrios da natureza por meios mate
mticos e renunciam aos conhecimentos qualita
tivos e metafsicos, que tendem a alcanar a essn
cia da natureza.
ste quadro no se modifica essencialmente se
ainda lanarmos um olhar sbre a teoria dos
quanta e sbre os problemas que suscita no campo
filosfico. Nesta questo no podemos entrar em
porm norog, ainda monos quando tratamos da
teoria da relatividade geral de Einstein.
(24) Eeta formularo deveria hoje scr modificada em rmfto <U rrla-
tivi&df* d& simult&neid&de.
O ponto decisivo o dualismo corpsculo-onda
e a questo do influxo do observador sbre os
processos fsicos reais e objetivos. sabido
que o lugar c o impulso de uma partcula no
podem ser simultneamnete, isto , pela mesma
experincia, medidos com exatido. Quando se
consegue medir exatamente uma das duas gran
dezas complementares (lugar e impulso, tempo
e energia), a outra desaparece; no caso extremo
da mxima exatido na medio da primeira gran
deza, a segunda no pode ser absolutamente me
dida. Tal o contedo essencial das relaes
de indeterminao de Heisenberg.
Niels Bohr elaborou em 1927, depois dc longas
discusses, o conceito fundamental de complemen
taridade, que h pouco empregamos. Introduziu
duas concepes inteiramente distintas para os
processos qunticos, que so complementares no
sentido que s podem existir lado a lado sem
contradio quando seu alcance limitado de tal
modo que nunca so utilizadas ao mesmo tempo.
Segundo a experincia, a partcula elementar
se mostra ora como corpsculo, ora como onda.
W. Heisenberg(25) encara a questo de outro
lado, o que de particular importncia para o
nosso problema sbre o papel da matemtica.
Parte da hiptese que s se verificam em a natu
reza, ou s podem ser processados experimental
mente, processos que se deixam representar como
veetores (ou mistura de vectores) no espao de
Hilbert de muitas dimenses, numricamente infi
nitas. Modlo para Heisenberg era a teoria da
relatividade restrita, que igualmente representa a
realidade fsica por vectores em meio ao mundo
quadridimensional. Mas um vector num espao
(25) Vid. TF. ffijiiTtf, Die Eulwicklung der Dcutun* der Quan-
t*umeciianik, Pbyaikaliaoha BlaeUer, 12 (1956), fanc. 7, pg. 2 B2 .
67
de Hilbert de dimenso infinita (ou na matriz
hermitiana correspondente) no intuitivo; no
o tampouco a equivalente representao por uma
onda no espao de configurao segundo Schroe-
dinger; pois o espao-configurao tem 3n dimen
ses para n partculas. Trata-se do uma simples
analogia para uma onda intuitivamente tridimen
sional. A tentativa de uma interpretao intuitiva
leva-nos novamente s duas imagens complemcn-
tares (corpsculo e onda) de Bohr.
Em meio a tdas essas complexas tentativas de
soluo pergunta-se: o que dizer sbre a realidade
fsica dos processos qunticos? N. Bohr fala de
"impossibilidade de uma distino exata entre o
comportamento de objetos atmicos e a influncia
sbro les exercida pelos instrumentos medidores,
que servem para determinar as condies em que
os fenmenos se manifestam(26).
C. F. von Weizsaecker formulou o seguinte
princpio :(27) Nem om pensamento se pode reali
zar a distino total entre sujeito observador e
objeto observado. ste fato 6 por le ulterior-
mente interpretado no sentido que tanto o ato
fsico da influncia, exercida pelos aparelhos de
observao (os quais em razo da natureza qun-
tica da energia no podem ser reduzidos von
tade), como o ato intelectual da leitura do aparelho
medidor constituem a observao uo sentido
quntico-meenico; a unidade de ao de ambos
o essencial. E chega a acrescentar: . . . obser
vao uma influncia fsica recproca que 6 ao
mesmo tempo um ato de conscincia. A compre
enso disto s ser possvel depois de se renunciar
(26) Vid. JV\ Bokr, Dicus*ion with lCinatcin on Epsteinolotical
Problema ia Atomio Phy&ics, em: A. Einstoin: Philonopher-Scipntist, ed,
Schilpp (New York 1949) pg. 210.
(27) C. F. ir. Wri**6acker, Phyxik der Gcjeeaw&it (Goettingen 1958)
P&JC* 84 .
68
de certo modo distino cartemaria entre res
extensa e res cogitam".
stes pensamentos de von Weizsaecker so
expressos no esprito de uma certa teoria do conhe
c im e n to idealista. Pois, pelo menos parece que,
em razo da unidade de ao da influncia exer
cida pelo aparelho (pela comunicao de energia
por meio do aparelho, como seja pela iluminao)
e do ato de conhecimento que a leitura do instru
mento, a simples percepo cognoscitiva tem influ
ncia no estado do objeto. Disto entretanto se
pode duvidar. Considere-se o seguinte: a obser
vao com os modernos instrumentos de medida
(por ex., o contador dc Geiger, ou uma ehapa foto
grfica), geralmente sc processa de maneira que o
instrumento registra a presena de um elctron
mesmo que no esteja presente um observador
entendido. Smente mais tarde, o que pode suce
der depois de semanas ou meses, a indicao auto
mtica do aparelho ser lida no indicador ou na
chapa. Smente ento se verifica o ato espiritual
do conhecimento, separado temporalmentc da influ
ncia fsica exercida pelo aparelho sbre o objeto,
o qual, enquanto funciona automticamcnte, le
tambm um objeto, e no sujeito de qualquer
espcie. Como ento se pode falar de unidade
de ao entre a parte fsica do processo mensura-
tivo e o ato perfeito de conhecimento? certo
que existe uma unidade sensvel entre os dois
fatos separados pelo tempo, entre a influncia
fsica e o ato de percepo. Talvez von Weizsaecker
quis dizer isto mesmo com o trmo unidade de
ao; mas sua maneira de exprimir no muito
clara.
W. Heisenberg, de seu ludo, sc exprime de modo
algo diferente em resposta a uma observao do
69
cientista sovitico A. Alexandrov(28). liste afir
mara que por resultado da medio na teoria
quntica se devia entender smente o efeito obje
tivo da influncia recproca entre clctron e objeto
(o instrumento de medio); no se deve men
cionar o observador. Uma grandeza fsica qual
quer um fenmeno de carter cbjetivo e no o
resultado de uma observao subjetiva. Heisen-
berg respondeu(29): se o aparelho medidor e seu
sistema de observao devem ser considerados total
mente separados do resto do mundo, seria impossvel
chegar a determinado resultado nas mediies, como
seja a impresso de uma chapa fotogrfica at certo
grau de intensidade. E se algum disser que na
realidade a chapa ficaria de qualquer modo com
aquela impresso, ento le no aplica a mecnica
quntica ao sistema elctron-chapa. O carter
factual de um processo da realidade na vida
factual no est, sem mais, contido nas frmulas
matemticas da teoria dos quanta. Esta entra
em questo smente quando intervm um obser
vador.
Ora, segundo Heisenberg, pela interveno de
um observador no se introduz qualquer trao
subjetivistico na descrio da natureza, o que no
deixa de ser muito importante do ponto de vista
filosfico. Segundo le, o observador tem sim
plesmente a funo de registrar fatos que se veri
ficaram no tempo e no espao, pouco importando
que o observador seja um aparelho que fun
ciona automticamente ou um ser vivo (de modo
especial um homem que entende do assunto). O
que entretanto absolutamente necessrio a
(28) Vid, A. Alexandrov, Dokl. Ak&d. Nauk 84, N.* 2 (1952). O
cientista sovitico rejeita conforme a doutrina do material istno dialtico
to>Jo pensamento ideatlatico na interpretalo da Teoria doa Quanta, ao
pasdo que aceita a uterpivtavSo do fsico de Copenhague.
(29) PhyakaJ B litter 12 (15), faac. 7, pg. 298 f.
70
passagem do possvel ao factual dentro do pro-
nesso atual do registro. ste ltimo ponto de
Heisenberg se relaciona o que lc mesmo nota
__ com a seguinte considerao dc von Weizsae
cker: smente fatos futuros so ainda possveis,
os passados so simples fatos. No tem sentido
perguntar sbre a probabilidade (isto , sbre a
possibilidade quantitativamente determinvel) de
sua realizao, pois j so reais. O que de fato
j aconteceu no pode ser objeto dc indagao
quanto possibilidade ou probabilidade de sua rea
lizao.(30) Assim um fato histrico, como a do
registro de um elctron pelo contador dc Geiger,
no entra numa teoria como a mecnica quntica
que se ocupa de possibilidades (probabilidades).
ste modo de ver no s importante para a
mecnica quntica (onde, por ex., le entra na
assim chamada reduo dos feixes de ondas),
mas tambm para a termodinmica estatstica
clssica (quando, por ex., se quer compreender os
processos macroscpicos numa massa de gs se
gundo a teoria cintica dos gases de Boltzmann-
Gibbs, como uma perptua passagem de macro-
estados menos provveis para mais provveis).
Quando se tem diante de si um estado muito
improvvel segundo as regras do clculo das proba
bilidades, no s o estado imediatamente subse
quente deve ser encarado como o mais provvel,
mas tambm o imediatamente antecedente. Mas
isto contradiz aos fatos, j que na realidade a
(30) Physik der Gegeonwart, p4g. 41; Vid. Ge*chichte der Nafcur,
pe. 143.
Apont&mo? ainda para a* notveis afirmnoK de Charles Sanders Peirce
(Oxford 1957 p*B. 112-116 - Time and Modality). O peiwnroento maia
notvel de Peirce que a realidade do futuro em contruate com a do pnv-
iictttn o do pusn&do nfio individualizada de nenhum* forma. Um con
junto de elementos poauvet ou futurou nfio mo&tra a identidade individual
de seus elementos. Ipualmente acontece, como 6 sabido, com aa partSculoa
elementares na Kstattatica de Boee-Einstoin, em contraste com a estatstica
clssica de Boltimann.
71
probabilidade dos macro-estados j realizados au
menta sempre mais conforme o segundo princpio
da termodinmica (aproximao assinttica da
morte do calor). Portanto a concluso para a
probabilidade do que passou no legtima. ste
fato contornado por von Weizsaecker, que afirma
que no tem sentido perguntar pela possibilidade,
ou probabilidade, de um fato passado, que j se
tornou histrico.
Qualquer sistema quntico separado do mundo
exterior s tem um carter potencial, no factual;
por isto, segundo N. Bohr, le no pode ser des
crito por conceitos da fsica clssica. O estado rcpre-
tado por um vector de Hilbert (no por uma com
binao estatstica de vectores), aplicado a um
sistema fechado, segundo Heisenberg objetivo,
mas no "real, pois nle no se pode verificar
um fato histricamente constatvel em nosso
mundo macroscpico (tais como a revelao de
uma chapa fotogrfica, a indicao de um instru
mento, e semelhantes aparelhos de que nossas
salas de fsica esto cheias). Portanto a concepo
clssica de objetivo-real deve ser abandonada.
A caracterizao do sistema atmico por um
vector de Hilbert complementar s descries
por meio do conceitos clssicos, da mesma forma
que na termodinmica estatstica o miero-estado
da massa gasosa complementar tempera
tura.
Aqui a temperatura 6 o conceito clssico; ela
pode ser diretamente lida num instrumento macros
cpico, o termmetro, pelo observador. Pode
igualmente ser registrada por um autmato sem
que esteja presente um observador humano. A
temperatura portanto real, mas no obje
tiva. Portanto, devemos admitir como objeti-
72
vmente presente smente o micro-estado no
observvel do gs.
O conhecimento do que factual, isto , do
macroscpico, , por conseguinte, sempre um conhe
cimento imperfeito tanto na mecnica quntica
como termodinmica.
Vemos que. luz da interpretao de Kope-
nhagen, da teoria dos quanta, a oposio t radi
cional entre realismo c idealismo no pode
mais ser empregada e as teorias tradicionais do
conhecimento fracassam.
As objees que foram levantadas contra a
interpretao aqui dada da teoria dos quanta
podem ser assim resumidas(31): Quase tdas as
crticas contra a interpretao dc Kopenhagcn
tem por objeto antes de tudo o fato que smente
uma parte do dualismo onda e corpsculo
considerada como real; em geral os corpsculos.
Em segundo lugar fala-se de parmetros ocultos
que no conhecemos, mas que, apesar disto, deter
minariam na realidade transcendente o curso de
cada partcula (com mais exatido que uma pre-
dio estatstica). A objeo de Heisenberg
que para ns muito digna de nota contra
tdas as explicaes que entram em concorrncia
com a de Kopenhagen que nelas se destri a
simetria da linguagem da teoria dos quanta, aque
la entre a coordenada local e a coordenada de
impulso p; |\Kq ) |2 ainda efetivamente a quan-
tidude de variao na coordenada local, mas
lifr(p)|2 no mais a do espao-impulso. Portanto,
tambm aqui o pensamento pitagrico decisivo.
Os adversrios temem que o conceito funda
mental da realidade objetivo-real fique perdido
(31) TF. U tiuKtxrt, Physlkal. B laetter 12 (1936) am. 7, pg. 264 sa.
73
cidos experimentalmente. A isto acresce a feliz
circunstncia nos movimentos dos planetas de o
nosso sistema solar ter smente um corpo ccntral.
Se o sol fsse uma estria dupla, as circunstncias
seriam bem diferentes c muito mais complexas.
Na realidade as trajetrias dos planetas e das
luas (tambm da nossa lua terrestre) so quase
crculos e pertencem assim aos fenmenos que so
fcilmente calculveis; ao mesmo tempo, cm razo
da perspectiva distorcida oferecida da terra e por
causa de leves anomalias que provm das traje
trias, levemente elpticas e excntricas, punham-se
alguns problemas nada triviais(34) que desde tem
pos imemoriais suscitaram a curiosidade dos homens
que observavam o cu.
Tudo isto favoreceu o aparecimento precoce da
cincia dos fenmenos celestes e teve como resul
tado a opinio, nunca sriamente contestada na
Antigidade e na Idade Mdia, de que as leis
exatas da natureza valiam smente para os fen
menos celestes e no para os terrestres. Isto, por
sua vez, teve por conseqncia uma certa averso
contra uma concepo quantitativa dos fenmenos
terrestres, to caracterstica para a considerao
aristotlico-escolstica da natureza, mesmo quando
apregoava mtodos empricos (como por ex. Alberto
Magno). Tal maneira de considerar a natureza
s foi rompido (apesar de algumas tentativas dos
terministas de Paris no sculo xiv) no tempo do
barroco incipiente, por Galileu, Kepler, Descartes,
Pascal, Huygens, Newton, s para nomear os mais
importantes. Que o livro do universo est escrito
em linguagem matemtica (Galilcu(35), eis o ponto
decisivo. O mesmo pensamento c espresso de forma
(34) Vid. O Xtutbautr. Tlio ECxact Stiteoce-j in Antiquity (Provi-
drmpc, Rhode Iil&utl, 21937), f>g. 152 8.
(35) Oalilti, II dtggUtore, Edis, Nat. VI, 232.
mais clara por outras palavras ousadas de Galileu,
tais como a que afirma que o conhecimento mate
mtico se distingue exiermve, em amplido, do
conhecimento de Deus, mas que intensive, qualita
tivamente, lhe igual(36). Leibniz e Newton no
esto to longe desta mesma idia. Para Leibniz
as mnadas, sob cujo conceito caem tanto Deus
como o homem e tdas as criaturas, s se distin
guem gradualmente, segundo a clareza e evidncia
com que representam o universo. Foi Kant,
com sua religiosidade profunda haurida no pietismo,
que mostrou de nvo a intransponvel limitao
do homem e sua finitude.
Durante o desenvolvimento ulterior da cincia
exata foi ridicularizada a atitude cientfica dos
sculos xvxi e xvm, que fazia de Deus um enge
nheiro em repouso, o qual criou o mundo num
longnquo passado, entregando-o depois a si mesmo.
Conforme uma anedota conhecida, Laplaee, o
clebre astrnomo e matemtico, teria respondido
a Napoleo, quando ste lhe perguntou pelo lugar
ocupado por Deus em seu sistema cosmognico:
Sire, je n'avais pas besoin de cette hypothse-l.
Em todos sses vaivns e peripcias das opinies
cientfico-filosficas o papel predominante da mate
mtica permanece imutvel. No se descobrem
nem sequer indcios da vontade dc voltar con
templao qualitativo-metafsica pr-galileica, em
pregada pela escolstica. verdade que o roman
tismo alemo, e na filosofia o idealismo alemo,
nada tem de matemtico; de estranhar, por ex.,
o pouco conhecimento matemtico do to erudito
Hegel, o qual mostrou a penetrante fra dc seu
gnio especulativo em tantos terrenos do conhe
cimento humano, sendo, no entanto, fcil de notar
(3d> Dilogo I, edii. Nnt. VIII, 128 .
77
para a fsica. Mas tal temor injustificado. Os
processos que se verificam no tempo e no espao
de nosso ambiente dirio so prpria mente o real
e dles feita a realidade de nossa vida concreta.
Quando se tenta, diz Heisenberg(32), penetrar
nos pormenores dos processos atmicos que se
ocultam atrs desta realidade, os contornos do
mundo objetivo-real se dissolvem, no nas nvoas
de uma nova imagem obscura da realidade mas
na clareza difana de uma matemtica, que conecta
o possvel, e no o factual, por meio de suas
leis.
ste pensamento se relaciona com a observa
o feita por Heisenberg a respeito da teoria pita-
gorizante de Plato no Timeu sbre os quatro
elementos, de que falamos no primeiro captulo.
J Plato dissolve em princpio a matria em
formas matemticas (embora nle a probabili
dade no desempenhe papel algum). Os elementos
platnicos so (conforme a terminologia acima em
pregada) objetivos mas no reais, isto , no
perceptveis pelos sentidos. verdade que Plato
atribui o ser prpriamente dito matemtica invi
svel de suas partculas elementares, em oposio
nossa identificao existencialista entre reali
dade e factualidade (que era por le despre
zada). Contudo tanto Plato como os kopenha-
genses tm em comum o fato de recusarem aplicar
as qualidades essenciais (primrias) dos corpos
macroscpicos reais s partes elementares da
matria, como o fizeram Anaxgoras e Demerito
e como o fizeram os materialistas de todos os
tempos at hoje(33).
(32) lot. e i t p lig . 304.
(33)elementares
nfulo Neste sentido
de tambm(cf.a Dc
PlutSo objefta
Coclo dcIII,AriM tcUi* contra 00 tri"
1) sfto "materialistas'1
O reaLlimo crtico" de hoje procura sar menoe primitivo, embora 11S0
74
7. Viso de conjunto
J tempo de resumir e completar as observa
es acumuladas nos captulos anteriores. Partindo
da tese, hoje to espalhada, de que a tcnica o
objetivo e ao mesmo tempo o motivo secreto da
cincia exata da natureza, refutamos, ou pelo
menos limitamos, esta afirmao apontando para
a cincia exata mais antiga, a astronomia, a qual,
s pelo fato de subsistir atravs dos sculos, refuta
a tese do primado da tcnica. Mostramos que
smente o sculo XVII com a introduo do mtodo
matemtico exato na investigao do "mundo de
baixo da lua trouxe o devotamento tcnica,
sendo testemunha disto as descobertas precursoras
do telescpio e microscpio, do relgio de pndulo
e da bomba de ar, embora a mquina a vapor,
como primeira fonte tcnica de energia em grande
quantidade (mais do que os tradicionais moinhos
de gua e de vento), pertena aos fins do sculo xviit.
O ponto decisivo constitudo pela experincia
analtica, desconhecida da Antigidade e da Idade
Mdia. Smente ela permitiu desvendar as com
plexas causas que agem em a natureza e estabelecer
leis naturais exatas e a partir delas dominar as
fras da natureza.
O fato de a astronomia se ter adiantado tanto
s outras cincias exalas da natureza se deve ao
fato que no movimento das enormes massas extra
terrestres, observveis regularmente a lho nu,
num universo prtieamente vazio, j existiam
"casos puros que no precisavam ser restabele-
escape tcndftncia dc introduiir novas concepfies da realidade, pouco
claras. Vid. W. fueckel, Quaotenphyaik und krtidcher Re&li&mus, em:
Philosophi* naturai*. V (1958), fafcc. 1, pg. 3-54.
75
as parcas anotaes matemticas que se encon
tram em sua Cincia da lgica(37). Schelling
no 6 diferente(38). Esta incapacidade dos romn
ticos exceo talvez feita de Novalis para
compreender o papel da matemtica teve como
conseqncia, na Alemanha, a separao completa
e funesta entre cincias exatas e cincias do esp
rito, de modo que aquelas se desenvolveram
inteiramente alheias s segundas, assim que
difcil descobrir qualquer influxo da filosofia cls
sica nas mesmas.(39). ste certamente um dos
motivos mais importantes da orientao empirista
tomada pela epistemologia cientfica do fim do
sculo xix (Mach); tal tambm a causa da
interpretao fisiolgica de Kant dada por
Helmholtz. Em tdas essas teorias a matemtica
sempre era deixada de lado.
O mesmo se d 110 sculo xx. Nossas apre
ciaes crticas do conceito de realidade nas cin
cias exatas mostraram ste fato muito claramente,
como as relaes existentes entre a experincia
analtica e a anlise matemtica. As novas
teorias da fsica moderna, do sculo xx (teoria
da relatividade e teoria dos quanta) no foram
capazes de solucionar a velha polmica entre idea
lismo crtico e realismo crtico, que novamente
surgira, com tda a violncia, no sculo xix. Os
modelos da fsica clssica (no smente a con
cepo mecanicista no sentido de Descartes e
Huygens, que h muito j se tornara obsoleta)
(37) Alguma- v&es se tem a impree&fto que UtQtI hauriu u eonlke-
clmento matemtico do pequeno escrito polmico de Bcrktiey The
Analyat", escrito contra Newtou.
(38) Lembramoe aqui igualmente a falsa interpretao que Qotlht
dA de .VetWon na doutrina daa cres"; esta ditorsSo provam r>m dvida
da averaSo s cxperiAnaias analticas na investitafto da naturosa.
(39) B. Riemann foi influenciado at4 certo grau pelo "realista Her-
bart, mas tal influncia nflo foi longe.
apareceram como concepes ingnuas. Por pouco
que seja aquilo que positivamente podemos afir
mar sbre a "essncia da natureza, temos sufi
cientes conhecimentos negativos da mesma para
podermos dizer que impossvel representar a
natureza por modelos construdos mecnicamente.
O conceito de modlo conserva, contudo, ainda
hoje um valor relativo. A fsica terica de hoje
constri (in abstracto) tda espcie de modelos,
ma. sabe muito bem que stes s podem repre
sentar alguns traos da realidade observada c que
so aproximaes mais ou menos grosseiras de
uma realidade infinitamente complexa e que seu
valor limitado. Descobriu-se ainda que muitas
vzes simplesmente impossvel propor modelos
intuitivos vlidos. Assim, por ex., nem a estru
tura no-euclidiana da variedade espao-tempo da
teoria da relatividade geral, nem o espao de
Ililbert na teoria dos quanta pode ser represen
tado por um modlo; ste ltimo apenas por dois
modelos que se excluem mtuamente (onda e
corpsculo).
O que em meio a tudo isto permanece imutvel
o aspecto matemtico, com suas estruturas muitas
vzes abstratas, mas sempre simtricas; nle,
parece que se traduz a essncia mesma do cosmo.
O mundo como um cristal, eis a viso hodierna
do universo.
Pode-se perguntar se, frente a tal concepo
pitagriea do mundo, ainda se pode falar de
uma violao, de um foramento da natureza
pela cincia moderna (restringindo-nos ao reino da
teoria, da considerao abstrata da natureza).
Explicamos acima que o progresso matemtico das
cincias naturais s foi possvel pelo princpio da
renncia: mturam renunliando v i n c i m u (ou
melhor talvez cognoscimus). Tal renncia difl-
cilmente se coaduna com a atitude de forar.
Significa antes um recuo. Recuo para onde ? Para
o mundo da matemtica, qual pela sua prpria
natureza pertence o possvel. De fato, como j
Leibnitz vira, o domnio da matemtica so os
mundos possveis. hoje em dia quase impos
svel voltar a uma interpretao antropomrfica
da natureza no sentido do Romantismo (embora
se veja indcios c e l). Isto seria poesia e no
cincia.
Parece que o avano das cincias exatas com
o auxlio da matemtica no conhece limites e a
conhecida palavra de Kant parece se verificar:
Em qualquer doutrina especial da natureza s
pode haver tanta cincia verdadeira, quanta mate
mtica nela se encontra .(40)
No obstante, o emprgo da matemtica nas
cincias naturais tem seus limites, mas stes se
encontram dentro da mesma matemtica. Num
captulo posterior trataremos desta questo en
quanto relacionada com a matemtica. Quanto
sua utilizao na fsica e na astronomia, j no
tempo de Newton se descobriu que a matemtica
encontra certas limitaes cm solucionar proble
mas que lhe so propostos. Assim 6e verificou
que o problema dos dois corpos na teoria da
gravitao de Newton, isto , o problema keple-
riano do movimento de um planeta em redor do
Sol, podia ser solucionado com os mtodos mate
mticos de ento, mas no o problema dos trs
corpos, isto , o movimento simultneo do Sol,
Jpiter e Terra sob o influxo da gravitao, abs
traindo de certos casos especiais. (Pouco antes
de 1900 H. Poincarc demonstrou que uma soluo
fechada do problema dos trs corpos absoluta-
<40) Metaphyslache Anfnngngrucmlc <lcr N*turwiaacnch&ft, ':orrode
mente impossvel, sendo possvel smente uma
soluo aproximativa pelo desenvolvimento em
sries, o que j se fizera h muito). Aqui portanto,
pela primeira vez, fracassou a nova matemtica
do sculo xvn e desde ento tanto a matemtica
clssica como a moderna fracassaram diante de
problemas propostos pela fsica terica. Pode-se
dizer que smente por exceo possvel dar solu
o cabal, do ponto de vista matemtico, a um
problema complicado da fsica; em geral 6 preciso
contentar-se com aproximaes e procurar con
tornar as dificuldades o melhor que se pode.
O que acabamos de dizer provm das limita
es intrnsecas da prpria matemtica; mas exis
tem tambm limites exteriores. Tais limites esto
contidos no tanto na estrutura da matemtica,
mas na do objeto a que aplicada. At agora
s se falou da natureza inanimada, nunca dos
sres vivos. A vida existo numa escala nfima,
comparada imensido do universo; a vida est
para o universo como um milionsimo de cm para
100 m. At que ponto a matemtica esteja em
condies de decifrar os fenmenos ditos vitais,
no podemos agora expor. No estamos em con
dies de decidir sbre a verdade ou no da tese
dos platnicos pitagorizantes do sculo iv a. Cr.:
A Psyche (a alma, no sentido de: princpio
de vida) um nmero que sc move a si mesma.
81
CAPTULO TERCEIRO
A matemtica pura como
cincia livre
83
o. Nessa literatura extensssima nunca sc de
monstra qualquer coisa, no mximo a prova 6
o exemplo. O conceito de infinito a no apa
rece, ou ento smente sob uma forma velada,
mas nunca se torna um problema.
Quando se recorre matemtica indica e extre-
mo-oriental, enquanto livres da influncia grega,
constata-se o mesmo fato: ausncia total de demons
trao e falta do conceito dc infinito, mesmo sob
a forma de induo completa (concluso de n
para n + 1 ).
Nesta questo de grande intersse seguir os
caminhos pelos quais o conceito de infinito foi
introduzido na cincia matemtica dos gregos pri
mitivos. Parece que o infinito primeiramente surgiu
sob a forma de processos convergentes ilimitados.
O primeiro testemunho literrio disto temos em
Zeno de Ela, discpulo de Parmnides. Zeno
no matemtico, mas evidente que parte de
fatos e consideraes matemticas que lhe foram
propostos por outros, talvez pelos pitagricos.
O mais simples de seus argumentos a assim chamada
dieotomia(2): um segmento AR dividido pela metade
em C e a parte direita Cf novamente dividida em C',
C B em C e assim por diante ilimitadamente.
|a______________c |____c*I c-I I I a
84
Por um lado a srio y + y -f y + cresce ilimiUi-
i,lamente por partes que sempre so menores nue a imediata
mente anterior (trata-se sempre da metaae do anterior,
como p. ex., y a metade de mas ao mesmo tempo
algo dc finito com relao ao primeiro membro da srie,(3) y
distncia esta que fcilmente calculvel (p. ex., -5- a
quarta parte de y1 .
Mas, por outro lado, a srie no cresce at ao injinUo, pois
a sua soma eempre permanece menor que 1 , por mais que
s a continue. De fato, todo membro seguinte <la srie pro
vm da diviso da diferena entre 1 e a soma de segmentos
anteriores j formada. (Assim p. ex., y + T + T " T
e a diferena para 1 j , e a metade desta -yg ste
o nvo membro que se acrescenta. A distncia entre a soma
agora formada e 1 agora
stes dois aspectos (por um lado" e por outro)
levem aparecer paradoxais ao pensamento ingnuo,
embora no exista uma contradio prpriamente
dita ou lgica. De fato, fcil compreender que
alguma coisa pode continuar a crescer continua
mente sem contudo ultrapassar todos os limites.
Basta que o crescimento diminua conveniente
mente de ritmo com o correr do tempo. Mesmo
a diminuio do crescimento at uma quantidade
nfima no impede um real crescimento, como se
pode ver nas assim chamadas sries harmni
cas^). Mas, para o pensamento ingnuo da Anti-
fS) Sbrw
Fragm. H 1. fete ponto Zon chama a ntenfto expressamente no
eituo<4)no rode-e
ilimitado penaar que o fundamento
riecr&cimo daa afinal,
"ariestoniam-e
convergente*" w
que <da participafto dada. doe
Mas,membro*, que,
o contrrio que w demonatra menores
r*1a*
aasii ehauiada "sri harmnica*": divetrgnci da "&ric harmnica'
2 3 4 5 6 7 8 ***
>T
C<ano ae v, a divergncia da srie harmnica cresce at o infinito.
85
gidade, consideraes quantitativas to subtis no
contavam; insiste-se no conceito puramente quan
titativo segundo o qual quando alguma coisa
sempre aumenta, acabar por ultrapassar todos
cs limites. A possibilidade contrria, demons
trada pela dicotomia num exemplo concreto apa
rece ento como paradoxo.
Zcno assim procedia: O aumento da srie con
tinua ilimitadamente mas nunca chega ao fim,
por mais tempo que aumente. Assim o corredor
que parte de A para chegar a B no chegar ao
trmo, pois deve percorrer um depois do outro
os segmentes AC, CC, CC . . . at o infinito,
sendo necessrio para cada segmento um tempo
finito a fim de ser percorrido.
No tencionames discutir ou resolver os para
doxos de Zeno, des quais Bertrand Russel uma
vez disse que eram "immensely subtle and pro-
found, pois tal coisa no conseguiram todos aqules
que desde Aristteles o tentaram. O que queremos
apontar que j a primeira experincia do infinito
na matemtica e na filosofia levou a paradoxos.
Hegel chamou Zeno de primeiro dialtico na his
tria da filesofia, e como tal sempre foi tido. Do
ponto de vista histrico talvez fsse melhor, ou
pelo menos mais correto, consider-lo como fil
sofo na poea trgica dos gregos, e compar-lo
com os trs grandes trgicos do sculo V e com
Pndaro, em vez de cham-lo um especulativo,
no sentido da dialtica hegeliana. Mas tal desig
nao exprime algo de fundamental: caracteriza
a oposio ao pensamento simples c retilneo. De
fato Zeno supera o ponto de vista ingnuo na
considerao da srie convergente infinita
86
no se contentando em constat-la; neste sentido
6 le um dialtico.
O que h de especial neste ponto de vista dial
tico aparecer mais claramente quando se o con
trasta com as consideraes matemticas ingnuas
e retilneas, como podem ser encontradas em fontes
antigo-orientais e gregas.
Nesta questo so significativas algumas tenta
tivas de demonstrao por decomposio do assim
chamado teorema pitagrico, que j foi utili
zado pelos matemticos babilnicos no incio do
segundo milnio antes de Cristo.
No se trata aqui de datar estas demonstraes,
as quais literriamente s ascendem at a idade-
mdia oriental (a figura (b) est descrita no calen
drio pr-cristo de Chou-pei Suan-king; o caso
especial (a) se encontra no Menon de Plato(5)).
O importante o princpio donde se parte, e a
se pode ver o carter finito de todos stes argu
mentos. So empregadas algumas superfcies par
ciais consideradas como um todo. Nas duas fi
guras (a) e (b) trata-se dc tringulos retngulos
(que aparecem barrados).
S7
que tratam da soluo de equaes quadrticas em
forma geomt,rica(6).
Tanto a dicotomia como os argumentos afins
se distinguem de tdas as consideraes finitas
pelo fato de apresentarem processos ilimitados, a
decomposio de um segmento finito em partes
cujo nmero cresce ilimitadamente. Mas no
coisa intuitiva que cm um segmento finito se
encontrem partes em nmero ilimitado. ver
dade que as partes singulares que surgem 110 de
curso do processo ilimitado da dicotomia podem
ser atingidas e representadas por uma figura, mas
nunca o processo todo. A infinitude do processo
claramente apontada por Zeno que diz:
a mesma coisa diz-lo uma vez e sempre de nvo.
A mesma coisa pode ser ilustrada por outros
exemplos, dentre os quais aduzimos aqui um que
especialmente fcil e muito antigo. Trata-se da
demonstrao de que as diferenas dos nmeros
quadrados, que se seguem, so nmeros mpares:
1 4 9 16 25 36...
3 6 7 9 11...
Isto se demonstra pela formao de figuras por
meio de pedrinhas (psphoi ou pessoi):
OOOOO
OOOO O
OOO o O
00 #o 0 o
o * o o o
Temos aqui uma seqncia de figuras finitas, mas
a seqncia 6 infinita. A passagem de uma figura
para a outra se processa da mesma forma, isto ,
(6) Vid. UM, pg. 11-15; O. Bccktr, Das Deoken
der Antike (Goettineen 1957), p4s*. 60-64.
8S
as novas pcdrinhas na margem da figura
c o lo c a n d o
Nisto consiste a prova, pois as pe-
p r e ce d e n te.
drinhas marginais (brancas em nossas figuras) au
m e n t a m de dois em cada figura.
Os matemticos gregos primitivos deviam estar
conscientes da infinidade de tal processo. Entre
os babilnios parece que tal no era o caso. Isto
transparece da maneira como na matemtica babi-
lnica e indica primitiva (dependente daquela) se
determinam as_ razes quadradas por aproximaes.
Uma raiz Vai (especialmente V2 = v'i. 2) pode
ser calculada aproximadamente, tomando entre a
e b as mdias aritmticas e harmnicas m e h,
depois entre m e h novamente ambas as mdias m
e h, entre estas de nvo as mdias m" e h, e
assim por diante, sem fim. A raiz que se procura
calcular aproximadamente est entre m e h, m e
h \ tn e h, sendo que a diferena entre as duas
mdias se torna sempre menor e conseqentemente
a aproximao maior.(7)
Ora nas fontes pr-helnicas que conhecemos
no h indcios de que aqui se verifica um pro
cesso basicamente ilimitado. S se do trs passos,
at m" e h. A se pra. Parece que se devia
saber que era possvel dar mais passos segundo o
mesmo esquema, mas muito duvidoso que se
estivesse consciente da infinitude de todo o pro
cesso, isto , da possibilidade de continuar at o
infinito.
Como quer que seja, os gregos conheciam muito
bem o problema do infinito e sua significao funda
mental para a matemtica e para a filosofia. A
profundidade do entendimento filosfico que tinham
da questo se pode verificar, antes de tudo, da
discusso que lhe dedica Aristteles (Fsica III,
(7) Vid. O. Btck*r, Da watUem&tische Denlien der Antike, pg. 64 98.
OM pg. 7.
89
4-8), (8). ste tratado vale at hoje como clssico
nesta magna questo. Mais tarde voltaremos a
le e a tda a questo em geral.
2. A descoberta do irracional
Antes de nos ocuparmos das anlises aristot-
licas, necessrio lauar alguns olhares desco
berta to fundamental que os gregos fizeram do
irracional, descoberta esta que muito notvel e
cheia de graves conseqncias. Talvez possa ela
ser datada da metade ou da primeira parte do
sculo Yr; h alguns historiadores da matemtica
que querem recu-la at o ano 400. Parece-nos
que sem razo. De fato, no dilogo platnico
Thceteto, dedicado memria dste matem
tico da escola de Plato, falecido muito cedo, so
atribudas a Teodoro de Cirene as demonstraes
da irracionalidade das razes quadradas do 3, 5,
7, ... 17. Como com razo notou K. von Fritz,
no se pode admitir que nesta passagem se negue
a Theeteto unia descoberta matemtica que lhe
pertenceria. Portanto necessrio recuar at Teo
doro de Cirene, cuja atividade deve ser datada
de 430. Ora, ste nos apresenta j tda uma srie
de demonstraes de irracionalidade, e portanto
no est no incio da descoberta de processos no-
racionais, que devem ser bem anteriores.
Discute-se sbre qual seja o exemplo concreto
em que pela primeira vez sc notou a incomensura-
bilidade recproca entre duas grandezas geomtri
cas, ou de outra espcie, e como ela tenha sido
demonstrada. Enquanto que antigamente se admi
tia como certo que fra, antes de tudo, a incomensu-
(8) V id . G M 6 5 m . (u m * coioc&o de ta n to * arito t< lico e).
rabilidade do lado e da diagonal de um quadrado,
isto , a irracionalidade de V1T, K. von Fritz de
fendeu a opinio que, em primeiro lugar, fra notada
u incomensurabilidade da diagonal do pentgono
regular, e isto pelo pitagrico Hippasos, ou pelo
menos no seu tempo; a esta opinio se filia G.
Junge (9).
Em favor da tese mais antiga est a ausncia
de VT na srie das razes estudadas por Teodoro;
pode-se admitir que ste caso especial j fra no
tado h muito tempo. Pode-se tambm afirmar
que o problema 110 caso de VT no s se punha
11a geometria, mas tambm 11a harmonia, isto ,
na questo se as oitavas podiam ser divididas em
dois intervalos iguais determinveis por processos
racionais. Mas por outro lado a relao entre
lado de pentgono e diagonal a base da diviso
continua, da assim mais tarde chamada seco
urea. ste processo tem a peculiaridade que
da medio das partes respectivas, na diminuio
recproca (an/anatVeata)(10 ) resulta a seqncia
numeral mais simples, isto , 1 , 1 , 1 , . . . .
Quanto A maneira como em geometria se podem fajser
as demonstraes desta incomensurabilidade, considere-se o
que se segue:
1. No caso do pentgono regular resulta do traado das
diagonal o pentagrama que no seu interior contm outro
pentgono com um pentagrama, de modo que a figura 6
(9) K. Von Frilt, The Discovery o Incuminensnjrabity by Hlppmim
of MetApontura. m: Annat* of M athrm ati, 48 (1945), p**- 242-264;
<?. Jung, Yon Hippasos bis Phlolaoa, em: Classica ct Mrdutpvutm, Revue
Damoiao de Philologie e dUtatoire, voL X IX , faae. 1-2 (1933), pg. 41-72.
Jung ae refero a (?. J . Allnwn, Hlatory of Grcck Oeometry from Tluiles
to Euclid (Dublin 1879) o qual teria afirmado como primeiro a priori
dade do pentagrama,
(10) Nnste processo de comparao entre dois segmentos a e b ae
constata, m prirn jiro lugar, quantas vAxr.s o segmento menor b eat con
tido no maior o, isto , quanta v?s e pode diminuir d de n. Em geral
un> CJL Que* d & tantas vaes quanto possvel, produz um
n3vo resto d. Kte tirado do e, tantas vses quanto possvel etc. O pro-
oetuo condu* a uma rasSo racional a;& se tem fim, no qual no h nenhum
POdto; so razfio irracional, o preoesso nunca cc*sa.
A B
sem fim em seu interior. Pode-se medir um lado do pent
gono, seja DE, pela. diagonal AC simtoricamente oposta;
neste caso o quadriltero ED' CD 6 um paraleiogramo e
portanto CD' = DE. Portanto o lado DE ou CD' est
contido uma vez na diagonal CA, ficando o resto A D'. Quando
se mede A D' em AE' (que igual ao lado DE da mesma
forma) est a contida uma vez deixando o resto F.'D. Ora
ED' o lado do pentgono interno A'R'C'D'E' e a diagonal
dste C'A' . igual a D'A (pois AD'A'C' um paraleiogramo.
Depois a mesma relao se repete e o processo da dimi-
tiuio reciproca" continua sem fim. fiste interessante resul
tado devia chamar a ateno dos gemetras gregos primi
tivos.
2. No caso do quadrado a prova da ineomensurabilidade
de lado e diagonal pode ser feita dc diferentes maneiras.
92
R e p ro d u z im o s uma considerao de E. M. Bruins porque
est estreitamente ligada idia da dicotomia. Tambm
e la ' se upia na acepo da diviso ilimitada de um segmento.
Olhemos a figura de um tringulo retngulo iasceles, me
tade de um quadrado. Um cateto (lado de quadrado) deve
ser medido pela hipotenusa (diagonal). Admitida uma me
dida comum que serve como unidade, o cateto ter a uni
dades, a hipotenusa c unidades. J que e2 = 2a3 ento cs,
portanto tambm c, 6 um nmero par. A altura A - ~
vai ao ponto mdio da hipotenusa que a divide em dois seg
mentos elementares. Ora, se se repete o traado da perpen
dicular na maneira indicada pela figura chega-se diviso
pelo meio do segmento 1 ; na vez seguinte Se chega a
-i- c , depois a e e assim por diante sem fim. Mas
j que o segmento total c no pode ser dividido ilimitada
mente, sem que se chegue ou a um ndmero mpar ou ao
nmero 1 , o ponto da diviso geomtrica pelo meio no
pode afinal cair no ponto central entre dois segmentos elemen
tares, o que absurdo, (lt)
Dc tais consideraes proveio a oposio entre
niimero (arithmos) e extenso contnua (megethos).
Esta pode ser dividida pelo meio at o infinito
(dicotomia), mas no aqule. A divisibilidade infi
nita relacionada com a existncia de processos
irracionais em escritores que vo desde o helenismo
at o comentrio de Proclo a Euclides.
Do ponto de vista lgico a situao a seguinte:
se existe smente uma divisibilidade finita das
grandezas (extenses no espao e no tempo), ento
no existe incomensurabilidade; de fato, neste
(11) A prova da irracionalidade de V 2 pode ser dada de forma
Puramente aritmtica, as*im: pode-ee admitir que por uma contnua
divs&o Por 2 a rela&o a: b chegou a um estado em que o* dois nmero*
a e nio *o mais pares (divisveis por dois). Se a r par e b mpar,
entfto a* tambm divisvel por 4. Por oonseguinte a equa&o a* * 2 fc
Pode ser dividida de ambos os lados por 2, recebendo & esquerda um n
mero par, mas direita o nmRro impar 5, o u iinpo&lvel. Mas, se a
* mpar, cnto a equo&o a* = 2 6a f tambm impossvel, pois a* mpar
e 2 b par. Esta prova dix respoito aos mai* tmples e antigos estudo*
d pare e impam. NHo pertence teoria grral do* nmeros, nem parti-
cularmente ao teorema da unidade da decompoeifto de um nmero em
seus fatores primos.
93
caso existe uma medida mnima para tudo. Ao
contrrio, a admisso da divisibilidade ilimitada
no basta para afirmar a existncia de relaes
irracionais; a divisibilidade ilimitada torna possvel
o irracional, mas no se trata de uma conseqncia
necessria. So necessrias demonstraes de casos
singulares que provem a existncia de segmentos
incomensurvcis por mtodos geomtricos ou de
outra espcie (p. ex., pela teoria da msica). ste
ponto parece no ter sido sempre claramente reco
nhecido pelos autores gregos.
A idia de que por meio de uma diviso conti
nuada se torna impossvel a medio de qualquer
extenso (Euclides, Elem. X, 1 ; vid. Aristteles,
Fsica III, 0, pg. 206 b, 17-20), desempenha um
importante papel no processo de exausto de
Eudoxo, apresentado no livro X II dos Elementos
de Euclidcs, primeiramente no caso do crculo,
em XII, 2. A exausto (dapanan = gastar, esgotar)
j empregada por Antfono, o sofista (Fragm B 13)
e por Anaxgoras (A 38, vid. B 3). Pela inscrio
de polgonos regulares de nmero crescente de
lados, cujos lados, portanto, sempre se tornam
menores e sempre mais se aproximam da periferia,
seria possvel esgotar a circunferncia. Mais
tarde Bryson tentou aproximar-se dsse esgota
mento, tanto de dentro como de fora. Na base
dessa tentativa estava um princpio de continuidade,
de que fala Plato (Parmnides 161 d): Aquilo
a que se pode aplicar medidas grandes e pequenas
(relativas), tem uma medida exata, que est entre
ambas. Ora, todos os permetros de polgonos
inscritos so menores que o comprimento da circun
ferncia e todos os dos circunscritos so maiores.
Em relao quilo para o que existem medidas
maiores e menores, existe tambm a medida exata.
Ora, existem polgonos maiores e menores do que
T
97
neste caso, contudo, o segmento parece existir
desde o princpio como um todo. Segundo Arist
teles, o segmento no consta de pontos ou de outras
quaisquer partes indivisveis (tomos lineares), pois
os pontos dentro de um segmento s aparecem
pela diviso, o que quer dizer que antes da diviso
s estavam presentes potencialmente, e s por meio
dela recebem atualidade. Ora, isto se podo gene
ralizar embora o prprio Aristteles no toque
neste ponto e dizer que no s pontos que
provm da diviso de um segmento em partes
iguais, e que podemos chamar de pontos racio
nais, mas tambm pontos irracionais origi
nrios de qualquer construo geomtrica bem
definida esto includos neste raciocnio. Quan
do, p. ex., se coloca sbre a diagonal de um qua
drado um seu lado, surge um ponto e dois seg
mentos parciais que no tm razo racional entre
si. verdade que Aristteles no toma em consi
derao o irracional. S ocasionalmente le se
refere incomensurabilidade de lado e diagonal
de um quadrado, que pode ser demonstrada aritm-
ticamente. Smente no escrito atribudo a Teo-
frasto De lineis insecabilibus, includa no Corpus
Aristotelicum lembrada a existncia do irra
cional como argumento contra os tomos lineares
(pg. 969b, 33 - 970a, 4; vid. 96Sb, 5-21 c 909b,
6 - 12).
J3 muito importante ter em mente esta concepo
de Aristteles para compreender sua teoria sbre
a continuidade : o segmento no se compe de
pontos, mas um nmero sem fim de pontos esto
nle em potncia, no sentido que les podem
ser atualizados por diviso ou por outras operaes
matemticas construtivas(15).
(15) A concepflo ariatot^lira s&bre a exiatAncla potencial doe ponto*
num egmento, entendida estritamente, tom a iropoMlvel o axioma da
ra oposio estrita a esta concepo est a
concepo da anlise clssica, tal como hoje em
dia ela costuma ser apresentada nos manuais. Esta
se baseia na teoria dos conjuntos de Ceorg
Cantor, para quem o segmento um conjunto
infinito atual de pontos, na qual, portanto, desde
o incio se encontra um infinito atual de pontos,
os quais so oferecidos observao quando se
aplica a diviso ou outra construo qualquer. A
moderna investigao dos fundamentos da matem
tica, contudo, levada pela crtica intuicionista e
outras consideraes, volta em pontos importantes
concepo dc Aristteles.
Embora os modernos autores crticos (com P.
Lorenzen) recuem diante de uma reforma radical
da anlise e se esforcem por conservar a continui
dade da tradio tanto quanto possvel, delineia-
se j a possibilidade de uma concepo radical
mente neo-aristotlica do contnuo.
Por fim queremos chamar a ateno para o
fato que a concepo de Aristteles sbre o infinito,
como algo dc potencial, desempenha um papel
essencial na doutrina das antinomias de Kant e,
sobretudo, que cia est na base da soluo das
duas primeiras antinomias cosmolgicas, chamadas
matemticas (que tratam da extenso finita ou
infinita do mundo no tempo e no espao e da
finita ou infinita divisibilidade de tempo c es-
pao.(ie)
99
4. *4 teoria arislotlica da abstrao
Como j notamos acima, Aristteles, ao con
trrio de Plato, que atribua aos objetos matem
ticos existncia real, intermediria entre idias
e coisas sensveis, caracterizou os objetos matem
ticos como abstraes. ste trmo provm da
expresso por le mesmo cunhada, aphairesis"
(subtrao), do qual o latim abslractio a tra
duo literal. Assim na filosofia alem do sculo
xvm se fala de trmos subtrados (abgezogene
Bcgriffen).
O trmo abstrao de duplo sentido. Ora
significa o abandono de alguns aspectos, ou pro
priedades, de uma coisa, de modo que s sobram
aqulcs para os quais se volta a ateno. neste
sentido que se deve entender, sobretudo, a aphoi-
re&i8" aristotlica. Outras vzes o conceito de
abstrao significa a elevao a conceitos univer
sais, chamados por Aristteles ta koina (o que
comum), com o que se entende sobretudo uma
espcie universal de matemtica universal.
No inteiramente claro est em Aristteles um
segundo momento, a idealizao, que ocupa um
lugar to preponderante em Plato, ao falar da
matemtica. Aristteles sabe muito bem que a
rgua no toca a circunferncia material num s
ponto(17), como deveria ser conforme o puro con
ceito de tangente, mas ste fato no importante
para le e s notado de passagem. Aquilo que
Aristteles sistemticamcnte acentua o momento
da separao de coisas (chorismos) por meio do
pensamento que em si so inseparveis. Diz:
Assim as coisas matemticas que no esto sepa-
(17) Mo. B 2, pAg. flsa, 2 .
m
radas, pensamo-las separadamente quando as temos
na mente(l 8).
Com isto o matemtico est em oposio tanto
ao fsico (isto , ao filsofo da natureza), como
ao primeiro filsofo (o metafsico), dos quais
cada um tem diante de ei algo de concreto: um,
o mundo sensvel das coisas mutveis, o outro,
as essncias imutveis, eternas; stes dois terrenos
contm entidades (substncias, ousiai), que
subsistem por si. Mas a matemtica recebe seu
ser da atividade espiritual abstraente do matem
tico: esta teoria por Aristteles freqentemente
defendida por numerosos argumentos(19). Temos
aqui um primeiro indcio do nominalismo pos
terior, embora o nominalismo do fim da idade
mdia tenha aiiula outros traos. E, coisa notvel
num pensador antigo, temos a igualmente um
elemento subjetivista. Os objetos matemticos
aparecem como coisas do pensamento, pois s
esto separados em pensamento, enquanto que em
si mesmas so inseparveis.
Pode-se dizer que esta concepo nominalista
at hoje a concepo mais espalhada sbre a
essncia da matemtica, no s entre a maioria
dos cientistas, mas tambm entre muitos matem
ticos, sobretudo no mundo anglo-americano. Assim
Bertrand Russel no tardou em largar sua primi
tiva posio, platonizante, em favor de um ponto
de vista mais empirista, embora mesmo mais tarde
no negue todo o a priori. Os argumentos empre
gados so de carter empirista, provenientes da
tradio inglsa, sobretudo da teoria do conheci
mento de D. Hume. At certo ponto esta ten
dncia empirista compensada por uma lgica
(IS) De anima III, 7, pg. 431 b, ifl 8.
(19) Vid. tu dai an paaaagcu atinentoa em G U . pgs. 118-121.
101
formalstica, principalmente desde que a lgica
matemtica (a assim chamada logstica) comeou
a ganhar terreno at mesmo dentro da prpria
matemtica.
Isto nos leva ao segundo sentido acima especi
ficado de abstrao, segundo o qual abstrato
significa a elevao a uma maior universalidade.
No se entende com isto a generalizao, a subida
a gneros mais altos e de maior universalidade,
mas a formalizao, que ultrapassa tdas as notas
materiais e seus gneros mais elevados, isto , os
transcende. Nem o uno nem o ser (como tal)
um gnero diz Aristteles(20 ). Estes se referem
anlogamente a diferentes coisas. Esta volta
para o formal no s uma tendncia filosfica,
mas tambm matemtica. Dois so os exemplos
bsicos em que os autores antigos costumam de
monstrar a cincia matemtica universal. Em
primeira linha, por alguns princpios fundamentais
sbre o igual e o desigual, como por exemplo,
igual deduzido de igual d igual, e semelhan-
tes(21). Segundo, pela teoria geral das propores,
tal como foi fundada por Eudoxo e como est
apresentada no quinto livro dos Elementos de
Euclides. stes dois grupos de princpios tm
funo importante na matemtica antiga. De parti
cular importncia so as operaes com as propor
es; as diferentes transformaes que sofrem se
tornam o veculo do progresso do pensamento
matemtico, logo que na matemtica geometrizada
grega clssica se abstrai da figura concreta c
se tiram d'la concluses independentes.
(20) M et. B 3, 998b, 22. Vid. H 6. pg. 1045b, 2-7.
(21) Trata-se das asatm ck&modaa feotnrf mNoiii" de Euclide.s.
Eata expreaaSio 6 cm geral traduxtda por Mopmife8 universais", ou con
cepes comuna'1, sera que ac ospecifique ac ae trata de repreaonta dc
objetoa univeraaia ou de opinifos universalmente espalhadas entre o
homens, de id&as eoaiuns; tal voz so trate de ambos.
Aristteles refletiu sbre o que h de univer
sal nesta matemtica. Nota que a permutabili-
dade doB meios de uma proporo era demonstrada
anteriormente em separado para nmeros, seg
mentos, corpos e tcmpos(22). Mas agora (tiata-se
evidentemente da teoria das propores de Eudoxo)
a demonstrao dada universalmente; pois a
relao no vale para os corpos ou para os seg
mentos como tais, mas para aquilo que se
concebe como existindo em todos(23). Numa
outra passagem diz: o matemtico contempla
aquilo que existe por abstrao(24), em que le v
coisas diferentes (pontos, linhas, superfcies, corpos)
do ponto de vista do quantitativo e do contnuo(25),
e nada mais. De modo semelhante o filsofo
primeiro contempla tdas as coisas do ponto de
vista do ser (como tal). V-se que a essncia
(substancialidade) dos objetos metafsicos no
atribuda aos objetos matemticos; mas apesar
desta diferena, e em razo do carter formal
comum que possuem, h uma afinidade entro a
matemtica universal e a ontologia universal, o
que mais tarde contribuiu para o aparecimento
da idia de uma Mathesis universalis.
Nfio aqui o lugar de entrar nos pormenores
da evoluo dstes pcnsamentos(26). S queremos
lembrar que os neoplatnicos (sendo o exemplo
tpico Proclo em seu comentrio a Euclides(27)
(22) Anal. Priora I. 6, p&g. 74a. 17-25.
(23) A oxprris&o *'oo todo" (haoiou) nlo indica aqui a generali-
aao (subida a um gnero superior). rnaa a total formailaaflo.
(24) Mot. K 3. p li. 1061 a. 28-bB.
<25) "kata to poson fca a *unecKc$" Com " poton" talvo* se on*
tenda o nraoro dUcroto om opo&i&o grandeza contnua, embora esta
terminologia, freq&ntomonle usada (p. exM pelos neopiUgricos), nlo
prpriamente aristotlica.
(28) Mais ext^naarannte em O. Becker, MathematUche Existent
(Halle a. 8., 1027), pg. 254 a*, (para a Antigidade). pg. 264 ss. (para
oa tempo* modernos).
(27) Sbre o ponto ds vista neoplatAnico. vid. OM pg. 121 aa.
103
sublinharam ste carter no concreto da matem
tica universal e a declararam a forma mais elevada
e mais espiritual da cincia.
Nos tempos modernos aparece desde o fim do
sculo xvi com Vite, e mais tarde com Descartes,
uma nova forma de matemtica, livre da figura
geomtrica e da limitao a nmeros particulares.
Vite introduz, depois de muitas tentativas ante
riores abortadas, o clculo literal, sua lgebra
speciosa, a qual recebe cm Descartes um total
significado simblico, sob uma forma pouco diversa
da que est em uso at hoje. Os smbolos alfab
ticos na lgebra speciosa tm uma significao
geral, podendo designar nmeros, segmentos, super
fcies, corpos, tempos, pesos, etc. Todos conhece
mos hoje em dia as frmulas to caractersticas
da matemtica.
Descartes desde o incio compreendeu seu em-
prgo universal, com tda a clareza, o que est
expresso em seu conceito de Mathesis universalis.
Sua grande descoberta positiva em matemtica
foi a geometria analtica, a primeira aplicao da
Mathesis universalis a um determinado setor, e
com grandes resultados. Na fsica, Descartes foi
menos feliz, apesar de sua fecundidade em descobrir
hipteses. O nico resultado duradouro foi a
lei da refrao da luz. Huygens e Newton abriram
neste campo caminhos muito mais decisivos; mas
ainda no se serviam totalmente dos novos mtodos
analticos, trabalhando ainda com meios geom
tricos; sobretudo Huygens, que at lanava mo
dos mtodos grficos da Idade Mdia tardia;
de modo semelhante procedia Newton, pelo menos
ainda em sua obra capital Principia.
Smente com Leibniz se chega a um triunfo
completo e sem restries da Mathesis universalis.
Enquanto Descartes sempre permanecia ainda um
gcmetra (embora gcmetra analtico), Leibniz
o aritmtico, ou o algartmico universal, se assim
possvel se exprimir. Recorde-sc a seguinte
expresso: Nada existe que no esteja sujeito
ao nmero. O nmero , portanto, uma espcie
de forma metafsica fundamental e a aritmtica
uma espcie de esttica do universo, na qual se
revelam as fras das coisas.(28) Do ponto de
vista matemtico, caracterstico nle o fato que
sua concepo do clculo infinitesimal (descoberto
em 1673, oito anos depois que Newton descobriu,
em 1665, o clculo das fluxes, mas independente
dle) superior ao clculo newtoniano do ponto
de vista formal, (i. , no modo de operar), e por
isto empregado at hoje. Seus smbolos,.as dife
renciais (dx, dy, dt, etc.), so ainda algo ingnuos,
e o so para facilitar o entendimento, som que, no
entanto, devam ser tomados muito a srio, como
le mesmo no as tomou(29). Alm disto Leibniz
descobriu os determinantes, o que pode ser consi
derado como primeiro passo para a teoria dos
in variantes.
De particular significao a descoberta que
fzdo conceito de funo (o trmo funo vem
dle) e o importante conceito (tambm filosfico)
de aplicao, por le chamado dc representa
o (o que significa tanto apresentao como
representao). Pode-se at dizer que todos os
fios do grandioso sistema filosfico de Leibniz
convergem neste conceito. Assim, as nmadas so
espelhos do universo. E Leibniz explica a rela
o entre o perfeito e claro mundo das idias de
Deus e o limitado e obscuro mundo dos pensa-
<28) Liibnit. PhllM opW he Sohriften, (d. Grhrd). VII, 184.
(29) Penae-ar no conceito de quociente diferencial, dy/dx, que eutft
om analogia formai cora um quociente real, sem ser no entanto um verda
deiro quociente,
105
mentos do homem, por uma comparao matem
tica: assim como a hiprbole que sc estende at
o infinito pode ser representada por uma projeo
de um centro apropriado (geomtricamente deter
minado pela esfera), numa elipse, isto , sbre uma
curva finita, do mesmo modo sc pode representar
o infinito mundo das idias de Deus como que
projetado sbre o mundo finito das concepes do
homem. E na comparao do espelho, Leibniz
tem em mente um espelho curvo que diminui e
distorce o original maneira dos espelhos convexos:
da mesma forma as mnadas humanas refletem o
grande mundo de Deus. Uma terceira comparao,
muito significativa, a representao de uma forma
corporal original, por sua perspectiva superficial
que pode ser encarada de diferentes lados e dis
tncias, como o aspecto de uma cidade de dife
rentes pontos de observao. Assim cada mnada
individual representa um outro aspecto do universo.
Nestes exemplos, que fcilmente poderiam ser
multiplicados c cxplorados(30), v-se at que ponto
em Leibniz filosofia e matemtica esto entrela
adas. Infelizmente no podemos aqui entrar em
maiores detalhes, Mas no podemos omitir uma
referncia a uma descoberta, rica de conseqncias
para os tempos posteriores: trata-se da descoberta
matemtico-filosfica do clculo lgico.
Leibniz elabora um "calculus logicus, cha
mado tambm de calculus ratiocinator ou "uni-
versalis, o qual, atravs da substituio de rela
es abstratas e muito complexas por smbolos
concretos (caracteres), de grande importncia
tanto para a demonstrao como tambm para a
inveno. ste processo deve tornar possvel a
excluso de erros na soluo final e a decidir rpi-
(30) Vid. D. Uahnkt, Leibunnfl Synthese voa Universalmaihrmatlk
und ladividaalmetaphyik (HalUs a. S., 1925).
106
dameate e sem discusso todos os pontos duvi
dosos. j que nle o pensamento 6 transformado
eni algarismo dc clculo que pode scr posto
prova; deve igualmente funcionar como fio de
Ariadne" que leva a novas descobertas. Leibniz
neste ponto podia apelar para os sucessos de seu
clculo diferencial e integral, to exato do ponto
de vista aritmtico, e para sua simblica, to til
e sugestivo. Pensava em formas exemplares para
sistemas dedutivos que pudessem ser aplicados a
quaisquer objetos.
A idia leibniziana de uma Mathesis universalis
superava de muito a concepo afim de Descartes.
Enquanto o filsofo francs pensava numa cincia
universal das quantidades, Leibniz alargou ste
pensamento para aplic-lo a uma cincia universa-
lssima dc tdas as ordens, e estendeu-o s relaes
qualitativas, includa a teoria combinatria uni
versal, por le mesmo descoberta. A nova matem
tica deveria ter um carter estritamente dedutivo
e ser expressa por sinais precisos, os caracterstica
universalia. Originar-se-ia assim uma lgebra
universalis, com as duas seces capitais da logs
tica e da caracterstica combinatria, isto ,
uma matemtica simblica da quantidade e da
qualidade.
De todos ases amplos esboos e planos pouca
coisa foi elaborada em particular. Entre sses
esboos inacabados est, alm de uma Analysis
situs (no bem aquilo que hoje em dia assim
designamos, mas um projeto de clculo dos vec
tores), uma formalizao matemtica da lgica.
Quando se olham de um ponto de vista crtico
as notas de Leibniz, que ainda se conservam(31),
(31) Apontamos Aqui para o artigo He S . Rer.hfr. Leibniz'* Inter-
pfletation
pgs. 1-13.of hla logical Calculi, em: Journal of Symbol Logic, 10 (1954).
107
transparece que le, antes de tudo, elaborou dife
rentes espcies de clculos conceituais, tanto no
sentido intensivo (clculo das propriedades ou dos
predicados), como em sentido extensivo (clculo
de classes e dos conjuntos). A aplicao desse
clculo lgica da expresso, por le no omitida,
interpretada de diferentes modos pelos moder
nos: por K. Duerr como clculo clssico de expres
ses de duplo valor, por N, Reseher como Calculus
of striet implication no sentido dc C. T. Lewis,
isto , como clculo modal(32). 13 especialmente
digno de nota que em 1690 Lebniz tenha elaborado
uma apresentao de certo modo abstrato-formal
de seu clculo, como doutrina do continente c do
contedo (de continente et contento). Com isto
le nos ofereceu de certo modo uma teoria do
reticulado abstrato booleano, uns 150 anos antes
de G. Boole. admirvel que tenha sido capaz
de atingir um grau to alto de abstrao.
Com as descobertas de Leibniz, foi aberto o
caminho para o amplssimo desenvolvimento da
matemtica nos sculos seguintes.
108
No sculo xvm surge, no s o sistema do
clculo diferencial e integral, mas tambm o clculo
das variaes c o incio da teoria das equaes
diferenciais gerais e parciais, ao lado dos proble
mas dos valores de contorno, dos respectivos pro
blemas. Tambm a geometria diferencial faz consi
derveis progressos.
No sculo xix todos sses ramos da matemtica
so levados adiante e sistematizados. Como nova,
aparece a teoria das funes complexas ao lado
da teoria das funes elpticas e outras funes
superiores. Surge a geometria projetiva e, mais
tnrdc, se seguem outras mltiplas formas de geome
tria que vo muito alm da geometria eucli
diana clssica (de nosso espao intuitivo), e final
mente se transformam nas teorias das invariautes
ilativas aos mltiplos grupos de transformao em
variedades pluridimensionais. Sobretudo se desen
volve a teoria dos grupos, como uma disciplina
abstrata em diferentes campos (como, por um lado,
a teoria das equaes algbricas e por outro a das
equaes diferenciais e, por outro ainda, como j
ficou dito, a geometria, e mais tarde a fsica terica).
A teoria dos nmeros recebe novras bases e muito
amplificada, sobretudo pela introduo dos nme
ros complexos. A teoria da possibilidade de solu
o das equaes algbricas por meio de radicais,
do incio do sculo xix, se desenvolve, na segunda
metade dfete sculo e no sculo xx, numa lgebra
abstrata que contm em si a lgebra clssica como
um <aso particular.
Do ponto de vista filosfico de particular
intersse a Teoria dos conjuntos de G. Cantor,
autor que ousou abandonar a tese aristotlica cls-
ubjotiya em muitos ponto, em outro escrit* de miwit autobiogrfica.
Unm vi&So bastante breve 6 ofcfeoida por J . E . tiojmnnn em ffccker-
IIoJmannt Ccticbicbt der M atbeiuatlk (Bonn 1951), p. 237 s.).
si ca sbre a natureza potencial do infinito, reco
nhecido at entfto por todos os matemticos, com
poucas excees (como B. Bolzano); Cantor criou
a teoria dos conjuntos atualmente infinita que hoje
em dia reconhecida como base de muitos setores
da matemtica.
Dentre as doutrinas abstratas deve-se citar, final
mente, a teoria dos reticulados surgida no sculo xx,
teoria que est em estreita relao com a estrutura
formal da lgica matemtica, na qual os assim
chamados reticulados distributivos desempenham
um grande papel.
Ainda que desenvolvssemos longamente as r
pidas aluses que acabamos de fazer sbre as dife
rentes disciplinas matemticas, pecaramos grave
mente por omisso se deixssemos de considerar
um trao decisivo da matemtica dos sculos xix
e xx, isto , o surgir e o amplo desenvolvimento
da investigao dos fundamentos da matemtica.
Trata-se de um fato inteiramente nvo nas cincias
matemticas, o qual, ainda que tivesse tido alguns
precursores na matemtica antiga, s pde surgir
novamente nesse tempo.
Muito conhecida uma afirmao de um mate
mtico do sculo xviu: Allcz avant et la foi vous
viendral. Corajosa e despreocupadamente os ma
temticos continuavam no caminho da elaborao
de teorias analticas, operando com figuras que se
estendiam at ao infinito, assim como com corres
pondentes formas finitas estendidas at o infinito
(sries infinitas com soma finita). Mas, levados pelo
seu tato matemtico, deixavam de fundamentar
os mtodos de que se utilizavam. Um tal procedi
mento acrtico, e at imprudente, levou a contra
dies insolveis, como em certas sries infinitas.
110
Tomemos um exemplo conhecido: Qual a
soma da srie infinita:
l - 1 + l- l + l- l + ...f
116
F Klein demonstrou a ausncia de contradio
nessas geometrias, projetando-as sbre algumas fi
guras da geometria projetiva, e sistematizou tda
8 sua problemtica no campo abstrato da teoria
dos grupos(2 ).
Perguntamos agora: Pode-se constatar no de
curso dessa evoluo algum limite da matemtica ?
Atravs dela no foram elaboradas no terreno da
geometria algumas disciplinas inteiramente novas,
que so to matemticas como a velha geometria
euclidiana? Ser que, por tda essa evoluo e pela
transformao da geometria em teoria abstrata
dos invariantes nas variedades pluridimensionais,
no se criou um nvo degrau na cincia matemtica,
mais abstrato e de caractersticas mais formais?
Tudo isto no parece indicar limitao.
15 preciso que o concedamos. Do ponto de
vista imanente da matemtica no se reconhece
aqui nenhum limite. Mas parece que a matemtica
pura por si s no capaz de determinar com
exatido a natureza do espao, isto , do espao
em que vivemos, ou tambm daquele espao que
est nas bases da fsica e da astronomia(3). As
condiOes aqui so semelhantes s da fsica terica:
a renncia a um conhecimento em certo sentido
evidente traz consigo abundantes frutos para a
cincia como um todo.
Do ponto de vista da lgica matemtica veri
ficou-se, na realidade, uma mudana radical na
estrutura da geometria, e de forma anloga na
estrutura das outras disciplinas matemticas; isto
se poder ver de forma mais clara na mudana
sofrida pelo conceito de axiomtica.
(2) Vid. tad* a evoluo em GM, pei. IR8-213.
(3) Que ae recorde o conhecido dito de G aun (cart* * Beseel de
9-4-1830): "Dovemo* humildemente conceder que, e o nmero produto
JPP*? <* no*w eaprito, o oupao for* de nosso esprito deve ter um*
realidade * que nllo se pode atribuir a priori aa leis que o refiem".
Na Antigidade os axiomas e os postulados
(no distinguimos aqui os dois trmos que designam
os princpios bsicos) eram princpios universais,
claros, que podiam ser aceitos por todos como
verdadeiros. (Uma dvida se elevava smente
contra o quinto postulado de Euclides, como j
vimos). Na matemtica crtica do sculo xix os
axiomas se transformam em hipteses, isto ,
opinies livres que se podem admitir, ou no.
Bertrand Russel diz uma vez jocosamente que a
matemtica trata de coisas das quais ela no sabe
o que so, e consta de princpios dos quais no sc
sabe se so verdadeiros ou falsos. Exemplo disto
temos no incio da conhecida obra de David Hilbert
sbre os fundamentos da geometria (1899): Temos
em nossa mente trs diferentes sistemas de coisas.
As coisas do primeiro sistema chamamos de pon
tos . . ., as coisas do segundo sistema chamamos
de retas . . . , as coisas do terceiro sistema chama
mos de planos . . . Represcntamo-nos os pontos,
as retas e os planos com determinadas relaes
recprocas e designamos essas relaes por palavras
como 'entre', paralelo, congruente, contnuo; a
descrio exata o completa para os fins matemticos
se obtm pelos axiomas da geometria. Com estas
palavras no ficamos sabendo nem o que sejam
as "coisas das trs categorias (sistemas), nem
quais sejam determinadas relaes sbre as quais
em seguida se fazem algumas afirmaes que no
so demonstradas, de modo que no sabemos se
so verdadeiras ou no.
Por a se v que enquanto na axiomtica sim
ples, contida nos Elementos de Euclides, o
sentido dos conceitos utilizados e da verdade dos
princpios fundamentais (axiomas) certo pela evi
dncia dos mesmos, no sculo xix se abandona
inteiramente sse tipo de teoria axiomtica con-
ereta. Elaboram-se teorias puramente dedutivas
nas quais os conceitos indefinidos no mais exigem
uma interpretao determinada: pode-se at admi
tir que designam coisas inteiramente arbitrrias e
at mesmo que no significara absolutamente nada.
Os teoremas da deduzidos possuem o mesmo
carter arbitrrio e deixa-se aberta a questo da
interpretao que podem sofrer. Trata-se, por
tanto, de algo inteiramente formal-abstrato, e no
mais de um sistema concreto e constatvel(4).
No obstante, nesses tipes de sistemas formal-
dedutivos (algumas vzes se os chama sistemas
hipottico-dedutivos) o sentido dos conceitos l
gicos e das relaes, que se empregam na deduo,
considerado como claro e evidente c as re
gras lgicas empregadas na elaborao dos teore
mas so supostas como vlidas e evidentes. Nisto
temos ainda um resto da ingenuidade antiga.
Pode ser que se chegue a empregar um nvo tipo
de sistema puramente formal, no qual tambm
a deduo das propcsif s no mais se faz por
regras lgicas evidentes mas inteiramente arbi
trrias, as quais contudo so expostas explicita
mente e conseqentemente seguidas. E nesta exi
gncia de conseqncia no processo temos ainda
um elemento lgico de que no se pode absoluta
mente prescindir e que no pode ser largado arbi-
trriamcnte.
Chega-se assim ao conceito de clculo totalmente
arbitrrio, que queremos ilustrar por um exemplo
tirado de P. Lorenzen(5).
O clculo de Lorenzen se ocupa de figuras
sem significao, que podem ser compostas de fi-
(4) Vid //. D. Curry e R. Feira. Combinafcory Logic. I (Am&terdra
158), pg. 12. * Oa "objetos" de um &i*tcma tfto eTtremadamente
formal n&o silo absolutamente especificados, isto , afio perteneem deter*
minada categoria lgica (p*. 257 ).
(6) P. Lenn&n, Forinalo Logik (Berlin 1958), pg. 58.
guras elementares em nmero indefinido, os to
mos ; stes so colocados lado a lado numa linha.
Temos assim:
1. Os tomos e O (pode-se empregar tam
bm pedras brancas e pretas de damas)
2. a nica figura fundamental (K 1)
3. as duas regras fundamentais:
x - *o (K 2)
* ** (K 3)
Aqui x uma varivel para as figuras compostas
de tomos. A seta entre as figuras x e y (x * y)
significa: Quando existe a figura x, pode-se cons
truir a figura y" (isto , escrev-la ou form-la
com pedras). A figura fundamental (K 1 ) existe
desde o princpio.
Apresentamos um exemplo para ilustrar uma
deduo nesse clculo (no se trata mais de
uma rfc-duo lgica, mas de uma pro-duo de
figuras segundo as regras):
(1) Kl
(2) O K2 ;: (1)
(3) OO K2 : (2)
(4) OO K3 : (3)
(5) OO o K2 : (4)
K2: (1) significa: a regra K2 empregada em (1).
A figura O O 90 pode portanto ser deduzida
pelo clculo.
As regras do clculo so arbitrrias, as figuras
dos tomos e suas justaposies nada significam.
Pode-se considerar tudo como um jgo, como seja
o xadrez. A cada aplicao da regra corresponde
um movimento no jgo e a3 prprias regras nada
mais so que as do xadrez. (O clculo mais se
parece soluo de um problema cnxadrlstico que
ao jgo de dois adversrios).
Mais uma anotao para terminar. Tambm no
progresso geral da matemtica pura vemos que o
desenvolvimento da formalizao coincide com um
abandono do absoluto. A significao absoluta
dns conceitos fundamentais e o valor absoluto
dos aciomas c teoremas so largados. Tudo rela
tivo com referncia s convenes pelas quais
so determinadas as hipteses livremente postas e
que esto no como de tdas as teorias dedutivas.
Se nisto se quiser ver um sacrifcio, que deve
sor feito em favor do progresso na formalizao
e na abstrao, isto no prope matemtica
limites imanentes como tais. Muito ao contrrio:
parece que, pela formalizao e relativizao sem
pre maior, mais e mais se manifesta o verdadeiro
carter do pensamento matemtico.
123
Portanto, enquanto pelo mtodo dos limitee de
Cauchy, pela sua ulterior elaborao e pela maior
fundamentao da anlise na teoria exata dos n
meros irracionais, no decurso da segunda metade
do sculo xrx, foram vencidas as dificuldades ine
rentes ao conceito de grandezas infinitamente pe
quenas, comeou a tomar a dianteira a teoria
dos conjuntos infinitos atuais, enquanto se pro
curava fundamentar a anlise. Pelo fato de no
tratamento do infinito no se virem limites reais
ao pensamento matemtico, surgiram agora novos
e dificlimos problemas. verdade que a teoria
dos conjuntos de Cantor foi elaborada at se tornar
um grandioso edifcio do pensamento, chegando
por fim a paradoxos peculiares que at hoje no
foram satisfatoriamente resolvidos. Teremos a
uma situao-limite no pensamento matem
tico ?
125
de numerador e denominador a + 6 igual a um
nmero determinado n. Contem-se agora, suces
sivamente, as fraes para as quais a soma 1 ,
depois as fraes cuja soma 2 , depois as cuja
soma 3, etc. Em cada um dsses grupos a se
qncia da colocao livre; pode-se orden-las,
p. ex., segundo a grandeza das fraes. Desta forma
tdas as fraes esto numa seqncia bem deter
minada e de cada uma se pode dar o nmero in
teiro correspondente.
2. Nos nmeros algbricos Cantor parte da defi
nio dos mesmos como solues de equaes alg
bricas, mais ou menos na forma:
ao + <*i x*_1 + <ij xn~2 a*_i x +aa = 0
Aqui seja ao ^ 0 e todos os i nmeros racionais
inteiros. Agora Cantor forma a altura do poli-
nrnio que representa o lado esquerdo da equao,
isto a soma:
h = n + | ao I + Ioi I + |a* 1+ |s|-.. + |a-i| + |oJ
Smente um nmero finito de polinmios possui
uma altura determinada e cada polinmio tem
smente um nmero finito dc posies zero, por
tanto solues da equao respectiva. Escrevam-se
agora os nmeros algbricos resultantes das altu
ras 1, 2, 3 . . . um atrs do outro, como acima,
as fraes; obtemos assim o conjunto de todos
os nmeros algbricos.
De forma semelhante podem ser contados outros
nmeros, que podem ser caracterizados como somas
de determinadas sries infinitas, solues de deter
minados clculos diferenciais, o outros ainda como
Borel indica.(9)
(S) S^bre o dois arsumontoa de Cautor, dados em 1874. vid. GM ,
pg. 278 . Sbre as idflM rle Bortl vid. E. Borcl, I.eons aur la tMorio
de la croi*nce (Paria 1910), rap. V. pg. 118 *. Vid. tam bm O. Becktr,
Mathcmatiscbe ExUteni (Hulle a. 8-, 1927), pg. 161.
126
3. Ao contrrio, o assim chamado "continuo,
igto , o conjunto de todos os nmeros reais de
um segmento unitrio no mais numervel. Por
tanto, nem tdas as quantidades infinitas so da
mesma potncia. Isto foi por Cantor demonstrado
pelo seu clebre processo da diagonal, do qual
daremos um breve esboo, j que se trata de um
modo de argumentar muito importante que pode
ser aplicado a outros problemas.
O argumento cantoriano indireto e de certo
modo dialtico. Procede da seguinte forma:
Suponha-se que tdas as fraes decimais infi
nitas (ou se se preferir, tdas as fraes duais) entre
0 c 1 estejam numa seqncia numervel na ordem
escrita. Fraes decimais exatas podem ser redu
zidas a no-exatas, reduzindo o ltimo nmero de
uma unidade e acrescentando-lhe noves, por ex.,
0,49999 . . . em vez de 0,5.
A seqncia dc tdas as fraes decimais entre 0
e I representado pelo seguinte esquema:
0, ai i0i2ii3 ...
0, asidzaxg ...
0, ds1032338 ...
129
mente superada na teoria dos conjuntos de Cantor,
novamente se verifica em plano superior. A se
qncia infinita de conjuntos com potncias sem
pre crescentes ela tambm potencialmente infi
nita como um todo, embora todos os seus membros
singularmente tomados sejam conjuntos infinitos
atuais. No fundo no ela de estrutura diferente
da seqncia dos nmeros naturais pr-cantorianos.
O mesmo fato se pode constatar nos conjuntos
bem ordenados (isto , dos conjuntos linearmente
ordenados, cujas partes sempre possuem um pri-
meio elemento) e em seus tipos de ordenao, os
assim chamados nmeros ordinais transfinitos.
Tambm aqui o conceito de nmeros ordinais mxi
mos, ou melhor, o conceito dos nmeros ordinais
transfinitos ltimos, leva a uma contradio,
assim chamada antinomia dc Burali-Forti; pois
se TF fsse o ltimo nmero ordinal, poder-se-ia
formar W + 1 , isto , um nmero ordinal que se
seguiria a W.
Para evitar sses paradoxos preciso restringir-
se considerao de conjuntos que esto num con
junto determinado (mentalmente), que tomado
como conjunto fundamental. portanto neces
srio supor uma limitao na grandeza dos con
juntos tratados (limitation of size segundo B.
Russell).
Mesmo que seja possvel evitar por tais medi
das os paradoxos imediatos, no se tem contudo
nenhuma garantia que no haja outros paradoxos
ainda desconhecidos e que at agora no nos chama
ram a ateno. Temos, portanto, a, um problema
muito srio: a demonstrao da ausncia de con
tradio na teoria dos conjuntos e na matemtica
em geral, eventualmente depois de serem introdu
zida,? modificaes apropriadas nas teorias tradicio
nais e clssicas.
130
ste problema tanto mais premente que a
teoria dos conjuntos, ao tentar fundamentar-se, le
vou igualmente a paradoxos lgicos. No h dvida
que, cm seus princpios fundamentais, ela uma
disciplina muito prxima da lgica. Conjunto e
propriedade dos elementos so idias evidente
mente afins. De fato no possvel descrever um
conjunto infinito pela descrio dos elementos singu
lares que o compem; isto possvel s em conjuntos
finitos. Portanto, preciso caracterizar um con
junto infinito por uma propriedade, um conceito,
uma lei que abranja todos os seus elementos. Neste
caso o conjunto deve ser definido como a totali
dade de tdas as coisas s quais convm a proprie
dade referida, ou como o contedo daquele con
ceito hipottico.
significativo que essa definio to simples e
aparentemente to clara e at evidente leve a uma
antinomia, isto , antinomia da propriedade de
tdas as propriedades que no podem ser expressas
por si mesmas, ou falando do ponto de vista
da extenso antinomia do conjunto de todos
os conjuntos que no esto contidos como elemen
tos; trata-sc da clebre antinomia russelliana, que
foi assim formulada:
Seja w a classe das classes que no so ele
mentos de si mesmas. Qualquer que seja a classe x,
temos: x um w equivalente a esta: x no
x \ Alm disto, se se d ao o valor de w, ento
w w eqivale a w no
de notar que os conjuntos que no se con
tm a si mesmos como elemento so os con
juntos normais.(12 ) O conjunto dos nmeros natu
rais no um nmero, qualquer conjunto de pontos
no um ponto, etc. Mas existem tambm certos
(12) Por exemplo o conjunto <a comaa verdefi nfio l niua coisa verde.
H entretanto oxccfio: o conjunto de todo on conjuntos um conjunto.
131
conjuntos que parecem comportar-se de outra for
ma. O conjunto de todos os objetos nu-verdes
no um objeto verde, isto , um objeto no-verde.
E o conjunto de todos os conjuntos parece ser le
mesmo um conjunto. Contudo o conjunto para
doxal de Russel, w, 6 justamente o conjunto de
todos os conjuntos normais, e parece, portanto, um
conceito inteiramente justificado. Contudo, preci
samente com le se chega a um paradoxo quando
se pergunta se le normal ou no. De fato, se
um conjunto normal, elemento de si mesmo,
portanto anormal; se anormal, no elemento
de si mesmo, portanto, normal.
Da mesma forma se podem designar como nor
mais as propriedades que no se referem a si mes
mas, dc modo que normal significa mais ou menos
o mesmo que relativo a outro. Pergunta-se ento
se a propriedade normal, ou relativo a outro,
por sua vez normal (isto , relativa a outro), e
obtem-se a mesma contradio.
Pode-se constatar que antinomias dsse tipo no
provm da imperfeio da linguagem. Por esta
razo so chamadas antinomias lgicas (algumas
vzes sintticas), em oposio s assim chamadas
antinomias semnticas (em que entram con
ceitos lingsticos tais como significao, designa
o, ou conceitos como verdade, valor, demonstra-
bilidade, etc.). Essas antinomias podem por conse
guinte ser apresentadas sem mais uma linguagem
lgica formalizada. A importncia fundamental
disto queremos brevemente expor agora.
Na base est a considerao do assim chamado
princpio de compreenso, que assim pode ser
expresso em sinais:(13)
(1) (Ez) (x) ( x t t - H (*))
(13) ExpcaSo doa smbolos: (E*.): H um * ; (at) "pata todo x'*;
xix: *x 6 ura elemento <lo conjunto *; H(x): "* atUa* condi&o II*
132
Existe um z de modo que para todos os x vale:
x pertence exatamente ao conjunto z, quando sa
tisfaz a condifio H .
Quando se coloca em vez da condio H(x) o
seguinte x * x , isto , 4,x no pertence a si mesmo,
chega-se a uma contradio.
Neste caso temas:
(2 ) {Ez) (x) (x t z * x x)
J que (x) significa o valor universal para todo
o x , pode-se substituir o x por 2 e sc obtm a
contradio:(14)
(3 ) z e z z t z
Para eliminar esta contradio foram feitas duas
propostas(l):
1) Pode-se modificar o princpio da compreen
so, e isto de diversas maneiras.
a) Consegue-se isto por certos acrscimos
condio //(ar) que lhe so copulados por e (et).
Assim W. V. Quine (seguindo uma idia de J. v.
Neumann) faz 0 acrscimo:
(Eu) (x u)
Isto significa que se exige a existncia de um
conjunto ao qual pertence x como elemento. Em
vez da formula (3) temos ento
(3) z t z = (Eu) (x tu ) et z tz
(14) Vid. Tf. Ilfrm e N. Scols, Mathematbohe Logik, m:
Eoxyklopaodie der mathem*t9chon WUatnrutch&flen (Neue Auftagc)
vol. I. parte 1, fiuw. 1, parte 1 (Leipzig 1952, N. 12.3 (p. G9).
(16) Vld. Hcrmse-SehoU, loc. cit., n. 12.4 (pg. 60 s.).
133
,
Segue-se da que (Eu) (x tu) falso(16), isto
, no existe a quantidade u, qual pertence x;
x incapaz de ser um elemento de uma quanti
dade; por isto nfio tem sentido perguntar se le
pertence a si mesmo como elemento, ou no.
) Com E. Zermelo se pode substituir H(x) por
uma srie de princpios singulares que formam os
conjuntos, os quais so selecionados de modo que
no mais podem aparecer contradies do tipo at
agora considerado, e que contudo so suficientes
para com les elaborar a teoria clssica sbre
os conjuntos. Zermelo opera com conjuntos no
arbitrriamente grandes como sendo colees de
quaisquer coisas, mas a nica operao que, apli
cada a um conjunto determinado, pode aument-lo
grandemente: a formao do assim chamado
conjunto de potncia, isto , o conjunto das
partes; mas tambm ela no leva a conjuntos
univereaia(17).
2) O segundo mtodo para afastar as antinomias
excluir completamnte expresses tais como x tx "
e xex. Quine procede de modo a exigir ndices
de conjuntos, dc modo que se atribua aos indiv
duos, s classes de indivduos, s classes de classes
de indivduos, etc., um ndex que aumentado
de 1 em 1 . Admitem-se expresses tais como xty
smente quando o ndex de y mais alto por uma
(16) Uma equivalncia da forma p a (7 et p) 6 tf vlida quando
ambos 09 lados s4U> verJadeiros ou falsos. Aqui 6 impossvel quo ambos
sejam verdadeiros; jm>s se p verdadeiro, p 6 falso e portanto tambm
falsa a conjun&o direita. Mas se p falso, p verdadeiro; ora, para
que o lado direito tambm seja falso, e assim tda a equivalncia sn torne
verdadeira, preciso que o segundo membro da conjunAo q neja faUo.
Isto quer dizer: p e a sSo ambos falsos.
(17) Vld. E. Zermrlo, Ueber Grenxxahlen und Mengenbeieiche, em:
Fundamenta Mathcmaticac XVI (1930), pgs. 2M7.
134
unidade do que x. Desta forma as antinomias
desaparecem, tanto quanto diz respeito s antino
mias lgicas hoje conhecidas.
Oque significam essas consideraes para ns
quee stamos ocupados com a questo dos limites
do esnsamento matemtico?
pcm dvida surpreendente, seno assustador,
que seja possvel enredar-se cm contradies desta
espcie, por uma argumentao levada a efeito
sem falhas. Quem l as desesperadoras palavras
de G. Freges no final de sua importante obra "Leis
fundamentais da aritmtica, onde pela primeira
vez torna pblico o paradoxo russelliano (1902)
B. Russcl lhe comunicara por carta a questo
ainda hoje pode sentir o abalo provocado por esta
descoberta de uma singularidade no imaginada
nas funes lgicas. O historiador lembrar-se-
da descoberta das razes irracionais, em figuras
geomtricas bem conhecidas, pelos pitagricos do
sculo V antes de Cristo, a qual desencadeou uma
"crise bsica semelhante.
Nem os antigos, nem os modernos matemticos
e filsofos recuaram diante dessa crtica situao.
Na Antigidade surgiu, como j mencionamos, a
teoria das razes incomensurveis por obra dc
Eudoxo e Teeteto, e em nosso tempo foi criada
a investigao exata dos fundamentos da matem
tica, para, por meio dela, demonstrar a ausncia
de contradio de uma grande parte da matem
tica tradicional. Com isto o pensamento matem
tico entrou le mesmo numa crise insupervel, ou
conseguiu sair dela? Talvez se exagere quando
se fala de uma crise, mas no se tomou visvel
uma espcie de limite ?
inegvel que com a teoria dos conjuntos no
se deve operar to simplesmente como at agora
sc fz. No se pode formar conjuntos arbitrria-
235
mente grandes, tais como os que tudo abrangem ;
preciso precaver-se contra conceitos reflexivos,
chamados impredicativos. Russel estabeleceu
seu clebre princpio do crculo vicioso: O que
involve todos os membros dc uma totalidade no
pode ser membro dessa totalidade. Mas, esta
limitao da formao do conjunto (do ponto de
vista lgico: da formao dos conceitos) inclui uma
limitao do prprio pensamento matemtico ? A
auto-correo do pensamento no pertence ao pr
prio pensamento ? No se trata aqui de um refina
mento do pensamento lgico-matemtico produ
zido pela reflexo, c de maneira alguma de um
fracasso ?
verdade que o pensamento levado pelas
antinomias lgico-matemticas auto-reflexo e
ao auto-exame, mas isto no constitui um mo
mento estranho ou hostil ao pensamento, pois per
tence sua prpria natureza, desde o incio. De
um ponto de vista universal e filosfico, no se
pode falar aqui de uma catstrofe, de uma runa
do pensamento. Mas a questo surge: Pelos meios
com que se procurou obviar o aparecimento de
antinomias foi afastado qualquer perigo de anti
nomias ? No seria possvel como j aponta
mos que um dia fssem descobertas antinomias
das quais no temos ainda a menor idia, contra
as quais o princpio do crculo vicioso nada adian
taria? Mais ainda: a aplicao estrita e conse
qente ds te princpio no prejudicar o alcance
dos argumentos matemticos ? No foram as cou-
cluses, proibidas agora, passos importantes, at
mesmo imprescindveis, para a construo do gigan
tesco edifcio da moderna matemtica ?
Essas perguntas tcnicas se mostraram muito
mais importantes que as consideraes filosfico-
universais. Nos ltimos decnios se lutou valen
temente para dar-lhes uma resposta satisfatria.
Representativo sobretudo neste campo foi David
Hilbcrt. Conseguiu demonstrar a ausncia de con
tradio na aritmtica elementar (clculo por meio
de nmeros), na geometria elementar c na assim
chamada aritmtica recursiva de Th. Skolem(lS).
G. Gentzen mostrou amplamente a no-contradio
da teoria dos nmeros(19) e P. Lorenzen a da
anlise, numa forma que pouco se afasta da cls-
sica(20).
No aqui o lugar para entrarmos nos porme
nores dos mtodos dessas provas de ausncia de
contradio. S queremos dizer que para sse fim
Hilbert descobriu a assim chamada considerao
metamatemtica. Quando se formaliza total
mente um argumento matemtico, e mais ainda
tda uma teoria matemtica, por meio do clculo
lgico, e se o representa inteiro numa forma pura
mente simblica, sem emprgo de palavras, na se
qncia dos smbolos e na maneira de passar de
uma srie de sinais que traduzem expresses mate
mticas para outras (tal como o exige a marcha
da teoria), se obtm uma estrutura e um processo
que por sua vez pode ser investigado matemtica-
mente. Esta investigao por Hilbcrt chamada
metamatemtica. Nessa maneira de considerar
se abstrai inteiramente do fato do que os smbolos
tm uma significao; so concebidos simples
mente como figuras vazias de sentido, tal como
(18) Uma AproMTttftllo completa vide em D. Hilberl-P. Brrnay*
Grundlagen der Mathematik, 1 (Berlim 1634); II (Berlim 1939).
(19) "Dic Widcrapruchfrclheit der reineo Zahleotheorie", em: Mathc-
matioche Aimalr.n, 112 (1936), pfcn. 493-505.
(20) "Die Widerspruch&reiheit der klassinchcn Analyais", em; Mathe-
maiiche Zoitscbrift 54 (1951), pg. 1 8?. Vd. tambm "Kootruktive
Begrucndung der M athem atik, ib. 53 (1950), pdg. 162 fes. Uma expo-
eLi; m.aitmida de tda a matemtica e que foi demonstrada como ratando
livr do contradies no Uvro: Einfuehrung n die operativo Logik o Matbe-
matik (Berlim-Gocttingcn-Hcidclberg 1955)
so utilizadas num clculT jocoso" (semelhante
ao de von Lorenzen, dc que j falamos, e sbre
o qual ainda voltaremos) ou no xadrez. A idia
fundamental da demonstrao da ausncia de
contradio consiste em que a prpria idia de
contradio representada simblicamente, seja
pela equao absurda 1 = 2 , e mostra que esta
figura absurda, constante das trs figuras elemen
tares (tomos) 1 , = , 2 , no pode ser construda
no clculo, isto , no jgo das figuras, segundo as
regras do clculo.
Pense-se que tambm no xadrez h certas joga
das finais nas quais no possvel o xeque-mate,
isto , em que impossvel construir uma posio
de xeque-mate quando, por exemplo, no fim do
jgo se enfrentam smente os dois reis que sobra
ram.
Uma ilustrao muito simples de todo o pro
cesso nos oferecida pelo clculo de Lorenzen,
acima citado. Nesse clculo inteiramente jocoso,
sem qualquer outra significao, havia smente
dois tomos ( e O) e uma nica figura funda
mental ( ) e as duas regras bsicas:
x >xo e x -> x
Agora, fcil imaginar que uma figura neste
clculo exatamente deduzi vel (construvel), quando
o nmero dos tomos negros mpar e se encontram
tomos brancos smente direita do tomo negro
central. Tdas as figuras que no satisfazem essas
duas exigncias no podem ser construdas, so
bretudo a figura O , pois ela contm um
nmero par dc tomos pretos. Se portanto o
clculo pudesse ser interpretado de forma que a
figura O simbolizasse a idia de contradio,
(como 1 = 2 ), no se poderia construir no clculo
138
uma contradio, e estaria demonstrada a ausncia
de contradio nle(2 1 ).
-nos impossvel apresentar aqui um argumento
completo sbre a ausncia de contradio; bastem
sses indcios.
At o ponto a que atingem essas demonstraes,
as partes da matemtica que caem sob les apare
cem como absolutamente livres de contradio e
certssimos. Infelizmente, a esperana de Hilbert
dc poder, por tais mtodos finitos metamatcmticos,
demonstrar a total ausncia de contradio na
matemtica se revelaram como enganadores. Sur
giram novas dificuldades fundamentais, no j no
clculo elementar, na teoria recursiva dos nmeroso
e na geometria elementar, mas na teoria geral dos
nmeros e principalmente na anlise e na teoria
dos conjuntos; so dificuldades de carter inteira
mente nvo.
Se ste no fsse o caso, e se os mtodos metama
temticos finitos fssem suficientemente amplos,
no mais se poderia falar de limites do pensamento
matemtico, colocados pelas antinomias da lgica
e da teoria dos conjuntos. Mas a situao no
to simples assim, como veremos a seguir.
4. O intuicionismo
A seqncia lgica de nossa exposio exigiria
que agora expusssemos as novas dificuldades que
se levantaram contra a universalizao dos primi
tivos argumentos de Hilbert, para demonstrar a
(21) Vid. L o rtnzrn, Formale Logik, pi*. 95) Sbre a prim eira
tentativa de Hilbert par estabelecer a prova de aunfncia dc contradio
(em wu estudo "Sdbre o* fundamento da lgica e da matemtica', no
congrrrao de matemAtica de Heldelbcrg em 194) vid. GM, piig. 360-370;
alm mato OM p Ar*. 370-383. Sbre Gontern: GM 387-392; sabre Lo-
TOUem GM 393*401.
139
ausncia de contradies na matemtica. Mas
adiantamo-nos assim ao desenvolvimento hist
rico; no primeiro decnio do sculo xx entra em
jgo uma nova teoria, que at agora no expuse
mos, o assim chamado intuicionismo, ou, mais
exatamente, o neo-intuicionismo dc L. E. J.
Brouwer (desde 1907)(22), do qual sc originou um
nvo ataque contra a matemtica tradicional, que
durante o sculo xix parecia ter sido inteiramente
fundamentada; foi para obviar sses novos ataques
que Hilbert desenvolveu amplamente sua teoria.
O ponto de partida fundamental de Brouwer
a dvida sbre o princpio lgico da excluso
do terceiro, enquanto se refere a conjuntos infi
nitos. Quando sabemos de um conjunto M que
nem todos os seus elementos possuem uma deter
minada propriedade A, conclumos cm geral que
pelo menos existe um elemento dc M que no
possui a propriedade A. Se o conjunto M finito,
embora talvez bem grande, a verdade dessa con
cluso no pode ser posta em dvida; mas muito
diferente, na opinio dc Brouwers quando o con
junto M contm elementos em nmero ilimitado,
p. ex., quando se trata do conjunto dos nmeros
paras acima de 2 (4, 6 , 8 ...).
Tomamos sse conjunto como exemplo e esco
lhemos como propriedade A o fato que, aparente
mente, cada nmero par acima de 2 pode ser repre
sentado como soma de dois diferentes nmeros
primos (algumas vzes at de diversos modos).
Isto de fato se verifica nos primeiros nmeros
pares:
4= 1 + 3 , 6=1 + 5, 8 -3 + 5 , 1 0 = 3 + 7 , 12 = 5+7,
14 = 3 + 11 . . .
(22) Sbre o intulcioniamo vid. a* fontes em GM pg. 327-351 (L.
Kroneder J?. Borel L . E . J . Brouwer A . Kcimogoroff H.
140
0 matemtico Christian Goldbach (1690-1764)
opinava que esta propriedade A valia para todo
nmero par, mas nem le, nem qualquer outro foi
capaz (at agora) de provar ou refutar esta afir
mao. (Por meras experincias no se chega a
prov-lo, pois a seqncia dos nmeros pares
ilimitada). Segundo o princpio lgico mencionado
Tertium non datur, poder-se-ia propor o se
guinte dilema disjuntivo: "Ou todos os nmeros
pares acima de 2 podem ser representados como
soma de dois nmeros primos diferentes, ou h
pelo menos uma exceo a esta regra.
Brouwcr nega o valor da concluso, pois no
possvel percorrer todos os elementos da quanti
dade (4, 6 , 8, ...) a fim de encontrar o elemento
que faz exceo, nem sc conhece construo alguma
que permita determinar uma exceo; portanto
estas duas expresses: Nem todos os elementos
de M tm a propriedade A " e existe pelo menos
um elemento que no tem a propriedade^, no
so equivalentes.
Partindo dsse pensamento fundamental, Brou-
wer c sua escola elaboraram uma ampla reestru
turao da matemtica, em que se renuncia ao
tertium non datur e tdas as demonstraes
so levadas a efeito dc modo construtivo. (A partir
de 1944 G. F. C. Griss comeou a estabelecer um
sistema matemtico que dispensa totalmente a nega
o; mas ainda aqui nem tdas as dificuldades fo
ram vencidas). A matemtica intuicionista
muito mais complicada que a tradicional. Embora
partes importantes da antiga matemtica pudessem
ser salvas, incluindo necessariamente aquilo que
era imprescindvel para a fsica terica, houve con
tudo perdas dolorosas, e as demonstraes se tornam
muito mais difceis; igualmente muitos conceitos
tradicionais, tais como convergncia e divergncia
141
nas sries infinitas, etc., devem ser divididos em
diversos sub-conceitos, e assim por diante.
No podemos agora expor essas coisas pormeno
rizadam ente^).
Mais uma vez perguntamos: Encontramos neste
ponto um limite essencial do pensamento matem
tico que no pode ser superado ? A velha matem
tica clssica perde qualquer significao pelo fato
de no poder ser totalmente fundamentada dc
forma intuicionista ?
Hilbert com suas teorias metamatemticas se
ops tentativa de golpe (como dizia) e afir
mava com veemncia, apoiado em suas teorias,
que com o tertium non datur se podia operar
sem contradio, mesmo em conjuntos infinitos, e
com isto estava demonstrada cientificamente a
matemtica clssica (isto , demonstrada que est
livre de contradio).
O pensamento fundamental do mtodo empre
gado por Hilbert que, em vez da afirmao exis-
tncial existe um elemento de A que no tem
a propriedade A , se devia exprimir nicamente
a irrefutabilidade da afirmao: irrefutvel que
existe um elemento de M . . . Esta afirmao de
irrefutabilidade pode ser identificada com a expres
so universal: Nem todos os elementos de M
tm a propriedade A ". (Nossa exposio simpli
ficada; o argumento muito mais complexo na
realidade)(24).
Desta forma se consegue elaborar um clculo
fictcio livre de contradio, que corresponde
(23) Vld. A Hnytin, IntuitionLam. An Introduetion (Amjiterdam
19&6), onde podo encontrar ampla literatura. O prprio Ileyting ela
borou um clculo lgico intuicionista, ma* que nJlo desempenha o papel
fundamental na matemtica intuicionista, como na teoria da demons
trao do Hilbert.
(24) Vid. p. xemplo, a exposio de L w n u n , Formale Logik, pg.
.
100 110 88 .
142
inteiramente ao clculo clssico. No se pode,
portanto, afirmar que a crtica intuicionista exerceu
um efeito destrutivo na lgica clssica.
Mas preciso ter em mente que h uma dis
tino entre lgica efectiva e fictcia" e que
no se pode atribuir a mesma significaso real
aos resultados da segunda como aos da primeira.
Atente-se, entretanto, ao seguinte fato, apon
tado j por Hilbert:
Quando por um clculo, demonstradamente livre
de contradies, embora fictcio, se conseguiu um
resultado numrico determinado (p. ex., numa teo
ria da fsica, ou da astronomia), ste resultado tem
valor real. No lhe pode ser oposto um resul
tado numericamente diferente referente ao mesmo
problema, sem que surja uma contradio no siste
ma, e tal coisa est desde o incio excluda por
demonstraes anteriores. Assim, conforme Hilbert,
uma considerao matemtica fictcia pode ser
empregada na fsica terica e nas outras cincias
matemticas, prticamente com os mesmos resul
tados de uma considerao efetiva, contanto que
esteja provada a ausncia dc contradio.
Como resultado dessas consideraes, pode-se
afirmar que a idia intuicionista no tem como
conseqncia uma limitao, mas antes um refina
mento do pensamento matemtico.
5. Computcibilidade e decisibilidade
Depois dsse interldio (no sc trata prpria-
mente de um interldio, mas do processo real
seguido pela pesquisa dos fundamentos da matem
tica), chegamos dificuldade que pode ser consi
derada a mais sria que o pensamento matemtico
encontrou no decorrer de sua longa histria.
143
Esta dificuldade diz respeito precisamente ao
mtodo axiomtico, que segundo Hilbert essencial
matemtica e cujo desenvolvimento milenar a
partir de Euclides j delineamos. Trata-se do uma
idia que comea com o clebre estudo dc K. Goedel
Sbre princpios formalmente indecisveis dos
Principia Mathematica e sistemas afins"(25). O
autor mostra a que no sistema lgico-matemtico
de Russel e Whitehead, apresentado nos Prin
cipia Mathematica(26), e em todos os sistemas
afins capazes de se exprimirem dc maneira satisfa
tria para fundamentar pelo menos a aritmtica
do ponto de vista lgico, h princpios no decis-
veis que no obstante so verdadeiros'.
Isto significa que o sistema clssico dos Prin
cipia Mathematica'' incompleto. Alm disto
constatamos que no se trata de um caso fortuito
do sistema de Russel-Whitehead, que poderia ser
corrigido, mas que cada sistema dste tipo cls
sico necessriamente incompleto. Mas h algo
mais importante ainda e que da maior significao
para a teoria da demonstrao: aos princpios
indecisveis nos sistemas clssicos, isto , as pro
posies que no foram demonstradas, nem refu
tadas, pertence a prpria afirmao de que o sistema
livre de contradies. Portanto, a ausncia de
contradio num tal sistema no pode ser demons
trada pelos meios lgicos oferecidos pelo prprio
sistema.
Com isto Goedel descobrira a razo mais pro
funda por que os esforos de Hilbert, em demonstrar
como livre de contradio a teoria completa dos
nmeros, no tiveram xito. A razo se encontrava
(25) MonuUhefte nor Mathemntik und Fbysik 38 (1031), pica
175-198.
(26) A . .V. Wkiuhtad > B. Ruitrl, Principio Mnthemmicu (Cerobride
810-13*. 1925-27).
144
no princpio fundamental de Hilbert que consistia
em elaborar suo Metamatemtica de forma finita,
no sentido elementar da palavra. Admitia smente
consideraes metamatemticas comprovadamcnte
finitas e permitia smente o uso da tradicional
induo completa, tal como se procede na aritm
tica elementar. Smente quando Gentzen (1936)
ultrapassou sses limites e utilizou uma forma
de induo, resp. recurso, que utilizava a se
qncia dos nmeros ordinais transfinitos de Cantor
(a segunda classe de nmeros) at o assim chamado
primeiro nmero epsilon, se conseguiu a demons
trao da ausncia de contradio da teoria dos
nmeros inteiros puros.
Com o mtodo de Gentzen, por le introduzido
com tanta prudncia e provado to fartamente,
foi superado o quadro estritamente finito no sen
tido do princpio fundamental primitivo dc Hilbert.
Foi superado igualmente o quadro lgico dos Prin
cipia Mathematica". Pois, embora Russel e Whi-
tehead no se importassem com as mximas estri
tamente finitas de Hilbert e nem sequer com as
exigncias intuicionistas menos estritas, a estru
tura de sua teoria dos tipos, que levara a evitar
as antinomias da lgica da teoria dos conjuntos,
no deixava de ser finita. Dc fato, o nmero dos
graus lgicos sobrepostos (tipos" e ordens) sem
pre permanece finito nessa teoria, embora no se
lhes assinale um limite firme. J em 1931 Goedel
apontara para o fato que le poderia demonstrar
os princpios verdadeiros que dentro dos Prin
cipia Mathematica eram ditos indecisos, se se
apelasse para um nmero transfinito dc graus l
gicos. Mas no levou ento adiante sse pensa
mento.
Com isto ficou evidenciada a grande significao
do trabalho de Goedel. Tentaremos agora expor
145
a marcha de seu pensamento sem recorrer a todos
os detalhes tcnicos por le empregados.
146
Pode-se agora perguntar se um nmero deter
minado n tem a propriedade W Se tal fr o
caso, exprimiremos ste fato pela sentena: "WJyi)
verdadeiro; se no fr o caso diremos: W Jin)
falso", ou: non-TF,(n) verdadeiro.
Consideremos agora o segundo caso, supondo
que p . Isto quer dizer que consideramos o
caso em que non-FT(n) verdadeiro. Neste caso
diremos n 6 richardiano. Esta propriedade de
ser richardiano , evidentemente, uma proprie
dade numeral, isto , uma propriedade expressa
ou definida por uma palavra da lngua alem e
alguns sinais matemticos. Portanto, no catlogo
acima apresentado das propriedades dos nmeros
(a lista dos TF), aquela propriedade richardiana
deveria aparecer e ocupar um lugar bem definido.
Seja q a sua letra naquela lista. Ento temos:
(2 ) ir/n ) aequivalet non-ir,()
Coloquemos agora nessa equivalncia: n = q, o
que nos permitido, pois n 6 um nmero inteira
mente arbitrrio, e chegamos a uma contradio:
(3) W,{q) aequivalet non-TF/)
o que uma evidente contradio.
A soluo desta antinomia se consegue pela
clara distino entre linguagem primitiva (lingua
gem de objeto) e meta-linguagem, isto , a linguagem
pela qual nos expressamos a respeito da linguagem
primitiva. (A 'linguagem de objeto o objeto
dessa meta-linguagem). Como exemplo temos o
seguinte: numa gramtica latina o latim objeto
para o estudante alemo, enquanto que o alemo
a meta-linguagem, pcis naquele livro se fala
sbre o latim em lngua alem.
147
Apliquemos esta distino nossa antinomia e
veremos que a propriedade richardiana no per
tence linguagem primitiva, mas meta-linguagem;
ela designa uma propriedade gramatical da ex
presso W relacionada com n, isto , o fato que
na expresso W o Index p distinto da varivel n.
Temos a evidentemente uma expresso meta-lin-
gstica. Portanto, o predicado richardiano no
pertence srie dos W, isto , a propriedades
numerais designadas por esta letra, e assim no
pode ser identificado com W t. Descobriu-se assim
a falha na concluso da marcha do pensamento
de Richard.
Goedel se utilizou do pensamento de Richard
no para chegar a um nvo paradoxo, mas para,
por meio de uma modificao e uma precisao do
argumento, chegar a algo de nvo, isto , a demons
trar princpios formalmente indecisos nos Principia
Mathematica.
A exposio acima feita da antinomia de Richard
foi apresentada 11a lngua corrente e imprecisa, e
pareceu que a antinomia era smente aparente,
proveniente do emprgo promscuo da linguagem
primitiva e da meta-linguagem. Pela tentativa de
reconstruir a marcha do pensamento numa lin
guagem precisa c formalizada, pode se evitar a
chegar a concluses enganadoras e falsas.
Imaginemos agora um sistema formal (S), e por
meio dle consideremos as propriedades dos n
meros naturais, isto , elaboremos em S formas
de expresses (propositional functions ou ma-
triccs) com uma nica varivel, cujos valres so
nmeros naturais. Mais uma vez as apresentamos
numa seqncia:
(4) Wi, W, Ws . . . Wn
143
Estamos agora diante da tarefa de exprimir,
com exatido, a afirmao que n 6 richardiano,
isto :
(5) n no tem a propriedade expressa por TF.
Como antes, podemos exprimir a afirmao por
TF(n) no verdadeiro, ou por non-TF(n)
verdadeiro. Mas o conceito verdadeiro oferece
grande dificuldades no s na filosofia geral,
mas tambm na lgica matemtica, sobretudo
quando se tenta precis-lo, como mostrou A.
Tarski.
Para nosso objetivo, contudo, podemos substi
tuir o conceito "verdadeiro pelo conceito muito
mais fcil de precisar, que demonstrvel. E
ste o caminho que Goedel seguiu.
Para ns ste conceito significa "formalmente
demonstrvel no sistema formalizado S : vemos
ento que nesse sentido so demonstrveis justa
mente os axiomas e os teoremas de S. Poder-se-ia
pensar que no conceito de demonstrabilidade est
contido o difcil conceito de capacidade ou possi
bilidade. Mas no. Uma propriedade demons
trvel quando existe uma corrente (algumas vzes
ramificada) de afirmaes dedutivas ligadas entre
si, que comea com axiomas do sistema S e acaba
com a propriedade demonstrada. Portanto, para
a definio de demonstrvel necessrio, alm
dc um conceito preciso de deduo em S o
qual evidentemente est dado num sistema forma
lizado como S o quantificador existencial h
(pelo menos) um . . . bem conhecido da lgica
matemtica (no clculo dos predicados de primeiro
grau).
Estamos agora em condies de precisar a sen
tena (5) como se segue:
(6) A afirmao TF(n) no demonstrvel em S".
At aqui tudo bem. Agora, para seguir adiante
na marcha do pensamento da antinomia de Richard,
precisamos identificar a propriedade descrita em (6)
por n com uma propriedade Wrt. Aqui deparamos
com uma nova dificuldade c, parece, decisiva.
Estamos agora no mesmo ponto em que a con
cluso errada do paradoxo de Richard foi desmas
carada pela clara distino entre linguagem primi
tiva c meta-linguagem. De fato na formulao (6)
aparecem os trmos afirmao (sentencc) e de-
monstrvel. Ora esses so evidentemente expres
ses gramaticais que pertencem sintaxe
daquelas lnguas em que est formulado ir(n),
isto , sintaxe da lngua do sistema formalizado S.
Portanto no pertencem linguagem primitiva
do sistema S mas meta-linguagem, na qual se
fala sbre ste sistema S (sua sintaxe e portanto
sua gramtica).
Considerando ste fato, parece primeira vista
excludo que a propriedade do nmero n expresso
em (6 ) pessa ser identificada, nem sequer do ponto
de vista da extenso, com um Hrt, ccmo exigiria
a marcha do pensamento do argumento de Richard
que estamos seguindo. Esta identificao era preci
samente onde o argumento de Richard levava a
uma concluso errada. Como podemos chegar a
uma concluso correta e evitar a contradio ?
Coedel conseguiu realizar esta proeza pelo se
guinte p&sso genial, a que se deu o nome de aritme-
tizao da metamatemtica. Parte de que, consi
derada exteriormente, uma frmula lgico-matem-
tica uma seqncia finita de sinais para cons
tantes, variveis e nmeros lgicos, e que ura
argumento matemtico total (uma demonstrao
ou tda uma teoria) uma seqncia finita de
seqncias finitas de sinais. Goedel numerou todos
os sinais (o que se pode fazer de diferentes maneiras),
e conseguiu assim uma correspondncia biunfvoca
entre expresses lgico-matemticas e seqncias
finitas. E j que possvel ordenar de diferentes
modos seqncias finitas de nmeros e fazer corres
ponder biunlvocamente a outras, argumentos intei
ros podem ser substitudos por nmeros.
Um mtodo muito simples e muito elegante da
aritmetizao (distinta da apresentada primiti
vamente por Goedel) nos oferecido por W. V.
Quinc(29). Segundo le o clculo lgico-aritmtico,
suficiente para uma teoria de nmeros puros, pode
ser realizado pelos seguintes sinais:
Sinais lgicos: ~ (no), & (e), () (parnteses);
Sinais aritmticos: = (igual a), + (mais), . (v
zes), x (varivel), ' (sucessivo de ...) ;
(x) . . . significa: para todos os x .. .;
x, x', x", x'" . . . designam variveis em nmero
indefinido;
(')> (")> ('") s&o sinais para os nmeros 1 ,
2, 3, . . .
Os outros conceitos lgicos geralmente empre
gados podem, como se sabe, ser reduzidos fcil-
mente aos acima mencionados, por intermdio de
uma definio(30).
So portanto precisos smente nove sinais, e
stes podem ser numerados pelas nove cifras do
sistema numeral decimal:
~ & ( ) = + . x '
1 2 3 4 5 6 7 8 9
(29) W. V. Quine, Methode of Logic (New York 1950), pg. 215 .
(30) Deine-w assim "p m | ( o u tambm) q" por meio de
~ ~ p & ~ q). "p implicat q" por meio de ~ (p A q). "p o*jui-
on( q" por mio d (p impl. q) A (q impl. p). (Ex) P (*) Ceiite um *
oom a propriedade P") por ~ (x) ~ P (x).
151
Por conseguinte fcil cifrar qualquer ex
presso escrita por sinais originais: por exemplo,
a frmula expressa pela sentena para todo x,
x igual a x, torna-se ento:
(ar) (x = x), o que cifrado: 38438584
Tda uma srie de expresses pode ser cifrada
por um nico nmero, ordenando as cifras de cada
expresso pela interposio de 0. ste processo
pode tambm ser repetido quando se quiser cifrar
diversos grupos de expresses por meio de um s<5
nmero; neste caso se interpem 00, e assim por
diante(31).
Sbre a base dessa cifrao, ou aritmetizao,
a cada classe (ou a cada relao de expresses)
corresponde biunlvoeamente uma classe (ou rela
o de nmeros), que em muitos casos pode ser
definida simplesmente do ponto de vista aritm
tico, e pode assim ser expressa no sistema S.
De fato, Goedel conseguiu exprimir por meio
de conceitos aritmticos conceitos meta-lingusticos
tais como expresso, demonstrvel, e outras.
Com isto se consegue formulaes meta-lingustieas
como (g), com expresses tiradas da teoria dos n
meros que se adapta ao sistema S. Temos assim
expresses meta-lingusticas substitudas por ex
presses primitivo-lingustieas, ou, pelo menos, a
cada sentena meta-lingustica temos um corres
pondente aritmtico, sendo que ste ltimo uma
imagem fiel do primeiro.
Nosso pensamento pode agora ser levado adiante:
31) O mtodo de Quine na forma descrita est ligado a um nmero
mximo 9. Ma pwelvol emprogar tambm um outro sistema de n-
meroe, como o xistema JMxaceinisil doa babilunioe que tem 59 cifras. Ma
<S poealvel tambm clwgar a bons reultado* com um sistema dual, isto 6
com & duaa cifras 0 o 1. Vid. Lorenun Formate Logik, pg. 97 s.
Seja I (n, p) o nmero goedeliano da expresso
WJp) e T a classe dos nmeros goedelianos dos
teoremas do sistema S. A caracterizao da pro-
priedade(6), isto , o anlogo da propriedade richar-
diana, pode agora ser formulada da seguinte ma
neira: $(n, n) no um elemento da classe T,
em sinais conhecidos:
(7 ) (, n) non t T
J que <f>(n, n) um nmero e T uma classe
de nmeros, trata-se de uma expresso aritmtica
em S. Existe portanto uma expresso TFt em S
que caracteriza a propriedade (7).
Introduzamos finalmente a letra q em W t; re
sulta ento o anlogo da antinomia richardiana
que produziu a expresso crtica H%(<?)- Qual
agora o sentido propriamente intuitivo da ex
presso? Afirma que q possui a propriedade ex
pressa por W q. Ora, W t uma expresso formali
zada para (6) e portanto significa:
(8) $(<1, q) non t T
por causa da equivalncia de (c) e (7):
(9) TFf(v) indemonstrvel.
Descobrimos assim o sentido intuitivo de IF/):
esta expresso significa que ela indemonstrvel.
Isto est em vidente analogia com a pnradoxia
do mentiroso (pscvdomenos) dos antigos. Esta
sentena paradoxal em sua forma refinada, j
antiga, consta da nica palavra grega pseudomui
digo (agora) coisa falsa, (freqentemente tradu
zida no muito exatamente, por eu minto),
uma sentena que afirma a falsidade propriamente
dita. Portanto, sc verdadeira falsa, e vice-
versa. A diferena com a sentena de Goedel
153
que nesta, em lugar do conceito vago de verdade,
est o conceito mais estrito e preciso de indemons-
trabilidade. Trata-se de fato da demonstrabilidade
pelos meios lgicos de S. O conceito verdadeiro
no pode ser fcilmente definido com preciso.
Sucede assim que Goedel pode dizer que a expres
so TF,() indemonstrvel e, apesar disto num
sentido exterior ao sistema S verdadeiro,
porque no demonstrvel no sistema S.
Resta agora mostrar que TF/g) fica indecisvcl
no sistema S. De fato, se esta sentena fsse
demonstrvel, estaria certa; isto , no seria de
monstrvel (pois afirma sua prpria indemonstra-
bilidade). Se sua negao, isto , non-IF(), fsse
demonstrvel, esta negao tambm estaria certa,
o que quer dizer que a sentena seria refutvel
e, portanto, no seria certa. Mas j que por si
mesma exprime sua indemonstrabilidade, esta no
seria certa; seria portanto demonstrvel e, com
isso, no-refutvel.
A marcha dste pensamento evoca fortemente
O mentiroso, mas no leva a uma contradio.
E absurdo que uma sentena nem seja verdadeira
nem falsa, mas no absurdo que uma sentena
no seja demonstrvel, nem refutvel trata-se
de uma sentena indecisvel dentro do sistema S.
Esquematizamos muito a argumentao de Goe
del, sem exp-la em tdas as suas mincias, o que
nos levaria muito longe. O mais importante
apreciar agora uma conseqncia das considera
es de Goedel, e que muito importante para a
estrutura lgica de todo o mtodo axiomtico.
Segue-se do argumento dc Goedel que a ausncia
de contradio no sistema formalizado 5 no pode
154
ser demonstrada por meio dos mtodos lgicos que
lhe so prprios, mas que, tambm no pode, a
mesma, scr refutada, ficando tudo indecisvel(32).
Na demonstrao da indecisibilidade de Wt{q)
no sistema S supe-se a ausncia de contradio
no prprio sistema. Portanto o resultado de Goedel
pode assim ser formulado:
(G) Se S livre de contradio, ento TF/)
indeeisvcl em S.
Agora, a afirmao de que S livre de contra
dio pode ser formulada em S. Designamos
isto por WF. Por outro lado a afirmao Wt(q)
indemonstrvel em S pode ser formulada, pois
ela nada mais que a expresso W/q). A demons
trao de Goedel pode ser reproduzida em S e
obtm-se a frmula demonstrvel em S:
WF implicat W,(q)
((?') a rplica formalizada de (G). Suposto
agora que em S se possa demonstrar que S livre
de contradio, WF deve ser demonstrvel em S;
resulta ento da implicao ((?') segundo o modus
ponens que W /q) verdadeiro, e de fato TF,()
est demonstrado pela considerao acima. Ora,
isto contradiz o principal resultado de Goedel que
IF /) indemonstrvel. Portanto, a admisso que
existe uma demonstrao para a ausncia de con
tradio em S, fornecida pelo prprio sistema 5,
leva a uma contradio, e, portanto, falsa.
ste resultado paradoxal, embora corretamente
deduzido e no contraditrio (no antinmico),
parecia abalar a teoria da demonstrao de Hilbert
(32) Vid. a xpoMSo de IF. StefpmuUer, Da* W&hrheitsproblem und
die Iden der 8em antik (Viena 1957) p. 208 a.
155
(pelo menos em sua forma original) e, alm disso,
a validade de todo o mtodo axiomtico. Acres
ceram ainda outros resultados dc outros estudiosos,
p. ex., o de Th. Skolem, o qual mostrou que
nenhum sistema aritmtico de axiomas categ
rico, o que quer dizer que, ao lado dos nmeros
naturais, existem ainda outros objetos matemticos,
satisfazendo o sistema.
Contudo, pesquisas ulteriores de A. Tarski e
Huo Wang deixam aparecer sses resultados numa
luz mais favorvel. Tarski ops proposio nega
tiva de Goedel a positiva(33).: Quando num siste
ma 8 se constri uma afirmao P, indecisvel
neste sistema, ento na metateoria de S se pode
decidir, pressupondo o conceito de afirmao ver
dadeira, se a proposio P verdadeira ou no;
portanto na metateoria de *S possvel encontrar
uma deciso.
Alm disto Ilao Wang desenvolveu um sistema
lgico-matemtico muito amp]o(34), que apre
senta a unio de uma srie infinita de sistemas
sempre mais ricos. Para o sistema com o ndex
a (transfinito) sc pode conseguir (pelo emprgo do
conceito de verdade) uma demonstrao de au
sncia de contradio com o sistema de ndex
-f 2. As proposies apontadas por Goedel como
indemonstrveis, no primeiro sistema, tornam-se
demonstrveis no segundo. Wang consegue as
sim, em seu sistema total, suprimir proposies
indecisveis e superar dste modo aincompletividade
de Goedel. (Suposto que a teoria apenas esbo
ada de Wang se mostre como vivel).
O resultado das exposies anteriores, por conse
guinte, que tambm a dificuldade, aparentemente
(S3) Vid. fefftn&ittfrr, loc. cit.* pfc. 2,v3 aa.
(31) II ao Wang, The Formalistioci nf M&itirm&tic*. em: Journal of
Syrabolic Logic 19 (1954), pgs. 241-266.
156
mais sria, encontrada pelo pensamento matem
tico, no o levou a uma situao-limite propria
mente dita. Muito ao contrrio, a renncia a
certas formas de argumentao ingnuas levou no
a uma abdicao, mas a um refinamento e aprofun
damento. Talvez se possa dizer que aqui aparece
certo trao dialtico" no pensamento matemtico,
embora se trate de outra espcie de dialtica, da
de Hegel; justamente a conhecida tese de Hegel
sbre a falsa infinidade da matemtica e a
mortal demora de sua mareha uniforme, refu
tada pela nova dialtica prpria do pensamento
matemtico.
sse trao dialtico aparece j no sculo v antes
de Cristo com a matemtica dos pitagricos. J
nos referimos a isto. Quando se deu a primeira
demonstrao de impossibilidade na histria da
matemtica (a demonstrao da incomcnsurabi-
lidadc de lado e diagonal do quadrado ou do
pentgono regular) verificou-se um acontecimento
espiritual de enorme significao. A insolubilidade
de um problema, fundada sbre um conhecimento
proveniente de uma demonstrao exata, no levou
abdicao mas aquisio de ductibilidade e
fra de penetrao. Tambm hoje se verifica a
mesma coisa.
(t)
C ci)
0) <M> O)
u u U u
w u .......... * w = epsilon
163
Aqui, no "primeiro nmero epsilon, cessa a
designao por meio do omega szinho, e pre
ciso introduzir um nvo smbolo bsico epsilon().
Ao mesmo tempo constata-se o interessante fen
meno de que a seqncia dos smbolos, por
assim dizer, se alcana a si mesma; temos ento:
]
= to
166
4 . Para cada nmero ordinal se pode mostrar
de forma construtiva que a induo transfi-
nita vale at a.
Dessas condies vemos imediatamente que
Church e Kleene se apoiam no conceito preciso
de construo que descrevemos.
Uma aplicao dsse ponto de vista para uma
elaborao construtiva de uma seco considervel
da segunda classe numeral, simbolizada por um
segmento, foi feita por W. Ackermann(45); mas
no podemos entrar em pormenores a respeito.
Entretanto, para finalizar, precisamos ainda dizer
qual a importncia para a matemtica e para
a investigao dos fundamentos da mesma, de
tdas essas construes de ntmeros transfinitos.
Deve-se dizer que elas so aplicadas para uma
caracterizao mais exata do grau de complicao
de conceitos lgico-matemticos (e de dedues
inteiras). Servem para fins metamatemticos, sobre
tudo para certas formas de demonstraes de au
sncia de contradio. Dste modo Gentzen conse
guiu, pela primeira vez, demonstrar a ausncia de
contradio da teoria dos nmeros puros comple
tos; chegou a esta concluso principalmente porque
a clculos expressos em frmulas logsticas le apli
cou um processo de reduo, cuja finitude pde
demonstrar. Para chegar a esta decisiva demons
trao de finitude, a cada deduo numrica le
atribuiu um nmero ordinal e cuidou que, em
cada passo da reduo, ste nmero ficasse menor.
(45) W. Acktrmann, K onxtruktircr Aufbau owjii Abftchnilts der
Kwrniton Cantorschon ZiManklajum, om: MathematisetiQ Zeitschrift 5.
(1051), pg*. 40&-413. Digna de nota tambm a te n ta tira anterior de
O. Vebten, Continuou Increasin* Function o Finito and Transinite
Ordinal*, em: Trans. Amor. Matb- Soc. 9 (1908) pgs. 280-292, embora
n.fco tenha a mesma exatldfto que o modernos conceitos de coastru&o
167
Ora, j que pode acontecer que uma deduo seja
muito mais complicada que outras em nmero
infinito, necessita-se de nmeros ordinais transfi
nitos, e a concepo indutiva de sua totalidade s
possvel pela induo transfinital.
Gentzen(46) precisava portanto de transfinitos
construtveis, sendo que os ordinais da segunda
classe de nmeros at 0 primeiro nmero epsilon
de Cantor eram suficientes para seu argumento.
Para demonstraes de ausncia de contradio na
anlise ou da teoria dos conjuntos, so necessrios
maiores setores da segunda classe de nmeros, os
quais so fornecidos em forma construtvel pelas
investigaes de Ackermann.
Chegamos assim ao fim desta seeo. Na limi
tao necessria, ou pelo menos hoje aparecendo
oomo necessria(47), do conceito de construtibili-
dade matemtica do que numervel e at
mesmo efetivamente numervel deve-se ver
sem dvida um limite para a formao dos con
ceitos matemticos. Mas trata-se de um limite
que o pensamento matemtico imps a si mesmo.
No que o pensamento toque numa fronteira
que lhe imposta do exterior, diante da qual ele
deveria ceder necessriamente, mas o prprio
pensamento que pe ste limite.
Com isto terminou nosso estudo sbre os limites
imanentes da formao dos conceitos da matem
tica, estudo que levamos a efeito por meios intra-
matemticos. Resta-nos ainda, na ltima parte de
nosso livro, tratar da questo JiloxJica dos limites
do pensamento matemtico.
m
f) O PROBLEMA FILOSFICO DOS LIMITES
DO PENSAMENTO MATEMTICO
1. Kant sbre a natureza da matemtica
A questo dos limites do pensamento matem
tico no existia na Antigidade, embora a oposio
Plato-Aristteles no modo de conceber a matem
tica (a que diversas vzes j nos referimos) tenha
permanecido fundamental at os nossos dias. De
fato, aquilo que hoje se costuma chamar de pla-
tonismo (melhor: realismo platnico) e nomi
nalismo (melhor: conceptualismo) tem suas
razes naquela antiga controvrsia. Em todo o
caso, na concepo aristotlica sbre a origem das
figuras matemticas por meio da abstrao
(aphairesis), pode-se ver um primeiro ponto de
partida do problema dos limites da matemtica.
Pois, segundo Aristteles, ela criada pelo homem
e no de origem divina (metafsica), como para
Plato. A teoria da abstrao v a matemtica
nos corpos fsicos smente quando tambm stes
so idealizados e quando se considera aquilo que
as figuras matemticas tm de universal, como
sejam, as propores. Nesta concepo aristotlica
inegvel o elemento subjetivo, por mais es
tranho que isto seja no mundo antigo. Para o
ser da matemtica, j aqui o homem essencial(48).
O problema dos limites do pensamento matem
tico s posto explicitamente na filosofia recente.
verdade que ao tempo do racionalismo propria
mente dito que no sem razo foi chamado de
tempo da Mathesis universalis no se pensou
O mesmo vorifica em algumas observao* n a dia cusaio adbra
o infinito (Faica IU . 4-8).
ainda em traar limites ao domnio da matemtica,
que surgira com nova vitalidade. Nem Descartes,
nem Leibniz conhece fronteiras para a Mathesis
por les chamada conscientemente de universalis.
Para Leibniz o nmero uma forma metafsica
fundamental que entra na estrutura mesma do
universo. Com isto le faz valer o papel funda
mental da aritmtica, a qual de modo bem
diverso que em Descartes ocupa uma posio
de primazia; trata-se, prpriamente falando, da
matemtica formal-abstrata, a qual toma a dian
teira sbre a geometria clssica.
Com Kant se verifica ento um notvel recuo,
no contexto geral de uma atitude crtica em todo
o campo da filosofia. A questo dos limites do
conhecimento humano lana sua sombra sbre tda
a crtica da razo (teorctica). Em meio a esta
reviso geral de tda a filosofia aparece igualmente
uma outra concepo do matemtica. Enquanto
para Leibniz o homem, como qualquer mnada,
um csplho criador do universo, e portanto como
imagem de Deus participa de certo modo da fra
criadora de Deus, Kant distingue claramente entro
o intellectus archetypus e inuitus originarius divino
de um lado, e, do outro, o intelleclus ectypus e inuitus
derivativus do homem. Segundo le a capacidade
cognoscitiva do homem tem duas razes distintas
e separadas: a percepo sensitiva e o intelecto,
os quais talvez nasam de uma raiz comum, a
ns desconhecida. Pelo conhecimento sensitivo
que meramente receptivo so-nos oferecidos
os objetos, e pelo intelecto, dotado de espontanei
dade, les so pensados, mas sempre em depen
dncia da percepo; pois conceitos sem percepo
so vazios, e percepes sem conceitos so cegas.
Portanto, tambm o conhecimento matemtico
depende das percepes e no pode ser puramente
170
intelectual. Mas le no se apia em observaes
empricas, relacionando-se s formas puras da sensi
bilidade tempo e espao em seus dois princi
pais ramos, geometria e aritmtica, (das quais a
lgebra e a anlise derivam como cincias). Impor
tante sobretudo a fundamentao da aritmtica
sbre a percepo, ou melhor, sbre o esquema da
srie temporal.
Aos matemticos pr-intuicionistas esta doutrina
de Kant. devia aparecer incompreensvel e pouco
digna de nota; mas desde que o intuicionismo de
Brouwer e a teoria recursiva dos nmeros de
Skolem, bem como teorias afins, comearam a
aparecer, a situao se transformou. Tambm
Hilbert cm suas consideraes metamatemticas
depende de Kant.
Em princpio, contudo, a teoria de Kant sbre
a matemtica significa um limite. O tempo ,
como vimos, a forma do sentido interno, isto ,
de uma capacidade cognoscitiva essencialmente hu
mana, que no de qualquer ser racional. Sbre
a natureza do conhecimento de outros sres racio
nais nada sabemos. Nosso conhecimento terico
se limita ao mundo dos fenmenos, enquanto que
o conhecimento das coisas, como so em si mesmas,
nos inacessvel. Segue-se, portanto, que tam
bm a matemtica mais abstrata depende da capa
cidade especfica do homem, sobretudo da forma
pura de percepo, tempo. Tambm esta se
refere nicamente ao mundo como ste nos aparece,
e no ao mundo como le em si para o olhar
dc Deus. Aqui, portanto, estamos diante dc um
limite absoluto do conhecimento humano, se seguir
mos a Kant (no perodo crtico de sua filosofia).
Mas como se manifesta concretamente sse
limite? A resposta no a mesma quando se
trata do matemtica pura e quando se trata da
fsica terica. No segundo caso, como vimos, entra
a geometria. Neste ponto Kant, na Crtica da
razo pura (1781), admite o valor do espao
euclidiano para qualquer teoria fsica; embora le
mesmo no discutisse a geometria no-euclidiana,
F. A. Taurinus, mais tarde (1825), fundou sua
defesa do valor da geometria euclidiana para o
espao universal, sbre a tese kantiana do espao
como forma do sentido exterior. Contudo o prprio
Kant, em seu escrito De mundi sensibilis atque
intelligibilis forma ac prineipiis, que apareceu
antes (1770) dc sua dissertao sbre a crtica da
razo, escrevera as notveis palavras: Legea sen-
8ualilat8 erunt leges naturae quatmus in sensus
cadere potest ( 15 E). Nesta passagem, por
tanto, se limita o valor das leis da percepo sen
svel (i. , da geometria eucliadina) natureza
enquanto cai sob os sentidos. Isto deixa entrever
a possibilidade (da qual Kant dificilmente podia
estar consciente) de que a natureza obedea a outras
leis estruturais, enquanto no cai sob os sentidos.
Quando portanto, na fsica moderna, na teoria
da relatividade geral e na teoria dos quanta, se
admitem estruturas espao-temporais e leis cine-
mticas diferentes das da fsica clssica, isto pro
vm do fato que aqui se trata das dimenses extra-
ordinriamente grandes do espao astronmico ou
das medidas exlraordinriamente pequenas dos
tomos c partculas elementares, que excedem
tudo quanto o homem pode encontrar em sua
vida diria. Essas grandezas, extremamente gran
des, ou extremamente pequenas, no caem sob os
sentidos. Portanto podem muito bem ser conci
liadas com a percepo fundamental de Kant,
entendida algo livremente(49).
(lj EjcpcMt&o ma parmoaoriznilA cm meu artigo Itie ftpri !Vclia
Struktur das AnaohauungsriuEnca", em; 1iloa. Anjeiger IV (1930) i>Ag.
128-162.
172
Mas no ste o n do problema, que se en
contra no campo da matemtica pura, formal-
abstrata, para alm da geometria, na aritmtica,
na anlise, na teoria dos conjuntos. Precisamos
portanto perguntar: At que ponto a moderna
matemtica formalizada atingida ou limitada
pelos limites apontados por Kant, quando os admi
timos como certos? ela limitada dc alguma
forma ?
Brouwer uma vez se exprimiu no sentido da
neutralidade da matemtica; segundo le a mate
mtica se baseia em operaes que so indepen
dentes tanto da linguagem como dos objetos a
que se referem. Isto significa que indiferente se
stes objetos so coisas em si ou fenmenos, se
so verdadeiros objetos, ou simples atos.
O kan+iano de severa observncia negar em
todo o caso que o nmero possa ser aplicado a
coisas em si. J Schopenhauer explicou a dife
rena entre singular e plural, quando aplicados
coisa ou s coisas em si: absolutamente no
tm sentido. Ao matemtico formalstico isto no
atinge, pois s lhe interessam suas operaes.
Dste modo o pensamento de Kant acaba no
vazio e a matemtica parece desvencilhar-se do
ataque crtico do filsofo.
2. Matemtica e Jinitude do homem
Mas, na teoria filosfica de Kant se encontra
um pensamento mais profundo ainda: o da fini-
tude do homem. verdade que tambm outros
filsofos modernos anteriores a Kant, como Des
cartes e Leibniz, no negaram sse trao funda
mental da natureza humana. Em Descartes sse
pensamento desempenha um papel na demons
77
trao de Deus, na terceira Meditao de 1641, e
Leibniz distingue a Monas Monadum divina das
outras mnadas, que refletem o universo s imper
feitamente. Mas com le a lei da continuidade,
que estatui uma srie idealmente ininterrupta de
mnadas a partir das mais inferiores at a suprema,
conserva todo o valor. Foi smente Kant que
mostrou com tda a agudeza e conseqncia a
finitude do homem.
J falamos dos dois ramos do conhecimento
humano: a sensitividade receptiva e o intelecto
espontneo. nessa receptividade da percepo
sensitiva que Kant v antes de tudo a finitudo
do homem; ste incapaz de criar coisas. Tam
bm nosso intelecto no intuitivo, como o de
Deus, mas deve aderir ao que lhe oferecido pelos
sentidos, pois conceitos sem percepo so vazios.
Dos conceitos puros nascem smente juzos anal
ticos, que simplesmente explicam e esclarecem
aquilo que j se tinha obscuramente. Nossa cincia
alargada pelos juzos sintticos, os quais ou
so smente empricos, ou como os da matem
tica se apiam sbre a intuio pura, sob suas
duas formas a priori: tempo e espao.
O que significa isto para a questo da finitude
da natureza humana? Mas antes de qualquer
outra coisa: o que significa isto para a matemtica,
criada pelo esprito do homem?
A matemtica na realidade uma cincia hu
mana o que se esquece freqentemente em
nada diferente das outras cincias. E isto a
mide esquecido porque ela no depende de obser
vaes empricas, e aparentemente provm da fra
criadora do esprito humano. Assim, para Gauss,
o nmero era simples produto de nosso esprito,
174
e Dedekind explicava os mmeros como criaes
livres de nosso esprito,(50)
Mas isto, s e g u n d o Kant, um engano. O numero
depende do tempo, como forma de percepo a
priori, que 6 uma capacidade puramente receptiva
e no espontneamente criadora.
Hoje em dia, luz da analtica existencial
de Heidcgger, precisamos ir mais longe. O tempo
no s a forma do sentido interior, mas a estru
tura fundamental da existncia humana. Como
homens somos essencialmente temporais e nossa
prpria existncia pode ser caracterizada como
temporalidade. O tempo no uma simples forma
que nos cerca, mas penetra no mais profundo de
nosso ser e essncia.
Isto tambm sc manifesta na matemtica, em
bora freqentemente seja ignorado ste fato. No
no sentido que o pensamento matemtico seja
limitado ou tolhido pela temporalidade e pela limi
tao humana da decorrente; muito ao contrrio:
le se torna possvel smente por meio dela. Pode
mos e devemos numerar e calcular unicamente
porque somos sres temporais e finitos. Um ser
eterno e infinito no numera. No precisa numerar,
nem pode numerar. A ao de contar e calcular
no teria sentido para tal ser (51).
Da Antigidade (da escola de Plato c trans
mitida por Plutarco, Quaest. conv. viu, 2 ) tomos
a sentena: Deus sempre faz geometria. O grande'
terico dos nmeros, Gauss, deu uma variante
(50) Sbre Gaus*. vid. QM. p*. 179: ebro Dedektnd, GM, pg.
233. 244 carta a //. Wtber de 24-1- 18S3: oes ntimeroe sko "algo de nvo
que o espirito cria. Somo- de raa divina e sem dvida possumos fra
criadora. nSo *> ra coisxs materiais (estradas frresa, telgrafos), mas
sobretudo em coim espirituais'.
(51) Deus devo ser representado, pelo menos quando se quer ser
conseqente, nSo como contando e numerando ainda que Leibnis tenha
aiirmaao; "Dum Dou* c alcu lai.* ,, fit mundus.
175
frase e disse que Deus sempre faz aritmtica. Mas
a verdade, que s o homem pode ser aritmtico
e gemctra. De fato, o ser divino est acima do
tempo e contempla o que sucede no tempo de modo
extenso c imperfeito, de um s golpe, como j
Plotino explicou profundamente.(52) A infnUibilis
vi&io Dei no se desenrola numa seqncia poten
cialmente infinita, como nosso pensamento mate
mtico, pois desde o incio ela est no fim. Por
a se pode ver igualmente como a concepo poten
cial do infinito, desde Aristteles, se refere ao ho
mem, assim como a teoria da abstrao do esta-
girita nos coloca num contexto antropolgico. No
se pode negar que o constructivismo rccursivo da
matemtica de nossos dias est na mesma linha.
Chegamos, portanto, ao seguinte resultado: sem
pre que a matemtica, saindo de questes mais
simples, tem diante de si o problema capital do
domnio do infinito, ela por natureza e por essncia
fica totalmente entregue finitude do homem.
Pois smente para um ser finito tem razo o pensar
num domnio do infinito.
Algo ainda resta por dizer: E. Husserl, em sua
obra de juventude Filosofia da Aritmtica(53),
afirma o seguinte pgina 247: impensvel a
idia de que qualquer alargamento de nossa capa
cidade cognoscitiva tornaria esta capaz de repre
sentar realmente, ou mesmo de esgotar sensitiva
mente, tais conjuntos (infinitos). Neste ponto at
mesmo a nossa fra de idealizao encontra um
limite". De fato, at mesmo uma capacidade
cognoscitiva idealizada, possuda por algum de-
mon como conceito limite da teoria do conheci-
(52) Ennead. III, 7, "Sbre eternidade e tempo".
(53) "Philoaophie der Arithmetik, ffnlle . S. 1801. Vld. ainda
pgs. 211-216, 218, 240 as, 244-250.
17R
mcnto"(54) no estaria em condies de decidir,
por exemplo, se todos os nmeros pares podem
ser representados como a soma de dois nmeros
primos diversos (como pensava Goldbach), ou se
existem excees a esta regra. Mesmo um matem
tico que vivesse indefinidamente no poderia de
cidir tais problemas no resolvidos da teoria dos
nmeros, percorrendo sucessivamente tda a srie
dos nmeros; nunca chegaria ao fim. Mais uma
vez aparece o carter antropolgico e temporal
do conceito aristotlico do infinito potencial.
Alm disto, o matemtico humano se distingue
dos matemticos demonacos em outro ponto.
Existem, por exemplo, muitos problemas na fsica
que em si poderiam ser resolvidos se fsse poss
vel executar a imensa soma de trabalho que requer
o clculo dos meamos. At mesmo na matemtica
pura ste aspecto desempenha seu papel(55). As
modernas mquinas calculadoras podem ajudar em
algumas situaes; mas sempre permanece o fato
bsico dc que a capacidade humana , no terreno
matemtico, no s finita, mas tambm pequena,
isto , est contida dentro de determinados limites.
Tambm ste ponto desempenha um papel na
tcnica do pensamento matemtico: os mtodos
de soluo devem ser escolhidos de tal maneira
que o trabalho de calcular fique dentro dos pe
quenos limites humanos.
Como resultado dc nossas consideraes pode
mos dizer em resumo: A finitude do homem est
estreitamente ligada estrutura da matemtica.
Ela a condio da possibilidade de tda matem-
(54) Km muitao de suas meditaes Husscrl concbe a Deus como
conccito-limite da teoria do conhecimento". Mas iato nAo corresponde
ao pecuamanto que de Deus tem a metafsica reccntc, que est na baee
de nossas reflexea.
(55) Vid. fbeet* Axiocnatbahea Deaken, em: M ath. AnnaJ. 78, e
Btcktr, Matematisclie ExUtem. pg. 332.
tica. Isto significa que a matemtica no , menos
fundamentalmente que as outras cincias, uma coisa
do homem e smente do homem (se ahstramos
dos hipotticos habitantes, semelhantes ao homem,
dos outros astros). Nem Deus nem os animais
podem fazer matemtica; isto uma possibilidade
do ser intermedirio, o homem.
3. Matemtica e histria
Depois dc tudo o que dissemos, parece no haver
limites para o pensamento matemtico. Tdas as
nossas tentativas, em descobrir sses limites, fra
cassaram. Entretanto ningum concordaria se afir
mssemos sriamente que o pensamento matem
tico universal. Antes de tudo se dir que, ao
procurarmos determinar os limites, deixamos passar
aquilo onde mais evidente a presena dssee
limites, isto 6, tda a outra metade do Globus
iutcllectualis, a das cincias morais. Af o pensa
mento matemtico nada tem a fazer (se abstramos
de casos especiais, como a estatstica da linguagem,
pesquisas para comunicaes, etc.). Neste ponto
se vai algumas vzes bem longe. Heidegger uma
vez disse enfticamentc: A matemtica no mais
exata (strenger), mas mais estreita (enger) que
a histria e a filosofia. Atrs desta frase irriica
se oculta uma afirmao muito sria. O que se
pode alcanar por meios matemticos de certa
maneira relegado margem do cognoscvel e redu
zido a uma estreita faixa. O conhecimento cen
tral e essencial, que importa ao homem, no
matemtico. O modo matemtico de encarar a
realidade s alcana o sentido relativo de um
fenmeno, pouco se importando de seu contedo
e negligenciando o sentido real das coisas, tanto
178
quanto possvel. O fato de no o conseguir inteira
mente, provm, como j vimos, da relao entro
operao matemtica e finitude do homem. A
retirada para o sentido relativo, a neutrali
dade' da matemtica, responsvel pelo empo
brecimento da vida do cultor da matemtica, que
se torna estranho existncia real e concreta.
Em termos mais tradicionais isto significa: a
matemtica, como tal, incapaz dc compreender
as coisas; talvez nem as possa explicar, mas to
smente dominar. A oposio entre compreender
e explicar foi sublinhada sobretudo por Max Weber
e Karl Jaspers, e por les utilizada como base met
dica (influenciados, por um lado, pela distino
entre cincia nomottica da natureza e cincia
ideogrfica do esprito, proveniente de Wilhelm
Windelband, e do outro lado pela concepo dilthey-
ana de psicologia compreensiva e divisiva),
No aqui o lugar de entrar nos pormenores
do amplo problema da compreenso nas cincias
do esprito (problema hoje em dia estudado de
maneira peculiar por E. Rothacker e sua escola).
S queremos dizer que nelas se trata da investi
gao da relao existente entre motivao e ao.
Ora, motivaes so participaes internas, estudo
dos modos de agir dos homens, de que tratam
os historiadores. Isto aparece de maneira clara
e inequvoca na anlise dos motivos de um esta
dista ou de um general, feita na exposio hist
rica de um importante acontecimento poltico ou
militar. At mesmo a esttica de um determinado
estilo, ou sua realizao em determinada obra, pe
o historiador ante a tarefa de compreender seus
motivos. 0 mesmo sucede com o problema da
relao entre vida e poesia.
Uma coisa, porm, aparece bem clara, depois
de apresentados sses poucos exemplos: a anlise
179
matemtica, p. ex., de um processo de locomoo
(a anlise do Galileu do movimento de um tiro,
a anlise de Newton sbre o movimento dos pla
netas), algo bem diferente.
verdade que em ambos os casos se trata de
uma anlise, de uma decomposio nos elementos
constitutivos. O general ou o estadista, do pri
meiro exemplo, foi certamente mondo por motivos
mui diversos e entrelaados, sendo tarefa do histo
riador apreciar as diferentes influncias que exer
ceram nas aes. O mesmo se d com as fras
da mecnica dc Galileu ou de Newton, onde se
determinam os componentes de acelerao do mo
vimento por meio do sentido e da fra, as quais
se compem segundo as leis da adio do vector.
Mas aqui tambm se manifesta a grande dife
rena. Fra (mdulo) e sentido de um vector
podem ser exatamente determinados num sistema
de relaes c medidas, sendo que tambm a lei
da composio fcilmente determinvel e mane-
jvel. A dificuldade do problema est nicamente
na decomposio lgica da causa total do processo
em componentes que so conhecidos por meio dc
processos elementares.
Isto simples de demonstrar no exemplo da
anlise de Galileu do movimento de um tiro. O
movimento de um objeto atirado explicado por
Galileu como composto do movimento de inrcia,
que se processa de forma retilnea e uniforme, (e
cuja velocidade determinada quanto direo
e efeito pelo impulso inicial recebido pelo objeto),
e do movimento para baixo, uniformemente acele
rado pela gravidade. J que a primeira compo
nente aumenta linearmente com o tempo, enquanto
que a segunda cresce como quadrado, o movimento
composto tem como trajetria uma parbola.
ISO
No caso da anlise das motivaes feita pelo
historiador no temos processos elementares to
determinados, nem regras de composio to esque-
mticas. O historiador haure os conhecimentos dos
motivos elementares e da cooperao entre les,
de sua experincia vital, que tambm a ns
conhecida em seu tipo geral. Esta experincia
abrange no s a experincia pessoal, que depende
de tantas casualidadcs, mas tambm aquela que
est contida no depsito objetivo-espirituaP dc
um grande nmero de homens atuais e passados,
na poesia, no direito, na religio, etc. Pensamos
saber como homens (de nossa espcie) se compor
tam em certas situaes tpicas, e ste saber
no tirado de um sistema de axiomas, que adimi-
timos porque nos parecem evidentes, ou porque
so admitidos como convenes arbitrrias; mas
trata-se de um saber intuitivo daquilo que nos
parece cognoscvel de ns mesmos. E preciso lem
brar-se aqui de que o historiador um conhecedor
do esprito, mas que o poeta pico o precede, como
primeiro a narrar e a interpretar o destino humano.
Homero precedeu a Herdoto.
Estas rpidas consideraes, que s tocam a
superfcie dos problemas, querem esclarecer um
nico ponto. As anlises feitas do ponto de vista das
cincias morais so, do ponto de vista do matem
tico, totalmente inexatas e entregues aparente
mente intuio evidente, mais ou menos arbi
trria, muitas vzes sentimental, do investigador.
Contudo ela possui um carter claro e compreen
sivo em seus elementos e na composio dos mes
mos. A anlise matemtica exata na combina
o dos dados elementares, suas operaes so
claramente prescritas e as leis que a regem so
demonstrveis. Mas, pergunta-se, demonstr-
veis como ?
181
Para demonstrar 6 preciso pre&supor alguma
coisa. Mas como garantir essas pressuposies?
devem tambm elas ser demonstradas como ver
dadeiras"? Na geometria antiga, de Euclides, os
axiomas e os postulados eram admitidos como evi
dentes e a evidncia do sistema geomtrico era
construda sbre a evidncia de seus fundamentos.
Vimos acima que no decurso da evoluo hist
rica se perdeu sse estado de inocncia. Os
axiomas bsicos da geometria e da mecnica j
no so evidentes para ns(56), talvez nem sequer
inteligveis.
Para a mecnica isto fcil de demonstrar.
Por exemplo, que as fras mecnicas sejam pro
porcionais acelerao (no velocidade) e que,
por conseguinte, um movimento retilneo uniforme
deve ser considerado como no tendo fra, isto nos
parece hoje em dia bastante evidente. Mas a his
tria da mecnica ensina o contrrio. Aristteles
e tda a Antiguidade era de opinio que a fra
era proporcional velocidade, como parece demons
trar a crua experincia de cada dia (quanto mais
se corre mais fra se precisa fazer). Levou quase
2.000 anos para que a opinio antiga fsse substi
tuda pelas leis da mecnica, hoje chamada de
clssica(57). No se pode portanto falar de evi
dncia das leis fundamentais da mecnica.
Isto vale j para a mecnica clssica. E vale
muito mais para os fenmenos naturais mais afas-
(5G) Na minha opini&o ura problema muito srio, embora igno
rado pela maioria dou estudioao, como de deve explicar a evidncia apa
rente da geometria euclidiana, no espao natural experimental. Vtd. sobre
ftsan assunto meu tratado Beitraosn zur phenumenolojaehcr Bejcruemlung
der Gcomntrie und ibrer ph.ysbaliscbrn An^endung, e.: Juhrburh fuer
Philosopbto und phenomenotounnlw Forsnhung (<jd. po E. Husaprl), VI
(1923?, pg. 385 a*. sobretudo 477-497, o "Dio ftpriorwche Struktur des
An**.lmuungjirttumcs''t em Philoeiophischer Anzeigcr, IV (1930), pgs.
129-162.
(57) Sbre as controvrsias que levaram a essa mudana, vid. as
magistrais exposies de E. J. DijkUtrhui*, em: "Die Meehanisicmnc
des Weltbildes (Berlim-Goettingen Ileidelberg 1958).
182
tados da experincia de cada dia. Mesmo as expres
ses usadas na mecnica, como "fra, inrcia,
resistncia, impulso, presso, e outras, mos
tram que no se pode evitar fcilmcnte as repre
sentaes antropomrficas.
Na eletrodinmica, ao contrrio, as coisas so
bem diferentes. As equaes de Maxwell, que
dominam tda a esttica e dinmica eltricas (pr-
cletrnicas), no mais so compreensveis pelo esp
rito simples, como o at certo ponto a lei da
inrcia. A razo da admisso de tais leis est
na sua utilidade, isto , no fato que delas se pode
deduzir tda a gama dos fenmenos eltricos (pelo
menos at onde atinge a teoria da continuidade);
alm disto em sua beleza e simetria, que aparecem
sobretudo depois que foram completadas por Hertz.
Por sses exemplos se pode entender o que signi
fica compreender, explicar e dominar. Da
compreenso j falamos. Mas o que quer dizer
explicar ? At que ponto se explica o movi
mento do tiro, quando se o representa como com
posto de um movimento de inrcia retilneo e
uniforme, e de um movimento dc queda unifor
memente acelerado ? Por meio dessa anlise aqule
movimento reduzido a algo j conhecido e j
explicado. A reduo se processa de forma
exata, dc maneira evidente e clara. Aqui tudo
se torna claro e tudo esclarecido. Mas o
que dizer do que conhecido elementarmente, em
nosso caso do movimento da inrcia e da queda?
sses movimentos elementares so fcilmente com
preensveis no sentido em que fcilmente se pode
represent-los e reduzi-los a uma frmula simples.
Mas por si mesmos no so compreensveis no sen
tido prprio do trmo. Nem possuem les uma
necessidade intrnseca, pois pode-se imaginar outras
183
formas elementares de movimento, como prova a
histria da mecnica.
Aqui portanto est o limite do conhecimento
explicativo. No d aquela evidncia, aquela
compreenso por experincia vivida que em alguns
casos possvel no terreno das cincias do espirito.
A natureza nos aparece sempre como algo estranho.
Com isto obtivemos o conhecimento de algo essen
cial. .
Ms no h dvida que o conhecimento expli
cativo da mecnica nos torna a estranha natu
reza algo familiar. Tantas vzes vimos cair corpos
que j no temos senso para a maravilha dsse
fato. O movimento de queda -nos um processo
natural e evidente, embora uma tal evidncia
paradoxalmente nem sempre signifique compre
enso.
Partindo daf podemos entender a diferena entre
explicao e domnio. As equaes de Maxwell
no reduzem os fenmenos eltricos a fenmenos
elementares evidentes. No campo da eletrici
dade no h fenmenos experimentais dirios, em
bora incompreendidos; tudo nvo aqui e desco
nhecido, e foi preciso investig-lo sistemticamente
por tentativas elementares, mas nada triviais. Que
sc rccordem as experincias de Faraday. Neste
campo trata-se de dominar os fatos constatados
experimentalmente por meio de regras, leis, frmu
las, e no mais de explic-los". ste nvo modo
de encarar sc manifesta em nossos dias de forma
extrema na teoria dos quanta, onde qualquer passo
nvo leva a fatos surpreendentes, inexplicveis (e
a fortiori, incompreensveis), e que s foi possvel
dominar pela formao de conceitos novos e aparen
temente paradoxais: que se pense no dualismo
de corpsculo de onda.
184
Topamos aqui com uma natureza ainda mais
estranha que acima. A estranheza parece crescer
quanto mais nos afastamos dos padres de gran
deza costumeiros na vida diria. Mas justamente
aqui a matemtica vem em nosso auxlio sob sua
forma formal-abstrata onde no mais necessria
a percepo. Para a teoria dos quanta, a teoria do
espao infinito-dimensional de Hilbert traz cla
reza, assim como para a teoria da relatividade foi
de importncia decisiva a unidade tempo-espao
quadridimensional de Minkowski.
Portanto, tambm aqui o pensamento matem
tico no fracassa; muito ao contrrio, precisa
mente aqui constitui le o nico mtodo utilizvel.
Naturalmente no pode le compreender no
sentido do historiador que interpreta, ou do fillogo.
Nem pode sempre explicar, no sentido de re
duo ao que evidente. Aqui se encontra, se
assim se quiser, um limite inerente sua prpria
natureza. Mas consegue dominar, por meio de
frmulas, de simetrias, todo um setor dos fenmenos.
E neste ponto, que lhe prprio, o pensamento
matemtico no encontra limites.
Voltamos portanto ao pensamento pitagrico,
com que iniciamos o presente livro. Se a natureza
nos estranha exceto no domnio do humano,
ou pelo menos no orgnico, mesmo a ela alcana
nosso sentido dc beleza pela sua estrutura crista
lina, que se exprime por meio de simetrias e
nos revela algo de sua beleza inteligvel (to noton
kallos) como dizia Plotino.
Isto leva a um problema mais profundo a que
dedicaremos algumas linhas finais.
185
4. Os limites do inteligvel
Perguntando-nos sbre os limites do pensamento
matemtico* topamos com a questo um tanto
antittica da incompreensibilidade da natureza;
esta nada mais que o problema dos limites da
compreenso histrica. Pelo menos a natureza
anorgnica se revela como ininterpretvel, portanto
como no-histrica. Pois tudo o que histrico
por essncia capaz e necessrio de explicao.
Nossa questo portanto se modificou, sem que
nisso influssemos: da crtica do pensamento mate
mtico chegamos crtica do pensamento herme-
nutico-histrico. Que o mtodo histrico e herme
nutico fracassem, eis o que estranho. E fra
cassa l onde se encontra o que especificamente
natural. E precisamente onde fracassa o processo
explicativo hermenutico, o pensamento matem
tico entra na lia. Portanto, pensamento matem
tico e hermenutico esto em estreita relao de
complementaridade. Quando se compreende isto
pode-se tambm ver que injusto tanto censurar
110 pensamento matemtico a limitao, como obje
tar ao mtodo histrico-hermenutico a incapaci
dade de atingir a natureza.
O objeto do pensamento matemtico diverso
do do mtodo histrico. Cada qual tem seu lado
luminoso e suas obscuridades. 0 que claro em
a natureza s podemos compreender pela matem
tica; quem a quiser compreender hermenutica-
mente, s ver o lado inacessvel c obscuro da
mesma.
Por conseguinte, os limites do pensamento mate
mtico no se encontram na linha de seu processo
natural, mas smente l onde, desviando-se de seu
caminho, aplicado a coisas para as quais no
1S6
foi feito. Embate-se ento contra a fronteira que
nfto a sua. uma fronteira que, por assim dizer,
corre paralela a seu caminho, para imped-lo de
sc desviar de sua verdadeira direo, o que no
o impede de continuar em seu progresso linear.
Esta barreira, ou limite, portanto, limita no
tanto o pensamento matemtico, como a compre
enso histrica, por mais paradoxal que isto possa
parecer. O fato que o pensamento matemtico
pode atingir coisas e setores, que no so mais
compreensveis, mostra que h coisas sbre as
quais a sabedoria acadmica do hermeneuta no
poderia nem sequer sonhar. Portanto, o que
limitado , prpriamente, a pretenso universal do
"esprito histrico-hermenutico de tudo querer
compreender. Dstc ponto de vista a afirmao
acima citada de Hcidegger sbre a estreiteza da
matemtica cm comparao com a histria recebc
uma nova luz. J no a matemtica, mas a
histria que nos aparece agora como "estreita,
isto , limitada em sua meta possvel e em sua
pretenso universal.
Os campos da matemtica e da histria se limi
tam mtuamente; neste ponto se pode ver a justi
ficativa simtrica de ambas. Mas por outro lado
h uma grande diferena entre ambas. O pensa
mento matemtico desde o incio no tem a pre
tenso de ser universal (nem sequer a "Mathesis
universalis do sculo xvii tinha essa inteno).
Por conseguinte, le no fica atrs de sua inteno
fundamental. O pensamento histrico-hermenu
tico, ao contrrio, tem a pretenso de tudo com
preender e por conseguinte fracassa tdas as vzes
que encontra a natureza.
Falando mais precisamente: a natureza s
constatada pelo olhar cheio de admirao e sem
compreenso; no pode ser experimentada (histri-
187
camente), nem apropriada para o uso na vida.
Mas ela interpretvel em certo sentido, isto
, pode ser representada como figura simtrica,
no como uma figura observvel pelos sentidos,
mas como forma do pensamento (noton eidox),
cujo fundamento a matemtica.
Representar a natureza como flor maneira
de Schelling (segundo os versos de Platens) o
rro romntico de uma poesia, que no deixa dc
ser arrebatadora. A natureza deve ser represen
tada como um cristal inteligvel, e isto feito pelos
melhores cientistas de nossos dias; talvez seja
ste o caminho da verdade um caminho em
que brilha a luz da matemtica.
Um ltimo pensamento ainda. O homem no
smente um ser histrico, existencial. No
smente esprito, mas tambm natureza.
verdade que isto nunca foi totalmente esquecido,
mas em geral o que natural no homem identifi
cado com o que animal e instintivo, isto , com
a camada inferior, que smente elevada por obra
do esprito, o qual nicamente capaz de viver
a histria, isto , seu destino, e de compreend-lo.
Esta, entretanto, no a verdade total. O esquema
das camadas, por mais esclarecedor que seja, no
basta para abranger tda a realidade.
No possvel nem conveniente entrar agora
na exposio de todos os problemas suscitados. Uma
coisa entretanto podemos dizer: o fato de existir
o pensamento matemtico no se coaduna com uma
concepo do homem em camadas. De fato, o
pensamento matemtico rene a mais alta racio
nalidade com uma falta total de conscincia hist
rica. Portanto, no foi pelas fras que o fizeram
elevar-se a ser existencial, consciente de histria,
que o homem faz matemtica, mas pela sua depen
dncia para-existencial, e indestrutvel, da natu
188
reza; da lhe provm as fras de decifrar a natu
reza l onde ela incompreensvel, e precisamente
a. e isto atravs do pensamento matemtico, que
faz brilhar a luz cristalina' que lhe prpria.
Dste modo o equilbrio entre histria e matem
tica nos permite lanar um olhar profundo para a
duplicidade fundamental do homem: seu existir
(Dasein) e seu ser (Dawesen)(58).
Acompanhar de perto ste assunto ultrapassa
os objetivos desta dissertao.
189