You are on page 1of 188

COLEO CAIROSCPIO

UNIVERSIDADE DE SO PAULO
REITOR
Proj. Dr. Luis Antnio da Gama e Silva

EDITORA DA UNIVERSIDADE DE SO PAULO


Comisso E d ito ria l

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

Proj. Dr. Miguel Reale Proj. Dr. Walier Borzani


f a c u l d a d e d e d ir e it o ESCOLA POLITCNICA
O S K A R BECICER

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.

(c ) Editra Herder, So Paulo, 1965


Imprciuo no* Estados l;ndon do Br&il
P rinted itt the United StaU t oj Braeil
IN D IC E

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

A) Os limites imanentes da matemtica


1. Geometria no-euclidiana.Axiomtica formal.... 114
2. Fundamentao crtica da anlise............................ 121
3. A teoria dos conjuntos de Cant-or e suas antinomias.
Provas da nfio-eontradio........................................ 124
4. Ointuicionismo.............................................................. 139
5. Computabilidadc c decisibilidade. O princpio da
ineompletividade de Goedel...................................... 143
6. Aprova da incompletividade de Goedel.... ............. 146
7. Oconceito de funo calculvel e similares.............. 157
8. Defini3o construtiva de nmeros ordinais transfi-
nitos............................................................................... 162

B) 0 Problema filosjic) dos limites


do pensamento matemtico
1. Opinio de Kant sbre a essncia da matemtica.. 169
2. Amatemtica e a finitude do homem........................ 173
3. Matemtica e "Histria (cincia hermenutica do
esprito)......................................................................... 178
4. Os limites do inteligvel. Ser e existncia do homem. 186
P r e f c io

S bre a grandeza e a misria do homem es


creveu Blaise Pascal, sbre o brilho e a misria
das cortess escreveu Honor de Balzac; porque
no escrever agora sbre a grandeza c a misria
da matemtica? verdade que a matemtica
um assunto abstrato, ou pelo menos uma forma
do esprito objetivo, ou absoluto, e tal forma pode
muito bem ser grande, mas no miservel como
o homem. Pode-se, talvez, perguntar se a matem
tica pode crescer ilimitadamente, ou se seus limites
no coincidem com os do prprio matemtico.
A grandeza das conquistas matemticas no
decurso dos trs ltimos sculos est hoje em dia
claramente delineada diante de nossos olhos. Mas
vemos igualmente a ambigidade de uma tal gran
deza no imenso terror que ela pode espalhar ao
seu redor, por mais que dela necessitemos e sem
ela no possamos mais viver. S ste fato j bas
taria para fazer-nos meditar sbre a grandeza e
os limites do pensamento matemtico. preciso
indagar como tudo isto pde acontecer; por-
7
tanto imprescindvel lanar um olhar sbre a his
tria da origem e da evolufio da matemtica.
A cincia matemtica moderna, que levou ao
desenvolvimento extremo do domnio das fras
da natureza no decorrer dos sculos xix e xx, s
existe h trezentos anos; comeou no sculo xvn
com Galileu e alcanou seu primeiro clmax com
Newton. Mas, a matemtica em si alguns sculos
mais antiga. Teve sua origem no Antigo Oriente,
Babilnia e Egito, no segundo milnio antes da
era crist. Cincia no sentido europeu ela se
tornou smcnte no incio do sculo vi antes de
Cristo, por obra dos gregos, os quais, recebendo
a herana babilnico-egipcaca, profundamente a
transformaram, como alis fizeram em outros ter
renos da cultura (escrita, arte, etc.). Uma outra
transformao se verificou no "ocidente, no
sculo xvn, por obra dos povos germano-romanos,
quando se descobriu a lgebra (a frmula, que
hoje nos parece to caracterstica da matemtica),
a geometria analtica e o clculo infinitesimal. Ao
mesmo tempo, e em conexo com aquelas desco
bertas, surgiu a nova dinmica de Newton, que
se mostrou capaz de explicar pelos mesmos princ
pios os processos (mecnicos) do cu e da terra.
A partir dali se verificou um progresso contnuo,
tanto no terreno matemtico, como no fsico (no
sentido lato), at a cincia atual.
Se queremos compreender esta, ser necessrio
ocupar-nos mais detalhadamente do esbo hist
rico, acima apresentado. No de tdas as parti
8
cularidades, nem sequer de todo o seu alcance
evolutivo, mas pelo menos dos pontos de intersec-
o mais importantes desta longa histria, isto ,
das descobertas mais fundamentais para a ulterior
evoluo.
No queremos, contudo, parar a; o estado
atual da questo em suas linhas mais caracters
ticas ser igualmente exposto. Pois precisa
mente neste ponto que o pensamento matemtico
alcanou sua plena realizao c atingiu seus limi
tes, se que tais limites existem. A questo dos
limites se deve examinar, de um lado, a partir
da prpria matemtica e, de outro, como um pro
blema filosfico.
Com isto est esboada a tarefa que nos impu-
semos tratar no presente livro.
CAPTULO PRIMEIRO

O pensamento Pitagrico

1. Os matemticos e jilsojos gregos


mais antigos
De Pitgoras se afirma(l) que foi o primeiro a
ensinar a matemtica como disciplina livre (paidda).
Esta significa para Arist,teles(2) uma cincia que
estudada por si mesma, e no pela sua utilidade,
ou por prazer. Pode-se duvidar da exatido dsse
informe sbre Pitgoras. De fato, numa gerao
antes de Pitgoras, no incio do sculo VI, j sc
cultivava a matemtica nos crculos dos filsofos
da natureza de Mileto (Tales e Anaximandro).
certo que muitos sculos antes j existia na
Babilnia no smente uma matemtica, mas tam
bm uma lgebra e at uma geometria, que se
originaram nas escolas dos escribas, isto , dos
administradores das grandes fortunas estatais e
privadas. O mesmo sucedeu 110 Egito, onde, con
tudo, os conhecimentos matemticos ficaram num
estgio mais primitivo. Mas tanto na Babilnia
como no Egito a matemtica era utilizada para
fins prticos, ainda que nas escolas os fins imedia
tamente utilitrios nem sempre se verificassem (o
(1) iVocitu <n BudU m. p*. 66, 15 (Frioiil.).
(2) Met. 2, 982 b, 23-28.

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.

2. A tese fundamental dos pitagricos:


as coisas so nmeros
No 6 fcil datar a filosofia pitagriea. As
ricas fontes posteriores, da poca neopitagrica,
ps-crist, no s5o dignas de confiana, sendo que
os fontes mais antigas (sobretudo Aristteles) so
lacnicas e difceis de interpretar. verdade que
a datao histrica e outros pormenores no so
to importantes na presente questo sbre os
incios da matemtica grega. Podemos, portanto,
considerar a filosofia c a matemtica pitagriea
como um todo at a poca de Plato; as fontes
para estud-las encontramos, por um lado em
Aristteles e, por outro, na anlise crtica dos
Elementos de Euclides (para a aritmtica e
a geometria) e nas diferentes fontes doxogrficas
(para a astronomia e a doutrina da harmonia).
Nem se devem esquecer os fragmentos de Filolau
conservados oralmente (os quais, com W. Kranz,
admito serem genunos, pelo menos em seu
contedo) e de Arquita. Preciosos indcios
temos igualmente naquilo que nos foi transmitido
sbre Zeno de Ela. No tarefa nossa expor
aqui a matemtica dos pitagricos, j que isto
foi feito por outrem(5) e por ns em outra
(S) Vid. sobretudo B. L. van d*T W a k r d jc n : Die Harmonielehre der
PytlmOTcwr, em: Herme* 78 (1943), pu. 163-179: Die Arilhinetik der
Pythagorper, em Mth. Ann&lcn 120 (1947-1940), ps. 111-153, 676-7(10;
Die Astronomie drr PythaEorrer. Verhundl. d. K. Nederland. Aked. v.
Wetenach., Aid. Niiturerk. Drrl XX N. 1 (Amstenl&m 1951). Ilesmmo
dtete* diferentes cetudoa cm: Erwachcndo Wiaenacbalt (BaaiUft e
8tuttart 1957), p*g. 155-168, 177-21, 247-202.
15
ocasio (6). Trata-se agora de expor o sistema
filosfico do pitagorismo que constitui o tema
central dessa corrente de pensamento.
As notcias que nos fornece Aristteles, sobre
tudo em sua Metajsica (Livros A, M, N), no
nos apresentam, como j dissemos, um quadro
unitrio c coerente sbre aquilo que os pitagricos
ensinaram sbre os nmeros e suas relaes com
as coisas. Uma vez se diz que os nmeros so
as prprias coisas outra vez que esto nas coisas,
e uma terceira vez se afirma que as coisas so
compostas de nmeros, sem que Aristteles parea
fazer uma distino essencial entre essas dife
rentes afirmaes.(7) Alm disto Aristteles pro
curou exprimir a doutrina pitagrica por meio
das categorias, por le concebidas e dotadas de
sentido dentro da lexcologia e sintaxe grega e
estreitamente dependentes da crtica que exerceu
sbre os pitagricos e Plato; esta crtica s podia
ser feita de maneira imperfeita. Assim, segundo
le, os pitagricos teriam concebido os nmeros
como a essncia substancial (ousia) das coisas, ou
ainda como seu princpio (arck), conceito que em
outro lugar aplicado aos elementos originais dos
antigos filsofos naturais da Jnia(8). Num con
texto distinto do anterior o Estagirita explica que
os pitagricos descobriram semelhanas (homoi-
8bre a estreita relao entre maica e matemfitica na Grcia trata
J . Lohmin, Muk und Logre, em: Wiaa. Zeitccbr. d. Univ. Grciawald VI;
OeBeUschafto - und Spraohwiaa. Rclhe, n.* 1/2, p*. 31-37 (1956/57);
id., Dio griochUche Muuik nla mathemntwiho Forra, em Archivfuer Muak-
wiaaanaeWt XIV, 147-155 (1957); Der U nprung der Muaik, 1b. XVI,
148 u . (1959).
(0) Grundlagen der M athem atik in ceaehichtlicher Entwicklung
34 as. Friburgo em Br. Munique 1954 (abrev. GM).
(7) Vid. O. Martin, Klaa*lah* Ontologio dr Zahl, em Kantntudcnl
aupl. 70 (Goinia 1956) $ 1-3. Principais texto dc Arlatlelc*: o) O
nmoros tAo as coUa: M ct A 5, 987 b, 28; M 8, 1083b, 17. 5) o* nmeroa
cwtfto a coisaa; Met. M 6, 1G&0 b, 1; PhvB. III, 4. 203 a, 6. c) Aa coiuou
eSo compostas de nmeros: M et. A 8, 990 a, 22; M 6, 1080 b, 2-3, 17-19;
M 8. 1083 b, 11-18; N 3, 1090 a, 23-32; De coelo III. 1 300 a, 15-17.
(8) Nmero como ouaia: Met- A 5. 987a, 18; A 8, 1017 a 20; vld.
I 2, 1053 b, 11-13 nmero como arcM 5 986 a, 16,

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.

3. A teoria piagrica de Plato


