16

Matemtica Universitria n47

Capa
Revisitando a descoberta dos
incomensurveis na Grcia Antiga
Carlos H. B. Gonalves (EACH/USP)
Claudio Possani (IME/USP)
A
lgum que se disponha a estudar o episdio da
descoberta dos incomensurveis na Grcia An-
tiga encontrar em livros de histria da matemtica e
de matemtica duas vises contraditrias sobre o as-
sunto. A primeira delas, que a mais disseminada,
arma que tal descoberta foi seguida por uma crise no
pensamento pitagrico. Nessa verso, a existncia da
incomensurabilidade seria conituosa com um princ-
pio pitagrico de que tudo poderia ser explicado ou re-
presentado por meio de nmeros. A segunda verso
da descoberta dos incomensurveis ainda hoje restrita
quase que somente aos meios especializados da hist-
ria antiga ou da histria da matemtica. Segundo ela,
as fontes mais conveis para o estudo do assunto no
trazem nenhuma evidncia de uma crise, que no teria
sido seno o resultado de uma leitura pouco rigorosa
de fontes menos conveis.
O relato que prope que tenha havido uma crise em
meio aos pitagricos foi e tem sido muito usado em in-
trodues de carter histrico ao estudo dos nmeros
irracionais. Muitas vezes, espera-se mesmo que o estu-
dante que chocado com a existncia de nmeros irra-
cionais, semelhana do que teria sido o choque dos pi-
tagricos. Veja, por exemplo, o que nos diz K. Mainzer
([17], p. 2728): Quando hoje denimos os nmeros
reais como um corpo completamente ordenado, tende-
mos a esquecer a magnitude de crise intelectual e los-
ca trazida pela descoberta de que havia coisas fora do
entendimento dos nmeros racionais. [...] Queremos
dizer, claro, a descoberta atribuda a Hipaso de Me-
taponto, um pitagrico do sculo V A.E.C., de que h
segmentos de reta cujas razes so incomensurveis.
Entretanto, desde a dcada de 1960, estudos na rea
tm apontado uma falta de rigor histrico na posio
de que a descoberta dos incomensurveis teria gerado
uma crise entre os pitagricos. Esse novo entendimento
histrico no se deu isoladamente. A leitura rigorosa
das fontes gregas sobreviventes e o entendimento mais
preciso sobre o modo como elas sobreviveram colocam
problemas em vrias outras armaes sobre a mate-
mtica da Grcia Antiga ainda hoje muito difundidas,
entre elas, que Pitgoras tenha sido um matemtico e
que Plato tenha posto um aviso na porta da Academia
proibindo a entrada de no-gemetras.
Nas sees seguintes, apresentaremos os pontos prin-
cipais de cada uma das duas verses sobre a desco-
berta da incomensurabilidade e uma possvel crise no
meio pitagrico em decorrncia dela. Vamos dar espe-
cial ateno ao que dizem os autores da Antiguidade,
perguntando-nos como eles prprios obtiveram seu co-
nhecimento, isto , quais foram suas fontes e como li-
daram com elas. Na ltima seo, a partir da questo
da forma como a descoberta da incomensurabilidade
aparece na histria da matemtica, traremos algumas
concluses sobre a pesquisa em histria da matemtica.
Terminamos esta introduo apresentando as pala-
vras de Euclides na abertura do Livro X dos Elementos,
acompanhadas de uma reexo. Denio: Dizem-
se grandezas comensurveis as que se medem pela
mesma medida, e incomensurveis aquelas das quais
no possvel nada tornar-se medida comum. ([7])
O leitor percebe algum sinal de diculdade em lidar
com o conceito de incomensurveis? E sinal de uma
crise? claro que qualquer observador atento poderia
argumentar que entre o aparecimento da crise e o regis-
tro euclideano h um espao de sculos e neste perodo
a crise teria sido depurada. Esta possibilidade razo-
vel, mas antes de apresent-la como verdadeira no se-
ria adequado encontrar alguma fonte que a embasasse?
O que autoriza tantos autores a cit-la como verdade
1
17
Matemtica Universitria n47
{Capa}
histrica?
o que discutiremos a seguir.
lM00l088 08 0fl80
Para aqueles que defendem que a descoberta dos inco-
mensurveis gerou uma crise, o argumento central o
seguinte: Tinha sido uma base fundamental do pita-
gorismo que a essncia de todas as coisas, na geome-
tria bem como nos negcios prticos e tericos do ho-
mem, explicvel em termos de arithmos, ou proprie-
dades intrnsecas de nmeros inteiros ou suas razes.
([3], p.72) Assim, continua outro autor, a descoberta da
existncia de nmeros irracionais foi surpreendente e
perturbadora para os pitagricos. [...] To grande foi o
escndalo lgico que por algumtempo foramfeitos es-
foros para manter a questo em sigilo, e h uma lenda
que conta que o pitagrico Hipaso (ou um outro talvez)
foi lanado ao mar pela ao mpia de revelar o segredo
a estranhos ou (de acordo com outra verso) que ele
foi banido da comunidade pitagrica, sendo-lhe erigido
um tmulo, como se estivesse morto. ([8], p. 6061)
Em alguns autores, encontramos certos detalhes a
mais, como que para explicar melhor as diculdades
tcnicas que levaram crise. A seguinte (longa) pas-
sagem ilustrativa e bastar para nossos propsitos:
Nmeros para os pitagricos signicavam apenas n-
meros inteiros. Uma razo de dois nmeros inteiros no
era uma frao nem, portanto, um outro tipo de n-
mero, como ocorre modernamente. Fraes verdadei-
ras, expressando partes de uma unidade monetria ou
uma medida, eram empregadas no comrcio, mas tais
usos comerciais de aritmtica estavam fora do campo
da matemtica grega propriamente. Da os pitagri-
cos terem se surpreendido e perturbado pela desco-
berta de que algumas razes por exemplo, a razo
entre a hipotenusa de um tringulo retngulo issce-
les e o cateto ou a razo entre a diagonal e o lado do
quadrado no podem ser expressas por nmeros in-
teiros. Uma vez que os pitagricos tinham se ocupado
com ternos de nmeros inteiros que poderiam ser os la-
dos de um tringulo retngulo, muito provvel que
eles tenham descoberto essas novas razes nesse traba-
lho. Eles chamavam razes expressas por nmeros in-
teiros razes comensurveis, o que signica que as duas
quantidades so medidas por uma unidade comum, e
eles chamavam razes no exprimveis assim razes in-
comensurveis. Assim o que expressamos como

