Teoria do Conhecimento e Filosofia da Cincia I Osvaldo Pessoa Jr.

2010

Captulo III

A MATEMTICA ANTIGA
1. A Matemtica na Grcia Antiga
A matemtica grega, partindo de Tales de Mileto (c. 625-546 a.C.) e Pitgoras de
Samos (c. 575-495 a.C.), se caracterizou pelo esforo de demonstrar de maneira rigorosa os
seus resultados. Os pitagricos, reunidos onde hoje a Siclia, defendiam que todas as
relaes cientficas eram expressas por meio de nmeros naturais (1, 2, 3, ...) ou razes entre
tais nmeros, os chamados nmeros racionais, , , etc. Em conseqncia desta concepo,
supunham que o espao, o tempo e o movimento eram constitudos de elementos discretos.
Ao pitagrico Hipaso de Metaponto (nascido circa 500 a.C.) atribuda a descoberta
dos nmeros irracionais, como 2 , que seria a medida da diagonal de um quadrado de lado
1. Esta descoberta era vista como um problema para a filosofia pitagrica, e conta a lenda que
Hipaso teria sido lanado ao mar por seus colegas, em represlia.11 Veremos no cap. II outro
problema para a concepo pitagrica: os paradoxos de Zeno, que punham em xeque a
concepo de que o espao e o tempo so divisveis.
Os matemticos gregos passaram a dividir a matemtica na teoria dos nmeros, que
estuda entidades discretas ordenadas, e na geometria, que envolve o contnuo. Essa diviso
transparece nos Elementos, obra escrita por Euclides de Alexandria em torno de 300 a.C. Ele
reuniu os trabalhos de Eudoxo, Teeteto e outros matemticos, sistematizou-os, melhorou as
demonstraes, e coligiu sua obra de acordo com o mtodo axiomtico. Os Elementos partem
de definies, axiomas (noes comuns, princpios auto-evidentes) e postulados (suposies
geomtricas). O nmero 1 foi tratado como a unidade, e os outros como nmeros
propriamente ditos. O nmero 0 no estava presente, e s foi introduzido na ndia, onde se
usava o sistema numrico posicional, juntamente com os nmeros negativos, pelo matemtico
Brahmagupta, em 628 d.C.

2. Plato e a Matemtica
Na segunda metade do sc. V, trs fatores influenciaram o desenvolvimento do
pensamento grego: 1) A expanso da educao, associada ao movimento dos sofistas, que
ensinavam qualquer matria, alm das j tradicionais gramtica, msica e poesia, em troca de
dinheiro. 2) Uma virada das preocupaes com a filosofia da natureza para a tica, feita por
Scrates e por muitos sofistas, como Protgoras. 3) Atenas tornou-se o principal centro
intelectual da Grcia.
Plato de Atenas (428-347 a.C.) herdou a preocupao moral de seu mestre, Scrates,
mas tambm fez contribuies importantes para a cincia. Fundou sua Academia em torno de
380 a.C., que agregou vrios matemticos, astrnomos e filsofos importantes. Apesar de se
dedicar pouco a reas particulares da cincia, Plato contribuiu de maneira significativa para a
filosofia da cincia.
Na Repblica, Plato descreveu a educao do filsofo-rei, que deveria governar a
repblica, e salientou a importncia da razo sobre a sensao. A astronomia platnica, por
exemplo, seria uma astronomia abstrata, matemtica. Sua abordagem de matematizao da
11

Muitos detalhes da histria da matemtica podem ser obtidos de: EVES, H. (2004), Introduo Histria da
Matemtica, trad. H.H. Domingues, Ed. Unicamp, Campinas (original em ingls: 1964). Sobre Hipaso, ver p.
107.

10

TCFC I (2010)

Cap. III A Matemtica Antiga

cincia vinha junto com um desprezo pela observao, mesmo em uma cincia como a
acstica. Nesta obra, h uma clebre anlise12 de quatro tipos de conhecimento, representados
como divises de uma linha (Fig. III.1). A mera opinio abarca o reino do sensvel, e engloba
o conhecimento de sensaes ou imagens sensveis, e de objetos tidos como existentes no
mundo material. Porm, a verdadeira cincia se d na matemtica. Esta, porm, pode estar
restrita a instncias de figuras geomtricas, postuladas como hipteses. Acima desta est a
cincia das formas puras.