sbre a matria
A novidade que Plato introduziu no problema
dos nmeros foi apontar para a diferena que
existe entre o carter ideai, inteiramente firme
e determinado, dos nmeros e o carter incons
tante Plato, seguindo os heraclitenses, diz
fluido das coisas sensveis. J Filolau se
exprimira do maneira semelhante. Estamos hoje
em dia bem familiarizados com tal distino no
campo geomtrico: sempre distinguimos cuidado
samente entre o mais exato dos desenhos de uma
circunferncia, onde sempre h inexatides, e a
circunferncia ideal, entendida pela geometria.
Naturalmente, uma tal circunferncia ideal, que
se pode realizar em quantos exemplares quisermos
de figuras geomtricas, no constitui a nica idia
possvel de circunferncia, daquilo que se poderia
designar como circularidade. Mas com os n
meros parece que a coisa diferente: quando
temos trs homens diante de ns, o nmero 3
est a representado de modo perfeito, pois 3 est
posto de forma bem determinada entre 2 e 4.
Podemos afirmar, ento, com absoluta certeza: so
(13) Met. A S. 986 , 1-2; vid. Filolau, F n p i . B 2 CDiel).
trs homens, c no dois nem quatro. Plato o
seus discpulos, contudo, pensavam diferente. Exi
giam que o nmero da aritmtica filosfica cons
tasse s mente de unidades inteiramente iguais(14).
Este conceito de arilhmos monadikos ou malhema-
tiko8 deve ser rigorosamente distinguido do n
mero numerado das coisas scnsveis(15). Dstes
dois conceitos se deve distinguir ainda o nmero
ideal ou o nmero das idias (iden arithmos)
platnico, conceito muito difcil, dc que agora no
precisamos nos ocupar.
Os pitagricos no faziam essa distino, o que
segundo Aristteles lhes poupava muitas dificul
dades. No atribuam valor decisivo absoluta
igualdade das unidades com que enumeravam.
Para les o um e os outros nmeros no so
atributos de quaisquer coisas concretas numeradas
mas entidades independentes (ousiai, substn
cias), o que combatido por Aristteles pelo
seguinte argumento: Mesmo quando se concebe
uma melodia como um nmero composto de
quartos de tons, a unidade dela no constitui um
ser independente, mas um quarto de tom. Assim
tambm em outros casos(16). Conforme Arist
teles o nmero adere s coisas, no est nas coisas.
Apesar desta formulao diversa, neste ponto o
Estagirita se aproxima do conceito pitagrico de
nmero. O que os pitagricos chamam de n-
(14) Rp. VII, 528a; Phileb. 58de.
(15) Phya. IV, 11, 219b, 6. Aristteles ao "ndmero numerado" opunha
o "ndmero com que numeramoa". W. 2>. Rot* interpreta ste ltimo
como o n^msro m\temdtico ou mondico. Mas, tato inteiramente justi
fica lo? E em to lo o caso necsslrio ter em vtata a teoria arUtotlica
da abtriSo matnmlticu [segundo le a m itnm itica exUt* ex aphoi-
O ndmero raondieo platnico n&o 6 abstrato, maa existente outo-
lgicarivntr, iim i ou*ia no avutMo pttOO* IttO A . IFfdtfrp,
PKtoa Philosophy of Mnthornatias (Stockholm 1955), cap. V (pg. 03 ss.).
Infelizmente ste autor nilo trata da t**c decisiva do platonlamo posterior,
segundo o qual as idias Ao nmeros.
(16) M et. 1 ,1, 1053 b, 32 1054a. 9; vid. N 1. 1067b, 33-1088a, 14

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

2. A experincia analtica na Antigidade


e na Idade Moderna
A questo por que a Antigidade no conseguiu
produzir uma cincia exata da natureza, no sen
tido prprio desta palavra, no pode ser respon
dida em poucas palavras. Alguma luz, embora
31
bastante unilateral, atirada sbre a questo
quando se compreende que a cincia antiga no
conhecia a experincia analtica.
No h dvida que os gregos eram finos obser
vadores e pensadores penetrantes, mas tinham um
pavor instintivo de analisar artificialmente, por
manipulaes apropriadas, qualquer fenmeno e
assim destru-lo em sua integridade. O que se
podia observar diretamente na natureza e aquilo
que resultava de atividades prticas pr-cientficas
na guerra e na paz (tcnica manual e tcnica
guerreira), era considerado como objeto de cincia
"livre. Mas quase ningum construa aparelhos
para fins nicamente de pesquisa.
Tpica, para uma assim chamada experincia
na antigidade helnica, a descrio que Emp-
docles (B 100, 8-21) nos oferece de uma criada
que brinca com um elevador dc gua (klepshydra,
literalmente: ladro de gua). A clepsidra
um antigo aparelho domstico (conservam-se alguns
exemplares), uma espcie de pipeta que servia para
tirar gua dos enormes cntaros que no se podiam
fcilmente levantai- ou inclinar. A experincia
descrita no jgo da criada serve como modlo
(que na poesia de Empdocles toma a forma de
uma parbola homriea) de um processo fisiol
gico. Mas se trata da observao de uma inocente
brincadeira de criada e no de uma experincia
com fins cientficos.
Algo semelhante encontramos freqentemente
entre os pr-socrticos. As homoiomerias dc Anax-
goras, por exemplo, so explicadas pela mistura
(manual) de cres (Anaxgoras B 10 [p. II 37,
7-10], B 21 [p. II 43, 8-12 Diel-Kranz]; sbre
a clepsidra: A 69). Igualmente as experincias
acsticas, parcialmente verdadeiras, parcialmente
pretensas, dos antigos pitagricos pertencem a ste
gnero de experincias, como a de Hipaso (12.13)
com discos de diferente grossura e com recipientes
mais ou menos cheios de gua. Smentc em poca
mais recente se praticam ocasionalmente experi
ncias sistemticas, por exemplo, no terreno da
tica: Cludio Ptolomeu pesquisa a viso binocular
e a refrao da luz. Mas mesmo a o fenmeno
natural nunca decomposto em seus componentes,
como seja, a luz branca atravs de um prisma em
seus componentes coloridos.
Ainda mais importante o fato que a decom
posio e a composio das fras mediante o to
conhecido paralelogramo de fras inteiramente
desconhecido na Antigidade; parece que smente
pelo fim do sculo xvi foi utilizado por Stevin
para explicar o equilbrio no plano inclinado. Os
gregos no foram capazes de calcular sse equilbrio
(vide uma tentativa falha em Pappus, Coll. math.
vm, 8-9); conseguiu-o, verdade, no incio do
sculo xvi um discpulo de Jordanus Nemorarius,
mas smente pela aplicao do princpio dos deslo
camentos virtuais, e no pela decomposio dos
componentes. No decurso do sculo xvn o prin
cpio do paralelogramo extensamente aplicado
aos mais variados problemas e a dinmica newto-
niana seria ininteligvel sem le.
No entraremos agora nas particularidades his
tricas ou nos diferentes experimentos e suas expli
caes, mas insistimos no princpio fundamental
da anlise dos fenmenos naturais e na decompo
sio dstes cm seus elementos para depois nova
mente reuni-los, geralmente (embora no sempre)
pela simples superposio dos componentes. O
princpio da anlise dos elementos foi formulado
por Descartes em suas Regulae ad directioncm
ingenii (1G29). Est em estreita relao com a
Mathesis universalis que se servo da lgebra
33
speciosa (clculo por meio dc letras, descoberta
por Vite e melhorada pelo mesmo Descartes) e
que pode ser aplicada a tda espcie dc nmeros e
grandezas; est alm disto em relao com o ideal
cartesiano da matematicizao da fsica, segundo
a qual tudo se consegue pela elaborao de axiomas
e pelo clculo algbrico. A matemtica de Descartes
assim um modlo metdico. Na realidade per
tence essncia mesma da matemtica ser fcil e
at trivial em todos os seus passos, pela conexo
gradual de figuras sempre mais complexas e argu
mentos sempre maiB intrincados que so difceis de
seguir e compreender. Contudo seu carter cient
fico provm precisamente desta complexidade estru
tural.
Portanto, um trao caracterstico e fundamental
da cincia natural exata, a partir do sculo xvn,
que ela decompe em seus elementos, muitas
vzes invisveis, os fenmenos pr-cientficos e coti
dianos, para depois novamente reuni-los; por a
se exerce igual mente uma crtica sbre a observa
o ingnua dos sentidos. Pense-se, por exemplo,
na ingnua concepo de Aristteles, e de outros,
que velocidade e fra motora so proporcionais
entre si; a doutrina da fsica clssica moderna,
ao contrrio, ensina a proporcionalidade da fra
e da acelerao. O carter matemtico da fsica
moderna repousa precisamente sbre ssc trao
construtivo, prprio da cincia exata moderna.
Da tendncia moderna para a anlise segue,
antes dc mais nada, a construo de aparelhos e
seu uso para observaes sempre mais exatas. Tal
tendncia existia na antigidade smente no campo
da astronomia (que necessitava de medies exatas
de ngulos) e de algum modo no da geodsia (os
Dioplra de Her), Ao contrrio, os aparelhos
pneumticos de IJeron nada mais so que brin
quedos geniais, "coisas admirveis que se movem
por si mesmas (Aristteles, Met. A 2, Pg. 983a,
14), que serviam para divertir o pblico e no
para pesquisas. O homem antigo encontrava os
m odelos dos fenmenos naturais na prpria natu
reza ou na ocupao manual e no os empregava
para fins cientficos (excetuados mais uma vez os
modelos astronmicos, as esferas).
A construo de aparelhos cientficos para uso
da pesquisa surge quase repentinamente no sculo
xvii; pense-se no telescpio, no microscpio, no
relgio de pndulo, no vcuo de Torricelli e na
bomba de ar com que Otto v. Guericke conseguiu
tantos efeitos dinmicos. Mas experincias exatas,
levadas de forma realmente cientfica, no eram
ainda freqentes; Blaise Pascal constitui uma
honrosa exceo.
O esfro para ser exato pressupe um grande
interesse por constataes numricas exatas, o
que leva a pesquisa numa direo inteiramente
nova. Parece-nos hoje evidente que "o livro da
natureza est escrito em linguagem matemtica
(Galileu). Naquele tempo isto era novidade e con
trrio tradio antico-medieval, excetuada sempre
a astronomia; esta, contudo, com rIVcho Brahe
muito ganhou em exatido nas suas observaes
(de 10 minutos para 1 minuto e at menos!).
No por acaso que o mesmo Galileu, para
quem a natureza fala a linguagem da matemtica,
aprova o mtodo risolutivo e compostlivo, da mesma
forma como Descartes, Isto significa: a maneira
de pensar matemtica em certo sentido nada mais
que o mtodo analtico, tanto que o trmo Ana-
lysis' tem uma justificativa quando aplicado
alta matemtica que surgiu no sculo xvii.
Este fato no diminudo por sse outro, que
no decurso do sculo xvm se descobriram processos
35
matemticos que permitem estabelecer leis de ca
rter integral e aparentemente teleolgico, os cha
mados princpios extremais (leis integrais). Tra
ta-se do clculo das variaes, concretamente do
problema da curva do percurso no menor tempo
(braquistocrona, de que se ocuparam Leibniz
e Jakob e Johann Bernoulli); do princpio do
caminho mais curto para a luz (Fermat) e dos
resultados mnimos (Leibniz e Maupertius). Para
Leibniz sses princpios maximais e minimais tm
uma significao bsica, filosfico-teolgica: Deus,
que criou o melhor de todos os mundos possveis,
produz o mximo com os menores meios, solve
todos os problemas da maneira mais econmica,
como Arquiteto perfeito do universo. Mas, mais
tarde se descobriu que a todos sses princpios
extremais correspondem sistemas de equaes dife
renciais (as assim chamadas equaes de La-
grange) e que no tm carter integral ou teleol-
gieo. Esses integrais principais extremais geral
mente possuem duas solues e tm resultados
mximos e mnimos e constituem assim as solues
melhores c piores. Apesar disto digno de
nota, do ponto de vista da histria da filosofia,
que Leibniz tenha tentado conciliar a tradio
filosfico-teolgica da Idade-Mdia com a cincia
exata da Idade Moderna.
De tudo isto resulta que a experincia analtica
e a anlise matemtica esto cm ntima relao
entre si e expressa-se pelo fato de cm ambas se tra
duzir a tendncia construtiva da cincia moderna.
3. 11Forar" a natureza?
Talvez seja o processo analtico da cincia mate
mtica recente que inspirou a idia do fora-
mento (ou violao) da natureza pelo homem
36
por meio do mtodo cientfico, idia que uma
conseqncia necessria, seno um pressuposto,
da moderna tcnica. M. Hcidegger exprimiu elo
qentemente isto ao afirmar que a natureza e o
homem mtuamente se afirmam (Ge-stell), o
que entretanto no entendido como cegueira ou
hybris do homem, com suas conseqncias tr
gicas, mas como o destino do ser (Seins-Ge-
schick) do nossa poca(5).
O limite onde comea sse forar da natureza
no fcil de determinar. Heidegger, por exemplo,
ainda no considera como foramento o aproveita
mento da fra do vento pelas velas ou pelos
moinhos dc vento nem o aproveitamento do solo
11a agricultura tradicional; mas considera fora
mento da natureza a mquina a vapor, a eletrici
dade e o adubamento qumico, que supe uma
tcnica qumica muito desenvolvida. Mas pode-
se perguntar: qual o princpio da distino?
No sculo xvn Luis XIV fz construir as obras
hidrulicas de Marly 110 Sena, as quais por meio
de bombas acionadas por rodas hidrulicas eleva
vam a gua para as margens do rio a uma altura
que lhes permitia alimentar os chafarizes do parque
de Versailles. Esta obra to admirada em seu
tempo, extensa e cara, pode ser considerada um
foramento da natureza ? A eficincia desta enorme
obra era extraordinriamente baixa; fizeram-se os
clculos que o produto de tda essa imensa maqui
naria poderia hoje em dia ser alcanado pelo motor
de um carro mdio. Pode-se dizer que as m
quinas dc Marly constituam um foramento muito
dbil da natureza, apesar de seu tamanho. Mas
(6) Vid. . Bddfoffffgr, Vortnegt) und AufHtuttxa'' (Pullijien l&M),
pg. 118 mb. C'Di Frage nach der Tbohaik" (19.53). pg. 163 a. ("Dm
Diog (1950); "Identltt und Differeoi (Puilimcm 1957), p*. 25 w.

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. Naturam renuntiando vincimus