2/2
uma razo incomensurvel. A razo de magnitudes
incomensurveis foi chamada (alogos, inexpri-
mvel). O termo (arratos (sic), no tendo uma
razo) tambm foi usado. A descoberta de razes inco-
mensurveis atribuda a Hipaso de Metaponto (Sc.
V a.C.). Supe-se que os pitagricos estavam no mar
no momento e lanaram Hipaso para fora do barco por
ter produzido um elemento no universo que negava a
doutrina pitagrica de que todos os fenmenos do uni-
verso podem ser reduzidos a nmeros inteiros ou suas
razes. ([15], p. 32)
Porm, no apenas nos autores das ltimas dcadas
que a crise dos incomensurveis est presente. Paul
Tannery, no comeo do sculo XX, falou da descoberta
dos incomensurveis como um verdadeiro escndalo
lgico, uma pavorosa pedra no caminho. ([25], p. 259)
Uma tradio to difundida tinha (e tem) suas fontes,
isto , um conjunto de autores e obras da Antiguidade
que pareciam indicar em primeiro lugar a descoberta
dos incomensurveis como obra de Pitgoras, tido por
matemtico, ou por Hipaso, ou pelos primeiros pitag-
ricos. Em segundo lugar, o choque da incomensurabi-
lidade com uma teoria de carter losco armando
que tudo nmero, depois o episdio da revelao
de segredos matemticos pitagricos (certamente algo
ligado incomensurabilidade) e nalmente a punio
do traidor que zera tal revelao.
Em primeiro lugar, que Pitgoras foi um matemtico
era decorrente de um trecho de Proclo (m. 485 E.C.), em
que ele recorre a uma histria da geometria que fora es-
crita pelo lsofo peripattico Eudemo (f. 320 A.E.C.),
discpulo de Aristteles. O texto de Eudemo hoje est
perdido, mas podemos supor que Proclo tivesse uma
cpia diante de si quando o citou. Em particular, so-
bre Pitgoras, lemos em Proclo: E aps esses, Pitgo-
ras transformou a losoa sobre ela [a geometria] em
um esquema de educao liberal, procurando os prin-
cpios dela a partir do alto e perseguindo os teoremas
2
18
Matemtica Universitria n47
{Capa}
de um modo imaterial e intelectual; e ele descobriu, en-
to, tanto o assunto dos irracionais como a construo
dos esquemas csmicos [isto , os slidos regulares].
([21])
Assim, de acordo com Proclo, Pitgoras descobriu a
incomensurabilidade e a construo dos slidos regula-
res. Esses mesmos temas aparecem sob uma luz ligeira-
mente diferente em Jmblico (c. 285 - c. 330 E.C.): Di-
zem sobre Hipaso que estava entre os pitagricos e, por
ter exposto e escrito primeiro a esfera a partir de doze
pentgonos [o dodecaedro regular], morreu no fundo
do mar, porque fora mpio, e cou com a fama de des-
cobridor, mas dizem que tudo provm daquele homem
[Pitgoras]. ([14], p. 88; o mesmo trecho repetido por
Jmblico em [13], 77.18)
Como a medida das arestas do dodecaedro regular
incomensurvel com o raio de sua esfera (inscrita ou
circunscrita), viu-se nessa passagem de Jmblico a pos-
sibilidade de que o descobridor da incomensurabili-
dade tivesse sido Hipaso de Metaponto (f. 470 A.E.C.) e
que isso se dera no contexto da investigao geomtrica
sobre o dodecaedro regular.
1
Com relao ao tema da punio pela revelao do
segredo, alm de Jmblico, o historiador Plutarco (c.45-
c.120 E.C.) tambm tem algo a dizer: [...] dizem que
os pitagricos providenciaram que seus preceitos no
fossem escritos mas que, antes, fossem preservados
na memria viva daqueles que mereciam receb-los; e
quando algum desses processos geomtricos incomuns
e abstratos foi divulgado para uma pessoa no mere-
1
S ao v arias as passagens de obras de J amblico que retornam ao
tema. Especialmente ilustrativa e a seguinte: O primeiro homem
que revelou a natureza da comensurabilidade e da incomensura-
bilidade ` aqueles que n ao mereciam compartilhar dos ensinamen-
tos, assim se diz, foi violentamente detestado e n ao somente foi
excludo de sua vida e refeic ao comuns como tamb em lhe cons-
truram um t umulo, como se seu antigo amigo estivesse morto.
E alguns dizem tamb em que o poder sobrenatural vingou-se da-
queles que publicaram os feitos de Pit agoras; pois foi afogado
como um blasfemo o que revelou a construc ao da gura de vinte
angulos [isto e, vinte v ertices]. Ele, digo, esticou em uma esfera o
dodecaedro, um dos cinco chamados esquemas s olidos. E outros
dizem que assim foi o sofrimento daquele que revelou as coisas
sobre a irracionalidade e a incomensurabilidade. (J amblico, De
vita Pythagorica, 246 ff.)
cedora, eles disseram que os deuses ameaavam punir
essa maldade e profanao com um sinal e com uma
avassaladora calamidade. ([20], p. 100101) Vale a
pena tambm ler o trecho seguinte de Papo (c. 330 - c.
405) em que a morte por afogamento interpretada de
modo gurado: Essa cincia (ou conhecimento) teve
sua origem na seita (ou escola) de Pitgoras, mas pas-
sou por um importante desenvolvimento nas mos do
ateniense, Teeteto [...] De fato, a seita (ou escola) de Pi-
tgoras foi de tal forma afetada por sua reverncia por
essas coisas que uma histria tornou-se corrente nela, a
saber, aquele que primeiro desvendou o conhecimento
de inexprimveis ou irracionais e o divulgou entre a
massa de gente comum pereceu por afogamento; o que
mais provavelmente uma parbola pela qual eles pro-
curaram expressar sua convico de que, primeiro,
melhor esconder todo inexprimvel, ou irracional ou in-
concebvel no universo e, segundo, a alma que por erro
ou descuido desvela ou revela qualquer coisa dessa na-
tureza que esteja nela ou neste mundo, vaga (por isso)
aqui e ali no mar da no-identidade (isto , carecendo
de toda similaridade de qualidade ou acidente), imersa
no uxo do vir-a-ser e do deixar-de-ser, onde no h pa-
dro de medida. (Papo apud Walter Burkert, em [5], p.
457458; essa uma traduo para o ingls de [4], de
1962)
Em suma, esses trechos (e outros que no citamos
aqui) alimentaram a verso da histria em que desco-
berta, revelao e punio se seguem uma outra. Pas-
semos, agora, ligao desses elementos com uma pos-
svel contradio do princpio pitagrico de que tudo
nmero. Em outras palavras, vejamos como se tem de-
fendido que a existncia da incomensurabilidade teria
sido uma diculdade fundamental na losoa pitag-
rica.
A base disso a leitura que Oskar Becker fez de um
trecho do Livro IX dos Elementos de Euclides. Nesse
livro, h uma sequncia de proposies relativamente
simples sobre nmeros pares e mpares (proposies de
21 a 34). Becker, partindo dos fatos bem conhecidos de
que (a) essas proposies parecem ter chegado a Eucli-
des a partir de uma tradio aritmtica mais antiga e
mais simples do que se encontra no restante dos livros
3
19
Matemtica Universitria n47
{Capa}
aritmticos (Livros de VII a IX dos Elementos) e (b) pares
e mpares constituem um tema de profundo interesse
no pitagorismo, conclui que esta parte dos Elementos a
sistematizao lgico-dedutiva da aritmtica pitagrica
([1, 2]). Becker usara tambm um testemunho de Aris-
tteles, em que se menciona que os pitagricos usavam
seixos em conexo com sua aritmtica.
Assim, Becker, usando pontinhos representando sei-
xos, elaborou demonstraes para os teoremas sobre
nmeros pares e mpares como aparecem no Livro IX
dos Elementos. Com isso, sustentava que os primeiros
pitagricos teriam a seu dispor todo o conhecimento
sobre pares e mpares necessrio para elaborarem a fa-
mosa prova por reduo ao absurdo de que o lado e a
diagonal de um quadrado so incomensurveis, repor-
tada por Aristteles e presente em alguns manuscritos
do Livro X dos Elementos.
a reconstruo de Becker que est na base de textos
como os de Kline, citado mais acima. Se os pitagricos
podiam demonstrar a incomensurabilidade do lado e
da diagonal de um quadrado, ento teriam encontrado
algo que no podia ser explicado em termos de nme-
ros inteiros, portanto, algo que contrariaria seu princ-
pio losco de que tudo nmero.

H um nmero de autores que discordam que a desco-
berta da incomensurabilidade tenha causado uma crise
no pensamento pitagrico.
Ivor Grattan-Guinness parece resumir as ideias cen-
trais desse conjunto de autores: Outra descoberta fa-
mosa atribuda aos pitagricos usualmente formulada
assim: O nmero

2 irracional; mas essa formulao

anacronstica em vrios modos. [...] a descoberta
tida como tendo provocado uma crise nos fundamen-
tos da matemtica daquele tempo; mas comentadores
como o prprio Aristteles no a mencionam, e a ideia
pode ser uma interpolao anistrica de alguns gregos
posteriores, ou mesmo um mal-entendido. [...] Assim,
longe de experimentar uma crise de fundamentos, os
gregos antigos podem ter gozado uma poca de gran-
des jornadas matemticas. ([11], p. 4748)
Como mencionamos anteriormente, o questiona-
mento da ideia de uma crise seguindo-se a uma des-
coberta da incomensurabilidade est acompanhado do
questionamento de vrias outras ideias ainda bastante
comuns em relatos de histria da matemtica proveni-
entes de mbitos externos ao da pesquisa prossional
no tema. Um exemplo desses questionamentos o da
ideia do prprio Pitgoras como um matemtico, hoje
bastante desacreditada. Um recente texto nos diz: De
fato, tudo o que sabemos sobre suas descobertas e in-
teresses matemticos [dos pitagricos] provm de scu-
los posteriores, frequentemente muito posteriores, e
de modo geral tido como no convel [...] A maior
parte dos estudiosos ir concordar que houve uma es-
cola pitagrica de losoa desde o sculo VI A.E.C. at
provavelmente o IV, que eles estiveram envolvidos em
poltica e que eles tinham certas crenas sobre a vida e
o universo, incluindo talvez o princpio de que tudo
nmero, ou que o nmero guarda a chave para en-
tender a realidade. Mas a maior parte dos estudiosos
tambm pensa, por exemplo, que Pitgoras nunca des-
cobriu o teorema que leva o seu nome. ([6], p. 3031)
Um dos estudos crticos mais antigos sobre a histria
da tradio pitagrica o de Eva Sachs, em que a autora
pe em dvida se os pitagricos zeram uma constru-
o matemtica do dodecaedro. Ela supe que os pita-
gricos conhecessem o dodecaedro apenas de uma ma-
neira emprica ([23]). Alm disso, Walter Burkert nos
diz que a expresso em Plato
(Fedro, 110b) e em Plutarco (Quaestiones Platonicae 5.1.
1003d) mostra que bolas de crianas eram feitas em 12
partes; e, adicionalmente, dodecaedros de bronze exis-
tem como evidncia arqueolgica do sculo IX ao VI
A.E.C. ([5], p. 460461). Assim, improvvel que o do-
decaedro tenha se tornado conhecido fora dos crculos
pitagricos por obra de Hipaso.
Entretanto, o trabalho mais sistemtico no tocante
desconstruo crtica de uma srie de dados tidos por
conhecimento histrico inabalvel relativo matem-
tica pitagrica o de Burkert, j mencionado ([4], [5]).
Seu impacto para a histria da matemtica grega to
grande que se chegou a dizer que Pitgoras, o mate-
mtico, faleceu por m em 1962, ano da edio em ale-
4
20
Matemtica Universitria n47
{Capa}
mo do livro de Burkert ([18]).
Em primeiro lugar, o relato de Eudemo, tal como con-
servado por Proclo, a fonte mais importante para a
defesa de Pitgoras como matemtico. Entretanto, h
duas evidncias que sugerem fortemente que o relato
de Eudemo no zesse originalmente referncia a Pit-
goras. A primeira o uso da expresso de um modo
imaterial e intelectual ( ). Por que Eu-
demo, um prestigioso discpulo de Aristteles, se ex-
pressaria assim em relao matemtica de Pitgoras,
se o prprio Aristteles arma que os pitagricos apli-
caram suas proposies a corpos, a m de distinguir
os pitagricos dos verdadeiros matemticos? (Metaf-
sica, 1083b18). A segunda o fato de o trecho sobre Pi-
tgoras ser uma reformulao muito prxima de Jm-
blico, no De communi mathematica scientia ([13]). Jm-
blico refere-se pureza, sutileza e exatido do mtodo
de Pitgoras e a como sua matemtica purica a alma
e a conduz para os mais altos princpios e para o reino
do ser puro e imaterial ([5], p. 410). Uma descrio
que aproxima a expresso de Proclo (imaterial e inte-
lectual) muito mais de Jmblico do que do peripattico
Eudemo. Como resultado, tornou-se consenso entre os
historiadores da matemtica e da losoa gregas que
Proclo interpolou o texto de Jmblico no de Eudemo,
possivelmente porque Eudemo dizia muito pouco ou
mesmo nada sobre Pitgoras. Teria Pitgoras realmente
sido um matemtico ou tal ideia foi uma inveno de
neopitagricos como Jmblico (que viveu 800 anos de-
pois de seu mestre)? Eis a questo.
Isso nos leva aos textos de Jmblico. Segundo ele, Hi-
paso revelou a construo do dodecaedro e, por isso,
morreu no mar. Esse episdio aparece nos dois trechos
acima, sendo que no segundo trecho Hipaso no no-
meado. Jmblico narra tambm que o primeiro que re-
velou a incomensurabilidade foi excludo da comuni-
dade pitagrica e ganhou umtmulo simblico. Emne-
nhuma das duas passagens, Jmblico diz que os dois se-
gredos foram revelados pela mesma pessoa. Pelo con-
trrio, admite uma pluralidade daqueles que revela-
ram os feitos de Pitgoras. A dvida repousa sobre
qual foi a punio para aquele que revelou a incomen-
surabilidade, pois outros dizem que o afogamento
foi o sofrimento dele.
A impreciso de Jmblico no nos permite dizer com
certeza quais foram os traidores (teria sido Hipaso? so-
mente ele?) nem o que cada um revelou. E, caso te-
nham revelado algo, com que termos o zeram. Os tre-
chos de Jmblico tambm no nos permitem concluir
nenhuma ligao entre a construo do dodecaedro e o
problema da incomensurabilidade. Se houvesse essa li-
gao e se ela fosse realmente crucial, no deveria ser
mencionada? Por m, e mais importante, os textos de
Jmblico no relacionam a incomensurabilidade (nem o
dodecaedro) a um conito com a doutrina de que tudo
nmero. Poder-se-ia alegar que Jmblico, um ne-
opitagrico, no relaciona esses conhecimentos um ao
outro para esconder a crise por que teria passado o co-
nhecimento pitagrico. Mas, na mesma linha, Jmblico,
caso fosse ciente de uma tal crise, poderia mencionar
como o prprio Pitgoras fora capaz de harmonizar n-
mero, dodecaedro e incomensurabilidade.
Interessantemente, tanto Plutarco (c.45-c.120 E.C.)
como Papo (f. 320 E.C.) no tomam as punies no sen-
tido literal. Plutarco anterior a Jmblico; Papo, seu
contemporneo. Ambos do uma nuance ao assunto
que o neopitagrico no contempla. Mas nenhum dos
dois faz a ligao entre incomensurabilidade e a teoria
de que tudo nmero.
Para fazer essa ligao, so necessrios, como disse-
mos na seo anterior, trs elementos:
o conhecimento da importncia da oposio par e
mpar no pensamento pitagrico;
a reconstruo de uma suposta aritmtica pitag-
rica capaz de demonstrar teoremas sobre nmeros
pares e mpares;
uma prova de incomensurabilidade que recorra a
nmeros pares e mpares.
O primeiro elemento de aceitao consensual. Aris-
tteles o apoio mais forte para isso: Tambm os pita-
gricos identicam o ilimitado com o par. Pois esse,
dizem, quando est rodeado e limitado pelo mpar,
proporciona o elemento ilimitado aos seres existentes.
5
21
Matemtica Universitria n47
{Capa}
Uma mostra disso o que acontece com os nmeros.
(Fsica, Livro , 4, 203a10).
O segundo ponto, hoje, menos consensual do que
j foi. Como dissemos na seo anterior, Oskar Becker
props uma leitura das proposies de 21 a 34 do Li-
vro IX dos Elementos de Euclides como uma sistema-
tizao, em um quadro axiomtico, de resultados da
aritmtica pitagrica. Becker enfatizou o testemunho
de que os pitagricos usassem seixos para a represen-
tao de nmeros (Aristteles, Metafsica, 1092b10ff.).
O problema bsico da reconstruo de Becker apon-
tado por Burkert: Em Euclides, a teoria se desenrola
de um modo sistemtico, e cada proposio pressupe
a anterior, de uma maneira estritamente dedutiva, en-
quanto uma prova com [seixos] essencialmente
indutiva e pictrica. [...] claro que os Pitagricos sa-
biam que mpar mais mpar par, e que mpar mais par
mpar [...], mas eles no deduziam uma proposio
da outra. Eles viam, diretamente, que o nmero m-
par masculino mostrava-se dominante na associao
com o nmero par feminino. ([5], p. 435) Voltaremos,
mais adiante, a essa distino entre provar proposies
dedutivamente e ver proposies com seixos.
O terceiro elemento usado para ligar o problema da
incomensurabilidade com a doutrina de que tudo
nmero uma prova da incomensurabilidade entre
o lado e a diagonal do quadrado. A demonstrao
bem conhecida e, por isso, no precisamos reproduzi-
la aqui. reportada por Aristteles, mas sem explicitar
os detalhes nem deixar claro que se trata do lado e da
diagonal de um quadrado (por exemplo, poderiam ser
de um pentgono regular) (Primeiros Analticos, 41a23ff,
50a35ff.). Interessantemente, Aristteles nunca arma
que a incomensurabilidade gerou uma crise entre os pi-
tagricos, ainda que na Metafsica ele os critique forte-
mente.
Uma demonstrao completa nessa linha, da inco-
mensurabilidade entre o lado e a diagonal do qua-
drado, foi adicionada aos Elementos de Euclides por
volta do sculo III E.C.
Para Becker, seria possvel reconstruir a demonstra-
o da incomensurabilidade com a aritmtica pitag-
rica dos seixos. Entretanto, uma sria diculdade
apontada, novamente por Burkert: [...] Aqui tambm
Becker tenta reconstruir a prova com guras de seixos:
Dados . . . a
2
= 2b
2
. . . Imagine o nmero a
2
disposto
uma vez com seixos e b
2
disposto duas vezes... Agora,
no h a possibilidade de os pitagricos meramente
imaginarem seus : eles os tinham em suas mos
e os arranjavam em padres visveis, como bvio dos
testemunhos sobre Eurito [por exemplo, o de Aristte-
les, como mencionamos]. Se algum tenta, entretanto,
seguindo o esprito da reconstruo de Becker, repre-
sentar a
2
e b
2
com pedrinhas, percebe rapidamente que
isso impossvel [...] Becker pede [...] que se prossiga,
sem se desencorajar por essa experincia, pensando
que as condies irrealizveis esto satisfeitas [...] at
que as contradies lgicas saltem vista (b teria de ser
par e mpar ao mesmo tempo) [...]. ([5], p. 436) Alm
disso, como tambmreporta Aristteles, para os pitag-
ricos, a unidade ao mesmo tempo par e mpar (Metaf-
sica, 985b23ss.), portanto o fato de b ser par e mpar, su-
pondo que pudessem chegar a, no revelaria necessa-
riamente uma contradio, mas talvez conrmasse que
cada nmero feito de unidades, carregando, portanto,
em si o par e o mpar.
Dessa forma, a leitura mais apurada dos testemu-
nhos mais antigos e das reconstrues racionais moder-
nas coloca a histria de uma crise dos incomensurveis
mais como uma criao historiogrca posterior do que
como um relato dedigno tanto quanto isso possvel
para a histria daquilo que aconteceu.
Outro momento importante na histria da historio-
graa da incomensurabilidade so os trabalhos de Da-
vid Fowler ([9]). Partindo das anlises de Burkert e de
Wilbur Knorr ([16]), Fowler adiciona mais uma camada
de argumentao contra a verso da histria em que
a descoberta da incomensurabilidade teria provocado
uma crise de fundamentos da matemtica.
A anlise de Fowler no se restringe apenas a mos-
trar que as fontes documentais no indicam nenhuma
incompatibilidade da incomensurabilidade com o prin-
cpio pitagrico de que tudo nmero. Ele tambm
sugere quais ferramentas matemticas e quais pontos
de vista estavam disponveis para os matemticos gre-
gos lidarem com a incomensurabilidade sem uma crise
6
22
Matemtica Universitria n47
{Capa}
de fundamentos. Seu argumento central, com relao
a isso, que, em primeiro lugar, a geometria grega ti-
nha um carter fortemente no-aritmetizado, de modo
a ser possvel fazer geometria sem necessariamente ter
de associar um nmero a cada segmento ou rea. As-
sim, os gemetras gregos poderiam perfeitamente tra-
balhar com o lado e a diagonal (de um quadrado ou de
um pentgono regular, por exemplo) sem ter de asso-
ciar medidas a esses segmentos.
O segundo ponto importante do argumento de Fo-
wler era que o conceito de razo pr-eudoxano estava
ligado (ou era igual) ao resultado da subtrao rec-
proca e contnua ( ou ) de dois
nmeros ou grandezas. Assim, para obter uma razo,
dados dois nmeros ou duas linhas [...], ento conte:
quantas vezes a segunda linha pode ser subtrada da
primeira linha; quantas vezes o resto pode ser subtrado
da segunda linha; quantas vezes o prximo resto pode
ser subtrado desse resto; etc. ([9], p. 366367) Por
exemplo, para obter a razo entre 12 e 7,
subtraia 7 de 12 tantas vezes quanto possvel: 1
vez, e camos com 7 e 5;
subtraia 5 de 7 tantas vezes quanto possvel: 1 vez,
e camos com 5 e 2;
subtraia 2 de 5 tantas vezes quanto possvel: 2 ve-
zes, e camos com 2 e 1;
subtraia 1 de 2 tantas vezes quanto possvel: 2 ve-
zes, e camos apenas com o 1.
Assim, a razo entre 12 e 5 estaria relacionada com a
sequncia de resultados 1 vez, 1 vez, 2 vezes, 2 vezes,
isto , subtrao recproca e contnua dos dois nme-
ros.
Fowler, ento, argumenta que, atravs desse con-
ceito de razo, ou procedimento, poder-se-ia lidar com
o problema da incomensurabilidade sem necessaria-
mente ter-se de repensar os fundamentos da matem-
tica. Reproduzimos, no Quadro 1, sua argumentao
para o caso do lado e diagonal de um quadrado (nesse
caso no temos dois nmeros, mas duas grandezas).
Em razo dos trabalhos de Burkert e de Fowler, his-
toriadores da matemtica e da Antiguidade tm estado
Quadro 1. Expressando a diagonal do quadrado em nmeros.
L
L D

Sejam L e D o lado e a diagonal do quadrado maior;

e e d os segmentos correspondentes no quadrado me-
nor. A gura construda de modo que L seja composto
de e d (implicando tambm que D = L). Vamos
procurar a razo entre D + L e L, inicialmente, que a
mesma que entre d + e . Temos que L cabe duas ve-
zes em D + L, sobrando D L = ; procuramos agora
quantas vezes cabe em L, isto , quantas vezes cabe
em + d. Ora isso o mesmo que perguntar quantas
vezes L cabe em L + D, e voltamos, assim, situao
inicial.
Portanto o resultado das subtraes recprocas cont-
nuas entre D + L e L, quer dizer, a razo entre D + L e
L em termos da 2, 2, 2 . . . .
Por m, a razo em termos da entre D
e L 1, 2, 2, . . . , que dessa forma, est expressa em n-
meros, sem necessariamente causar uma crise de fun-
damentos.
bastante convencidos de que a descoberta da incomen-
surabilidade no gerou uma crise. Ou, se gerou, no
deixou nenhum trao convincente nas fontes para o tra-
balho historiogrco.

A crise da incomensurabilidade parece s existir

quando lemos os textos gregos com os nossos termos,
esquecendo-nos de prestar ateno no modo como os
7
23
Matemtica Universitria n47
{Capa}
atores histricos viam a matemtica. Quando tentamos
nos colocar no ponto de vista dos antigos gregos, em es-
pecial dos primeiros pitagricos, os motivos para a crise
como que desaparecem.
A histria da histria da incomensurabilidade for-
nece assim um exemplo dos mal-entendidos que po-
dem ser formulados quanto se tenta interpretar os per-
sonagens histricos no nos termos deles, mas nos do
interpretador. Isso no to incomum quanto parece.
Por exemplo, grande parte da historiograa que o s-
culo XX produziu sobre a matemtica da Mesopotmia
ocupou-se de interpretar os nmeros dos tabletes com
textos matemticos, mas teve pouco cuidado com as
palavras e os contextos em que esses nmeros apare-
ciam. Como resultado, somente mais recentemente, a
partir da dcada de 1990, que se percebeu o forte ca-
rter geomtrico da matemtica escrita em cuneiforme
([22]). Entretanto, a histria da matemtica no o
nico campo em que tais mal-entendidos podem sur-
gir. Na histria da literatura, por exemplo, o Barroco
como um movimento literrio, concentrado no sculo
XVII, um conceito formulado no pelos prprios in-
divduos do sculo XVII mas por romnticos e ps-
romnticos, atravs de anlises que utilizam categorias
antes dos analisantes do que dos analisados, como, para
citar apenas um exemplo, a da inteno autoral liter-
ria, de difcil seno impossvel identicao no sculo
XVII ([12]). Igualmente, o conceito de Idade Mdia foi
formulado pelos Renascentistas, em certa medida para
enaltecer o momento dos interpretadores (renascentis-
tas) em oposio uma suposta Era das Trevas ([10])
Tambm o conceito de Oriente, como tem sido susten-
tado, foi formulado no de acordo com os habitantes
das regies geogrcas a que o termo intenta fazer re-
ferncia, mas segundo uma intricada teia de interesses
coloniais dos sculos XIX e XX ([24]). Os exemplos so
inmeros. O exerccio de classicar eventos, perodos
e conceitos natural e legtimo, mas sempre devemos
ter em mente os riscos de se atribuir a um determinado
contexto, ideias que lhe so totalmente estranhas e no
pertinentes.
O caso da incomensurabilidade tambm nos indica
que a prpria disciplina histria da matemtica tem,
por sua vez, uma histria. Por isso, s vezes, deparamo-
nos com vises e reconstrues conitantes sobre o
mesmo objeto de pesquisa. No caso da histria da in-
comensurabilidade, o rigor historiogrco mais aceito
atualmente entre os historiadores indica que uma ver-
so da histria sem a crise de fundamentos entre pita-
gricos a mais compatvel com as fontes.
Isso, no entanto, no quer dizer que os trabalhos que
defenderam no passado a ideia de uma crise no te-
nham tido seu valor. Muito pelo contrrio. preciso
que tenhamos, na anlise desses historiadores, a mesma
sensibilidade que usamos para tratar dos pitagricos, a
m de que entendamos que a historiograa que prati-
caram estava condicionada a outros pressupostos sobre
a natureza da matemtica grega, a histria da Grcia
Antiga e sobre a prpria disciplina historiogrca.
Por m, a histria da incomensurabilidade, ou me-
lhor, a histria de como os historiadores da matemtica
e da Antiguidade escreveram essa histria revela-nos
um aspecto importante que talvez se aplique a qual-
quer investigao histrica. O conhecimento historio-
grco se d por aproximaes. Essas aproximaes
dependemdos instrumentos que o historiador usa, bem
como das perguntas que capaz de fazer para suas fon-
tes. Cada gerao prope assim novas aproximaes,
s vezes, para as mesmas perguntas, s vezes, para per-
guntas s aproximadamente iguais. Como j se disse,
em histria no pode haver a obra denitiva; tudo a
que podemos aspirar so aproximaes. ([19]) Nesse
sentido so perfeitamente conciliveis as armaes de
que a histria, como investigao, possa passar por re-
vises ou atualizaes e ainda assim cultive critrios de
rigor inteligveis e coerentes.
80l0f00l88
[1] BECKER, O. Die Lehre von Geraden und Unge-
raden in neuten Buch der Euklidischen Elemente.
Quellen und Studien zur Geschichte der Mathematik,
Astronomie und Physik, v. 3, p. 533553, 1936.
[2] BECKER, O. Das Mathematischen Denken der Antike.
Gttingen: Vanderhoeck & Ruprecht, 1957.
8
24
Matemtica Universitria n47
{Capa}
[3] BOYER, C. A history of mathematics. 2. ed. New
York: John Wiley & Sons, 1989.
[4] BURKERT, W. Weisheit und Wissenschaft: Studien zur
Pythagoras, Philolaos und Platon. Nrnberg: Hans
Carl, 1962.
[5] BURKERT, W. Lore and science in ancient pythagore-
anism. Cambridge, Massachusetts: Harvard Uni-
versity Press, 1972.
[6] CUOMO, S. Ancient mathematics. London: Rou-
tledge, 2001.
[7] EUCLIDES. Elementa. v.III: Liber X cum appendice.
Heiberg J. L., Stamatis E. S. (Eds.). Leipzig: Teub-
ner, 1971. (Bibliotheca scriptorum Graecorum et
Romanorum Teubneriana)
[8] EVES, H. An introduction to the history of mathema-
tics. 3. ed. New York: Holt & Rinehart Winston,
1969.
[9] FOWLER, D. The mathematics of Platos Academy. A
new Reconstruction. 2. ed. Oxford: Oxford Univer-
sity Press, 1999.
[10] FRANCO JNIOR, H. Idade Mdia, o nascimento do
Ocidente. 2. ed. So Paulo: Brasiliense, 2006.
[11] GRATTAN-GUINNESS, I. The Fontana history of the
mathematical sciences. The rainbow of mathematics.
London: Fontana Press, 1997.
[12] HANSEN, J. A. Barroco, neobarroco e outras ru-
nas. Estudios Portugueses, v. 3, p. 171217, 2003.
[13] JMBLICO. Communi mathematica scientia. Nicola
Festa (ed.). Leipzig: Teubner, 1891. (Bibliotheca
scriptorum Graecorum et Romanorum Teubneri-
ana, 1443)
[14] JMBLICO. De vita Pithagorica. Ludwig Deubner
(ed.). Leipzig: Teubner, 1937.
[15] KLINE, M. Mathematical thought from ancient to mo-
dern times. Oxford: Oxford University Press, 1972.
v. 1.
[16] KNORR, W. The evolution of the Euclidean Elements:
a study of the theory of incommensurable magnitudes
and its signicance.. Dordrecht: D. Reidel, 1975.
[17] MAINZER, K. Real numbers. In: EBBINGHAUS, H.-
D. ET AL. Numbers. New York: Springer, 1991. p.
2753. (Graduate texts in mathematics, 123. Rea-
dings in mathematics)
[18] NETZ, R. The shaping of deduction in greek mathema-
tics: a study in cognitive history. Cambridge: Cam-
bridge University Press, 1999. (Ideas in Context,
51)
[19] NOVAIS, F. A. Aproximaes: estudos de histria e
historiograa. So Paulo: Cosac & Naify, 2005.
[20] PLUTARCO. Plutarchs Lives, vol. II. New York: The
Modern Library, 1992.
[21] PROCLO. In Primum Euclidis Elementorum Libri
Commentarii. G. Friedlein (ed.). Hildesheim: Ge-
org Olms, 1992. 2
a
impresso da edio de Leipzig:
Teubner, 1873, 65, 15-21.
[22] ROBSON, E.; STEDALL, J. (EDS.) Oxford handbook of
the history of mathematics. Oxford: Oxford Univer-
sity Press, 2008. (Oxford Handbooks)
[23] SACHS, E. Die fnf Platonischen Krper. Berlin:
Weidmann, 1917.
[24] SAID, E. W. Orientalism.. London: Penguin Books,
1995.
[25] TANNERY, P. Pour lhistoire de la science hellne, de
Thles Empdocle. 2. ed. Paris: Gauthiers-Villars,
1930. (A primeira edio de 1887.)
Carlos H. B. Gonalves
Escola de Artes, Cincias e Humanidades da USP
Claudio Possani
Instituto de Matemtica e Estatstica da USP
9