Figura III.1: Linha dos diferentes tipos de conhecimento, segundo Plato na Repblica.

Um exemplo de forma pura seria a triangularidade, a essncia de todos os

tringulos. Ao passo que cada instncia de tringulo ou isscele (pelo menos dois lados
iguais), ou escaleno (nenhum lado igual), triangularidade no se pode atribuir nenhuma
dessas duas propriedades. Haveria, porm, propriedades atribuveis triangularidade, como a
soma dos ngulos internos ser 180.
No Timeu, Plato apresenta uma cosmologia que parte da distino entre o mundo
mutvel do vir-a-ser e as formas que existiriam de maneira eterna. Ele reconhece que
qualquer especulao sobre o vir-a-ser do mundo no pode ser considerada verdadeira, mas
isto por uma questo de princpio, e no por falta de evidncia. Os problemas da fsica no
podem ser resolvidos por mtodos observacionais: tal atividade no passaria de mera
recreao.
A cosmologia de Plato envolve as formas puras, as entidades particulares que so
modeladas de acordo com as formas, e uma teleologia, personificada por um demiurgo, o
arteso divino, que imporia ordem matria. Tal demiurgo no seria onipotente e nem teria
criado o mundo.
Com relao constituio da matria, tomou os quatro elementos de Empdocles e os
identificou com quatro slidos regulares (Fig. III.2): fogo tetraedro; ar octaedro;
gua icosaedro (20 faces); terra cubo; o quinto slido regular, o dodecaedro (12 faces)
podia ser associada matria celeste. Como tais slidos podem ser construdos a partir de
unidades mais bsicas (assim como as faces podem ser construdas de tringulos), Plato
12

PLATO (1965), A Repblica, trad. J. Guinsburg, vol. 2, DIFEL, So Paulo (orig.: c. 380-360 a.C.), pp. 97-104
(509c-511e).

11

TCFC I (2010)

Cap. III A Matemtica Antiga

sugeriu explicaes para algumas transformaes na natureza. Por exemplo, a gua se

transforma em vapor porque o icosaedro da gua (20 tringulos) se transformaria em dois
octaedros (8 tringulos cada) de ar e um tetraedro (4 tringulos) de fogo.

Tetraedro
4 tringulos

Cubo
6 quadrados

Octaedro
8 tringulos

Dodecaedro
12 pentgonos

Figura III.2: Os cinco poliedros regulares em trs dimenses.

Icosaedro
20 tringulos
13

Plato, desta maneira, deu um passo a mais no atomismo antigo, introduzindo uma
descrio geomtrica precisa dos tomos, e descrevendo as mudanas por meio de frmulas
matemticas. Plato, porm, no aceitava o vcuo de Leucipo e Demcrito. De qualquer
forma, o destaque que Plato deu s simetrias das formas puras, como princpio explicativo da
natureza, encontraria eco na fsica terica do sc. XX.14
Na seo IX.1 examinaremos o estmulo que Plato deu ao projeto de salvar as
aparncias do movimento dos corpos celestes, usando exclusivamente movimentos circulares
uniformes, que considerava o mais perfeito.

3. Os Postulados de Euclides
Euclides partiu de 23 definies, como a de ponto, que aquilo que no tem partes,
e reta, que um comprimento sem espessura [...] que repousa equilibradamente sobre seus
prprios pontos. Em 1899, o alemo David Hilbert reformularia a axiomatizao da
geometria plana sem partir de definies primitivas: ponto e reta seriam definidos
implicitamente pelos postulados.
Os cinco axiomas usados por Euclides, em notao moderna, so:
A1)
A2)
A3)
A4)
A5)

Se A=B e B=C, ento A=C.

Se A=B e C=D, ento A+C = B+C.
Se A=B e C=D, ento AC = BC.
Figuras coincidentes so iguais em todos os seus aspectos.
O todo maior do que qualquer de suas partes.

13

A figura foi retirada do seguinte stio: http://www.jimloy.com/geometry/hedra.htm . Como curiosidade, vale

mencionar que o matemtico suio Ludwig Schlfli provou em 1852 que em quatro dimenses euclidianas h
seis poltopos regulares! Ver o stio: http://mathworld.wolfram.com/PlatonicSolid.html .

14