Foi Francis Bacon que forjou o aforisma: Na-
tura non nisi parendo vincitur; uma variante en
contramos neste outro princpio: Naturam renun
tiando vincimus: pela renncia vencemos a natu
reza. Por mais paradoxal que isto parea, o processo
para arrancar natureza seus mistrios e pr suas
41
fra3 a nosso servio renunciar ao conheci
mento de sua essncia. Esta idia j se encontra
em Galileu. Tendo trabalhado a princpio em Pisa
como discpulo dos terministas parisienses (esco-
lsticos do sculo xiv, dentre os quais os mais
conhecidos so Buridano e Oresme), em Pdua (a
partir de 1592) se afastou desta tradio medieval,
renunciando a investigar as causas do movimento
da queda e do tiro, para se limitar inteiramente
ao decurso dsses fenmenos. Embora tal renncia
fsse em sua mente s provisria, trata-se contudo
de um acontecimento de grande significao. Pois
ste mtodo paradoxal de penetrar nos segredos
da natureza mais e mais porfundamento, renun
ciando a responder s questes que sempre tinham
sido propostas (pense-se nas numerosas causas
de Aristteles), sempre de nvo se mostrou fru-
tuoso. Uma tal atitude favoreceu o conhecimento
terico e no s a prtica. isto que notvel,
mas fcilmente compreensvel se se olhar de mais
perto.
Aqui est o ponto em que a maneira especifica
mente matemtica de pensar desempenhou seu
papel. A renncia tem por conseqncia uma
limitao de respostas possveis sbre a natureza.
Em muitos casos esta limitao, a impossibilidade
de dar diversas respostas, se deixa precisar matem-
ticamente. Resulta da que as possibilidades estru
turais do formular matemticamente as leis da
natureza so igualmente limitadas. A frmula
sempre determinada c em casos extremos absoluta
mente imutvel. No 6 como se smente o pro
cesso, e no a causa, de um fenmeno fsse repre-
sentvel pelos meios matemticos, mas que outros
conhecimentos a que se renunciou podem ser
conhecidos positivamente por mtodos matem
ticos.
42
ste fato aparecer de forma particularmente
clara quando se tomam em considerao as dife
rentes teorias da relatividade que no decurso
da longa histria da fsica viram a luz do mundo.
Estas teorias sempre afirmam que certas coisas
no podem ser concebidas de maneira absoluta
c que sbre elas nada se pode em princpio afirmar
de absoluto. Da se segue que as leis fundamentais
da natureza devem ser invariantes relativamente
a determinado grupo de transformaes. E isto
significa que deve haver simetrias correspondentes
na estrutura das leis naturais e nas frmulas mate
mticas que as exprimem. E isto de nvo nos
leva ao ponto de partida de nossas consideraes
que expuseram a tese bsica dos pitagricos.
Tal modo de pensar j se encontra no exemplo
mais antigo que temos de raciocnio matemtico,
isto , na relativizao dos conceitos em cima e
em baixo, de Anaximandro. Como j vimos,
segundo le a terra paira no centro do muudo e
em cima significa o que se afasta da terra
e em baixo, o que se aproxima da terra em
direo radial. Esta afirmao vale ainda hoje e
permanece imutvel quando se representa a terra
como girando em redor de um eixo que passa pelo
seu centro.
Esta concepo nos hoje em dia to evidente
que raras vzes refletimos no fato que ela no
clara assim. Na Antigidade pensadores como
Demcrito e Epicuro no partilharam desta opinio
mas falaram de uma queda de tomos no sen
tido absoluto, e durante a Renascena os antpodas
pertenciam ao reino da fantasia e eram represen
tados como sres fantsticos agarrados na beirada
do mundo, como cefalpodos e semelhantes.
Anaximandro, portanto, elaborou uma teoria
da relatividade para os conceitos em cima
em baixo e lhes deu uma definio invarivel
relativamente s rotaes da terra (onde o centro
fica firme). Ao mesmo tempo todo o mundo, consi
derado da terra, recebe uma estrutura radial-
8imtrica.
Outro exemplo temos na relatividade do lugar
e do movimento no espao. No nos possvel
entrar nos pormenores desta questo que j existia
na Antigidade (sobretudo nas teorias do eleata
Zeno). Chamamos a ateno smente para o
assim chamado princpio de relatividade de Galileu
(embora no fsse ainda plenamente formulado
por Galileu, e mais tarde fsse usado por Huygens
na deduo que da fz de suas leis sbre o choque),
a clebre discusso entre Leibniz e Clarke (que
defendia a Newton) e as discusses posteriores
entre Euler e Kant.
Na polmica entre Leibniz e Clarke no se
trata da invariana das leis mecnicas no movi
mento retilneo uniforme de todo o sistema em
considerao, pois sbre ste ponto todos estavam
concordes; mas, entre outras, da questo, que
hoje nos parece um pouco grotesca, se Deus poderia
ter colocado o mundo real em outro lugar do espao
absoluto c vazio ou se ainda agora pode mudar
o lugar do universo. Leibniz declarava a questo
tda como absurda; no tem sentido falar de um
lugar absoluto do mundo no espao vazio. Clarke
(e Newton) de opinio inteiramente contrria.
Constatamos que a posio do Leibniz encerra
uma teoria da relatividade do lugar; todos os
lugares no espao vazio eo iguais e impossveis
de distinguir, e portanto as leis da natureza so
invariveis com a mudana de lugar, o qual deve
ser entendido no como um movimento concreto
no tempo, mas como uma mudana de posio
abstratamente concebida.
44
Quanto relatividade do prprio movimento,
o problema foi muito discutido cm nossos dias e
pode ser suposto como conhecido. As leis mec
nicas de Newton so invariveis no movimento
uniforme retilneo, mas no nas rotaes por causa
do aparecimento da fra centrfuga. Contudo a
rotao absoluta no espao vazio no se pode
representar concretamont-e. A dificuldade que da
surge j foi discutida 110 sculo xvxi (por Huygens
e Leibniz) 0 depois no sculo xvm (por Euler e
Kant) e no sculo xtx (por Mach e Andrade) sem
que se tenha chegado a uma resposta satisfatria.
Einstein em sua teoria da relatividade geral
no sculo xx tratou do problema de maneira ra
dical e formulou matemticamente as leis invari-
antes da natureza que lhe dizem respeito. Mas
esta teoria to ampla no est ainda inteiramente
esclarecida.
Com isto no chegamos ainda ao fim da evolu
o. Na fsica atmica apareceram novos limites
110 conhecimento da natureza, os quais no podem
ser interpretados simplesmente pelas teorias da
relatividade. As assim chamadas relaes de inde-
terminao de Heisenberg excluem a possibilidade
de determinar ao mesmo tempo e exatamente lugar
e velocidade (0 impulso) de uma partcula elemen
tar. A dupla concepo de tal partcula como
corpsculo e onda a conseqncia necessria.
Tambm estas relaes de inexatido impem s
leis fundamentais da natureza limitaes que levam
a condies de simetria nas equaes diferenciais
que as exprimem.
Outra coisa ainda se acrescentou nos tempos
recentes: referimo-nos existncia de um com
primento mnimo (a partir de 10~13 cm), abaixo
do qual no mais possvel a medio, de modo
quo estruturas de dimenses menores de certa
45
forma no podem mais ser consideradas como exis
tentes do ponto de vista fsico(6). Esta limitao
de conhecimento leva igualmente a uma relao
de simetria nas derradeiras equaes bsicas.
(Comparar com o que dissemos no cap. primeiro
sbre a Frmula do mundo de Heisenberg-Pauli).
No aqui o lugar de apreciar criticamente
tdas essas teorias. O que mais tarde de tdas
elas ainda subsistir como integrado na histria da
cincia e o que ser superado por novas teorias
no futuro, no sabemos ainda. Mas queremos
apontar aqui para um trao que lhes comum e
que muito significativo: tda negao de certo
conhecimento traz consigo a conseqncia de impor
s leis matemticas fundamentais da natureza rela
es de simetria, explicando-as desta forma sempre
mais plenamente. Isto significa que a to freqen
temente afirmada contingncia das leis da natureza
cede lugar a uma espcie de necessidade, que se
poderia chamar de necessidade pitagrico. O mundo
se parece assim, no com uma flor, como se
diz nos belos versos de Platen sbre a viso do
mundo de Schelling(7), mas com um cristal.
Com isto j tocamos num outro problema, o
da realidade.
5. O problema da realidade na Jsica clssica
No nos incumbe entrar aqui nos pormenores
do problema da realidade em tda a sua ampli-
(d) Podcr-so-ia apontar neste contexto para a assim chamada idade
do mundo" (que segundo alguns st*ria d*4 -5 bilhes de anoa, ou do 8 bilWVes
segundo outros). Antes dst tempo, conforme alguns faicoa, no *6 no
havia mundo nem aontopimntcw, ma nem aequer tempo; seguindo a
Agostinho (que dependia do Tim eu" de Plato) afirmam que o tempo
foi criado juntamente com o mundo.
(7)Em um soneto dedicado a &nhclling dia o autor:
die W eli empjangen,
" I F i w tw r *er8t4*cfc< n u r
Sthil du 4ie ganx, vrie von dem Bcrgea Spilze;
W u wir zcrpjlueckt m il unterm armen W itu ,
Da* i*t a fs Blumc por dir awJotffanffir.

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.

6. A fsica moderna e o problema


da realidade
Costuma-se datar do ano de 1900 o nascimento
da fsica moderna, quando M. Planck props a
teoria dos quanta c quando um pouco mais tarde
(1905) A. Einstein formulou a teoria da relativi
dade restrita; passo decisivo para nova orientao
considerado o aparecimento de concepes para
doxais e contrrias s idias costumeiras sbre a
realidade fsica. Muito conhecida neste sentido
a relatividade da simultaneidade na teoria da rela
tividade restrita (1905) e o dualismo de onda e
corpsculo na teoria dos quanta (1927). A cons
cincia pr-cientfica parece contraditrio o fato
que dois acontecimentos distantes devam ser consi
derados como simultneos de um posto de observa
o, e no-simultneos de outro posto. Parece
igualmente uma contradio a afirmao que uma
partcula elementar, conforme o processo com
que a observamos, ora deva ser concebida como
onda, ora como corpsculo.
Esta evoluo da fsica no sculo xx j foi
preparada bem antes nos pontos essenciais. Vimos
como o simples sistema de Newton sbre as fras
centrais, que s dependem do lugar, teve que ser
abandonado na eletrodinmica e reduzido a uma
teoria de ao de contacto. Isto constitua aparen
temente uma volta opinio pr-newtoniana, car-
tesiana, do sculo xvir (Huygens). Mas as apa
rncias enganam. A nova poca da afto de con
tacto comeando pela eletrodinmica no
significa uma volta a concepes anteriores, mas
algo de inteiramente nvo.
Quando J. Cl. Maxwell empreendeu a anlise
matemtica da teoria das linhas de fra de Faraday
(a partir de 1855), empregou em uma de suas expo
sies decisivas de 1862(14), na qual estabeleceu
a assim chamada corrente de deslocamento, um
modlo mecnico para demonstrar suas equaes
mais importantes c no qual aparecia o estado de
tenso do campo eltrico. sse modlo tinha uma
funo heurstica, mas no podia ser considerado
como probativo e o prprio Maxwell mais tarde o
abandonou (em seu manual completo do 1873).
Ora, sucedeu o seguinte: Maxwell chegou a formu
lar um sistema de equaes de campo altamente
simtricas (o que sucedeu sobretudo depois que
Hertz o completou em 1890), o qual, embora no
fsse interpretado mecnicamente(15), por si mesmo
e por causa de seu carter harmnico e quase
esttico, tinha uma patente evidncia interna.
Tais so as clebres equaes das quais Hertz
disse que eram mais inteligentes que os homens
que as descobriram.
O grande significado da aceitao das equaes
de Maxwell est em que a mecnica clssica perdeu
seu carter de baso nica da fsica c que a eletro
dinmica foi estabelecida independentemente sbre
as bases daquelas equaes. A evoluo ulterior
(que no podemos descrever pormenorizadamente)
chegou ao ponto de deduzir a mecnica da teoria
(14) Philoa. Mhpmti (4) 23 (1862) p*. 12. Vid. M. v. Lane,
G eechicht* der Pbyw k, CBonn 1947) r f- 63-64.
(15) E sibldo que doa equaes de Maxwell se eejjue a cxiat^ncia
da onda oltrluaa; tambm aa ondas luminosa* polem ser assim compre
endidas. inaufhtdncia dos oonoepea inocanfstii'*a j se manifestara
anteriormente no terreno da tica. Lm 1817 Th. Younfc com o auxilio
de lui polarizada reconhecera a transvcrsalidnde das osidan himinonaa,
enquanto que aa ondas luminosas de luygeaa eram longitudinais. ase
fato era Inexplicvel mecanlsticamente. pois ondas transversais elsticas
s podem aparecer em corpos slidos.
da relatividade restrita da eletrodinmica, pelo
fato de que a velocidade da luz, uma grandeza dedu
zida da eletrodinmica, foi estabelecida como velo
cidade limite de todos os movimentos. Isto tem
conseqncias muito importantes no terreno da
cinemtica pura: a regra clssica e quase evidente
da adio e subtrao das velocidades de mesma
direo j no valia, embora isto s se fizesse
notar em velocidades muito altas, comparveis
da luz.
Enquanto a mecnica galileico-newtoniana con
tinha um princpio de relatividade segundo o qual
as transformaes que deixam invariveis as leis
mecnicas (traaslaes uniformes) no modificavam
as aceleraes, mas sim as velocidades, c onde o
tempo no era igualmente transformado, a teoria
da relatividade restrita tem como postulado funda
mental a constncia da velocidade da luz (e no s
a acelerao). Isto tem como conseqncia a trans
formao simultnea da coordenada do tempo,
isto , a relatividade da simultaneidade do posto
do observador (tratando-se de dois pontos que se
movem em direes opostas), bem como a reduo
das dimenses do espao na direo do movimento
e o alongamento do tempo para corpos que se
movem na direo do observador.
A transformao de que se fala nesta teoria,
a assim chamada transformao de Lorentz,
do ponto de vista matemtico de grande simplici
dade e simetria: no fundo nada mais que a rota
o do sistema das coordenadas qudruplas da
"unio quadridimensional de espao e tempo"
(Minkowski, 1908). Neste processo a coordenada
tempo deve ser acrescentada imaginriamente,
ou ento necessrio, se se quer ficar dentro da
realidade, recorrer a uma transformao afim,
anloga rotao, s que em lugar da esfera inva-
riante entra um hiperbolide de duas folhas(16).
Nesta "mtrica indefinida ou "geometria pseudo-
euclidiana aparece o papel especial do tempo ao
lado das dimenses do espao, que nfio podem
ser identificados inteiramente. Dc fato, nada de
semelhante ao duplo aspecto de passado e futuro
encontramos nas extenses espaciais.
No se deve deixar de apontar para o fato que
o esquema relativstico das relaes entre espao e
tempo onde desaparece a simultaneidade que
se estende atravs de todo o espao, i. . a onipre
sena fenomenal do espao (que aparece como
omnipraesentia phacnomenon) para ser substituda
pelos campos separados do passado passivo e do
futuro ativo (na representao de Minkowski dois
cones que s se tocam em seus vrtices, que repre
sentam o presente) corresponde melhor ao fen
meno concreto da vida real do que a concepo
newtoniana clssica de espao-tempo. O "passado
passivo' abrange todos os acontecimentos que
agem sbre mim e dos quais posso receber alguma
coisa, enquanto que o futuro ativo contm os
fatos sbre que posso influir ainda, ou mais tarde.
Os primeiros correspondem, portanto, ao mundo
da observao (Merkwelt), o segundo ao mundo
da ao (Wxrkwelt) de um ente vivo, na teoria
do ambiente de von Uexkuell; de fato, o processo
de um estmulo nos nervos sensoriais e de um
impulso nos nervos motores se verifica com uma
velocidade determinada e no muito grande. O
mesmo aparece mais claramente ainda na situao
em que se achava um general antigo quando as
notcias de e para o front levavam muito tempo.
A admisso de uma onipresena instantnea vale
(16) l&itas expresafea bo limitam a dane dimenses espadais e ao
tempo. Quando entra a terceira dimensSo espacial, cia devem ser esten
didas anlogamcnto a uma variedade quadrklimenslonal.
--------------------- ----------------------------

para um observador, mas no para um homem


ativo.
Esta concepo de Minkowski, que pretende
substituir o tempo e o espao por uma unio
quadridimensional de ambos, leva a um nvo pro
blema a respeito da realidade. Surge a questo
do que real no mundo fsico: a unio quadri
dimensional de espao-tempo, ou suas projees
espaciais tridimensionais, isto , sua diviso em
aspectos espacio-temporais, dos quais a cada
instante aparece um s dles, enquanto ns vive
mos arrastando-nos ao longo de nossa estrada
da vida(17). Em outras palavras: A unio
(ou o mundo) de Minkowski nada mais 6 que
um artifcio; um modo elegante de exprimir por
meio da teoria da relatividade fatos reais? Ou
esconde-se atrs dela algo de mais profundo, como
seja a substncia mesma de todo acontecimento?
Os vectores qudruplos e sxtuplos do mundo
quadridimensional representam a descrio ade
quada do fato fsico? Representam les a reali
dade invarivel, assim como um corpo real tridi
mensional em suas perspectivas bidimensionais
(sombras, como diz Husserl) constitui aquilo que
6 real e se mantm na corrente dos fenmenos ?
E finalmente: esta nova fsica relativista fala em
favor de uma teoria do conhecimento realista ou
idealista ?
No cremos que a teoria da relatividade res
trita nos obrigue a aderir a uma concepo gnoseo-
lgica determinada. Pode ser compreendida tanto
idealstica (no sentido neo-kantiano de E. Cas-
(17) preciso notar que o fluxu* temporia nto entra na imagem
quadridimenanal do mundo eapao-tempo do Minkowski, spesar do lugar
que o tempo ocupa como coordonada imaginria. Mesmo uma geometria
quadridimensional com unia mtrica indefinida n&o 6 capaz do incluir o
fenmeno fundamental do agora" c do nflo mais'*.

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

1. Os incios da matemtica grega


A tradio segundo a qual Pitgoras fz da
matemtica uma cincia livre (paideia) funda
mentalmente correta, embora no no sentido li
teral. Os gregos antigos fizeram da matemtica
uma cincia prpriamente dita, independente, e
suficiente a si mesma. Embora a moderna pes
quisa anglo-americana sbre os fundamentos da
matemtica freqentemente ainda em razo de
sua dependncia da tradio cmpirista inglsa, a
comear de David Hume se volte contra tudo
o que apriorstico e defenda pontos dc vasta
nominalistas, concorda contudo com seus adver
srios platonizantes na afirmao que a matem
tica no depende da experincia. O argumento
decisivo a existncia do problema do infinito
que no tem, nem pode ter, qualquer apoio na
realidade da experincia, mas nem por isto deixa
de ser posto necessriamente pela matemtica.
Do ponto de vista histrico digno de nota
o fato que smente a matemtica grega comea a
fazer uso do conceito de infinito, enquanto que
tda a matemtica anterior dos babilnios e egp
cios nada conhece dste problema. ste ponto
por si s basta para distinguir nitidamente a
cincia grega dc tda a cincia que a precedeu.
As outras duas conquistas dos gregos, o conceito
de ngulo e a teoria das propores(l), no tm
o mesmo significado, embora ambas sejam impor
tantssimas e a proporo possua um significado
fundamental, como ainda explicaremos.
Isto significa que a elevao da matemtica a
cincia livro no smente uma ilustrao filo
sfica da mesma a partir de fora, mas est em
ntima relao com uma transformao intrnseca
do conceito de matemtica. Em que consiste essa
transformao ? Freqentes vzes e com razo se
aponta para o fato que smente a matemtica
grega demonstrou suas proposies. Mas rara
mente se pergunta pela razo dste fato. Os babi
lnios (os egpcios neste ponto esto atrs) possu
ram uma lgebra bem desenvolvida e uma geometria
que satisfazia muito bem tudo o que dela se exigia,
como chegaram les a essas doutrinas fundamen
tais da matemtica sem demonstraes? A lge
bra pr-helnica sobretudo clculo; a forma
literria dos exerccios escolares dos babilnios
quase idntica aos manuais de hoje; so simples
colees de exerccios. Pode-se at afirmar, sem
recorrer a hiptese atrevidas, que uma corrente
tradicional ininterrupta corre das colees de exer
ccios escolares dos babilnios e egpcios (talvez
j sumrios ?), atravs da Antiguidade clssica, do
Lslamismo e da Idade-Mdia bizantina e ocidental
at a Idade Moderna para os livros escolares
de nossos dias, embora seja muitas vzes difcil
encontrar todos os elos desta corrente de tradi-
(1) A m atem tica pr-helntea conli-eoc smente o conceito de incli
nao (ou doclividade) a qie corresponde a cot&ngcnte do &ngulo de incll*
n*&0 (em glpoio */<, sumrteo ta-fftil, acdico ui.-wiiu). A m atem tica
babiinica tinha o eoncoito d rclao ou doa quocientcB (bandu), mas
no o d um a igualdade entro raaOca (propor&o).

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

Portanto: AC + CC' + C'C" + . . . in infinitum *= AB.


Isto significa, quando AB 1 :

Neste exemplo se pode ver o milagre" paradoxal das


sries infinitas convergentes.
(2) 7,en*o, F rasm B I e A 25-20 (P iet); seta* duns ltim a p&n&gen*
*&
<> Wlatoe abre oa doi* argumentos: dieotomia" e Aquilee, aprvae*
mi oh rontra a realidade do movimento.

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

De modo semelhante se comportam as figuras


que se encontram era Euclides (Elementos II, 4-6)
(5) A conhecida cena entre 86cTates e o escravo d* Menon repre
senta nra corto sentido ma aula elementar de ma<nv<to. Trata-se de
um tema que j no tempo de Pl&t-io pertencia ao en&ino elementar.

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

a circunferncia; portanto, existe tambm um


polgono igual circunferncia (Proclo). Com ste
polgono igual sc deve identificar a prpria peri
feria.
A validade dsse principio platnico fra restrin
gida j na Antigidade a sistemas de grandezas
homogneas, os quais eram caracterizados pela vali-
dude do axioma de Arquimedes (conhecido j
por Eudoxo; vid. Euclides, Elem. V, def. 4). A
Antigidade conhecia igualmente sistemas no ar-
quimedianos, isto , aqules que so compostos de
ngulos retos e de linhas mistas (ngulos contin
gentes)^).
O ponto de vista moderno na doutrina sbre
os fundamentos da anlise superior o seguinte:
do axioma de Arquimedes segue-se o assim cha
mado princpio da incluso, (e reciprocamente)
segundo o qual um ponto determinado (um nmero
real determinado) pode estar includo numa linha
reta entre dois pontos racionais (dois nmeros
racionais), os quais podem ser obtidos pela diviso
de um segmento em duas partes iguais; Mas, o in
verso no to claro, isto , que um intervalo que
diminui o mais possvel no determina por si s
w?n nico ponto que esteja dentro dos intervalos
todos de separao; a existncia do mesmo deve
ser postulada. sse postulado expresso pelo
assim chamado axioma de Cantor(13).
Parece que os gregos em geral no aceitavam
tal axioma; postulados eram por les feitos smente
se havia argumentos geomtricos que os exigiam,
ou ao menos os tornavam plausveis. Assim, por
exemplo, a existncia do crculo dentro de polgonos
(12) Mai s&bre ste ansunto vid. <sm GM, pgs. 43-55.
(13) Vid. GM. pg. 245 tu. (obre G. Cantor). pg. 254 s. (sbre P.
Du Bois-Reycuond). Dentro o* manuais modernos lembramos: O.
Haupte G. j4 wminn, Differentinl und Integnilrcchnung, I; Einfu<*brung
i die reell Analyaia (Berlim 1948), pga. 10-12.
inscritos e circunscritos, ou a existncia do ura
segmento de parbola na conhecida quadratura
arquimediana da parbola. Figuras geomtricas
determinadas tais como a circunferncia e a par
bola existem para os matemticos gregos evidente
mente em razo dc sua forma e contedo prprios,
fato que impressionava os gregos muito mais do
que a ns (como impressionava tambm a um
homem como Kepler). Hoje em dia definimos as
figuras geomtricas, compostas de linhas curvas,
como limites de uma seqncia ilimitada de figuras
retilneas (poligonais) que nos aparecem como fi
guras elementares (em geral poligonais). Assim
a circunferncia definida como limite de uma
seqncia ilimitada de polgonos nela inscritos.
Mas duvidoso se uma explicao hoje to comum
seja, em ltima anlise, inteiramente satisfatria
A crtica neo-intuicionista exercida sbre a crtica
clssica mais uma vez suscitou estas e outras ques
tes da existncia matemtica; sbre isto ainda
falaremos.