Isso tornou-se claro a partir da dcada de 1960, quando a hiptese do quark foi formulada a partir de
consideraes de simetria para as partculas elementares. O fsico Werner Heisenberg exprimiu essa prioridade
das simetrias da seguinte maneira: Nossas partculas elementares so comparveis aos corpos regulares do
Timeu de Plato. So os modelos originais, as idias de matria. [...] No comeo era a simetria , certamente,
uma expresso melhor do que o No comeo era a partcula, de Demcrito. HEISENBERG, W. (1996), A Parte e
o Todo, Contraponto, Rio de Janeiro, pp. 278-9 (orig. em alemo: 1969).

12

TCFC I (2010)

Cap. III A Matemtica Antiga

Os cinco postulados da geometria plana so:

P1) Dois pontos determinam um segmento de reta.
P2) Um segmento de reta pode ser estendido para
uma reta em qualquer direo.
P3) Dado um ponto, h sempre um crculo em que
ele centro, com qualquer raio.
P4) Todos os ngulos retos so iguais.
P5) Se a soma dos ngulos a e b for menor do que
dois ngulos retos, ento os segmentos de reta A
e B se encontram, se forem estendidos
suficientemente (ver Fig. III.3).

Figura III.3: Quinto

postulado de Euclides.

O postulado P5 logicamente equivalente proposio de que, dados uma reta A e um

ponto P fora dela, passa apenas uma reta por P que seja paralela a A. Veremos mais frente
como a discusso do quinto postulado levou no sc. XIX s geometrias no-euclidianas.
Com esses axiomas e postulados, deduz-se boa parte da geometria plana, como o
teorema de Pitgoras. No entanto, a base de postulados no completa. Por exemplo,
Euclides sups tacitamente que uma reta que passa pelo centro de um crculo passa tambm
por dois pontos do crculo, mas isso no dedutvel da base de postulados! Alm disso,
muitas verdades geomtricas que dependem da noo de limite, algumas das quais formuladas
por Arquimedes de Siracusa (287-212 a.C.), no so dedutveis dos axiomas de Euclides.15
A geometria euclidiana foi o paradigma de conhecimento certo e verdadeiro, na
cincia e filosofia, at o sc. XIX.

4. Anlise e Sntese na Matemtica

Nas demonstraes em matemtica, utilizam-se dois procedimentos fundamentais
conhecidos como anlise e sntese. Esta distino era feita na poca de Euclides, e foi
sublinhada por Papus de Alexandria (c. 300-350 d.C.) em seu comentrio dos Elementos.16 Na
anlise, parte-se de um resultado almejado (o resultado de um teorema) e deduzem-se conseqncias mais elementares; a sntese o processo inverso, partindo das teses simples obtidas na
anlise, e deduzindo o resultado em questo.
Nota-se que ambos os procedimentos so
dedutivos.
Por exemplo, considere a tese de que
a soma dos ngulos internos de qualquer
tringulo 180. Desenha-se um tringulo de
vrtices A, B e C. E agora, o que fazer?
Talvez traar uma reta DE passando por A
que seja paralela ao lado BC. Ora, sabemos
Figura III.4. Construo para mostra que a soma que a reta passando por A forma o ngulo
raso de 180. Talvez possamos provar que a
dos ngulos internos do tringulo 180.
15

O presente relato foi obtido de SKLAR, L. (1974), Space, Time, and Spacetime, U. California Press, Berkeley,
pp. 13-6. O livro de Euclides est disponvel na internet, ou como: EUCLIDES (1999), Os Elementos, trad. I.
Bicudo, Ed. da Unesp, So Paulo.

16

Ver descrio em OLDROYD (1986), The Arch of Knowledge: an introductory study of the history of the
philosophy and methodology of science, Methuen, Nova Iorque, pp. 26-8.

13

TCFC I (2010)

Cap. III A Matemtica Antiga

soma dos ngulos internos seja igual ao ngulo raso. Sim, de fato fcil ver na Fig. III.4 que
o ngulo DAB igual ao ngulo ABC, e que EAC igual a BCA. Pronto, terminamos com
sucesso a anlise do problema! Agora estamos em condio de demonstrar rigorosamente o
teorema, partindo do tringulo e da reta DE. Esta etapa a sntese, e aquela que aparece nos
Elementos.

14