3. A teoria aristotlica sbre o infinito


Parece-nos necessrio dizer agora algo sbre as
pesquisas feitas por Aristteles a respeito do infi
nito e do contnuo, investigaes s quais mais
vzes j nos referimos; pois, essas explicaes
continuam exercendo uma influncia notvel at
mesmo nos hodiernos problemas dos fundamentos
da matemtica.
Sem entrar em muitos pormenores pode-se
notar, antes de tudo, que Aristteles v o ilimi
tado (apeiron) como um ente em potncia (possi
bilidade), (dynamei on), ou, segundo seu comen
tador Simplcio, como algo que tem seu ser no
96
devir. A potencialidade do infinito, portanto, no
ccmo a de um cbjeto (como seja, do bronze
de uma esttua ainda no moldada), a qual desa
parece com o devir atual, mas como a do dia
ou dos jogos olmpicos, que sempre se renova,
(parece que neste exemplo se entende tanto o
decurso do dia e do jgo como tombem a perptua
repetio dos dias e das olimpadas no decorrer
do tempo, medido por elas; segundo Aristteles,
o tempo o que numerado no movimento).
O infinito aparece tanto no acrscimo como na
decomposio, ou o que o mesmo, na diminuio.
O esquema que est na base a dicotomia j a
ns conhecida da qual surge a srie geomtrica
4 - + 4 + -...; mas ste esquema pode ser gene-
* 4 o
ralizado de modo que em vez da relao numrica
1 :1 , que apareo na diviso pelo meio, aparea uma
outra relao, como seja 2:1 ou 3:2, etc. Tal o
caso no paradoxo zenoniano de Aquiles e da tarta-
ruga(14).
Neste ltimo exemplo 0 processo era o seguinte:
a parte restante de cada diviso acrescentada
soma parcial anterior. No mesmo ritmo que se
processava a diviso cra feita a adio, s que,
inversamente, enquanto que o resto fica sempre
menor, a soma sempre cresce.
Conquanto no exista infinito atual por aere-
cimo, isto , o infinito em grandeza, pois segundo
Aristteles o mundo limitado pela abbada celeste
(a esfera das estrias fixas), existe em certo sen
tido o infinito por diviso, isto , o infinito em
pequenez. Pois possvel, p. ex., dividir um seg
mento por uma dicotomia continuada e sem fim;
(14) Paaein* priacipaia: Fiucft III, 6, pg. 206, 13 m . fvid. a tra^
ilulo cm GM , pg, 65 a*.).

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)

de Cantor *5bro * integridade n matemtica grega. o


n io e claro como ste fato possa concordar com n admisso do princpio
na cooumidada etn variedades homogneos",
adentalc
.(!6)JDialektik,
!? \KritikAntinomia
<,or r*inolderVernunt,
Vernunt.2 9.ed.,Afoohnitt
p*. 545 aa.
I e (Tranazen-
II).

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.

5. Evoluo em direo matemtica


jormal
impossvel descrever aqui o extenso cresci
mento das numerosas disciplinas matemticas, que
sempre mais se ramificaram, no decorrer dos sculos
XVIII, xix e xx, pois tdas as exposies histricas
no ultrapassam o ano 1800(33). Era poucas pala
vras, eis o que temos a dizer:
(32) K. Ducrr, Neue Bcleuchtuiu: cinsr thacme von Leibn: Gruudle-
dea Loiikkalkuel. cm: Lcibnizrchiv II {Darixuitadt 1930); \.
Retchtr, lo. ei*.
(*3) Al interessante "Preladas rbrc lalria d matemtic no
tculo XIX" Berlln 1926,27), de F. Kl/irs, sflo um* primeira tentativa,

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

Por um lado temos:


(1 - 1 ) + (1 - 1 ) + (1 - 1 ) . . . - 0 + 0 + 0 + . .. -0

Por outro lado temos:


1 - ( 1 - 1) - ( 1 - 1 ) - ( 1 - 1 ) - . . . - 1 - 0 - 0 - 0 - ... -1

V-Se por a que por processos s aparentemente


legtimos (por simples mudana da ordem dos
parnteses) se chega a resultados diferentes e contra
ditrios.
Tais fatos levaram, na passagem do sculo xvm
ao sculo xix, a uma atitude crtica que procurava
pr ante os olhos os limites das concluses matem
ticas; trata-se de uma revoluo no verdadeiro
sentido da palavra, que, no por acaso, paralela
ao desaparecimento do dogmatismo racionalista
dos sucessores de Leibniz e ao surgir da crtica da
razo por Kant.
Temos a os germes da pesquisa dos fundamentos
da matemtica, que se inicia j no sculo xvm,
no campo geomtrico com as pesquisas de Saccheri
e Lambert sbre o axioma das paralelas, e no
campo analtico com o clculo da derivao de
Lagrangc, o qual quer fundamentar o clculo dife
rencial sem recorrer s diferenciais infinitamente
pequenas. Desenvolvc-se no decurso dos sculos
xix e xx at chegar a formar uma extensa disci
plina que abrange diversos estgios de questes,
que algumas vzes tomam diferentes aspectos.
Surge assim um problema inteiramente nvo
em nossa exposio, isto , o problema dos limites
111
do pensamento matemtico, um problema que tem
ao mesmo tempo diversas dimenses matemticas e
filosficas. No captulo seguinte dedicaremos a le
nossa ateno.
*

Lancemos um olhar retrospectivo sbre o pre


sente captulo.
Os gregos, talvez os primitivos pitagricos, fize
ram da matemtica uma "cincia livre", que
existe por si mesma, ccmo um homem livre, e no
como o escravo. Do ponto do vista da estrutura,
a matemtica grega se distingue da matemtica
pr-helnica pela tomada de conscincia do pro
blema do infinito. A matemtica prc-helnica ope
rava com comparaes, divises e deslocamentos
de um nmero finito (muito pequeno), de super
fcies limitadas, de formas elementares fcilmente
compreensveis, geralmente com retngulos e tri
ngulos retngulos (ocasionalmente apareciam tam
bm polgonos regulares). Tambm a lgebra babi-
lnica, especialmente a soluo de equaes quadr-
ticas, pode ser interpretada geomtricamente, como
o mostra o II livro dos Elementos de Euclides,
que , talvez, a parte mais antiga de todo o livro.
A matemtica grega, ao contrrio, descobre o pro
cesso infinito, primeiramente, talvez, na dico-
tomia, como o demonstram os fragmentos que
sc conservam do clcata Zeno. Segue depois a
segunda grande descoberta, a do irracional, desco
berta que distingue a matemtica grega de tdas
as que dela provieram e de tdas as matemticas
no-gregas.
Aristteles o terico do infinito no campo
filosfico; para le a essncia do infinito est num
processo que se pode levar adiante sem fim, que
tem o seu ser nicamente sob a forma de possibili
dade, secundum potentiam. O fundamento da
realidade da matemtica em geral, o Estagirita o
v, em oposio a Plato, na abstrao. Isto quer
dizer que as figuras matemticas so por le conce
bidas no como entes subsistentes em si mesmos
(substncias), mas que tm sua razo de ser na
ablao ("aphaire&is"), isto , no fato de serem
tiradas das condies concretas de objetos fsicos;
numa palavra, so entes dc razo, produtos do
esprito humano (talvez tambm do divino). Em
conexo com essa teoria, Aristteles concebe a essn
cia dos objetos matemticos universais (como
seja, as propores, no sentido da teoria de Eudoxo)
como um grau superior de abstrao, de carter
no generalizador, mas formalizador.
Nestas teorias, e em algumas outras considera
es do fim da Idade Antiga, toma p, no sculo
xvil, a nova matemtica do Ocidente, a qual, pela
sua idia da Mathesis universalis, e apoiada no
clculo literal de Vite, na geometria analtica dc
Descartes, e, finalmente, nas avanadas pesquisas
de Leibniz sbre o clculo universal, se desenvolveu
no decorrer dos trs sculos seguintes em uma
ciDcia amplamente ramificada de caractersticas
sempre mais formais.
S que ste insopitvel impulso para frente,
como o mostra particularmente a anlise do sculo
xvm , leva a posies irracionais c a contradies
sempre maiores. Surge ento uma atitude crtica
e auto-limitativa, da qual, como resultado positivo,
se desenvolve a investigao dos fundamentos da
matemtica.
Chegamos assim, como j ficou notado no fim
dste captulo, a um problema inteiramente nvo,
o problema dos limites do pensamento matemtico;
a sse problema dedicaremos o ltimo captulo da
presente exposio.
CAPTULO QUARTO
Os limites do pensamento
matemtico
A complexa questo dos limites do pensamento
matemtico pode ser dividida em duas partes.
Dc um lado est a questo dos limites que
surgem dentro da prpria deduo matemtica.
ste aspecto da questo est cm conexo com a
investigao dos fundamentos da matemtica, a
qual a expresso da auto-conscincia e da auto
crtica do prprio pensamento matemtico, mas
que imanente, isto , permanece dentro da
maneira matemtica dc pensar; esta parte levada
a trmo por meios da prpria matemtica (seco A).
Por outro lado, temos a questo filosfica dos
limites do modo matemtico de pensar em geral.
ste problema s pode ser abordado por mtodos
filosficos, isto , com princpios que investigara
os prprios princpios da matemtica; sua soluo,
portanto, no se encontra dentro da matemtica,
por mais que se extenda seu campo (seco B).
A) OS LIMITES IMANENTES DA MATEMTICA
1. Geometria, no-euclidiana
A questo dos limites imanentes da matemtica,
embora seja um aspecto do problema todo concer
nente aos limites do pensamento matemtico, con-
fcm era si muitas factas. Por isto ser melhor
consider-los luz da evoluo histrica da inves
tigao dos fundamentos matemticos nos sculos
xix c xx. Por esta razo a exposio que se segue
ter em suas grandes linhas um carter histrico,
procurando seguir o curso daqueles estudos. Os
dois grandes campos em que se move a investigao
dos fundamentos, de um lado a geometria, de outro
a aritmtica e a anlise, devero ser tratados de
forma separada.
Antes de tudo lancemos um olhar sbre a inves
tigao dos fundamentos da geometria. Esta se
inicia nos tempos modernos alguns precursores
mais antigos no podem aqui ser tratados no
sculo xvm com os estudos de G. Saccheri (1733)
e J. H. Lambcrt (1760) sbre o axioma das para
lelas (5. postulado de Euelides), segundo o qual
duas retas convergentes se cortaro quando so
ilimitadamente prolongadas. ste axioma j na
Antigidade era considerado menos evidente que
os outros, pois podia-se apontar o fato que a hipr-
bole converge para suas assntotas, mas nunca se
cortam. Por isto procurava-se demonstrar ste
postulado duvidoso por diferentes argumentos. Mas
isto nunca foi conseguido, nem pelos antigos, nem
pela Idade Mdia rabe ou ocidental, nem ainda
nos tempos posteriores, apesar de tdas as tenta
tivas, algumas vzes muito argutas. At mesmo
a nova matemtica do sculo xvn fracassou neste
ponto, no obstante todos os seus progressos. O
mximo que se conseguiu foi substituir o quinto
postulado por um equivalente de maior plausibi-
lidade, como o postulado da existncia de figuras
semelhantes no congruentes (J. Wallis, 1663).
No sculo xvm ocorreu a Saccheri a idia dc
considerar ao lado da hiptese da existncia de
retngulos, isto , de figuras com quatro ngulos
115
retos (equivalente ao 5. postulado), duas outras
hipteses que supem a existncia de quadrilteros
de dois ngulos retos e dois ngulos obtusos iguais,
ou dois ngulos agudos iguais.
Idias semelhantes foram mais tarde propostas
por Lambert. Descobriu-se ento que as geome
trias que correspondiam a essas trs hipteses (a
hiptese euclidiana e as duas hipteses no-eucli-
dianas, como foram chamadas no sculo xix),
podiam ser desenvolvidas e levadas adiante sem
levar a contradies. Contudo o prprio Saccheri
e Lambert pensavam poder reduir ad absurdum
as duas geometrias no-euclidianas, mas a crtica
posterior rejeitou suas demonstraes. Parece que
Lambert viu mais longe: mostrou que devia existir
uma medida de comprimento absoluta nas duas
geometrias no-euclidianas (assim como na geome
tria de Euclides existe uma medida angular abso
luta, o ngulo reto), o que era paradoxal mas no
contraditrio. Apontou para a geometria sbre
uma esfera e para a que resultaria sbre uma
esfera com um raio imaginrio(l), o que represen
tava em certo sentido uma realizao das duas
geometrias no-euclidianas em duas dimenses. A
elas corresponderia os sistemas da trigonometria
esfrica e de uma trigonometria hiperblica,
sendo que a primeira se baseia nas conhecidas
funes circulares (seno, etc.) e a outra nas funes
hiperblicas correspondentes.
No decurso do sculo xix Gauss, Bolyai c Lobat-
schewski desenvolveram a geometria hiperblica
no-euclidiana, e Riemann mais tarde levou adiante
a geometria elptica e outras ainda, mais gerais.
(1) E. Beltrami mostrou em 1868 cm seu S&gjo di interpretaoae
delia geometria noneuclidea que * geometria hiperblica pode ser rc&li-
aada numa Buperfcie em forma de sela, a anvim chamada pseudo-eifera
(p. ex., daa superfcies formada* pela rota&o da trairia).

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.

2. Fundamentao crtica da anlise


Fiis ao nosso intento de seguir em suas largas
linhas a histria da evoluo da matemtica, vol-
tamo-nos agora para a anlise superior. a que,
ao que parece, primeiro se manifestou aqulc movi
mento de auto-limitao, que no encontramos no
campo da geometria. A aritmtica ficou preser
vada longo tempo dsses problemas. A introduo
dos nmeros imaginrios, o que foi feito por Gauss
nos incios do sculo xix, no levou a dificuldades
srias. Smente nos tempos mais recentes os es
tudos de Th. Skolem e K. Goedel produziram
resultados surpreendentes e paradoxais na aritm
tica. Sbre isto voltaremos mais tarde.
No fim do capitulo terceiro vimos que as opera
es imprudentes por meio de sries infinitas podem
levar a contradies. A investigao de tais casos
levou ao estudo das bases da convergncia e diver
gncia dos processos infinitos (isto , de seqncias,
sries, produtos infinitos). Relacionavam-se com
isto os esforos por fundamentar firmemente tda
a anlise superior, sobretudo o clculo diferencial e
integral. Isto foi feito de maneira excelente por A.
Cauchy. Fundamental foi sob ste respeito a intro
duo, por le feita, do conceito de limite, aquilo
que le chamou de princpio dc convergncia, sua
definio da continuidade de uma funo, etc.
A quintessncia dessa posio crtica na anlise
superior foi o princpio geral dc que se devia descon
fiar dos processos intelectuais puramente formais,
provenientes de algarismos analticos iniciais, e que
se devia levar at ao fim a investigao da conver
gncia do processo empregado, sobretudo deter
minar os limites no terreno das variveis indepen
dentes, onde quer que se verificasse uma conver
gncia. Pois, pela extrapolao do domnio da con
vergncia, as operaes formais com processos infi
nitos perdem o sentido.
Por algum tempo parecia que bastava esta exi
gncia de severidade na anlise; mas no decorrer
da evoluo apareceram dificuldades, suscitadas,
entre outras coisas, pela ampliao do conceito de
funo para funes descontnuas reais, as quais
surpreendentemente se comportavam de forma intei
ramente diferentes que as funes algbricas, h
muito conhecidas e que as funes transcendentes
mais conhecidas, bastante semelhantes quelas(6).
Por fim os matemticos se viram forados a
estudar mais detidamente a estrutura das variveis
(6) O nuo foi mcponto por H. H&mkel em uma brilhante eupcailo
histrica. Vid. GM, pgs. 218-224.
independentes e de seu campo de variao. Isto
levou por um lado teoria dos nmeros reais
(racionais e irracionais) e por outro lado teoria
dos conjuntos dos pontos. Dc fato, as posies
singulares de algumas funes descontnuas formam
conjuntos de pontos especiais da reta numrica,
isto , conjuntos de nmeros reais, cuja estrutura
devia ser investigada.
Tdas essas pesquisas, que foram levadas a
efeito por K. T. Weierstrass, G. Cantor, R. De-
dekind e outros, iniciam um segundo perodo na
investigao dos fundamentos da matemtica, que
nasceu com a exigncia da cautela. No aqui
o lugar de expor pormenorizadamente sses estu-
dos(7). Mas preciso sublinhar um ponto que
importante e at decisivo: a impossibilidade de
evitar o emprgo de conjuntos infinitos atuais de
pontos, ou seja, de nmeros.
J na definio dos nmeros irracionais, con
forme Dedckind, por meio dos assim chamados
cortes, isto , determinadas divises dos pontos
da reta numrica em classes, aparecia a totalidade
dos nmeros reais num determinado segmento da
reta numrica ou tambm em tda a reta. J na
fundamentao clssica da anlise freqente
mente se empregam as propriedades dos conjuntos
infinitos atuais. Queremos apontar aqui para o fato
fundamental de que cada um dos conjuntos limi
tados de nmeros reais possui uma restrio supe
rior exata. Na teoria das sries desenvolvidas em
funes trigonomtricas (as assim chamadas sries
de Fourier), igualmente aparecem conjuntos infini
tos atuais de pontos, a que j nos referimos. Temos
a um dos pontos de partida para a teoria posterior
de Cantor sbre os conjuntos.
(7) lb . pga. 224-521.

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 ?

3. A teoria dos conjuntos de Cantor


A teoria de Cantor sbre os conjuntos rompeu
de maneira extraordinriamcnte atrevida com tda
a tradio filosfica e matemtica no modo dc
tratar o conceito de infinito. Abandona a tese
aristotlica, aceita at ento, sbre o ser me
ramente potencial do infinito. Foi-lhe possvel
tal coisa porque refutou o axioma fundamental
formulado por Euclidcs: O todo maior que
sua parte, como sendo vlido para conjuntos
infinitos atuais. De fato, quando se concebe o
conjunto de todos os nmeros pares como con
junto infinito atual bem como o conjunto de todos
os nmeros inteiros, ento, por um lado, o primeiro
conjunto prpriamente parte do segundo, e, por
124
outro lado, ambos podem ser relacionados biunlvo-
camente, da seguinte forma:
1 2 3 45 6 7 8 .......................
2 4 6 8 10 12 14 16 ....................... 2n
fcil compreender que dois conjuntos que
podem ser relacionados biunlvocamente entre si
possuem a mesma grandeza, ou como diz Cantor,
a mesma potncia. (Na realidade ste critrio
vale para os conjuntos finitos). Portanto, a parte
prpria tem aqui a mesma grandeza, isto , po
tncia, que o todo.
O exemplo da correspondncia entre o conjunto
dos nmeros pares, ou quadrados, e o conjunto
total dos nmeros inteiros era conhecido j desde
a Antigidade, e tanto Galileu como Leibniz apon
taram para o fato(8). Nova era smente a inter
pretao dada por Cantor. Enquanto Galileu
o Leibniz opinavam que a necessidade de negar o
princpio de que o todo era maior que a parte
demonstrava a impossibilidade de o infinito ser
concebido como atual, Cantor partia precisamente
dste ponto para estabelecer sua teoria. Todos os
conjuntos que podiam ser postos em correspon
dncia biunlvoca com os nmeros inteiros foram
por le chamados de numerveis, e demonstrou
que no s o conjunto dos nmeros racionais mas
tambm o dos nmeros algbricos numervel, mas
no o conjunto de todos os nmeros reais (racionais
e irracionais).
Eis brevemente sua demonstrao:
1. Existe smente um conjunto finito de nme
ros racionais, isto , fraes a/b, dos quais a soma
(8) J aa Antigidade o nooplutoico Proclo so ocupou deeta quottSo
num outro exemplo, geomtrico (vid. Proolus in Euclidem. pg. 156, 1-2.
*d. Friedleln; em alftmfto em: OM, pg. 273). Procurnor de O. Cantor
B. Blimno eom m ui Paradoxien deu Unendchen" (Praga 1S51); Vid.
OM pg.. 274-277.

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

(Portanto os a(k so cifras: 0 , 1 , 2 , . . . 9.)


Forme-se agora a diagonal dste esquema:
an a 22 33 . . . , e substitua-se cada cifra quo nela
aparece por uma cifra distinta dela bn 622 633 . . .
Portanto, u ^ au, 622 <*22, 6 3 3 ^ 0 33 . . . Nes
te caso a frao decimal 0 ,6 116 226 33 diferente
de qualquer uma das fraes decimaiR do esquema
superior; pois diferencia-se pela sua primeira cifra
(depois da vrgula) da primeira, pela segunda cifra
da segunda, pela terceira cifra da terceira frao
decimal superior. Com isto est demonstrado que
na enumerao dada nfio esto contidas tdas as
fraes decimais, isto , todos os nmeros reais,
do segmento unitrio.
ste notvel argumento , como j dissemos,
indireto e dialtico; apesar das aparncias em
contrrio no se trato dc demonstrao constru
tiva. No se pode estobelccer efetivamente sob
a forma de fraes decimais um conjunto nume
rvel de nmeros reais por meio do processo da
diagonal de Cantor. fcil ordenar a frao deci
mal obtida pelo processo (0 , bn 622 633 . . .) na se
qncia superior das fraes, colocando-o, p. ex.,
na frente da seqncia. Mesmo quando se repete
0 processo indefinidamente no se conseguiria che
gar ao fim, pois sempre de nvo se pode ordenar
as novas fraes dentro da seqncia de nmeros
reais j colocados. Todo o argumento de ordem
meramente negativa c contm algo de paradoxal
em si, embora no se encontre a contradio.
Portanto, segundo Cantor, 0 processo da diago
nal mostra que existe um conjunto maior (mais
exatamente: um conjunto de maior potncia) do
que 0 conjunto dos nmeros naturais, isto , o
conjunto dos nmeros reais (0 assim chamado
"contnuo), que pode ser concebido como o con
junto dos conjuntos parciais do conjunto dos n
meros naturais(lO).
Por uma considerao anloga se pode mostrar
que a potncia do conjunto dc tdas as funes
reais (descontnuas e contnuas), at mesmo da
quelas que s tm 0 intervalo unitrio como campo
(10) Pole-9 escrever tojos o* n(imeros reais como fraes duais
(base 2) que smente contra njc cifras 0 e l.e tirar do conjunto de todos
nmsros inteiro aa posiefos numricas que contm a cifra 1; p. sx.. pela
frao d uai 0,101010... se tira o conjunto dos nmeros impares 11, 8,
6 ...).
128
do argumento maior que o conjunto do contnuo(ll).
Pense-se nas funes J(x) em correspondncia biun-
voca com os nmeros reais; a funo correspon
dente ao nmero especial z seja Forme-se
agora a funo diagonal j,(z) c alm disto uma
funo diversa para todos os argumentos g(z); por
exemplo seja g(z) = ],{z) + 1. Esta funo g{z)
diferente de tdas as funes acima aduzidas e
correspondentes aos nmeros reais: Portanto
impossvel correspondncia biunvoca entre as fun
es J(x) e os nmeros reais z.
0 mesmo processo pode ser, alm disto, utilizado
para demonstrar que a potncia do conjunto de
tdas as funes de funes maior que a de tdas
as funes reais. J que aqui se adotam as funes
reais como argumentos, pode-sc tambm adotar
como argumentos as funes de funes para fun
es, que so por assim dizer de terceira ordem
(funes de funes de funes) e, por meio da
considerao diagonal semelhante, subir a um
conjunto de potncia ainda maior. ste processo
pode ser levado ilimitadamente para frente; chega-
se a uma seqncia ilimitada de conjuntos dc po
tncia sempre mais alta. Portanto no existe um
conjunto de potncia mxima. Isto, contudo, leva
a um paradoxo; de fato, o conjunto de todos os
conjuntos, ou o conjunto de tdas as coisas (imagi
nveis) deveria possuir a maior potncia de todos,
pelo fato de conter tudo. Entretanto o conjunto
das funes formadas sbre le, ou (o que d no
mesmo) o conjunto dc seus conjuntos parciais,
de potncia ainda maior, conforme as considera
es acima expostas.
Temos a o notvel fenmeno que a natureza
potencial do infinito, que parecia estar inteira-
(11) ste conjunto * ao mesmo tem po o conjunto do todo oa con-
juntoa do* umcron reftia.

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.

(5. .4 prova da incompletividade de Goedel


Para introduzir o leitor na marcha do pensa
mento de Goedel comearemos pela antinomia de
Richard(27). Trata-se de uma antinomia semn
tica. Essas antinomias so de tipo diverso dos
paradoxos de Russel, pois se referem a conceitos,
de seu ponto de vista da lingstica (gramtica,
significao, sintaxe, etc.) e da teoria do conheci
mento (verdade, demonstrobilidade, etc.).
A antinomia de Richard(28) pode ser assim resu
mida:
Tomemos as definies das propriedades dos
nmeros naturais, expressas em determinada lngua,
por exemplo na lngua alem, e por alguns sinais
matemticos. Pode-se ordenar essas definies (que
evidentemente s podem ser formuladas em con
juntos enumerveis) numa seqncia, empregando
para isto primeiramente as letras que designam a
definio, e mantendo em seguida para cada letra
a seqncia lexicogrfica. Temos ento a seguinte
seqncia:
(1) Wh W2, W 3 .. . WH
(TF designa as propriedades dos nmeros inteiros)
(27) Seguiram aqui em grandr parte a aprp8entafto de A,
Seatence* unrlecidabl n formtiiod Aritbinote. An Expoeition of the
Theoriesof K urt Goedel (Anwterdiun 1952), Introducou pfia. 1-13. Outr*
exposio de todo o problema 6 oferecida por Lorenzen, Formale Logik,
p*. 9-G9, 121-130.
(28) J . Hickard. Le# prlnclpea dea matlimatiquee c le probitue dea
ciw m blcj, cm; Rcvue gnrale dc wicncca purea et appliquea, 14 (1905)
pg. 541 es.

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.

7. O conceito de juno calculvel


Procurando divisar os limites imanentes do
pensamento matemtico, at agora nada de deci
sivo pudemos encontrar. O que se apresentava
como situao-limite o foi nicamente na apa
rncia, e a renncia inevitvel soluo de deter
minados problemas no significa uma abdicao,
mas um refinamento e aprofundamento, a servio
de lima auto-conscincia amadurecida para a cr
tica, e que venceu sua ingenuidade.
Contudo, existe um ponto no devidamente
esclarecido que est em relao com o problema
da indecisibilidade e do construtivismo intui
cionista, e que parece indicar algo como uma
fronteira imanente do pensamento matemtico.
Trata-se da crtica do conceito de numervel e a
precisao do conceito de calculabilidade e con
ceitos afins.
Quanto ao primeiro conceito, as primeiras dvi
das sbre a numerabilidade (absoluta) de certos
conjuntos, p. ex., do contnuo, ascendem at um
estudo de L. Loewenstein em 1915, a que se acres
centa uma investigao de Th. Skolem, alguns
anos mais tarde(35). O resultado foi o assim cha
mado "teorema de Loewenstein-Skolem, que afir
ma que a expresso do clculo de um predicado
de primeiro grau, quando possvel, pode ser conse
guida j no terreno numervel dos indivduos
(numervel tomado a no sentido da teoria
clssica de Cantor sbre o conjuntos). Ora, a
teoria clssica dos conjuntos pode ser axiomatizada
por meio do clculo do predicado de primeiro
grau. Portanto o teorema de Loewenstein-Skolem
afirma que a teoria dos conjuntos, se que ela
tem qualquer modlo, ste um modlo nume
rvel. Isto nada mais significa que no existe um
numervel absoluto.
certo que o teorema de Loewenstein-Skolem
no possui uma prova construtiva(36). No se
(35) L - socwfnstf.iii, U eber M oeglichkeiten im R elatvkalkuel, em:
M etbem iuiacho A nnalen 76; Th, Slcolw, LogUch-konjbin&toritthe U nter-
nchungen u sb e r die Erfuellb&rkeit oder B ew eiabarkeit to., om : V id .
B krftei A dak. Oslo M a t.-n a t. K l. 120, n. 4.
(36) V id. Herms-Sckfih, loo. clt., n. 3, 7, 1-2 (pg*. 23-24) * D.
Hilbert t IF. Acktrmann, Gnindxuegie der theorotiechen I.o*ik (Berlim-
aollingn-H vhlclberg 1SM9) 10 (sobretudo pg. 82 se.).
pode utiliz-lo para estabelecer efetivamente um
modlo numervel para a teoria dos conjuntos.
(Pois nem sequer est demonstrada a absoluta
ausncia de contradio na teoria clssica dos con
juntos). Poder-se-ia talvez pensar que o processo
diagonal de Cantor, por ns exposto acima, e com
o qual se demonstrou a no numerabilidade do
contnuo, esteja em contradio com o teorema
de L.-Sk. Mas j naquela ocasio apontamos para
o fato que ste, k primeira vista, no construtivo
c portanto no pode servir para estabelecer, por
cx., um conjunto infinito de fraes decimais, com
a potncia do contnuo acima do numervel. Por
tanto, o processo de Cantor no fornece nenhuma
refutao direta do teorema de L.-Sk.
O dilema fica resolvido quando se o olha de
mais perto, isto , quando o conceito de numera
bilidade relativizado. Numervel significa:
possibilidade de uma representao biunvoca no
conjunto dos nmeros naturais. Portanto, pos
svel que conjuntos que no so numerveis, por
uma certa aplicao, tornam-se numerveis quando
se usam outras aplicaes. Temos a mais um
caso de relativizao de um conceito anteriormente
empregado com certa ingenuidade.
Embora o teorema de L.-Sk., compreendido
corretamente, no leve a um paradoxo ou a uma
antinomia, chama contudo a ateno para um
limite que parece opor-se formao de conceitos
matemticos, pelo menos quando stes pretendem
satisfazer a exigncia da mxima preciso. Parece
seguir-se que, por razes lgicas, no se pode ultra
passar o numervel. O soberbo edifcio da teoria
dos conjuntos de Cantor, com suas consideraes
que penetram longe no campo do acima do nume
rvel (onde se trataria de conjuntos infinitos atuais),
aparece como uma fantasmagoria, como uma Fata
Morgana que se dissipa, quando se chega mais
perto.
Em todo o caso chegamos aqui a uma auto-
1imitao Io pensamento matemtico; neste ponto
queremos precisar mais amplamente os conceitos
pelos quais se exprime esta auto-limitao. Trata-
se de um grupo de conceitos estreitamente relacio
nados entre si: calculabilidade, numerabilidade, ilcci-
sibidade, constructibilidade(37). Para o nosso pro
psito a definio dsses conceitos muito impor
tante, enquanto que no o tanto o seu emprgo
para demonstrao de indecisibilidade, c seme
lhantes, cuja considerao nos levaria para longe
de nosso tema. S queremos notar que o mtodo
dessas demonstraes , no fundo, a prova de Goedel
de que falamos na seco anterior, isto , por um
lado o ziguezague das antinomias maneira do
mentiroso, e por outro a idia fundamental do
processo diagonal de Cantor.
No que toca queles conceitos crticos em si,
sua raiz histrica est em certos clculos, os quais
em contraste com os processos de aproximao
que nunca param, como a conhecida aproximao
de V 2 levam ao resultado por meio de um
nmero finito de passos. Exemplo clssico o
assim chamado processo do divisor de Euelides
(Elem. vn, 1.2), para encontrar o mximo divisor
comum de dois nmeros inteiros: ste processo
pra, depois de certo nmero de passos, no di
visor procurado, ou em 1 , caso os dois nmeros
dados sejam relativamente primos. O processo con-
(37) Vid. uma exposio completa e resumida em Hermet-St-hole,
loc. rit., n. 9 (pg*. -HH52) e sbre problema* especiais d* deciaio no
clculo dos predicado* e de identidade, n. 10-11 pica. 52 *57); ai tambm
poder encontrar ampla literatura.
eiste no clculo efetivo do nmero procurado e
decide, ao mesmo tempo, se os nmeros apresen
tados so relativamente primos, ou no.
Problema semelhante se apresenta quando so
trata de decidir se uma equao diofntica (que
deve ser resolvida em nmeros inteiros) solvel
ou no. Formulada universalmente, a tarefa a
seguinte: deve-se decidir se uma afirmao apre
sentada pertence a determinada classe de afirma
es, ou no; ainda mais universalmente: esta
figura (srie finita de sinais) pertence a uma classe
de figuras, ou no?
Um conjunto M numervel quando existe
um processo que possibilita contar efetivamente
os elementos dc M, um depois do outro. M chama-
sc decisvel quando existe um processo que possi
bilita decidir sc um elemento qualquer pertence
u M. Existem conjuntos no numerveis, bem
como conjuntos numerveis, mas no existem con
juntos indecisveis.
Temos assim as seguintes equivalncias bsicas:
1. M decisvel = M e seus conjuntos comple-
mentares so numerveis = j u calculvel
(/k(i) - 0 ou resp. = 1 , segundo x e M, ou
no);
2. "&f numervel ="M o campo de valres
de unm funo calculvel.
Para uma definio exata de funo calculvel,
foram utilizadas as seguintes designaes, que s
podemos enumerar (38). Fala-se de uma fun
o (em geral) recursiva (Skolem, e outros), de
uma funo regularmente calculvel (P. Ber-
nays), de uma funo lambda-definvel (A.
Church), dc numerabilidade (E. L. Post), de
(38) VkL pnrn m&ora *sclarreinirnto Herme*-$chols, pga. 48-61.
uma funo calculvel por meio de uma mquina
(A. M. Turing e Post).
A ltima designao a mais clara. Com ela
se entende que o clculo da funo pode ser en
tregue a uma mquina inteiramente automtica,
cuja estrutura foi exatamente descrita por Turing
e Post. (Pense-se numa das modernas calculadoras
eletrnicas!)
A caracterstica comum de tdas essas defini
es o modo gradual e unvoco de proceder, razo
pela qual tambm possvel obter um resultado
pelo trabalho automtico de uma mquina ou pelo
processo de deciso. A questo assim posta efeti
vamente solucionada; a realizao um trabalho
puramente mecnico, para o qual no se requer
esprito(39).

8. Dejinio construtiva dos nmeros


ordinais transjinitos
Em seu tratado Fundamentos de uma Teoria
Geral da Variedade(40) primeira exposio am
pla da teoria dos conjuntos G. Cantor explica
no 1 1 como se pode estabelecer a seqncia
dos nmeros ordinais transfinitos, a partir de dois
princpios. Estes so:
(30) Note-td que a decbilidade dc um clculo 6 equivalente nume-
rabilidade do *uas figuras dedutivo is c nfio-ddutfvei. Pode-so imaginar
m a m quina que enum era" (i. ., imprime om ordem) num a tira de
papel tddojj^ aa figura dedutiveis o num a outra os figuras nlo-dcdutiveis.
Ambas as tiras de papel teriam um dispositivo de seleefio que faria parar
a m quina quando aparecesse um a figura sbre cuja dedutibilidade se
deveria decidir. Se a mquina pra o a figura aparece na primeira tira.
ela dedutvel; se aparece na segunda, nSo 6 dedutivel. Vid. Lorenzen,
pg. WJ.
Um tal procoaso nfio 6, infelizmente, praticvel, pois a demora at
que a m quina paro no tom limites.
(40) MattiematUcho AnnaJ en 21 (1883), pg. 057; OM p p t. 299-302.
1 . A cada nmero j formado se acrescenta uma
unidade (o primeiro nmero ordinal 1 ).
2. Para uma sucesso determinada de nmeros
definidos, dos quais no existe maior, cria-se
um nmero que representado, isto , defi
nido, como limite daqueles nmeros e como
prximo nmero maior que todos les.
O primeiro princpio trivial; o meio de pro
duzir os nmeros positivos inteiros finitos. O
exemplo mais simples para 0 segundo princpio
a formao do menor dos nmeros ordinais trans-
finitos omega (w), que segue como o nmero
ordinal maior mais prximo para todos os nmeros
finitos:
1 2 3 4 5 .........................-
Em conseqncia resulta, pelo emprgo indefini
damente repetido do primeiro princpio e logo cm
seguida do segundo:
ww + 1 -|- 2 co + 3 .......... + w= .2
Cantor ento, pela utilizao das conhecidas
operaes dc multiplicao e potenciao, forma os
seguintes nmeros (omitindo muitos nmeros inter
medirios):
w.2 <i>.3 u .4 .......... >w.w = w2
2 w3 w4 .......... + w

(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

Diz-se que epsilon um nmero crtico. Na


tentativa de levar sempre mais longe a designao
dos nmeros transfinitos, sempre de nvo se encon
tram tais nmeros crticos, o que sempre de nvo
obriga a modificar a maneira de designar (introdu
o de novos smbolos, etc.). No possvel in
cluir os transfinitos da segunda classe num prin
cpio nico.
Mas Cantor no parou nos nmeros de sua
segunda classe. Aplicou seu segundo princpio
seqncia de todos os transfinitos da segunda classe
(seqncia que no era claramente definida), isto ,
(a todos os nmeros ordinais de potncia numervel
infinita), e criou o primeiro nmero ordinal su-
per-numervel, o nmero inicial da terceira classe,
omega maisculo i ou i. E corajosamente intro
duziu o processo dsse princpio em classes nume
rais sempre mais altas.
J anteriormente, e nos quadros da teoria cls
sica sbre os conjuntos, foram empregadas cons-
164
trufles em que se fazia uso dos dois princpios(41),
como no exemplo seguinte, em que muitos matem
ticos viram uma reconstituiflo "construtiva' dc
um conjunto com potncia bem crdcnada, acima
da do numervel do tipo ordinal da terceira classe
de nmeros. O processo provm de G. H. Hardy;
apresentamo-lo numa forma simplificada elaborada
por F. Hausdorf(42).
Trata-se de uma seqncia bem ordenada do
seqncias comuns de nmeros inteiros(43). O
princpio permite a elevao de cada nmero de
uma seqncia dada por 1 . O segundo princpio,
aplicado a uma seqncia de seqncias de nme
ros, produz a passagem seqncia diagonal. Tda
a construo se inicia com uma srie de 1 .
1 1 1 1 1 ..........
2 2 2 2 2 ..........
3 3333
(0 1234 ..........
w-f- 1 2345 ..........
w+ 2 345G ..........
w-f-w 1357 ..........
(41) Tambm em tempos recento* *c empregaram tais mtodo*.
E . Zcrnulo, (renzxthlon u n i Mongenberninhe, em: Fundam enta M athc-
Vid.
matioae XVI (1934) P&gs. 29-47. D . H ilbcrt, ebcr da* Unendliche. em:
M athiinatiche nnalen 93 (1926), pgs. 161-190; K . Goedel. Bevrei* der
Vertraogliohkeit der nllgemeinen Cantorechen Kontinuumavermutung mit
den ZormelcMchen Axiomen der Mengenleh.ro, em: l*roc. N at. Aead. of
Beience in USA 25 (1939). pg. 220-224 e Aon. of M ath., Stud. n.*> 3
(Pnncoton 1940).
(42) O. H. Hardy, Quart. Jour. of Mmb 35 1903), pg. 87: P. HaudorJ.
Loipaisar Berichte. matb.-plty*. Klam* 59 (1907) pg. 217.
(43) Podo-ee fa*r corresponder biuulvocamente a uma tal seqncia
de nmorog aa fra^ea <\*criu* na bae 2. entro 0 o 1, isto , a aeqncift
1 5 . . . cornjapoudo frao dual 0, .) 101110111110...
primeira vista parece que ste processo seria
capaz de nos levar para alm da segunda classe
numeral, e que assim poderia ser efetivamente cons
trudo um conjunto de seqncias de nmeros com
potncia acima do numervel. Mas, olhando de
mais perto, v-se que no assim. Para levar o
processo concretamente a trmo, preciso poder
construir os nmeros ordinais transfinitos escritos
esquerda e numerveis, para assim determinar
a seqncia de seqncias, sendo que para isto o
segundo princpio, a formao diagonal, sempre
deveria ser empregado. Surge assim o nvo pro
blema da determinao construtiva e da designao
dos transfinitos da segunda classe.
A. Church e S. C. Kleene descreveram melhor
esta nova tarefa(44). stes autores puseram os
seguintes princpios:
1. Qualquer nmero ordinal caracterizado por
um nico smbolo (O primeiro nmero or
dinal 1 ).
2. Para dois nmeros ordinais (caracterizados
por smbolos distintos) se pode decidir por
um processo recursivo da teoria dos nmeros,
qual o maior e qual o menor.
3. Para cada numeral distinto de 1 pode-se
estabelecer se tem um predecessor imediato
ou no. No primeiro caso ste pode ser indi
cado. No segundo caso pode-se indicar, por
intermdio de uma recurso numeral-terica,
uma seqncia definida de nmeros ordinais,
cujo limite o numeral dado.
(44) A. Church. The Construotive Second Number Clae, #m: BuU.
Amer. M ath. 3oc. 44 (1938); 3- C. Kltme, On Notation for Ordinal Num
ber*, em: Journ. o Symb. Loilio 3 (193S).

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.

(46) Vid. QM , riz s . 3S7-3D2.


(47) No me parece t&o oerto, como tu geral se supe, que ate limito
a poaa do futuro cr maia um a vos ultrapassado.

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.

(58) Vid. m&u artigo: P&raoxiatea*. Menflchliches Davein und


D atomb, em: Bl&eUcr fuer douUche PhiloaopUe XV II (1943), pAg*.
62*05.

189

You might also like