Você está na página 1de 140

Lus M.

Aires
uma Histria
da
Matemtica
Dos Primeiros Agricultores a Alan Turing,
dos Nmeros ao Computador
EDIES SLABO
Este livro dedicado a duas pessoas:
minha irm, Ceclia Marques, cujas mos dotadas
cuidam zelosamente desses objectos formados por
folhas e uma capa que encapsulam as histrias de
grandeza e tragdia que moldam a nossa espcie.
Ao meu editor, Dr. Manuel Robalo, possuidor daquele
tipo de coragem intelectual que alimenta a liberdade
criativa e de expresso que tantas vezes faz Histria.
Uma Histria
da Matemtica
Dos Primeiros Agricultores a Alan Turing,
dos Nmeros ao Computador
Lus M. AIRES
EDIES SLABO
expressamente proibido reproduzir, no todo ou em parte, sob qualquer forma
ou meio, NOMEADAMENTE FOTOCPIA, esta obra. As transgresses sero
passveis das penalizaes previstas na legislao em vigor.
Visite a Slabo na rede
www.silabo.pt
Editor: Manuel Robalo
FICHA TCNICA:
Ttulo: Uma Histria da Matemtica - Dos Primeiros Agricultores a Alan Turing,
dos Nmeros ao Computador
Autor: Lus M. Aires
Edies Slabo, Lda.
Capa: Pedro Mota
1B Edio
Lisboa, 2010.
Impresso e acabamentos: Europress, Lda.
Depsito Legal: 305682/1 O
ISBN: 978-972-618-570-3
EDIES SLABO, LDA.
R. Cidade de Manchester, 2
1170-1 00 Lisboa
Telfs.: 218130345
Fax:218166719
e-mail: silabo@silabo.pt
www.silabo.pt
ndice
Introduo 7
1. NMEROS 11
2. ZERO 29
3. ARITMTICA 37
4. LGEBRA 49
5. TEORIA DOS NMEROS 67
6. LGEBRA ABSTRACTA 81
7. LGICA 97
8. ALAN TURING 115
Nota pessoal 129
ndice remissivo 131
Introduo
Galileu (1564-1642) afinnou que em ordem a compreender o Uni-
verso, temos de conhecer a linguagem em que foi escrito. E essa lin-
guagem a matemtica.
Vejo a questo de outro modo. Para descrevennos sinteticamente
os padres da natureza, inventmos a matemtica. Por isso, a histria
desta cincia dos padres uma histria de seres humanos. De
homens e mulheres, com uma determinada concepo dos fenme-
nos do mundo que nos rodeia.
Esta histria comea com a criao de smbolos escritos para
representar nmeros. O sistema de algarismos O, 1, 2, 3, 4, 5, 6, 7, 8,
9, que usamos para escrever todos os nmeros concebveis, surgiu h
cerca de 1500 anos, tendo os decimais no mais que 450 anos. Mas o
conceito de nmero muito antigo, e uma aquisio que levou milha-
res de anos a conseguir.
Os nmeros (naturais) resultaram do reconhecimento de padres
observveis na natureza. O padro que designamos trs unidades,
por exemplo, emerge do entendimento de que existe algo comum a
um conjunto de trs mas, de trs crianas ou de trs pedras. Contar
e representar trs coisas so uma forma de descrever esse padro;
hoje fazemo-lo com o smbolo 3, h muito tempo atrs seriam trs
marcas num pedao de argila.
Para muitos filsofos, a matemtica um produto da existncia de
nmeros. Deus criou os nmeros (inteiros); tudo o resto obra do
Homem, escreveu o matemtico alemo Leopold Kronecker (1823-
-1891). Desse primeiro conceito derivaram todas as outras abstraces
- pontos, linhas, planos, superfcies, figuras geomtricas, funes, ... -
que enriquecem, e apenas existem, na mente colectiva da humani-
dade. At ao ano 500 a.e., a matemtica era essencialmente o estudo
8
UMA HISTRIA DA MATEMTICA
dos nmeros, de cariz utilitrio, para uso como uma espcie de livro
de receitas. Mais tarde, com os Gregos, passou a ser encarada como
uma actividade intelectual, integrando elementos quer estticos quer
religiosos. Perto do final do sculo XIX, a matemtica evoluiu para
desafio do estudo do nmero, da forma, da mudana e do espao, e
das ferramentas mentais utilizadas nesse estudo.
Actualmente, os matemticos analisam padres abstractos -
padres numricos, padres de formas, padres de movimento, de
comportamento, entre outros - que tanto podem ser reais como imagi-
nrios, visuais ou intelectuais, estticos ou dinmicos, qualitativos ou
quantitativos, procurando sintetiz-los atravs de uma notao espec-
fica, igualmente abstracta. Como estudo desses padres, poucos so
os aspectos da realidade humana que no so influenciados pela
matemtica; no so os padres abstractos a essncia do pensa-
mento, da comunicao, da sociedade e da prpria vida? No estar
esta reflectida na lgica, rigor e conciso das descries e frmulas
matemticas? Segundo G. H. Hardy (1877-1947),
ccS padres do matemtico, tais como OS do pintor OU do
poeta, devem ser belos; as ideias, da mesma forma que as
cores ou as palavras, devem combinar-se harmoniosamente.
A beleza o primeiro teste; no mundo no h lugar perma-
nente para a matemtica feia ... Pode ser muito difcil definir a
beleza em matemtica, mas essa dificuldade existe em rela-
o a qualquer tipo de beleza - podemos no saber bem o
que significa um belo poema, mas isso no impede que o
reconheamos como tal no momento em que o lemos."
A Mathematician'sApology, 1940.
Ao propor-me desvendar humildemente o poder da matemtica por
meio da sua histria tive de enfrentar o desafio de conceber uma
estrutura leve para esta obra, um livro de divulgao cientfica geral e
no um tratado exaustivo de to amplo tema. Decidi estabelecer como
fio condutor a inveno de um aparelho caro s actuais civilizaes
humanas, o computador, contando as mais marcantes histrias - de
ideias, de pessoas - dessa jornada particular. Haver alguns saltos
INTRODUO 9
abruptos no tempo, diversos conceitos interessantes sero eclipsados,
muito ficar por dizer. Existem, em lngua portuguesa, algumas Hist-
ria(s) globais da matemtica razoavelmente concisas. Quanto ao pre-
sente livro, espero que o leitor sinta ao descodific-lo, como eu a
redigi-lo, ter sido perpassado pela tal beleza e simplicidade da mate-
mtica e dos seus padres.
Nmeros
Os nmeros naturais parecem ser
coisas muito simples e imediatas,
mas as aparncias iludem.
lan Stewart
NMEROS 13
Folheando livros sobre o desenvolvimento das crianas provavel-
mente encontraremos que, pelos quatro anos de idade, conseguimos
contar at dez e entendemos o conceito de nmero at trs. Por volta
dos seis anos seremos capazes do que os psiclogos designam
conservao do nmero: a noo de o nmero de objectos perma-
necer igual apesar de mudanas externas no arranjo ou forma.
Keith Devlin acredita que o conceito abstracto de nmero apren-
dido, no inato. Podendo escolher, a mente humana prefere o con-
creto ao abstracto. -nos proposto que a abstraco no uma capa-
cidade espontnea, mas produto do nosso desenvolvimento intelectual
e aprendizagem. Outros autores contrapem que as competncias de
quantificao, envolvendo mais que contagem, esto presentes em
crianas muito novas, as quais so capazes por exemplo de reconhe-
cer relaes do tipo maior que ou menor que entre valores num-
ricos. Estudos recentes tm mostrado que as crianas compreendero
as relaes de ordem entre diferentes nmeros de objectos numa
idade em que no sabem ainda express-los verbalmente (dizer que
so dois, trs ou quatro brinquedos).
Tal sugere que competncias lingusticas notoriamente funcionais
- premissa para um nvel de abstraco mais elevado - no so
necessrias para suportar o pensamento numrico. Conseguiro
outros animais contar e ordenar nmeros? Diversos trabalhos com
smios levam a crer num sim. Pois os nmeros esto por a, em redor
de ns, so factos naturais, bem como sete pedras serem mais que
seis, duas juntas a outras trs perfazerem cinco ou vice-versa. Mas
pensar e escrever como 1, 2, 3, 4, ... , 7 > 6 ou 2 + 3 = 3 + 2 = 5,
isso, na minha viso, uma faanha de um certo estdio de desenvol-
vimento do crebro humano.
A criao de smbolos numricos, e assim a histria da matemtica,
ter sido despoletada h cerca de 10.000 anos no Prximo e Mdio
Oriente, evidente em pequenos objectos de barro cnicos, esfricos,
ovais e de outras formas utilizados como unidades de contagem, para
saber o quanto existia de uma dada coisa.
14
UMA HISTRIA DA MATEMTICA
Figura 1.1. Unidades de contagem em barro
Objectos de barro encontrados em vestgios de comunidades agrcolas no actual
Iro. Cada modelao representar um artigo especfico; pensa-se que o artefacto
mais esquerda, na linha superior, representaria uma unidade de carneiros.
No coincidncia que estes objectos tenham surgido associados
a sistemas de agricultura organizada. Podendo contar e, em certa
medida, quantificar determinados aspectos ou factores ambientais,
esses nossos antepassados adquiriram um maior controlo do rumo
das suas vidas; produzindo e manipulando os tais artefactos de barro,
permitia-se registar com alguma acuidade as provises de cada agri-
cultor, planear as sementeiras e colheitas futuras ou fazer trocas com
os vizinhos. Este sistema de enumerao, baseado na correspondn-
cia um-para-um (uma pedrinha correspondia a um animal, um vaso
de leo, uma caixa de sementes, ... ) apresentava j um grau razovel
de especificidade, contudo distante do que pode ser conferido pelo
uso de smbolos que traduzam uma determinada quantidade. Nesse
caminho para a escrita simblica, de nmeros e tambm de palavras,
que remonta ao Paleoltico, deparar-nos-emos com singelas marcas
ou incises feitas em argila ou osso.
NMEROS 15
Os primeiros esforos de escrita de nmeros foram obviamente
incipientes. Consistiam em pouco mais que sries de riscos num
material frivel, como 1111111111 em representao do nmero 1 O. O
mais antigo registo numrico conhecido um osso da perna de um
babuno com diversos conjuntos de marcas feitos h aproximada-
mente 37.000 anos; encontrado numa gruta das montanhas Lebombo,
na fronteira entre a frica do Sul e a Suazilndia, foi-lhe dada a desig-
nao osso de Lebombo.
Figura 1.2. Osso de lshango
11
3
-:::

6

4
21
8


-5 10
;::::;;

19
==
-
-
-
5
-
-
-
3
9
=
-
7
-
--
Representao esquemtica dos padres de
marcas no osso de lshango, com a indicao
de alguns dos nmeros que provavelmente
registam.
16
UMA HISTRIA DA MATEMTICA
Uma inscrio similar existe num osso de lobo descoberto na
antiga Checoslovquia, datado com cerca de 30.000 anos. As 57 mar-
cas legveis esto organizadas em onze grupos de cinco, com duas
parte; uma vez que 56 o dobro de 28 - a durao, em dias, do ciclo
da Lua -, tem sido avanada a hiptese de se tratar de um
registo/calendrio de dois meses lunares. Mais recente, com 25.000
anos, o osso de lshango (no Zaire) aparenta testemunhar a transi-
o para um raciocnio mais sofisticado, relutantemente constrangido
por uma tcnica ainda muito limitada de registo e manipulao.
Embora possam parecer, primeira vista, incises aleatrias,
nelas so reconhecveis padres matemticos de uso corrente nos
nossos dias. Uma das filas contm os nmeros 11, 13, 17 e 19, o que
soma 60, mais o facto de serem os nmeros primos entre 1 O e 20.
Outra fila apresenta o 9, 11, 19 e 21, somando igualmente 60. Num
terceiro conjunto ter sido experimentado o mtodo de multiplicar
nmeros atravs de repetida duplicao ou diviso a metade. Ou, tal-
vez, tudo no seja mais que outro calendrio lunar.
Convm recordar que estes artefactos foram produzidos na poca
que os arquelogos designam Paleoltico Superior, geralmente esten-
dido entre 40.000 e 10.000 anos atrs. O seu incio coincide com o
que se pensa ser a transio para um comportamento moderno da
Humanidade, certamente revolucionria, tendo em conta que a anato-
mia moderna do gnero Homo ter surgido h mais de 130.000 anos.
Esse dito comportamento moderno corresponde criao e desenvol-
vimento de uma certa tecnologia e materiais culturais, concretamente,
a utilizao de lminas em lugar de toscas, irregulares lascas rocho-
sas como instrumentos cortantes; as lminas so definidas como las-
cas cujo comprimento pelo menos o dobro da largura, sabendo-se
que a preparao dos ncleos de pedra necessrios sua manufac-
tura requeria uma elevada habilidade e tempo. Outros artigos e activi-
dades caracterizam esta evoluo; atente a figura 1.3.
NMEROS
Figura 1.3. Evidncias, com base no registo arqueolgico,
de comportamento moderno em frica
17
20 40 60 80 100 120 140 160 180 200 220 240 260 280
Tempo (milhares de anos atrs)
Diversos achados apontam para que a via em direco moderni-
dade ter desabrochado no Paleoltico Mdio, com o adorno pessoal -
indicativo de um certo grau de pensamento abstracto, e com o trans-
porte a longa distncia de matrias valiosas - que implica uma profun-
didade de planificao relevante. Numa perspectiva geral, as linhas
apresentadas na figura 1.3 dizem-nos algo importante acerca da emer-
gncia do estdio humano moderno: atingido um determinado limiar
civilizacional, tambm cognitivo, esse comportamento ter ccexplo-
dido e fabricado a complexidade social que se expandiu a partir do
Paleoltico Superior; como sugeri atrs, uma mudana mais cultural
que biolgica.
A mais popular teoria da evoluo da inteligncia homindea a
hiptese social. Em poucas palavras, defende que a necessidade de
lidar com uma crescente complexidade social - envolvendo padres
de subsistncia cada vez mais exigentes, mas sobretudo uma mais
18
UMA HISTRIA DA MATEMTICA
intrincada rede de relaes imprevisveis - representou uma presso
selectiva chave para uma maior inteligncia.
Figura 1.4. Complexldade soclal e inteligncla
Tecnologia
Aumento
mais avanada -
em inteligncia
..
Melhor
Competncias
comunicao
sociais mais
sofisticadas
..
Padres

Crescente
de subsistncia complexidade
mais complexos
social
No devemos, contudo, menosprezar a vertente ecolgica da inte-
ligncia, dado que a vivncia social no est divorciada do ambiente.
Sabe-se que a complexidade da organizao social nos primatas no
humanos est directamente relacionada com a quantidade e distribui-
o dos recursos, principalmente alimentares, os quais determinam
por exemplo a dimenso dos grupos e a proporo de fmeas e, por
via destes, o tipo de sociedade. Assim, se a complexidade social con-
diciona a inteligncia, e a ecologia influencia aquela, podemos concluir
que um factor ligado aos recursos ambientais se intrometeu na evolu-
o da inteligncia humana.
Um outro progresso humano, paralelo ao da inteligncia, esteve
envolvido na complexificao do pensamento racional e, por conse-
quncia, na instituio dos nmeros como coisas. Refiro-me lin-
guagem. Esta pode no ser fundamental para intuir a existncia de
nmeros e de relaes numricas naturais, mas estar na base da
sua utilizao como objectos abstractos.
NMEROS
19
A causa mais bvia para o aparecimento da linguagem comeou
por ser o seu desenvolvimento no contexto em que se afigura inequi-
vocamente til: a comunicao. Recentemente, o foco das explicaes
da origem da linguagem transferiu-se para o mundo mental interior
e para o contexto social. Diversos investigadores consideram que o
papel da linguagem na comunicao evoluiu inicialmente como um
efeito secundrio do seu papel fundamental, o de construo mental
da realidade. Para Harry Jerison, podemos ver a linguagem como uma
expresso de uma rede neural por detrs da formao de uma imags-
tica mental; Necessitamos da linguagem mais para contar histrias
que para dirigir aces (figura 1.5). E isto conduz-nos de volta aos
primeiros tempos da agricultura, e s j mencionadas figuras de barro.
Figura 1.5. Origem e funes da linguagem
( Abstraco J ( Comunicao J
Funo Funo

.
Funo Origem
lmagstca para conceber
uma melhor realidade
Embora a comunicao seja uma funo importante da linguagem
oral, a sua gnese e funes relacionadas desenvolveram-se em
torno da criao de uma melhor representao ou imagem do
mundo material e social dos nossos antepassados.
20
UMA HISTRIA DA MATEMTICA
Com o desenvolvimento das prticas agrcolas, os habitantes da
Mesopotmia abandonaram os modos de vida nmadas em favor de
povoaes permanentes, num conjunto de cidades-estado como Babi-
lnia, Eridu, Lagash e Ur. Os tais smbolos em barro propagaram-se
por toda a regio, mantendo-se o sistema que baseavam relativa-
mente inalterado at cerca de 3.000 a.e.
Por essa altura, em resultado do crescimento das cidades, do esta-
belecimento das religies e da necessidade de governos mais
organizados - traduzindo-se em novas exigncias lingusticas e sim-
blicas - a estrutura social complexificou-se notoriamente. Smbolos
fsicos, com o seu volume e peso, reclamando lugar num espao finito,
no podiam satisfazer relaes, transaces cada vez mais frequentes
e elaboradas.
Figura 1.6. Smbolos babilnicos para os nmeros 1 a 59
1
T
11
-<T
21 - r 31 -<-T
41 -4_ T
51 4-T
2
TT
12
--<Yr
22 rr
32-(-((lf
42 -4. lT 52 4-lT
3 TfT 13 -(lYY 23-((YT'f
33-{{(YYf
43-4. YYf 53 4m

14
24-V 44-4.V 544-V
5W
15 -(_w
25-((lf 35..(((w
454.W 554-Vf
6ffl
16
-<lff
26 -Wf 464.lff
564-lff
7.
17
-{"
27
31..((('f
5741'
8
'
18
-<!f
28-<<W
38..(((,

584,
9*
19


10
-4:
20 ..(( 30 {((
40 -<t 50 4
NMEROS 21
De uma fase inicial de inscries simples feitas em tbuas de
argila hmida os recm-criados smbolos evoluram para pictogramas,
a representao de palavras por meio de figuras esquemticas que
procuram expressar o que aquelas significam. Para uma mais fcil e
rpida interaco humana, a tendncia foi uma clere simplificao
dos pictogramas, que assumiram a forma de uma montagem de um
certo tipo de impresses-padro cunhadas, da o nome escrita cunei-
forme. A fim de simbolizar nmeros, os babilnicos valeram-se de
dois tipos de impresso: uma fina marca vertical para representar o
nmero 1, e uma mais espessa, horizontal, para o nmero 10. Estas
marcas eram, ento, montadas em diferentes arranjos para indicar os
nmeros 2 a 9 e 20 a 50. Tal esquema terminava no 59; o passo seguinte
foi atribuir marca fina um segundo significado, o de nmero 60.
Terminando no 60 deduzimos que o sistema de escrita numrica
da Babilnia era de base 60, o que quer dizer que um dado smbolo
representava um certo nmero entre 1 e 60, ou 60 vezes esse nmero
ou 60 x 60 vezes esse nmero, ou ... , dependendo da posio em
que surgisse escrito. Esta actuao correspondida no actual modo
ocidental - de base 1 O - de escrever nmeros, em que a posio
do smbolo poder representar uma multiplicao por 1 O, 100, 1000, ... ;
por exemplo, no nmero 555, o 5 mais esquerda assinala o valor
500 ( 5 x 100 ) e o do meio o valor 50 ( 5 x 1 O). No sistema babilnico,
uma sequncia de trs smbolos do nmero 5, WWW. tinha um sig-
nificado diferente. Sabendo que o primeiro smbolo W representa
5 x 60 x 60 (=18.000), o segundo 5 x 60 e o ltimo 5, poder o leitor
dizer que nmero estava marcado por WWW?
1
O presente dia a dia inclui algumas relquias do sistema babilnico.
Os 60 segundos de um minuto, os 60 minutos de uma hora e os 360
graus de um crculo fazem parte do legado dos fundadores da agricul-
tura. E, enquanto os habitantes da Mesopotmia perseveravam em
moldar o futuro com marcaes cuneiformes nas suas tabuinhas de
barro, um outro povo, mais a ocidente, seguia o seu prprio rumo.
Uma das mais importantes civilizaes antigas floresceu em torno
do rio Nilo e respectivo delta entre 3.150 e 31 a.e., com um perodo
<
1
> A resposta 18.000 + 300 + 5 = 18.305.
22
UMA HISTRIA DA MATEMTICA
pr-dinstico que recuar at ao distante ano 6.000 a.e. Os Antigos
Egpcios eram construtores dotados e escritores-registadores com-
pulsivos, reflectindo talvez um sistema social impregnado de intrinca-
das crenas e cerimnias religiosas. A sua evoluo cultural levou a
que, por volta de 3.400 a.e., a redaco de nmeros consistisse na
utilizao combinada de smbolos para os nmeros 1, 1 O, 100,
1.000, ... , 1.000.000, potncias de 1 O naturalmente, abrindo caminho
para o nosso sistema decimal.
Figura 1.7. Antigos hierglifos egpcios
lll n
ll lll lll llll llll lll
10
l ll lll ll ll lll ~
2 3 4 5 6 7 8 9 100
~ D
hl
~
1.000 10.000 100.000 1.000.000
Antigos hierglifos usados no Egipto para representar os nmeros; com eles
era possvel indicar os nmeros 1 a 9.999.999, repetindo os smbolos at
nove vezes e. depois, combinando os padres.
Por exemplo, para escrever o nmero 5.724, os Antigos Egpcios
agrupavam cinco smbolos de 1.000, sete smbolos de 100, dois do
nmero 10 e quatro do 1; no total, dezoito smbolos! Face a esta
inconvenincia, o sistema numrico egpcio evoluiu para outro em que,
a par de smbolos especficos para 1 a 9, existiam indicaes prprias
das diferentes dezenas, centenas e milhares. Esse sistema cifrado,
sendo o mais antigo conhecido o sistema hiertico (em uso entre
NMEROS
23
1.600 e 1.000 a.e., com smbolos como ~ para duas dezenas e
J.U.
seis centenas respectivamente, ou __.-' para oito centenas e < para
o nmero 3.000), permitia expressar os nmeros de um modo mais
prtico.
Contudo, envolvendo uma maior variedade e nmero de smbolos,
o sistema acabava por dificultar a sua aprendizagem e difuso. Em
parte espontnea, a evoluo para os sistemas cifrados tambm ter
tido um carcter de premeditao, a fim de se cumprir um certo prop-
sito social. que um sistema complexo acentuava a aura mgica
dos nmeros, e assim reforava como elite, poderosa, o restrito grupo
daqueles que os dominavam. Uma situao bem diferente caracteriza,
hoje, a nossa civilizao global.
Os smbolos actualmente em uso na comunicao internacional,
baseada num sistema decimal, derivam de nmeros ditos hindu-ra-
bes para reflectir a sua origem na ndia e posterior desenvolvimento
na regio arbica. Os mais remotos smbolos indianos, os numerais
Khasrosthi (utilizados entre 400 a.e. e o ano 100 da era crist), em
pouco diferiam dos do sistema egpcio, representando os nmeros 1 a
8como
I II III X IX IIX IIIX XX
1 2 3 4 5 6 7 8
juntando-se-lhes um smbolo especial para 1 O. Um sistema surgido
por volta de 300 a.e. comps o passo seguinte no caminho para o
simbolismo moderno. Os numerais Brahmi 1 a 9 eram
+ ? l
1 2 3 4 5 6 7 8 9
Se adicionarmos um trao diagonal aos riscos do nmero dois,
ou uma linha vertical no lado direito dos riscos do nmero trs, reco-
nheceremos de imediato dois dos smbolos numricos (2; 3) do nosso
actual dia a dia. O sistema Brahmi era ainda um sistema cifrado, com
24
UMA HISTRIA DA MATEMTICA
smbolos prprios para 1 O, 20, 30, ... , 100, 200, 300, e por a adiante.
Depois desse surgiu o sistema Gupta, a que se seguiu o de Nagari; no
mago eram idnticos, apenas diferindo os smbolos.
Apesar de algumas lacunas, compreende-se que os sistemas cifra-
dos - com smbolos distintos para os diversos mltiplos de 1 O ou 100
- tenham persistido por centenas de anos na histria da matemtica:
se lidssemos apenas com smbolos para os nmeros 1 a 1 O, como
leramos o termo dois cinco? Como 25, 205 ou 250, por exemplo?
Esta dvida no ocorre nos sistemas posicionais, que muito devem a
um certo conceito, e smbolo, que ser explorado no prximo captulo.
Num sistema posicional, o significado de um smbolo est ligado
sua posio no nmero; em 12, o smbolo 1 representa o valor dez,
no a unidade, enquanto em 152 representa uma centena. O primeiro
sistema posicional ter sido desenvolvido na Mesopotmia. Antes de
400 a.e. (a datao imprecisa) os Babilnicos tero introduzido um
smbolo especial para assinalar uma posio ou valor em falta -
interpretvel - na notao numrica, o que foi aproveitado mais
tarde pelos Hindus. Estes, nos primeiros sculos da era crist, recorre-
ram a um ponto inflado ()para escrever, por exemplo, 25; atendendo
ao contexto, que podia ser nmero de cabeas de gado do sr. X ou
nmero de elementos do exrcito do chefe Y, ao leitor era fornecida
uma ideia da grandeza do nmero em causa ao mesmo tempo que se
estimulava a imaginao (seriam 250 ou 2.500 cabeas de gado?
2.500 ou 25.000 guerreiros? ... ). A partir do ano 400 d.C. o sistema
posicional encontrava-se generalizado na ndia, j com o conceito de
zero mas sem um smbolo prprio.
O sistema numrico hindu espalhou-se ento pelo mundo rabe,
tendo sido relatado o seu uso na Sria em 662 e no Iraque nos anos
700. Um importante veculo dessa disseminao foi o livro Brahmas-
phutasiddhanta (A Abertura do Universo), escrito em 628 pelo mate-
mtico indiano Brahmagupta. Mais tarde, o tratado Sobre o Uso dos
Numerais Indianos (Ketab fi lsti'mal al-'Adad ai-Hindi), elaborado em
830 pelo matemtico rabe Al-Kindi, afirmou solidamente o potencial
de uns meros dez algarismos para representar qualquer nmero e rea-
lizar os clculos necessrios. A ideia acabou, obviamente, por chegar
Europa.
NMEROS 25
A fuso conceptual hindu-rabe comeou por penetrar atravs de
Espanha, na poca sob o domnio mouro. O primeiro texto europeu,
logicamente espanhol, a revelar o novo sistema numrico data de 976.
Outra via significativa para a mudana foi Itlia. Perto das fronteiras
norte da regio rabe, era inevitvel que ocorresse um intercmbio de
ideias ao nvel de portos como Gnova, Pisa e Veneza. Mais uma vez,
a complexificao do transporte de mercadorias e das trocas comer-
ciais funcionou como catalisador da evoluo matemtica. medida
que o comrcio convertia a Europa num lugar mais prspero emer-
giam novas exigncias de contabilidade e taxao fiscal. Tendo os
nmeros que ser escritos, para efeitos legais e de registo, importava
possuir um sistema de notao numrica tanto prtico como rigoroso.
Leonardo de Pisa, tambm conhecido como Fibonacci, viveu entre
1170 e 1250. Acompanhou o pai, diplomata, em diversas viagens pelo
norte de frica, onde ocorreu um feliz encontro com o sistema rabe
de escrita dos nmeros. Digo feliz por Leonardo ter entendido a rele-
vncia de tal sistema e, em consequncia, publicado a obra Liber
Abbaci em 1202, ajudando a consolidar aquela que , actualmente, a
mais difundida forma de notao numrica. Nesse livro escreveu que,
em Bugia (agora Arglia), quando fui introduzido na arte dos nove
smbolos indianos por meio de um ensino notvel, cedo o conheci-
mento dessa arte se tornou um prazer acima de qualquer outro. Foi
por este estado de esprito que Leonardo redigiu Liber Abbaci como
um compreensivo texto de aritmtica, abundante em tpicos relaciona-
dos com o comrcio e a converso cambial, para que deixassem de
ser aparentes, mas reais, as vantagens da notao hindu-rabe. E
assim nos aproximmos dos nossos familiares 1, 2, 3, 4, 5, 6, 7, 8 e 9.
Figura 1.8. Evoluo dos smbolos numricos ocidentais
Sistemas:
rabe - 900 d.C.
,...
6
.,
V /\
9
Espanhol - 1000 d.C. <;
":?. b 7 8
'=>
Italiano - 1400 d.C.
2 4
e;
6 / 8 9
26
UMA HISTRIA DA MATEMTICA
A transformao dos smbolos evidenciada na figura no casual,
e o leitor discernir facilmente o que subjaz a essa evoluo se se der
ao trabalho de contar os ngulos existentes em nmeros escritos
numa forma linear recta:
~
2 ~ 2
4 34
7
~ :
6 5 6
7 8 9 8
Perante esta constatao, no mais perguntar o motivo de o zero
ser representado hoje por uma linha curva fechada ... Mas talvez se
interrogue sobre a fundao do nosso sistema numrico numa base
10.
Um sistema decimal deve o seu nome ao facto de ser 1 O o ponto a
partir do qual deixamos de contar elementos/unidades e comeamos a
contar conjuntos; 10 significa todos os dgitos unitrios que temos,
mais um. Este sistema ter surgido por possuirmos dez dedos nas
mos. Na comunicao entre pessoas de diferentes culturas e lnguas,
quase certo atingir uma consonncia valendo-se dos dedos para
contar ou representar um nmero simples. Devido tambm nossa
anatomia manual, algumas culturas habitando actualmente as Filipinas
e a Indonsia, tal como outras do passado, caso dos Incas, desen-
volveram um sistema de base 5. Um outro sistema, binrio (base
2 ), com os smbolos O e 1 apenas, utilizado nos computadores para
designar um de dois estados possveis, verdadeiro ou falso, carga
elctrica negativa ou carga positiva, por exemplo.
NMEROS
27
Figura 1.9. Correspondncia entre sistemas de diferentes bases
Os nmeros 1 2 3 4 5 6 7
no sistema decimal equivalem, nos seguintes sistemas, a:
Base2 1 10 11 100 101 110 111
Base3 1 2 10 11 12 20 21
Base4 1 2 3 10 11 12 13
Base5 1 2 3 4 10 11 12
Base6 1 2 3 4 5 10 11
Vender e comprar uma dzia de ovos um resqucio na sociedade
moderna de um sistema de base 12.
Retornando ao sistema binrio, no lugar de unidades, dezenas,
centenas ou milhares tem-se sequencialmente 1, 2, 4, 8, 16, 32, 64,
128, ... , ou seja, potncias de 2, cada uma o dobro da anterior; num
computador, o nosso nmero 100 decomposto em 64 + 32 + 4 e
armazenado na forma 1100100, pois
100 ;;;;; 1 X 64 + 1 X 32 + 0 X 16 + 0 X 8 + 1 X 4 + 0 X 2 + 0 X 1
Uns e zeros ... O Um intuitivo, ligado a algo real, contvel:
uma ma, Um berlinde. Somente a partir de certa idade somos
capazes de dizer que esto zero mas numa caixa vazia. um
nmero estranho, que existe para contar o que no existe, e, no
entanto, to importante.
D
Zero
Como pode algo existir e,
simultaneamente, ser nada?
Timothy Gowers
ZERO 31
Quer os Antigos Gregos, que vrios avanos importantes imprimi-
ram cincia e matemtica, quer os Romanos, famosos pelos seus
feitos de engenharia, no possuam um meio efectivo de lidar com o
nmero de mas numa caixa vazia. No contavam o nada.
Hoje, falamos de zero
1
graus de longitude, zero graus de uma
escala de temperatura ou em gravidade zero; temos um nome e um
smbolo para o nada, sem o qual, num sistema de base 10, sera-
mos incapazes de distinguir 2 de 20, nem 24 de 204 ou de 240.
Nenhum smbolo especfico foi necessrio enquanto o zero signifi-
cou apenas a ausncia de objectos contveis. Tornou-se incontorn-
vel quando surgiram os sistemas numricos posicionais, embora, pri-
meiramente, tenhamos recorrido a um espao em branco ou a uma
pinta ( ) para marcar a posio pretendida, como a das dezenas em
75. A civilizao Maia usou um smbolo para zero desde tempos
recuados mas a estreia na Europa de um tal smbolo tem a sua origem
na ndia no primeiro milnio desta era.
Brahmagupta, nascido em 598, tratou o zero como um nmero real,
apresentando-o como a linha curva fechada que nos familiar e esta-
belecendo algumas regras para trabalhar com ele. Na sua Abertura do
Universo escreveu, entre outros princpios, que a soma de zero com
outro nmero igual a este nmero, que a soma de zero com zero
d ... zero, que um nmero multiplicado por zero resulta em zero, e que
zero a dividir por qualquer outro nmero tambm igual a zero. Se as
primeiras regras surgem bvias, a ltima talvez seja um pouco menos.
Foi o j nosso conhecido Leonardo de Pisa, com o seu Liber
Abbaci, quem ratificou na Europa o conceito de zero como nmero,
logo com valor aritmtico. No totalmente esclarecido nessa altura.
Teramos de esperar pelo matemtico veneziano Luca Pacioli (1445-
-1517) para ser produzido o primeiro texto europeu sobre a utilizao
apropriada do zero. E essa :
- o + a = a , para qualquer nmero a.
(1) A palavra zero deriva da palavra rabe sifr, que significa vazio.
32
UMA HISTRIA DA MATEMTICA
- o x a = o , o que compreensvel com uma argumentao
concreta do tipo "O x 3 significa somar (a multiplicao uma
sntese da adio) nenhuma vez trs, sendo assim zero.
- % = o , pois esta expresso equivale a O = a x O , que sabe-
mos, agora, ser espontaneamente inteligvel.
- Menos provvel de ser intudo o resultado de % . Se pers-
pectivarmos a situao Yo como Yo = b , podemos deduzir
que 7 = O x b e, da, que 7 = O, o que no tem sentido, pois
no? Uma forma de contornar esta implausibilidade admitir
que, sendo Yo um nmero, este indefinvel. O matemtico
indiano Bhaskara, nascido em 1114, sugeriu na sua obra Lila-
vati que um nmero dividido por zero (o) infinito. Tal ideia
adquirir algum sentido na mente do leitor se se recordar que,
quanto menor for o nmero por que dividimos, maior o resul-
tado da diviso; por exemplo, 7 a dividir por O, 1 igual a 70,
enquanto 7 a dividir por 0,01 (um valor mais prximo de zero)
d 700. Com divisores sucessivamente mais pequenos, o quo-
ciente cada vez maior, maior. .. Na derradeira pequenez,
zero, a soluo dever ser um valor incontvel. Estabeleceu-se
ento que
a
- =ao
o
O smbolo de infinito, ao , escolhido por ser uma curva que pode
ser traada interminavelmente, foi utilizado pela primeira vez em De
Sectionibus Ganeis (Sobre as Seces Cnicas), de 1655 e autoria do
matemtico ingls John Wallis (1616-1703).
Considerada uma das mais relevantes criaes e entidades mate-
mticas, ao ponto de o italiano Giuseppe Peano (1858-1932) ter fun-
dado parcialmente nele a aritmtica, o zero no pode deixar de ser
usado para introduzir uns nmeros especiais. Entre os axiomas publi-
cados por Peano encontram-se:
- zero um nmero;
- o sucessor imediato de um nmero igualmente um nmero;
- zero no o sucessor imediato de qualquer nmero.
ZERO
33
O ltimo axioma faria pensar um leitor mais desatento que apenas
pode contar de zero para diante, nunca para trs, por exemplo -1 ,
- 2 ou - 3 . Ironicamente, o zero est envolvido na pista para os
nmeros ditos negativos, pois fazendo
2-0
damos como resposta 2, soluo que no serve para
o - 2'
que igual a
-2.
Os nmeros negativos no emergem directamente da realidade
fsica, percepcionada no quotidiano, na medida em que no vemos
" - 2 ,, mas ou - 2 ,, automveis. Mas tornam-se aceitveis no
contexto antrpico de posse ou propriedade, onde so teis para indi-
car um dbito (de dinheiro ou bens); se devemos 2 euros, ganhando
entretanto 3, o nosso saldo ser 1 euro: - 2 + 3 = t.
A primeira meno a este tipo de nmeros aparece num texto chi-
ns denominado Jiuzhang Suanshu (Os Nove Captulos da Arte Mate-
mtica), uma compilao feita por diversos autores desde o segundo
sculo a.e. at ao primeiro da era crist. No incio desta, os Chineses
utilizaram, no lugar do baco, um sistema de contagem baseado em
pequenas varetas dispostas em padres precisos para representar
nmeros.
Figura 2.1. Padres numricos de varetas na Antiga China
li Ili 1111 11111
T 1
llT rnr
-
l
l
l
l
-
-
-
-
-
-
-
2 3 4 5 6 7 8 9
34
UMA HISTRIA DA MATEMTICA
Na figura 2.1, a fila superior revela os padres heng, os quais
representavam unidades, centenas, dezenas de milhar, ... , de acordo
com a sua posio numa sequncia desses smbolos. Na fila inferior
observamos os padres tsung, que indicavam, por sua vez, as deze-
nas, milhares ou centenas de milhar. Logo, na designao de um
nmero elevado, os Antigos Chineses alternavam os dois tipos de
smbolos.
Para resolver um sistema de equaes simples (lineares), varetas
de cor diferente eram colocadas sobre uma mesa respeitando arranjos
sistematizados. As varetas vermelhas representavam os termos que
era suposto adicionar, sendo as varetas negras usadas para os ter-
mos a subtrair. Na resoluo do sistema de equaes que codificara-
mos, hoje, como
{
3x - 2y = 4
X+ 5y = 7
os Antigos Chineses escrev-lo-iam na forma de uma tabela com duas
colunas (figura 2.2): uma coluna com os nmeros 3, 2 e 4, e outra com
os nmeros 1, 5 e 7.
Figura 2.2
l 1 ~
i j ~ ~
1 1
~
~ ~ ~ ~ ~
ZERO
35
A dicotomia vermelho/negro no era uma forma consciente de dife-
renciar os nmeros positivos dos negativos, mas marcou o incio de
uma conceptualizao dos nmeros negativos, os cheng tu shu. Estes
passaram a ser representados por meio de uma vareta disposta
diagonalmente sobre o arranjo de varetas correspondente ao nmero
positivo. A matemtica europeia absorveu os nmeros negativos a
partir de diversos textos hindus, alguns de data incerta. Sabe-se, no
entanto, que o sinal - foi utilizado pela primeira vez para indicar
nmeros negativos em 1489, por Johannes Widmann.
A utilidade dos nmeros negativos no se cinge ao domnio das
dvidas ou saldos contabilsticos. A sua aplicao nas escalas de tem-
peratura, por exemplo, acabou por recompensar o zero pelo papel que
desempenhou na existncia desses nmeros, pois, se certo que os
negativos derivam do estatuto do zero, este deve a tais nmeros um
significado que vai para alm da noo de nada.
Zero mas so nenhuma ma, mas zero graus Celsius (ou cent-
grados) so alguma coisa. A escala Celsius de temperatura assenta
em escolhas humanas. Foi criada dividindo em 100 partes iguais o
intervalo entre o ponto de congelamento e o ponto de ebulio da
gua, respectivamente, a temperatura ( habitual presso atmosfrica)
em que a gua pura congela e em que a gua pura se converte em
vapor. Ao primeiro ponto associou-se o nmero O, graus centgrados
obviamente; grosso modo, a temperatura
1
qual a gua, gelo e
vapor esto em equilbrio. Contudo, existe frio mais frio que O C.
Pode ir at - 273 C, ponto em que se atinge o valor mnimo de ener-
gia interna de qualquer sistema fsico, em que as partculas ou mol-
culas da matria no vibram.
Comeando no ponto de congelamento da gua, a escala Cel-
sius no uma medida da temperatura fundamental ou absoluta;
uma escala de convenincia, o que tem uma consequncia interes-
sante: o zero no apenas zero mas sim uma referncia, na qual
ancoramos parte considervel do nosso raciocnio matemtico.
<
1
l Na realidade, 0,01C.
36
UMA HISTRIA DA MATEMTICA
A interiorizao do zero e dos nmeros negativos levou os mate-
mticos a falarem no conjunto dos nmeros inteiros Z ) ~ que so
-oo ... , - 4, - 3, - 2, - 1, O, 1, 2, 3, 4, ... +oo
O que se destaca de imediato a simetria: para qualquer nmero
existe um outro que, somado, origina o zero. Significa que nos pares
de nmeros (- 1, 1 ), (- 2, 2), (- 3, 3), e outros similares, cada ele-
mento do par um reflexo - em torno do zero - do outro elemento; O
o par de si mesmo.
Esta bela simetria faz-me pensar que o zero, enraizado no nada,
revela-se tambm e estranhamente a chave da abbada, o tudo.
Igualmente inspirado pela aura do zero, o matemtico americano G. B.
Halsted (1853-1922) reformulou o Sonho de Uma Noite de Vero, de
Shakespeare, para afirmar tal nmero como um motor de progresso,
que, ccdando ao nada um lugar e um nome, uma imagem, um smbolo,
tambm um poder til, expe o carcter do esprito hindu do qual bro-
tou.
<
1
> O leitor reparou na letra escolhida? ...
Aritmtica
O milagre da adequao da linguagem matemtica
formulao das leis do mundo um dom maravilhoso,
que no compreendemos nem merecemos.
Eugene P. Wigner
ARIT M TI CA 39
Contar importante, mas a utilidade dos nmeros no se esgota
nisso. As circunstncias prticas da vida quotidiana obrigaram, desde
cedo, a trabalhar os nmeros de forma mais sofisticada. Adicionar,
subtrair, multiplicar e dividir so a essncia da aritmtica.
As regras bsicas da aritmtica so inferidas e ensinadas s crian-
as a partir de situaes concretas dos problemas que a nossa reali-
dade fsica levanta. Vejamos um exemplo, adaptao do que existe
num manual de matemtica do 1 ano do primeiro ciclo do ensino
bsico:
H 3 berlindes dentro da cai xa
e vamos colocar mais 2.
Quantos ficaro na caixa?
3 .!.. 2 .hJ)- 5
Podes escrever 3 + 2 = 5

berlindes dentro
da caixa e ---.3..--- fora.
Se os colocarmos todos dentro
da caixa, ficaro --.;;...__.
,:.::; .!.. .hJ)- ____:j_
Quanto ao ensino e treino da subtraco, o procedimento equiva-
lente:
Dos 5 carros saram 2 . Ficaram 3.
Podes escrever 5 - 2 = 3.
O Joo tinha t, pssaros na gaiola e dei xou fugir 1 deles. Com
quantos pssaros ficou?
40
UM A HI S T RI A D A M A TEM TI CA
O que estes exemplos suscitam a adio, subtraco, multiplica-
o e diviso serem propriedades intrnsecas aos nmeros e, assim,
factos naturais. Talvez devamos expandir a viso de Kronecker,
incluindo a aritmtica no porteflio curricular de Deus ...
medida que os nmeros com que lidvamos iam crescendo em
dimenso e complexidade, e os nossos dedos se tornavam insuficien-
tes, tambm aumentava a nossa necessidade de instrumentos que
ajudassem (mecanizassem, seria o ideal) a concretizao das opera-
es aritmticas. O caminho para as calculadoras padro que, nas
actuais salas de aulas, os alunos expem luz dos candeeiros ou
janelas para alimentar pequenas clulas fotovoltaicas ter principiado
com um simples sistema de pedrinhas, conchas ou ns. Os Yoruba,
uma tribo de frica Ocidental, usavam conchas de cipreias para repre-
sentar objectos que eram computados em grupos de 5, 20 ou 200, por
exemplo. Na Amrica Central, os Incas recorriam aos khipu - conjun-
tos de fios de l ou algodo com ns - para operar e registar nmeros
relativos a censos populacionais, colheitas ou bens armazenados.
Figura 3.1. O khipu apresentado originrio do Peru
de h cinco sculos atrs
ARITMTICA 41
A posio de cada grupo de ns estava relacionada com a respec-
tiva grandeza, se unidades, dezenas, centenas ou outra; o zero indi-
cava-se com ausncia de ns numa determinada posio. Na posio
correspondente s unidades, o valor em causa era representado pelo
nmero de voltas de um nico mas longo n. Tratando-se de dezenas,
por exemplo o nmero 30, este surgia como 3 ns simples agrupados,
num mecanismo de computao de nmeros/posies mltiplos de 1 O.
E o nmero 1? Caso fosse um n de uma s volta podia ser confun-
dido com o n simples representativo do 1 O e tratado como um erro.
Os contabilistas incas, conhecidos como quipucamayocs (guarda-
dores de ns) resolveram o problema adoptando um n em forma de 8.
Mais remota ainda a utilizao de tabelas numricas com os
resultados de diferentes clculos aritmticos, sobretudo multiplicao.
Tbuas de argila com tais tabelas estavam difundidas na Mesopot-
mia antes de 2.000 a.e., o que faz supor que estas Cbulas sero
produto dos primrdios da matemtica escrita. Refora a minha con-
vico de a aritmtica ser to espontnea quanto os nmeros que
manipula.
Claro que as referidas tabelas em barro, estticas, eram ferramen-
tas limitadas no seu alcance. Para que um instrumento apoiasse
melhor os clculos de nosso interesse, com nmeros at uma certa
magnitude, alguma coisa teria de mexer. Entre os sistemas mais
engenhosos encontra-se o conhecido baco, desenvolvido na Meso-
potmia tambm h mais de 4.000 anos atrs.
De uma placa ou laje coberta de areia, onde eram escritos e ali-
nhados nmeros, o baco evoluiu para uma estrutura de madeira e
metal com linhas paralelas em que deslizam Contas mais ou
menos esfricas. Nesta ferramenta calculadora, em uso nalguns locais
do mundo actual, mais uma vez a posio da conta indica o respec-
tivo valor, se se trata de unidades, dezenas, centenas, etc. O baco
disseminou-se no Japo no sculo dezasseis da nossa era, sendo
ainda utilizado nesse pas, bem como na China e no Mdio Oriente.
Na Europa, os comerciantes a ele recorreram at ao sculo dezassete,
42
UMA HISTRIA DA MATEMTICA
altura em que foi substitudo por algoritmos
1
aritmticos escritos com
os numerais hindu-rabes.
Apesar de serem prticos, alguns algoritmos, como 16.384 x 7 .458
+ 10.479, apresentavam-se difceis ou morosas de solucionar. No sen-
tido de tornar os clculos aritmticos mais manejveis, o matemtico
escocs John Napier (1550-1617) criou, nesse sculo dezassete, o
logaritmo, lanado no tratado Descrio do Extraordinrio Cnone dos
Logaritmos, de 1614. As primeiras tabelas de logaritmos foram publi-
cadas em 1620 pelo matemtico suo Jobst Brgi (1552-1632), que
desenvolveu o conceito independentemente de Napier.
Os logaritmos facilitam a execuo de multiplicaes e de divises
complexas, aproveitando o facto de se poder somar ou subtrair os
expoentes de nmeros na forma de uma certa potncia:
10 = 10
1
100 = 10
1
X 10
1
= 10
2
1000 = 10 X 100 = 10 X 10
2
= 10
3
2 = 2
1
4 = 2
1
X 2
1
= 2
2
8 = 2 X 4 = 2 X 2
2
= 2
3
100000 + 100 = 1000 equivalente a
10
5
+ 10
2
= 10
5
-
2
= 10
3
= 1000
No caso 125 = 5
3
, designamos o 5 como base e o 3 como
expoente ou ndice; 125 5 levantado a 3 ( 5 x 5 x 5 ). Ser mais
prtico usar o nmero 3 em lugar de 125 num qualquer clculo aritm-
tico. Podemos faz-lo assumindo 3 como uma certa representao,
<
1
> Um algoritmo uma sequncia finita de operaes elementares para calcular ou resol-
ver um problema.
ARITMTICA 43
bem definida, do nmero 125: 3 o logaritmo de 125 na base 5, sim-
bolicamente
log5 125 = 3'
assim como
log10 100 = 2 , visto que 1 00 = 10
2
log10 1000 = log10 10
3
= 3
Do que acabo de escrever transparece que o logaritmo o
expoente ou potncia que um certo nmero (a base) necessita ter
para originar um outro nmero.
Deste modo, pode-se converter multiplicaes ou divises de
nmeros complicados em adies ou subtraces de nmeros mais
simples. Um exemplo:
A B
100000 X 1000000 = C
que pode ser formulado como
10
5
X 10
6
= C
equivale a fazer
1og10 10
5
+ 1og10 10
6
= 1og10 A x B
que resulta em
5 +a= 1og10 e
11 = 1og10 e
Qual o valor de C, ou seja, de cem mil vezes um milho? Na
ausncia de uma calculadora electrnica, um aluno, cientista ou
comerciante do sculo dezassete ou da primeira metade do sculo
vinte consultaria uma tabela de logaritmos para saber de que nmero,
44
UMA HISTRIA DA MATEMTICA
11 o logaritmo na base 1 O; por outras palavras, quanto 1 O levan-
tado a 11? A resposta 100.000.000.000.
Em suma, para descobrir A x B , adicionamos os logaritmos de A
e de B numa dada base e, de seguida, procuramos o inverso do loga-
ritmo do resultado. Foi Henry Briggs, um professor de geometria da
Universidade de Oxford, quem propagou o uso dos logaritmos deci-
mais (base 1 O) na simplificao de clculos aritmticos.
Antes desta importante contribuio para a matemtica Napier
concebera um aparelho calculador que ficou conhecido como OS
ossos de Napier. Tratava-se de um conjunto de cilindros rotativos
com inscries numricas para proceder a multiplicaes mais rpidas,
visto no ser preciso escrever os nmeros, mas limitando-se a imitar o
mtodo de papel e lpis.
Uma vez que o desenvolvimento dos logaritmos apoiou enorme-
mente o trabalho cientfico, na astronomia em particular, que envolve
clculos complicados, no surpreende que tenha impulsionado o gnio
humano a canalizar alguma ateno transformao das tabelas de
logaritmos em mecanismos fsicos. Estimulada pelo avolumar das
operaes aritmticas necessrias s crescentes actividades cientfica,
comercial e financeira, a primeira verso de uma mquina de calcular
comercializvel surgiu em meados do sculo dezassete. Feita por
Blaise Pascal (1623-1662) em 1642-43, procurava ajudar seu pai -um
administrador em Rouen (Frana) - a lidar com taxaes fiscais
complexas.
Designado Pascaline (ou Mquina Aritmtica), o aparelho consistia
numa caixa com uma engrenagem de oito rodas metlicas encaixadas
em srie. A rotao completa de uma roda fazia avanar a roda adja-
cente 36 (um dcimo de volta); a soluo do clculo era a composi-
o de algarismos visveis na janelinha existente acima das diferentes
rodas. Destinando-se exclusivamente adio e subtraco, tinha iro-
nicamente uma reduzida utilidade para o pai de Pascal, j que o sis-
tema monetrio francs da altura no era decimal: 12 deniers faziam
um sol, e 20 sol's um livre.
Pascal juntou ao seu interesse pela aritmtica o estudo da presso
e da hidrulica, tendo construdo um barmetro de mercrio. Na poca,
ARITMTICA
45
estando a questo na ordem do dia, Pascal defendeu a existncia do
vazio na parte do tubo libertada pela descida do mercrio. Escreveu
tambm sobre o clculo de probabilidades e sobre geometria. Em
1654 vive uma intensa experincia religiosa que o leva a recolher-se
em e, a, dedicar-se a um ascetismo rigoroso. Impressio-
nado pela cura, supostamente milagrosa, da sua sobrinha Marguerite,
Pascal decidiu redigir uma apologia da religio crist.
Nessa reflexo destila uma angstia que pode ser entendida
como o tormento de um homem profundamente cristo face ao pro-
gresso irresistvel do saber cientfico, no quadro de um racionalismo
que corre o risco de desembocar num mundo sem No deixa
de ser curioso que a matemtica, a muitos que nela se embrenharam,
tenha estimulado o pensamento mstico ou, ento, sentimentos ambi-
valentes acerca da cincia e da religio. A mim, por ora, impele a
recordar Galileu.
Depois de observar a Lua e o Sol com o telescpio que construra,
Galileu deslocou-se a Roma para descrever corte pontifcia as con-
cluses a que chegara. Afirmou, entre outras coisas, que podia provar
matematicamente que a Terra gira em torno do Sol, no o contrrio. O
cardeal Bellarmine, principal telogo da Igreja romana, contraps que
a realidade fsica no explicvel pela matemtica mas pelas Escritu-
ras crists. S que Galileu era um homem intelectualmente corajoso,
no receando a controvrsia que muito provavelmente as suas ideias
iriam atear. Pretendia substituir a autoridade da Igreja por uma nova, .a
da cincia, o que deveras interessante, j que Galileu era o que se
podia considerar um bom cristo. la missa e comungava, ao mesmo
tempo que, durante os sermes, observando as lanternas penduradas
no tecto a balanar com a brisa, desenvolvia teorias sobre o movi-
mento pendular. Acreditava que o cu podia ser estudado, compreen-
dido, eventualmente controlado.
Penso que, na sua f simples e humilde tanto no Criador como na
Natureza, Galileu procurou um consenso, um equilbrio entre duas
(l) Abadia cisterciense fundada no sculo treze, no vale de Chevreuse (Frana), e que
viria a tornar-se no ncleo do Jansenismo.
<
2
> Em Nouveau Larousse Encyclopdique, de 1994.
46
UMA HISTRIA DA MATEMTICA
mundividncias aparentemente antagnicas. No desejava negar a
existncia de Deus, tambm no podia escamotear o papel que a
cincia deveria desempenhar na vida dos homens. Que a verdade
cientfica, derivada das observaes e da comprovao matemtica,
era a nica autoridade aceitvel na Cidade do Homem - nome que
Santo Agostinho dera, mais de mil anos antes, realidade fsica -,
no lhe suscitava a menor hesitao; a Igreja poderia continuar como
autoridade na Cidade de e u s ~ Este teria escrito o mundo numa
certa linguagem, necessariamente lgica e tangvel e no uma qual-
quer quintessncia, cabendo ao Homem a tarefa de desvendar, nessa
mesma linguagem, o mecanismo do mundo. Se realmente Deus no
joga aos dados (Einstein), se criou um mundo que funcionar para
sempre sem a Sua ajuda, tal como um relgio colossal, complexo e
preciso (Descartes), ento todos os problemas materiais podem ser
reduzidos a uma forma e soluo matemticas ...
Regressemos s mquinas calculadoras.
O passo seguinte para deixarmos de utilizar os logaritmos deci-
mais nas nossas multiplicaes e divises mais exigentes foi a con-
cepo da Mquina Diferenciadora (Difference Engine) por Charles
Babbage (1791-1871), pensada, segundo o prprio, para que todas
estas tabelas [de logaritmos] possam ser calculadas por maquinaria,
sem erros.
Babbage iniciou em 1822 o design de tal mquina, que comporta-
ria cerca de 2.500 peas, pesando no total perto de 14 toneladas. No
chegou a ser construda. Destino idntico teve o seu projecto mais
ambicioso, a Mquina Analtica (Analytical Engine), programvel por
instrues registadas em cartes perfurados; seria efectivamente o
primeiro computador mecnico. Augusta Ada King (1815-1852), Con-
dessa de Lovelace, ao conhecer os planos desta mquina, elaborou
um programa para se calcular os nmeros de Bernoulli?
<
1
> O mundo espiritual.
<
2
> Os nmeros de Bernoulli so uma sequncia de nmeros racionais negativos e positi-
vos importante na teoria e anlise numricas.
ARITMTICA
47
Figura 3.2
direita, Augusta Ada King, Condessa de Lovelace. A fotografia da esquerda mostra um
exemplar do tear mecnico inventado por Joseph Jacquard em 1801; codificando um
certo padro tranado, cartes perfurados controlavam o funcionamento da mquina.
Ada King era filha do poeta ingls Lord Byron e de Anne Milbanke,
os quais se separaram um ms aps o nascimento de Ada. Conheceu
Charles Babbage em 1833 numa festa, ficando desde logo cativada
pelo conceito da mquina diferenciadora. O seu entusiasmo levou-a a
traduzir mais tarde Notons sur la Machne Analytque de Charles Bab-
bage, do matemtico italiano Luigi Menabrea, acrescentando algumas
notas que podem ser consideradas reais amostras de programas com-
putacionais. Denotando uma ampla compreenso do funcionamento
da mquina, Ada escreveu que a caracterstica distintiva da Mquina
Analtica( ... ) a introduo em si do princpio que Jacquard
1
imaginou
para regular, por meio de cartes perfurados, os mais complicados
C
1
> Referncia ao francs Joseph Marie Jacquard (1752-1834), inventor de um tear mec-
nico programvel.
48
UMA HISTRIA DA MATEMTICA
padres de fabrico de coisas brocadas( ... ) Podemos dizer muito apro-
priadamente que a Mquina Analtica tece padres numricos tal
como o tear de Jacquard tece flores e folhas.
Ada trabalhou com Babbage at idade de 36 anos, altura em que
foi vitimada por um cancro uterino.
A primeira calculadora comercialmente bem sucedida, que viria a
ser produzida em massa, foi construda em Frana, em 1820, por
Charles Thomas de Colmar (1785-1870). O Aritmmetro, capaz de
realizar as quatro operaes fundamentais, empregava um meca-
nismo de cilindro central com diversos dentes em forma de vareta, de
diferentes comprimentos. At 1920 foram vendidos cerca de 1.500
aritmmetros, que acabaram por progredir para aparelhos com sries
de discos dentados exibindo os algarismos O a 9.
Com o tempo, a matemtica foi exigindo mquinas cada vez mais
poderosas, que contribussem com mais que aritmtica simples, dado
que muitos dos clculos cientficos ou financeiros podem ou tm de
ser implementados como longas sucesses de operaes aritmticas.
Mas, se as mquinas auxiliam a matemtica, tambm determinados
princpios matemticos ajudaram a conceber mquinas, o computador
em particular, quer em aspectos chave do design quer no teste da sua
concepo. Um desses princpios a lgebra.
li
,
Algebra
E para evitar a repetio entediante
das palavras igual a, tratarei como fao muitas vezes
nos meus trabalhos, um par de paralelas,
ou linhas gmeas de um comprimento,
porque nenhumas duas coisas
podem ser mais iguais ...
Robert Recorde
LGEBRA 51
Para tornar mais abrangentes os mtodos aritmticos, e serem
assim mais teis em mltiplos campos, introduzimos na matemtica
letras ou smbolos representativos de quantidades de interesse, vari-
veis ou constantes. Pode ser d, para representar a distncia percorrida
por um automvel, ou a letra grega 1t (pi), para indicar o valor
3,14159 ... (a razo entre o permetro e o dimetro de uma circunfern-
cia). Estes smbolos podem ser combinados para especificar relaes
entre grandezas, como v = d/t ou A = 1tr
2
, numa forma por ns
conhecida como equaes, talvez a mais familiar da lgebra. Define-
-se lgebra como o domnio matemtico da manipulao de smbolos.
Embora os matemticos sumrios e do Antigo Egipto lidassem
com problemas envolvendo quantidades variveis, que podiam assu-
mir muitos valores diferentes, no foram capazes de os expressar
como equaes algbricas, somente como operaes de nmeros
particulares. A passagem de um sistema de contagem escrito para um
conceito de nmero e investigao das propriedades dos nmeros -
essencial para uma cincia dos nmeros, com as suas snteses
generalistas (por exemplo, que o volume de um cilindro igual a 7t
vezes o raio do fundo ao quadrado vezes a altura, no interessando
se o cilindro tem um raio de 1 O ou 50 cm, ou uma altura de 35 ou
70 cm) - ocorreu bem mais tarde. Conseguimo-lo quando fomos capa-
zes de reconhecer os nmeros como entidades abstractas, interes-
sando-nos pelos padres que os regem.
Peo ao leitor que pense em 4 + 5 . Agora, em 5 + 4 . Chegou ao
mesmo resultado em ambas as operaes, no foi? Se sugerisse
outros valores, a ordem da adio continuaria a ser irrelevante. Como
representar esta propriedade - a comutatividade - da soma de nme-
ros contveis (os matemticos do-lhes o nome naturais)? Uma possi-
bilidade
1+2=2+1
2+3=3+2
3+4=4+3
4+5=5+4
52 UMA HISTRIA DA MATEMTICA
Descrever desta forma um tipo de comutao aritmtica clara-
mente moroso e cansativo. Embora o leitor compreenda que a utiliza-
o de nmeros particulares exemplificativa, que esses nmeros
podem ser livremente substitudos por outros ( 20 + 15 = 15 + 20 ,
456 + 7 = 7 + 456 , ... ), este no um meio prtico de apresentar o
princpio da comutatividade aditiva. Recorrendo a letras,
a+b=b+a
o caso muda de figura. Com esta representao estamos a enfatizar
um padro matemtico e no a adio em si. imperativo salientar
que a utilizao de uma terminologia algbrica, simblica, para
expressar de uma forma simples e legvel uma determinada lei mate-
mtica implica, no leitor, a interiorizao do carcter abstracto de
nmero, que a e b indicam nmeros naturais arbitrrios. Logo, o
importante o padro ou comportamento do nmero natural na adio
independentemente dos valores que assuma (1, 5, 27, 4609, ... ). O
chamado Papiro de Moscovo, um documento egpcio do ano 1850
a.e., ajuda a ilustrar na perfeio o poder da sntese algbrica.
Esse papiro contm instrues para determinar o volume de uma
certa pirmide truncada (pirmide com um topo plano). Afirma o
seguinte:
Se lhe disserem que tem uma pirmide truncada com 6 de
altura na vertical, por 4 de base e 2 na parte superior, eleve
4 ao quadrado, resultado 16. Duplique 4, resultado 8. Eleve
2 ao quadrado, resultado 4. Adicione 16, 8 e 4, resultado 28.
Calcule um tero de 6, resultado 2. Duplique 28, resultado
56. Veja, d 56. Vai ver que est correcto ...
E se a pirmide tivesse 15 metros de altura, 30 m em cada lado da
base e 10 m em cada lado do tecto? Sem a lgebra, duas opes
estavam disponveis: memorizar muito bem as instrues do papiro,
ou andar com este (ou uma cpia) na algibeira. Qualquer uma delas
obrigava a trocar os valores apresentados no papiro pelos valores do
nosso interesse sem tropear na receita operativa; tanto uma como
outra, opes pouco excitantes. Usando uma notao algbrica, ao
LGEBRA 53
converter as instrues numa frmula geral vlida para todas as pir-
mides truncadas, o clculo simplificado:
V= -
1
-h(a
2
+ ab + b
2
)
3
V o volume da pirmide, h a sua altura, a o valor de cada lado da
base e b o de cada lado da parte superior da pirmide.
O conceito de nmero abstracto e a formulao de regras compor-
tamentais dos nmeros naturais enraizaram-se apenas com o desper-
tar da era matemtica grega, cerca de 600 a.e. O desfecho do cami-
nho ento iniciado, hoje com mais de 2.000 anos, expressarmos as
regularidades da natureza em termos de equaes (ou identidades)
algbricas, resolvidas para determinar uma quantidade desconhecida
a partir de uma outra cujo valor detemos. E perante esses factos, duas
questes devemos colocar a ns mesmos. Uma Como consegui-
ram os Antigos Gregos?
O primeiro passo em direco ao raciocnio simblico ocorreu no
contexto da resoluo de problemas. Diversos textos antigos, alguns
remontando a um certo perodo babilnico (1800-1600 a.C.), confron-
tam o leitor com informao acerca de uma quantidade desconhecida
propondo a descoberta do seu valor. Uma dada tabuinha de argila
babilnica diz que cceu encontrei uma pedra mas no a pesei; quando
lhe juntei uma outra pedra, com metade do peso, fiquei com um peso
total de 15 gin; pede-se ento ao 'aluno' que calcule o peso da pri-
meira pedra. Como a quantidade desconhecida actualmente repre-
sentada pela letra x, podemos traduzir o problema da tabuinha em
de que resulta x = 1 O .
Estamos a usar smbolos para representar nmeros, mas no
ainda lgebra. A lgebra gira em torno das propriedades das expres-
ses simblicas, trata de forma e estrutura e no apenas de nmeros.
Emergiu dos problemas e da abordagem matemtica escolhida para
os resolver. A notao simblica veio depois, tendo sido necessrias
54
UMA HISTRIA DA MATEMTICA
algumas centenas de anos para desenvolver e consolidar o simbo-
lismo algbrico dos tempos actuais. A designao lgebra surgiu a
meio dessa evoluo, do ttulo de uma obra rabe do sculo nove da
nossa era. Debruar-me-ei sobre ela mais adiante pois agora devo
recuar at 570 a 500 a. C. aproximadamente, altura em que viveu um
erudito grego de nome Pitgoras.
Tendo fundado uma escola em Croton, um povoado grego no Sul
de Itlia, Pitgoras e seus discpulos dedicaram-se ao estudo da har-
monia (msica), astrologia (astronomia), arithmetica (teoria dos nme-
ros) e ... da geometria, que destaco, uma vez que impossvel separar
a lgebra da geometria, cujos problemas de planos e slidos estimula-
ram fortemente a conjectura e raciocnio abstractos.
Das produes matemticas dos pitagricos a mais famosa o
teorema de Pitgoras. O teorema estabelece que, em qualquer
tringulo rectngulo, como o desenhado abaixo,
b
a
o quadrado do comprimento da hipotenusa (h) igual soma do qua-
drado do comprimento dos restantes lados, ou seja, h
2
= a
2
+ b
2
.
No s por terem descortinado a relao entre o quadrado dos
diferentes lados, tambm por apresentarem uma demonstrao rigo-
rosa que se trata de um padro geral deste tipo de tringulos, os
matemticos pitagricos alcanaram um feito notvel para a poca. E
igualmente relevante que tenham provado o teorema em termos
essencialmente geomtricos, como um resultado natural da relao
entre as reas dos quadrados que podem ser desenhados em cada
lado do tringulo:
LG EBR A
55
b B
a
A
Os Antigos Gregos delinearam outros padres abstractos, expres-
sos como identidades (equaes) algbricas, concebidos, uma vez
mais, no seio de um pensamento geomtrico. o caso da relao
(a + b)
2
= a
2
+ 2ab + b
2
Na obra Elementos, do grego Euclides (cerca de 330-260 a.C.),
esta igualdade enunciada do seguinte modo: Se uma linha recta for
cortada ao acaso, o quadrado do total igual aos quadrados dos seg-
mentos mais o dobro do rectngulo contido pelos segmentos. Como
? ... , interrogar-se- quem ler, no ano 2010 e seguintes, tal proposi-
o. primeira vista parece uma formulao descabida, uma vez que,
hoje, diremos que " quadrado da soma de dois nmeros, a e b,
igual a somar os quadrados desses nmeros ao dobro de a vezes b.
Para entendermos a opo de Euclides temos de ver como ele, o que
ilustro seguidamente:
56
a
b
a
A
'
'
'
'
'
'
'
'
'
'
'
1
1
'
'
1
'
1
1
1
1
1
1
1
U MA HI STR I A DA MA TE MTI CA
b
e
a+b
------------------------,---------
D
a+b
'
1
1
1
1
1
1
'
8
O diagrama mostra que a rea do maior quadrado, a trao cont-
nuo - (a + b )
2
- equivale rea do quadrado A ( a
2
) mais a rea do
quadrado B ( b
2
) , mais a rea do rectngulo C (a x b) e a rea do
rectngulo O (a x b ). Sintetizando,
(a+ b)
2
= a
2
+ ab + ab + b
2
= a
2
+ 2ab + b
2
Outros exemplos provariam que os padres de maior interesse
para os matemticos gregos eram os de comprimento, ngulo, rea e
forma. Na realidade, pondo de parte os nmeros contveis, o conceito
grego de nmero assentava na geometria, levando a apresentar os
resultados sobre comprimentos, ngulos e reas como comparaes
entre dois comprimentos, dois ngulos ou duas reas; ns fazemo-lo
usando simplesmente nmeros inteiros ou fraces. Enquanto as
tabuinhas babilnicas diziam ao leitor o que fazer mas no o porqu,
assumindo-se assim como receitas, os estudos dos Gregos foram
mais longe no caminho para um definitivo sistema algbrico
1
ao se
(l ) No sentido, notao e mtodos simblicos.
LGEBRA 57
preocuparem com, e explicar, as razes
1
das regularidades observa-
das no mundo em redor.
Centenas de anos aps Pitgoras um outro matemtico grego,
Diofanto de Alexandria, contribuiu para implementar um sistema fivel
de utilizao de smbolos no lugar de quantidades desconhecidas,
tendo desenvolvido novos mtodos para solucionar problemas que
seriam agora expressos como equaes lineares ( ax + b = O ) ou
quadrticas ( ax
2
+ bx + e = O ). esse o foco da obra Arithmetica,
que escreveu por volta de 250 d.C. Embora a sua notao difira signi-
ficativamente da actual, teve o mrito de sumariar as variveis, cons-
tantes e respectivas operaes, numa forma compacta. F-lo adop-
tando certas variantes das letras do alfabeto grego, bem com smbolos
prprios para o quadrado, o cubo e outras potncias de um nmero.
O sistema de abreviaturas de Diofanto foi um passo da evoluo
algbrica frente da explanao meramente discursiva dos problemas,
mas ainda aqum da explanao estritamente simblica. O alcance
teria sido maior se o autor tivesse procurado converter os seus mto-
dos em solues gerais, pois delineou-os apenas como solues de
problemas particulares. Os matemticos rabes medievais viriam a
desenvolver modos mais sofisticados para resolver equaes, apesar
de os expressar por palavras e no por smbolos.
A palavra lgebra deriva da rabe al-jabr, empregue no ttulo de
um tratado redigido por Muhammad ibn Musa al-Khwarizmi; o livro
chamava-se Al-Kitab al-Jabr wa'l-Muqabala (Compndio sobre Clculo
por Completao e Balano). Os mtodos apresentados so reconhecida-
mente semelhantes aos ensinados nas escolas modernas para encontrar
a soluo de equaes do tipo (na notao actual) ax
2
= bx ,
ax
2
= e , bx = e , ax
2
+ bx = e, ax
2
+ e = bx e bx + e = ax
2
.
<
1
> Esta concentrao nas razes est por detrs do conceito de nmero racional, aquele
que pode ser escrito como quociente (razo) de dois nmeros inteiros.
58
UMA HISTRIA DA MATEMTICA
Al-jabr significa adicionar a mesma quantidade aos dois lados de
uma equao, o procedimento que efectuamos quando, de
x-3=5
chegamos soluo x = 8 :
x-3+3=5+3
x0=8
X=8
Relativamente a al-muqabala, esta tem dois significados. Num sen-
tido especfico, quer dizer subtrair a mesma quantidade a ambos os
lados de uma equao, o que fazemos ao passar de
para
x+3=5
x+3-3=5-3
X=2
Mas associa-se-lhe igualmente um significado geral, o de compa-
rao.
Al-Khwarizmi recorreu ao trabalho de Euclides, geometria, para
demonstrar ou representar a soluo das equaes quadrticas. Con-
tudo, s depois de se libertar das limitaes da geometria do mundo
real que a lgebra pde progredir para um sistema na sua essncia
abstracto, relacionado mais com nmeros do que com medidas ou
quantidades. O movimento para uma notao plenamente simblica
sofreu um destacado empurro com o Perodo Renascentista euro-
peu, fase da Histria de intenso fervilhar intelectual com a recupera-
o do antigo conceito clssico de ser o Homem o centro da preo-
cupao humana; o estudioso renascentista no procurar ser perito
ou especialista num tema mas instrudo em vrios, capaz de abor-
dar criticamente uma srie de conhecimentos cientficos ou culturais.
LGEBRA
59
Aps sculos dispendidos na recuperao e consolidao do
legado rabe, os matemticos europeus comearam ento, a partir do
sculo quinze, a contribuir de forma original para o desenvolvimento
da lgebra. Uma importante simbologia, ainda rudimentar, entrou em
cena nesta altura. Por exemplo, as letras p (da palavra italiana pi,
mais) em (de meno, menos) para abreviar, respectivamente, as ope-
raes adio e subtraco; os smbolos + e - acabariam por se
implantar no final do referido sculo repercutindo a sua utilizao,
pelos comerciantes alemes, para distinguir o peso a mais do peso a
menos das mercadorias.
Em 1557 foi a vez do smbolo = para a igualdade, criado pelo
matemtico ingls Robert Recorde (1510-1558); este escreveu que
no conseguia conceber duas coisas mais idnticas que duas linhas
paralelas com o mesmo comprimento. A tabela que se segue sintetiza
a origem de alguns dos mais relevantes smbolos algbricos.
Smbolo Data Origem
+ Johannes Widmann, Alemanha,
1489
Rechnung auf al/en Kauffmanschaften.
-
J--
1525
Christoff Rudolff, Alemanha,
Die Coss.
=
1557
Robert Recorde, Inglaterra,
The Whetstone of Witte.
1618
William Oughtred, Inglaterra, num apndice
X
traduo da obra de Napier Descriptio.
a, b, e para
constantes,
1637
Ren Descartes, Frana,
x, y, zpara Discours de la Mthode ( ... ).
variveis
1659
Johan Rahn, Alemanha,

Teutsche Algebra.
60 UMA HISTRIA DA MATEMTICA
Como se mostra, foi William Oughtred (1574-1660) quem introdu-
ziu o smbolo x para a multiplicao, inicialmente criticado pela poss-
vel confuso com a letra x. Os actuais smbolos para maior que e
menor que, respectivamente > e <, devem-se a Thomas Harriot
(1560-1621). Uma outra figura proeminente neste campo foi Franois
Vite (1540-1603).
Vite conferiu importantes avanos a diversas reas da matem-
tica, nomeadamente a aritmtica, a trigonometria e a geometria, a par
da lgebra. A sua contribuio mais determinante ter sido promover
uma notao algbrica consistente. Desenvolveu um modo sistem-
tico de pensar e trabalhar com equaes, por exemplo adaptando
vogais para representar quantidades desconhecidas e consoantes
para valores definidos, e demonstrando como mudar a forma de uma
identidade atravs da multiplicao ou diviso pelo mesmo valor de
ambos os lados da equao, com o que podemos converter
x
3
+ ax
2
= b
2
x
em
x
2
+ ax = b
2
,
dividindo por x.
Na obra ln Artem Analyticam lsagoge (Introduo Arte Analtica),
publicada em 1591, Vite faz uma distino entre a lgica das esp-
cies - a lgebra - e a lgica dos nmeros, ou seja, a aritmtica. Antes
uma mera via para sistematizar problemas aritmticos, a lgebra, com
Vite, assume o significado e os meios, acrescento a beleza, de um
mtodo para operar formas gerais, as espcies (cada uma um tipo)
de expresses aritmticas. Para este francs humilde, num clculo
algbrico como
(2x + 3y) - (x + y) = x + 2y
cada termo, 2x + 3y, x + y ou x + 2y , em si mesmo um
objecto matemtico; no tem de representar um valor especfico para
que possa ser adicionado, subtrado, multiplicado ou dividido. De sim-
ples relao numrica considerada vlida apenas quando certos valo-
LGEBRA 61
res substituam os smbolos x e y, (2x + 3y) - (x + y) = x + 2y
passou a equao feita pelos nmeros 2x + 3y, x + y e x + 2y,
pelo que direi que a lgebra iniciou o caminho para se assumir como
uma aritmtica dos smbolos e do abstracto.
Consiste numa mudana de viso fenomenal. No surpreende que
Vite se tenha sentido arrebatado a ponto de usar a palavra Arte no
ttulo da sua obra. Mas discordo do adjectivo que escolheu, Analtica,
o que me obriga a abordar a segunda questo suscitada pelo contri-
buto grego.
Como os Antigos Gregos conseguiram? foi a primeira questo,
sendo a resposta terem encontrado na geometria uma boa base con-
ceptual e metodolgica para uma formulao algbrica dos proble-
mas. A geometria - do Grego geo, terra, e metron, medida -trata de
distncias e ngulos, de linhas, reas e volumes; est intimamente
ligada ao raciocnio matemtico do ser humano, tanto como a medio
e marcao de terrenos, a construo de edifcios ou a manufactura e
decorao de objectos. Todavia, enquanto os matemticos babilnicos
e egpcios trabalharam sempre a geometria em situaes prticas
presos a quantidades particulares do mundo os
Antigos Gregos interessaram-se por problemas puramente abstractos,
buscando regras e mtodos gerais para os assuntos geomtricos.
Eram curiosos, foram criativos. Porque puderam s-lo? Porqu h
2.500 anos atrs e no antes ou depois?
Os Gregos eram marinheiros e exploradores, fundaram colnias
em terras distantes, estabeleceram trocas comerciais com amigos e
adversrios. No sculo oito antes de Cristo o centro dessa actividade
era Mileto, cidade que ganhou a fama quer de potncia comercial,
quer de fonte de ideias e invenes. Parte do intercmbio de ideias e
mercadorias envolvia o Egipto. Deste, os Gregos importaram um certo
material macio, fino mas resistente e de longa durao, no qual se
podia escrever. Pensa-se que, antes desse oitavo sculo a.C., a ln-
gua grega era apenas falada. O papiro mudou a Histria. Comearam
<
1
> Por exemplo, qual a rea de um campo circular com 9 khetde dimetro?.
<
2
> " comprimento de uma sala igual sua largura mais um cbito; a sua altura a
mesma que o comprimento menos um cbito; .....
62 UMA HISTRIA DA MATEMTICA
a ser produzidos documentos escritos em Grego e a distribuir-se regis-
tos comerciais e tratados sobre temas tcnicos por toda a esfera de
influncia da civilizao grega. Uma civilizao em contacto com
povos que laboravam, h milhares de anos, num saber que se vai acu-
mulando e necessita ser compilado. Os Gregos no trouxeram a estes
tempos somente um esprito questionador. Mais relevante foi o seu
desejo e descoberta de como aprender de forma sistemtica, inven-
tando o conhecimento organizado.
Por volta de 625 a.e. nasce em Mileto algum que soube tirar par-
tido do extraordinrio contexto e oportunidades vividos: Tales, prova-
velmente o primeiro filsofo e cientista. Ficou conhecido como um dos
Sete Sbios, sendo-lhe creditados diversos feitos intelectuais, entre
eles a descoberta de alguns teoremas do primeiro volume dos Ele-
mentos de Euclides, o clculo da altura de pirmides a partir da medi-
o da respectiva sombra (Tales ter estudado matemtica e astrono-
mia no Egipto) e a previso de um eclipse solar em 585 a.e.
Previamente a Tales, a maioria do conhecimento era prtico,
englobando regras pragmticas relativas caa e agricultura, orga-
nizao do lar e do governo de uma cidade, arte contemplativa e
arte da guerra. As coisas mudam subitamente quando Tales de
Mileto, no apelando a explicaes animistas, parte do pressuposto
fracturante de que o mundo e o cosmos so algo que a mente humana
pode compreender. Conjecturando que tudo gua, denota acredi-
tar que todas as coisas so passveis de ser assimiladas como um
todo. E isto define Cincia, segundo o historiador John Burnet, para
quem uma boa descrio da actividade cientfica pensar sobre o
mundo maneira dos Antigos Gregos. Maneira que, para mim, uma
vitria do hemisfrio direito do nosso crebro.
O crebro humano apresenta-se dividido em duas partes longi-
tudinais, aparentemente idnticas, a que damos as designaes
hemisfrio esquerdo e hemisfrio direito, de tal modo que, visto de
cima, este rgo se assemelha ao interior de uma noz gigante. Desde
Hipcrates, por volta de 400 a.e., que se debate as funes das duas
metades do crebro. O ingls John Hughlings introduziu, em 1874,
a ideia de o crebro ter um hemisfrio principal, geralmente o esquerdo.
Mais tarde, nos anos 70 e 80 do sculo vinte, implantou-se a corrente
LGEBRA 63
de pensamento de as pessoas serem cerebrais esquerdas ou cere-
brais direitas consoante as virtuosidades que mais evidenciassem -
verbais/analticas ou emocionais/artsticas, respectivamente. Teria a
espcie humana, afinal, dois crebros?
Hoje ningum contesta que os dois hemisfrios cerebrais esto
especializados no que fazem, mas tambm ningum pe em causa
que trabalham em conjunto, numa colaborao harmoniosamente
coordenada. Como Robert Ornstein escreveu no seu livro de 1997,
The Right Mind,
As duas metades do crebro esto no mesmo corpo, ape-
sar de tudo, embora estejam separadas cerca de cinco cen-
tmetros. ( ... ) Cada metade do crebro partilha anos de
experincias com a outra metade. Elas comem os mesmos
cereais de manh e o mesmo hambrger ao almoo ( ... );
partilham as mesmas hormonas. Atravs de cada uma delas,
circula uma igual mistura de neurotransmissores; escutam o
mesmo disparate de outras pessoas; vem o mesmo pro-
grama de televiso; ( ... ) Tal como no caminhamos mais
com um p do que com outro, ou a rea de um rectngulo
no depende mais do seu comprimento do que da sua lar-
gura, nenhum hemisfrio opera por si prprio. Quase nada
regulado somente pelo hemisfrio esquerdo ou pelo hemis-
frio direito.,,
No entanto, interessante conhecer o que cada um dos hemisf-
rios faz de especial supondo que todos ns escrevemos com a mo
direita.
Se o leitor estiver a conversar com algum que diga Tens um
corao do tamanho do mundo!, ser o seu hemisfrio esquerdo a
processar o contedo da frase, atendendo ao que um corao e qual
o tamanho do mundo. Mas, caso o crebro ficasse por aqui, o leitor
pensaria encontrar-se perante um absurdo: como posso ter um cora-
o to grande? ... Graas ao hemisfrio direito, no ter essa preo-
cupao. Este hemisfrio dir-lhe- que se trata de uma metfora, ou
seja, contextualiza a informao com base (i) em experincias e
conhecimentos prvios, (ii) no dilogo (como um todo) que est a
64 UMA HISTRIA DA MATEMTICA
decorrer e, claro, (iii) na entoao, expresso facial e postura corporal
do nosso interlocutor.
O hemisfrio esquerdo dominante para a linguagem, discurso e
resoluo geral de problemas, enquanto o direito mostra-se hbil em
tarefas visual-espaciais como reproduzir ou desenhar cubos e outros
padres tridimensionais. Dcadas de estudo visaram tambm as dife-
renas ao nvel do processamento de informao. Assim, o hemisfrio
esquerdo tem sido descrito como a sede do raciocnio lgico e
sequencial, evocando o funcionamento de um computador; o hemisf-
rio direito, intuitivo, criativo e no-linear, expressa a capacidade de
pensar paralelamente. Uma vez que o hemisfrio esquerdo se centra
nas categorias, em apreender os pormenores, ao contrrio do direito,
que se foca nas relaes e numa viso de conjunto, diz-se que o pri-
meiro especialista na anlise - a decomposio da informao nos
seus elementos constituintes - e o segundo na sntese, em entretecer
os elementos para formar um todo. O processamento analtico fun-
damental, mas ter sido, na minha opinio, o processamento holstico
do hemisfrio direito, reconhecendo padres, a centelha de algumas
das revolues na histria da matemtica.
Ler, por exemplo, requer que os traos escritos sejam correcta-
mente decompostos nas suas partes constituintes; pouco ou nada
beneficiamos de atendermos ao tamanho das palavras ou ao estilo da
escrita, pelo que o importante reconhecer as letras individualmente
de modo a diferenciar uma palavra de outra. Mas, para identificarmos
um rosto como familiar, a anlise-por-partes no suficiente. Nessa
tarefa temos de fazer apelo a uma representao global, que capture
a configurao particular definida pelas vrias partes. Dependemos do
nosso hemisfrio direito para reconhecer e cumprimentar um amigo
que passeia no outro lado da rua. Este hemisfrio, como escreveu Neil
Carlson, perito ccem ver muitas coisas ao mesmo tempo: ver todas
as partes de uma figura geomtrica e apreender a sua forma ou ( ... )
ver todos os elementos de uma situao e compreender o seu signifi-
cado. Ver a relao das relaes, ver na geometria ... a lgebra.
LGEBRA 65
A poca de Tales, Pitgoras e seguidores ficou marcada pela
ascenso e triunfo do pensamento de predominncia d i r e i t ~ Primeiro:
os Antigos Gregos tinham atrs de si milhares de anos de labor mate-
mtico - numrico, relativamente simples e concreto, mas matemtico;
sabemos que o processamento holstico aprimorado pelo tempo,
pela prtica. Segundo: abundncia de conhecimento juntou-se a
abundncia material. Curiosamente, a prosperidade material pode
libertar-nos de muitas amarras, dificuldades, mas no nos realiza
em si mesma; impele-nos numa busca de sentido, acabando por des-
pontar na nossa vida, cultura e civilizao o que V. Postrel chamou
imperativo esttico. Existir conceito mais abstracto que a beleza?
Embora fascinados pela abstraco e simbologia, os antigos mate-
mticos no esqueceram os nmeros. Euclides apresenta nos Livros 7
a 9 dos seus Elementos um tratado sobre o que hoje conhecido
como teoria dos nmeros: o estudo dos nmeros naturais.
2
Este
debrua-se sobre padres mais profundos que aquele que todos ns
aprendemos cedo, por to bvio: estarem os nmeros naturais orde-
nados sequencialmente.
<
1
> Daniel Pink criou esta expresso para designar o estilo de raciocnio e a atitude
perante a vida resultantes da actividade do hemisfrio direito - um pensamento
simultneo, metafrico, esttico, contextual e sinttico.
<
2
> Recordo que so os nmeros inteiros positivos.
Teoria dos
Nmeros
A histria do ltimo Teorema de Fermat ilustra,
de uma forma maravilhosa, a busca incessante
de conhecimento e compreenso por parte
da Humanidade. Um grande nmero de matemticos
contribuiu( ... ) para o mesmo empreendimento.
Neste aspecto, talvez os matemticos
possam servir de exemplo [para todos ns].
Keith Devlin
TEORIA DOS NMEROS 69
Ainda que os inteiros positivos 1, 2, 3, 4, 5, ... , possam parecer o
mais simples concebvel a respeito de nmeros, escondem proprieda-
des e questes que tm fascinado geraes de matemticos. ao seu
estudo que se dedicam os tericos dos nmeros.
Durante mais de 2.000 anos o trabalho em teoria dos nmeros foi
um exerccio puramente intelectual. Com os computadores, que lidam
com representaes electrnicas dos nmeros naturais, suscitando
problemas e oportunidades criativas que conduzem teoria dos nmeros,
esta passou a ter um impacto palpvel na nossa vida quotidiana.
Das aparentemente mgicas propriedades dos nmeros em res-
soar determinados padres e regras, uma das que inicialmente fasci-
naram os matemticos o facto de muitos nmeros poderem surgir da
multiplicao de outros mais pequenos. Por exemplo, 1 o 2 x 5 e 12
3 x 4 ; 1 O e 12 so, por isso, nmeros compostos. O que no
sucede com 2, 3, 5, 7 ou 11. O leitor pode tentar, mas logo perceber
que no possvel expressar estes nmeros como o produto de dois
outros nmeros inteiros menores. O 2, 3, 5, 7 e 11 so nmeros pri-
mos, cada um divisvel (com resto zero) apenas por si prprio e por 1.
Na sequncia de 1 a 20, os nmeros compostos - superiores a 1 -
so o 4, 6, 8, 9, 10, 12, 14, 15, 16, 18 e 20, sendo os primos o 2, 3, 5,
7, 11, 13, 17e 19.
Euclides foi o primeiro a assumir que existe um nmero infinito de
nmeros primos. Outras propriedades fundamentais destes nmeros
demonstradas por Euclides so:
- Se um nmero primo p divide um produto m x n , ento p
divide pelo menos m ou n;
- Todos os nmeros naturais ou so primos ou podem ser escri-
tos como um produto de primos nico (embora se possa alterar
a ordem no enunciado; por exemplo, 6 um produto de 2 e de 3,
no sendo relevante se o escrevemos como 2 x 3 ou 3 x 2 ).
Estas duas caractersticas dos nmeros contveis sugerem que os
primos so os tomos da teoria numrica, na medida em que, por
multiplicao, originam qualquer outro nmero, como 328.152, que
2 X 2 X 2 X 3 X 11 X 11X113
70 UMA HISTRIA DA MATEMTICA
Os nmeros 2, 3, 11 e 113 so designados divisores ou factores
primos de 328.152, e a factorizao (decomposio) em primos apre-
sentada realmente exclusiva de 328.152. Deste modo, a (re)soluo
- em geral, mais fcil - de uma determinada questo acerca dos
nmeros primos aplicvel generalidade dos nmeros inteiros. Esta
importncia dos nmeros primos passar-nos-ia ao lado se no tents-
semos ver alm da irregularidade com que ocorrem na sequncia dos
nmeros naturais.
Bastam alguns minutos de concentrao mental para enumerar-
mos os primeiros, e mais pequenos, nmeros primos. Descobrir nme-
ros sucessivamente maiores uma tarefa tambm sucessivamente
mais difcil, no apenas pela grandeza dos nmeros envolvidos. Fre-
quentes nos primeiros cem nmeros naturais, os primos vo rareando
ao progredirmos na srie numrica: de 2 a 20 existem oito nmeros
primos, enquanto de 102 a 120 somente ocorrem quatro. Ser, ento,
verdade que a lista de nmeros primos no tem fim? O modo como
Euclides demonstrou a veracidade desta proposio um marco
impressionante da conciso lgica.
Imagine que aceitamos existirem apenas trs nmeros primos, p
1
,
P2 e P3 Multiplicando-os e somando 1, (P1 x p
2
x p
3
) + 1 , obtemos
um nmero, N, que, se for primo, acrescenta um elemento lista dos
nmeros primos. Mas o mais provvel que N no seja primo. Toda-
via, mesmo no sendo primo, N dever ser divisvel por algum nmero
primo. Qual? P
1
, P2 ou P3? ... Nenhum deles! Enquanto P1 x p
2
x p3
divisvel por p
1
, P2 ou fJ3, (P1 x P2 x P3 ) + 1 no , visto que se
obtm resto 1. Logo, o factor primo de N ter de ser diferente (maior)
dos trs considerados previamente. Como este raciocnio se mantm
vlido no caso de partirmos de uma lista de quatro, cinco, seis ... ou n
nmeros primos, dever existir uma quantidade infinita deste tipo de
nmeros naturais: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41 ...
Olhando despreocupadamente para a extensa lista de nmeros
primos nenhum padro bvio sobressai. Mas existem vrios. Um deles
respeita distribuio, que no aleatria, na sequncia dos nmeros
naturais. O matemtico russo Pafnuti Chebychef (1821-1894) provou,
em 1850, que entre qualquer nmero natural n e o seu dobro (2n)
existe sempre, pelo menos, um nmero primo. Recuando ao sculo
TEORIA DOS NMEROS
71
dezassete, encontramos uma outra histria de procura de padres
nestes nmeros.
Pierre de Fermat nasceu em Beaumont-de-Lomagne (Frana) no
ano 1601, tendo falecido em 1665. A carreira que escolheu foi a de
advogado, tornando-se Conselheiro no parlamento provincial de Tou-
louse em 1631, o que no impediu que se dedicasse a um passa-
tempo que o conduziria a interessantes descobertas na rea da geo-
metria, probabilidades, mecnica, ptica e nas bases do que viria a
ser, anos mais tarde, o clculo integral. A sua mais duradoura influn-
cia moldou-se, no entanto, na teoria dos nmeros. Uma vez que no
exerceu qualquer actividade acadmica, Fermat publicou pouco do
seu trabalho, o qual foi melhor divulgado atravs dos livros de outros
matemticos com quem se correspondeu por carta, como Pierre de
Carcavi e Marin Mersenne.
Um dos seus teoremas
1
desvenda-nos que nmeros naturais n
so a soma de dois quadrados perfeitos, n = a
2
+ b
2
; a soluo
mais acessvel se n for primo. Fermat constatou que existem trs tipos
bsicos de nmeros primos:
i) o nmero 2, o nico primo par;
ii) nmeros primos que so maiores, em uma unidade, que um
mltiplo de 4, como 5 (4 x 1 + 1) , 13 (4 x 3 + 1) ou 17
( 4 x 4 + 1) , sempre mpares;
iii) nmeros primos que so menos uma unidade que um mltiplo
de 4, como 3 ( 4 x 1 - 1) , 7 ( 4 x 2 - 1) ou 11 ( 4 x 3 - 1) ,
igualmente mpares.
Provou que um n primo igual a a
2
+ b
2
quando pertence ao tipo
(i) ou (ii), o que significa que 3, 7, 11 ... , no representam a soma de
dois quadrados perfeitos; 37, um nmero primo da categoria (ii), o
resultado de 6
2
+ 1
2
.
Outra descoberta relevante, descrita em 1640 e conhecida como
Pequeno Teorema de Fermat (distinguindo-o assim do designado, e
<
1
> Um teorema uma expresso ou proposio de um sistema formal cientfico que pode
ser demonstrada segundo os princpios e regras desse sistema.
72
UMA HISTRIA DA MATEMTICA
mais famoso, ltimo Teorema), a de, sendo pum qualquer nmero
primo e a um qualquer nmero natural, aP - a um mltiplo de p;
dito de outro modo, p (mesmo que no divida a) um divisor de
aP - a . Testemos este padro terico dos nmeros naturais conside-
rando a = 8 e p = 5 . Ainda que 8 no seja divisvel por 5, 8
5
- 8
dever ser: 32768 - 8 = 32760 , um nmero que 5 divide com resto
O. Qualquer outra escolha de nmeros comprovaria o Pequeno Teo-
rema. Porm, foi uma histria diferente, desenrolada cinco anos aps
a sua morte, que cimentou a fama actual de Fermat.
Em 1670, o seu filho Samuel encontrou no meio de documentos e
outros pertences do pai um exemplar da obra Arithmetica, de Diofanto,
repleto de comentrios redigidos pela mo do seu ilustre leitor. Dessas
anotaes de Fermat, uma localizava-se junto do Problema 8 do
Livro li. Este problema a questo dado um nmero que quadrado,
escreva-o como a soma de outros dois quadrados. Na notao alg-
brica moderna, traduzimo-la em descobrir, relativamente ao nmero
natural z, os nmeros naturais xe yde tal modo que z
2
= x
2
+ y
2
"
Fermat escreveu:
( ... ) impossvel escrever um cubo como a soma de dois
cubos, ou uma quarta potncia como a soma de duas quar-
tas potncias ou, de modo generalizado, qualquer nmero
que constitui uma potncia superior segunda ser escrito
como a soma de duas potncias semelhantes. Tenho uma
demonstrao verdadeiramente maravilhosa desta minha
proposta que no cabe nesta margem por ser demasiado
estreita."
este o ltimo Teorema de Fermat, afirmando que a equao
zn = xn + yn no tem soluo (nmero natural) quando n maior
que dois. Assim comeou uma saga que durou mais de 300 anos, at
1993, momento em que o matemtico ingls Andrew Wiles (1953-)
divisou uma prova apoiada num mtodo que recorre a curvas elpticas.
A demonstrao de Wiles bastante complexa, quase de certeza dife-
rente da que Fermat clamou ter concebido.
T E O RI A DOS N MER OS
7 3
Algumas evidncias sugerem que o matemtico francs ter con-
seguido provar que o seu teorema correcto com n = 4, isto , que
a equao
z4 = x4 + y4
no gera nmeros naturais como soluo. A argumentao de Fermat
lidaria em torno das reas de tringulos rectngulos cujos lados
medem um nmero natural. Recordemos que, sendo um tringulo rec-
tngulo uma metade de um rectngulo de lados x e y, a rea desse
tringulo dada por h xy :
y
X
Fermat socorreu-se de tringulos com ngulos rectos por nestes
z
2
ser igual a x
2
+ y
2
, representando z a hipotenusa (teorema de
Pitgoras) . Poder a rea do tringulo ser um (nmero ao) quadrado?
O raciocnio de Fermat ter sido: caso existam nmeros naturais x,
y e z de tal forma que z
2
= x
2
+ y
2
e, tambm, um nmero natural
u que se revele como u
2
= 1/ 2 xy , legtimo presumir que esta rela-
o caracterizar outros quatro nmeros x
1
, y
1
, z
1
e u
1
, mais peque-
nos que os anteriores. De acordo com este argumento, tambm existi-
ro os nmeros x
2
, y
2
, z
2
e u
2
, ainda mais pequenos, que materializam
aquela relao, e assim sucessivamente, ocorrendo uma sequncia
infinita de nmeros naturais z, z
1
, z
2
, z
3
.. . ,em que z > z
1
> z
2
> z
3
> .. . ,
com a propriedade descrita. Ora, tal sequncia infinita impossvel;
eventualmente diminuir at 1, mas aqui termina, o que significa que
no podero existir nmeros naturais x, y, z que validem 1/ 2 xy = u
2
e, ao mesmo tempo, x
2
+ y
2
= z
2
. Assim, a rea de um tringulo
rectngulo cujos lados so todos nmeros naturais no pode ser um
74 UMA HISTRIA DA MATEMTICA
quadrado de um nmero n t u r l ~ Deste resultado Fermat deduziu que
a equao x
4
+ y
4
= z
4
- a potncia 4 o quadrado de algo levan-
tado a 2 - no tem solues naturais.
Este mtodo de demonstrao, conhecido por mtodo de decrs-
cimo infinito de Fermat, encontra-se hoje intimamente relacionado com
a induo matemtica, uma importante ferramenta de verificao da
validade de muitos padres que envolvem nmeros naturais. O traba-
lho em redor do ltimo teorema de Fermat contribuiu igualmente para
fazer sobressair padres complexos nos nmeros, e para nos tornar
cientes que a diferentes reas da matemtica subjazem ligaes muito
profundas.
A seguir a Fermat o principal impulsionador da evoluo da teoria
dos nmeros foi Carl Friedrich Gauss (1777-1855). Na sua obra de
1801 Disquisitiones Arithmeticae (Investigaes em Aritmtica), este
matemtico alemo com apenas 24 anos lana para o estrelato uma
ideia simples mas poderosa: a aritmtica modular ou finita. Este novo
tipo de sistema numrico, de contagem, acrescenta aritmtica nor-
mal um elemento - conhecido como mdulo - que torna consistente a
adio ou a multiplicao num sistema que percorra um ciclo, que se
reinicie. o caso da contagem das horas, em que chegados s 12 vol-
tamos a 1, 2, 3, 4 ... Matematicamente, o nmero 12 de um relgio cor-
responde ao O, pois as horas repetem-se aps 12 passos, pelo que
podemos contar as horas como O, 1, 2, 3, ... 11, sendo a hora seguinte
outra vez O. Isto conduz a que se escreva algo como
ou
7+5=0
(cinco horas depois das sete da tarde, por exemplo,
leva-nos meia-noite)
7+6=1
(seis horas depois das sete da manh 1 hora da tarde)
<
1
l Por exemplo, o tringulo rectngulo em que os lados so x = 3 , y = 4 e z = 5
uma possvel soluo natural da equao x
2
+ y
2
= z
2
, pois 3
2
+ 4
2
= 5
2
.
Mas a sua rea, 1/2(3 x 4) = 6, no um quadrado; a raiz quadrada de 6 2,449.
TEORIA DOS NMEROS 75
Estranho, mas no absurdo. E aceitvel se, para evitar confuso
com a aritmtica corrente, mudarmos o smbolo = (de igualdade) para = ,
de congruncia:
Todavia, no conseguimos deixar de sentir que falta qualquer
coisa, que nos exiba o sentido de escrever estas igualdades. Falta
indicar, e interiorizar bem, que neste sistema o mdulo - o valor em
que se recomea a contagem - 12:
a= b (mod m)
12 = 24 (mod 12) ou 12 = 36 (mod 12)
a congruente com b num mdulo 12, significando que a diferena
entre a e b divisvel por 12. Ao fazermos
estamos a eliminar mltiplos inteiros de m (12), dado que
7 + 5 = 12
12-12
=o
7 + 6 = 13
13-12
= 1
A ideia mantm-se consistente na multiplicao. Como no multi-
plicamos horas, pensemos ento numa aritmtica finita de mdulo 7.
Neste caso,
o que reafirma que ao resultado da operao executada normalmente
1
se subtrai todos os mltiplos do mdulo.
<
1
> A aritmtica comum, do dia a dia, tambm modular, mas de m = O.
76 UMA HISTRIA DA MATEMTICA
No seu Disquisitiones Gauss usa a aritmtica modular para desen-
volver outros conceitos mais sofisticados, como a lei da reciprocidade
quadrtica. A questo quais so os quadrados perfeitos para um
dado mdulo? Suponhamos que o mdulo 11. Os quadrados dos
nmeros menores que 11 so
0(0
2
) 1 4 9 16 25 36 49 64 81 100(10
2
)
dos quais, aps eliminao de mltiplos de 11, surgem os nmeros
o 1 4 9 5(= 16-11) 3(= 25-22) 3 5 9 4 1
respectivamente. Diz-se que O, 1, 3, 4, 5 e 9 so os resduos quadrti-
cos no mdulo 11.
O ponto fulcral daquela questo encontra-se nos nmeros primos.
Se p e q so primos, quando q um quadrado no mdulo p? Gauss
descobriu que, no existindo uma via directa e simples para responder
a tal problema, este seria resolvido por meio da questo inversa
quando p um quadrado (mod q)?
A lista de resduos quadrticos O, 1, 3, 4, 5 e 9 permite-nos saber
j que q = 5 um quadrado de mdulo p = 11 . Mas, se tivsse-
mos enveredado pela segunda pergunta, o que obteramos? Que 11
um quadrado no mdulo 5 pois 11 = 1 (mod 5) e 1 = 1
2
. Temos
assim a mesma resposta (5 e 11) nas duas questes.
Gauss provou que este princpio da reciprocidade quadrtica
vlido para qualquer par de nmeros primos mpares que no repre-
sentem a forma 4k - 1 (mltiplos de 4 menos uma unidade); com os
nmeros 3 e 7, por exemplo, as duas questes referidas originam res-
postas opostas. Quer dizer, para quaisquer primos mpares p e q,
q um quadrado (mod p) se e apenas se p um quadrado
(mod q),
a menos que p e q sejam do tipo 4k - 1 , e nesse caso
q um quadrado (mod p) se e apenas se p no um quadrado
no mdulo q.
TEORIA DOS NMEROS 77
Ao estabelecer certas fundaes conceptuais para a teoria dos
nmeros, desenvolvendo a aritmtica modular e tambm relacionando
propriedades dos nmeros naturais com a geometria, Gauss despole-
tou o reconhecimento de novos tipos de estrutura na matemtica,
novos sistemas numricos (como os nmeros inteiros mod n) e novas
operaes. Com essas novas direces, o trabalho na teoria dos
nmeros do fim do sculo dezoito/incio do dezanove levou-nos
lgebra abstracta do fim do sculo dezanove e do sculo vinte, de que
falarei no prximo captulo. Mas o Disquisitiones Arithmeticae teve
outro mrito: o de fazer emergir na histria da matemtica a personali-
dade Marie-Sophie Germain (1776-1831).
Foi por volta dos 13 anos de idade que a jovem francesa Sophie
Germain se sentiu inspirada a dedicar-se matemtica, lendo sobre a
morte de Arquimedes s mos de um soldado romano enquanto con-
templava um diagrama geomtrico desenhado na areia. Apesar das
tentativas dos pais para a demoverem, Sophie lia avidamente sobre os
trabalhos de Newton e Euler, muitas vezes escondida sob as cobertas
da cama. Uma vez convencidos do forte compromisso com a matem-
tica, os seus progenitores passam a incentiv-la e apoi-la financeira-
mente.
Assumindo a identidade de um antigo aluno da cole Polytecnique
de Paris, Monsieur LeBlanc, Sophie escreveu a Joseph-Louis
Lagrange (1736-1813) a fim de lhe dar a conhecer algum do seu tra-
balho original. O matemtico francs, impressionado, para mais des-
cobrindo que o seu correspondente era uma mulher, acabou a desejar
tornar-se seu mentor. Desta parceria nasceram diversas ideias que
Sophie veria publicadas numa edio do Essai sur /e Thorie des
Nombres. Um outro correspondente famoso foi Gauss. Tendo estu-
dado o Disquisitiones, Sophie escreveu vrias cartas ao seu autor,
novamente com o pseudnimo LeBlanc, entre 1804 e 1809; Gauss
viria a elogiar o trabalho de Sophie em cartas que remeteu a outros
matemticos.
78 UMA HISTRIA DA MATEMTICA
Em 1806, com a ocupao francesa de Gauss des-
vendou o real gnero de ccMonsieur LeBlanc. Temendo que o mate-
mtico alemo tivesse o mesmo destino que Arquimedes, Sophie con-
tactou um amigo de famlia que era oficial superior no exrcito napole-
nico, o general Pemety. Tendo Gauss conhecimento deste facto, deixou
de ser segredo a identidade do seu entusistico correspondente. Sen-
sibilizado, Gauss agradeceu-lhe com as seguintes palavras:
Mas como descrever-lhe a minha admirao e surpresa ao
ver o meu estimado correspondente, Monsieur LeBlanc, a
metamorfosear-se nesta personagem ilustre ... Quando algum
de um sexo que, segundo os nossos costumes e preconcei-
tos, enfrenta infinitamente mais dificuldades que os homens
para se familiarizarem com estas espinhosas pesquisas,
mas apesar disso supera esses obstculos e penetra nas
suas partes mais obscuras, ento, sem qualquer dvida,
dever possuir a mais nobre coragem, extraordinrios talen-
tos e gnio superior ...
Sophie conseguiu alguns resultados interessantes relacionados
com o ltimo Teorema de Fermat. De 1810 a 1820 trabalhou sobre as
vibraes de superfcies, um tema que lhe foi proposto pelo lnstitut de
France. Em particular, procurou uma explicao para os chamados
ccpadres Chladni, padres simtricos que surgem na areia que ccpol-
vilha uma placa metlica colocada a vibrar com um arco de violino.
O cancro mamrio que desenvolveu em 1829 no a dissuadiu de
continuar a trabalhar, at data da morte, nos seus temas predilectos
da poca, a curvatura de superfcies e a teoria dos nmeros naturais.
Esta teoria caminhava j, lentamente mas a passo seguro, para deixar
de ser um ramo da matemtica pura, interessante em si mesmo e com
numerosas aplicaes no interior da matemtica, contudo de reduzido
ou nenhum impacto prtico na vida quotidiana. Este estatuto alterar-
-se-ia com o advento, no sculo vinte, das comunicaes digitais, onde
os nmeros desempenham um papel incontornvel. Abordemos um
<
1
> Cidade do centro-norte da Alemanha, no estado da Baixa Saxnia, e terra-natal de
Gauss.
TEORIA DOS NMEROS 79
exemplo, o de um importante cdigo de segurana utilizado no e-comr-
cio.
O criptosistema RSA (Ronald Rivest, Adi Shamir e Leonard Adle-
man) possui a surpreendente caracterstica de o mtodo de codifica-
o de mensagens poder ser conhecido pelo pblico sem, no entanto,
permitir que uma pessoa mal intencionada proceda inversamente, ou
seja, descodifique a informao.
Imagine que a Clara pretende enviar uma mensagem secreta ao
Manuel. Antes concordam em basear o procedimento em dois exten-
sos nmeros primos, p e q (cada um com, pelo menos, 75 dgitos),
que multiplicam para obter M = p x q ; M a chave da codificao,
um nmero com bastantes dgitos. Podem tornar pblico este nmero,
mas no K, que K = (p - 1) x (q - 1). Agora, Clara expressa a sua
mensagem como um nmero x no intervalo O a M, ou como uma srie
desses nmeros se se tratar de uma mensagem longa. Para codificar
a mensagem Clara escolhe um nmero a que no tenha factores
comuns com K, computando ento y = x (mod M); o nmero a tem
de ser conhecido pelo Manuel, podendo ser divulgado a outras pes-
soas.
Para descodificar a mensagem Manuel necessita conhecer um
outro nmero, b, tal que
ab = 1 (mod K)
Este nmero, que nico, mantido secreto. Na descodificao
de y, o Manuel considerar
yb(mod M)
dado que yb = (x )b = xb = x
1
= x (mod M), aproveitando
assim uma reformulao do Pequeno Teorema de Fermat em termos
de aritmtica modular: se p um nmero primo, e a representa qual-
quer nmero natural entre 1 e p - 1 inclusive, ento aP-
1
= 1 (mod
p). Por exemplo, se a = 2 , para qualquer nmero primo p superior a
2 teremos 2P-
1
= 1 (mod p); consequentemente, se 2P-
1
no for
congruente com 1 (mod p), p no pode ser um nmero primo. uma
80 UMA HISTRIA DA MATEMATICA
formulao importante num mtodo que teste se estamos a trabalhar
com nmeros primos, no mago da segurana do sistema.
O que se extrai, de inteligvel para um leigo, de toda esta smula
tcnica o seguinte: a chave de codificao, que pode ser pblica, o
produto de dois nmeros primos com 75 dgitos; codificar uma mensa-
gem corresponde, grosso modo, multiplicao desses dois nmeros.
Para a descodificar, temos de factorizar esse produto (com 150 dgitos)
para recuperar p e q. Com a tecnologia actual, ainda que avanada,
um pirata levaria anos a determinar os divisores primos de um
nmero com essa dimenso. Sem os valores de p e q no possvel
saber o de b, nmero que, graas aritmtica modular, a verdadeira
chave, conhecida pela Clara e pelo Manuel, e mais ningum.
No incio deste captulo sugeri terem existido povos (ancestrais,
naturalmente ... ) a atribuir aos nmeros um sentido e um poder mgi-
cos. No resisto a termin-lo com um toque de misticismo.
Em 1770, Edward Waring, um professor de Cambridge, props
comunidade desafios matemticos envolvendo a redaco de nme-
ros naturais como uma soma de potncias. Um dos nmeros visados
foi 666, que, no Livro da Revelao da Bblia crist, o nmero da
Besta. Ficar o leitor surpreendido por esse nmero ter revelado
algumas propriedades inesperadas? ...
666 = 2
2
+ 3
2
+ 5
2
+ 7
2
+ 11
2
+ 13
2
+ 17
2
(soma dos quadrados dos primeiros sete nmeros primos)
666 = 1
3
+ 2
3
+ 3
3
+ 4
3
+ 5
3
+ 6
3
+ 5
3
+ 4
3
+ 3
3
+ 2
3
+ 1
3
(soma de um palndromo cbico)
,
Algebra
Abstracta
Na moderna lgebra, a ideia prevalecente
o estudo da estrutura, onde os exemplos individuais
tm de obedecer a uma notao abstracta geral.
Tony Crilly
LGEBRA ABSTRACTA 83
Houve um momento em que a lgebra passou a ser definitiva-
mente a aritmtica do abstracto. E o abstracto no tem limites reais,
apenas os da imaginao.
Em 1545 surgiu uma obra revolucionria, Ars Magna, de Girolamo
Cardano (1501-1576), por facultar um modo de resolver equaes
cbicas (tipo ax
3
+ bx
2
+ ex + d = O , ou seja, de 3 ordem). Com
uma vida atribulada - de relativa pobreza material, jogo e apostas,
morte prematura do filho predilecto e acusao e priso por heresia -,
que terminou em suicdio, Cardano exibiu uma maior abertura de esp-
rito cientfico que os seus antecessores, aceitando com naturalidade a
existncia de nmeros negativos e de razes negativas.
O seu livro representou talvez o mais importante avano da lge-
bra desde a descoberta, pelos matemticos babilnicos, da soluo de
equaes quadrticas, estimulando o desenvolvimento da lgebra
para alm das fronteiras do mundo fsico. Pois, se as equaes cbi-
cas podem ser solucionadas, porque no as de 4, 5 ou 6 ordem?
Tornou-se assim evidente que os problemas algbricos no mais
teriam de estar acorrentados s (poucas) dimenses que reconhece-
mos no nosso dia a dia. Mais, novas dimenses podiam ser postula-
das teoricamente, o que veio a mostrar-se determinante para a geo-
metria de Riemann
1
e para o continuum espcio-temporal, a quatro
dimenses, com que Einstein reformulou a nossa viso do Universo.
Por outro lado, a juntar aos j mencionados nmeros negativos, a obra
Ars Magna desencadeou a legitimao dos nmeros complexos, o
aparecimento do sistema de coordenadas cartesiano, alguns passos
em direco ao clculo e a possibilidade de casar a lgebra com a
geometria.
Franois Vite, de quem falmos no captulo quatro, abordou em
1593 um certo problema algbrico - a resoluo de uma equao de
45 ordem - atravs da dando um marcante passo para
o alargamento do objecto da lgebra, e para a aliana desta com a
geometria, num percurso j pautado pela Algebra de Rafael Bombelli
<
1
> Georg F. Riemann (1826-1866), matemtico alemo.
<
2
> Sucintamente, a trigonometria o ramo da matemtica que lida com a medio de
tringulos (respectivos lados e ngulos), em especial tringulos rectngulos.
84 UMA HISTRIA DA MATEMTICA
(1526-1572) publicada em 1572. Este livro continha diversos proble-
mas geomtricos resolvidos por via algbrica, usando-os como base
demonstrativa para as solues que propunha, por exemplo, para as
equaes de 3 ordem.
Algumas dcadas mais tarde, Ren Descartes (1596-1650) pegou
igualmente em questes geomtricas - convertendo-as linguagem
algbrica a fim de as simplificar, regressando de seguida geometria
na formulao da soluo final - para criar a geometria analtica. Esta
vincava uma viso das quantidades em equaes como linhas ou seg-
mentos, ultrapassando deste modo a insatisfao de Descartes quer
com a geometria quer com a lgebra tomadas independentemente.
Com o melhor dos dois mundos, Descartes limou as dificuldades
conceptuais que os Antigos Gregos haviam revelado ao trabalhar com
equaes de ordem elevada ou formadas por expresses de diferente
ordem em cada lado do sinal =, como em x
2
+ bx = a (neste caso,
as parcelas do lado esquerdo eram consideradas reas, sendo a
quantidade a vista como uma linha).
Descartes tambm refinou a notao simblica desenvolvida por
Vite, sugerindo as primeiras letras do alfabeto (a, b, e) para as quan-
tidades fixas e as letras finais (x, y, z) para as incgnitas, mais a
consolidao dos smbolos que usamos hoje para indicar as opera-
es aritmticas fundamentais. Curiosamente, no adaptou o par de
linhas paralelas que Recorde avanara como smbolo da igualdade.
O expoente prtico da geometria analtica de Descartes foi definir
um qualquer ponto do espao por coordenadas dimensionais. Este
filsofo e matemtico francs props que a posio de um ponto num
plano (2D) podia ser referenciada a partir de dois eixos perpendicula-
res representativos do comprimento e largura do plano, uma ideia
que acabou por amadurecer no que actualmente conhecemos como
sistema de coordenadas cartesiano. Neste sistema Descartes dese-
nhava as equaes com que trabalhava, crendo firmemente que qual-
quer expresso polinomial de x e y podia ser representada como uma
linha/curva. Tambm Fermat viria a defender que qualquer relao
entre x e y definia uma curva; ambos proporiam um terceiro eixo para
modelar questes tridimensionais, mas que s avanou efectivamente
no final do sculo dezassete.
ALGEBRA ABSTRACTA
85
Ren Descartes chorou as amarguras do parto em La Haye,
Frana, a 31 de Maro de 1596. Nascido no seio de uma famlia local
proeminente e moderadamente rica, Ren viria a receber a melhor
educao jesuta possvel do seu tempo. Estudou na Universidade de
Poitiers, na qual se formou em Direito no ano 1616. Tomava assim a
vida nas suas mos aos vinte anos, com o sentimento de que nada
sabia com o grau de certeza com que ambicionava conhecer tudo. Os
seus anos de estudo tinham lhe mostrado o quanto era ignorante, na
medida dos seus professores e manuais escolares, impelindo-o a criar
uma filosofia e cincia prprias atravs do estudo de si mesmo e do
mundo em redor. Sabia, disso estava absolutamente convicto, que a mate-
mtica permitir-lhe-ia aprender muitas coisas, uma vez que nela come-
amos ... partimos de axiomas que tm o carcter de certeza indubit-
vel para chegar, em pequenos passos, a uma estrutura com o mesmo
carcter. Escreveu que cada problema que eu solucionei tomou-se uma
regra que serviu seguidamente para resolver outros problemas.
Em 1633, aps viagens, leituras e troca de correspondncia com
os mais progressistas pensadores europeus, Descartes estava deci-
dido a apresentar um (enorme) tratado com as suas ideias principais
sobre a Fsica, que se chamaria O Mundo ou Tratado da Luz. Ironica-
mente, nunca viu a luz do dia, dado que Descartes recuou na deciso
de o publicar ao ter conhecimento da condenao de Galileu pelo
Santo Ofcio; o filsofo francs tambm apoiava as concepes de
Coprnico. Contudo, sob a insistncia de amigos e conhecidos, aca-
bou por publicar mais tarde, em 1637, trs ensaios acerca de meteo-
rologia, ptica e geometria, introduzidos por um texto de vinte e pou-
cas pginas intitulado O Discurso do Mtodo.
Nesse texto historicamente marcante, Descartes fala de um
mtodo que permitiria, a quem o aplicasse, descobrir novas verdades,
e que justifica o seu ttulo original, completo, Discours de la Mthode
por Bien Conduire la Raison et Chercher la Verit dans le Sciences
(Discurso do Mtodo para Adequadamente Conduzir a Razo e Procu-
rar a Verdade nas Cincias). Em sntese: para entendermos um deter-
minado fenmeno natural, h que primeiro libertar-nos de todos os
preconceitos para, de seguida, reduzirmos o problema a uma expres-
so matemtica, numa forma assente no menor nmero possvel de
86
UMA HISTRIA DA MATEMTICA
axiomas ou proposies auto-evidentes. Por fim, recorrendo geome-
tria analtica por ele inventada, simplificamos o problema at ser no
mais que uma relao numrica simblica, cuja resoluo pelas regras
algbricas nos fornecer o conhecimento desejado.
Se Galileu afirmara que a Natureza est escrita em caracteres
matemticos, Descartes acrescentou que esses caracteres so nme-
ros. Tal conceito foi-lhe inspirado pela observao, em 1619, de uma
mosca a zumbir no canto do quarto onde estava deitado; compreen-
deu subitamente que a posio da mosca em qualquer momento
podia ser representada por trs nmeros, cada um indicando a distn-
cia da mosca ao cho e paredes que se juntavam no canto. Esta viso
tridimensional levou-o a postular que a cada ponto do espao se pode
associar um conjunto de coordenadas - cartesianas, como viria a cha-
mar-lhes Leibnitz
1
-, e a cada linha ou corpo uma equao matem-
tica. Cr que, no estudo de todas as mquinas, incluindo o Universo
(mas com algumas reservas quanto ao Homem), a sua descrio
como equaes bastante apropriada, restando ento solucion-las
matematicamente; mesmo que seja difcil, possvel. Nesta mundivi-
so, Deus ser necessrio apenas para dar incio ao Universo, pelo
que no surpreende que O Discurso do Mtodo tenha sido colocado
no ndex dos livros proibidos.
Descartes oferece-nos assim uma nova mentalidade civilizacional:
a realidade fsica, os seus elementos, podem ser compreendidos
como entidades bsicas que obedecem a leis perscrutveis pela obser-
vao, experimentao e raciocnio humanos. O leitor consegue vislum-
brar o efectivo alcance desta nova filosofia? De repente, o mundo ima-
terial, antes atraente, perdia o interesse. As respostas teriam de ser
procuradas noutro domnio. Com um mtodo eficaz para lidar com ele,
o mundo material tornava-se por fim intelectualmente estimulante ...
curioso que Descartes tenha escrito e publicado em francs para
atingir uma maior audincia e, ao mesmo tempo, redigisse as suas
obras de modo impenetrvel para muitos dos seus potenciais leitores.
No se sabe se o fez para excluir aqueles que julgaria insuficiente-
mente srios para o tema ou se tencionava acender nos seus leitores
<
1
> Gottfried Leibnitz (1646-1716), filsofo e matemtico alemo.
LGEBRA ABSTRACTA 87
o prazer da descoberta. Qualquer que fosse o motivo, pouco contri-
buiu para uma larga disseminao das suas ideias. No obstante, con-
seguiu a projeco necessria para ser convidado pela rainha Cristina
da Sucia como professor de filosofia. A exigncia de a aula ocorrer
s cinco horas da manh, antes de a rainha mergulhar nos assuntos
de Estado, revelou-se fatal para o frgil Descartes: a contraco de
uma gripe, que evoluiu para pneumonia, f-lo expirar pela ltima vez a
11 de Fevereiro de 1650. Com essa exalao, cristaliza-se aquele que
considero o principal legado desta vida relativamente breve, levar-nos
a repensar o valor da matemtica.
H quem defenda que a matemtica no uma cincia, por poder
alterar o seu prprio discurso e no necessitar de uma relao ntima,
perene, com o mundo em que vivemos, apenas com a lgica. E frus-
trantemente, esses autores no tm conseguido determinar onde acaba a
matemtica e comea a cincia. Mas aceitam, tal como os restantes,
que a matemtica funciona maravilhosamente como linguagem descri-
tiva do mundo fsico, apesar de - e isso o mais fascinante - a mate-
mtica ser uma pura, nua e desencarnada abstraco (P. Atkins).
Emanuel Kant (1724-1804) introduziu, com a sua conhecida obra
de 1781 Crtica da Razo Pura, uma distino entre afirmao sint-
tica e afirmao analtica. Uma afirmao analtica, como todos os
coelhos so mamferos, verbaliza uma ideia que pode ser extrada do
sujeito (neste caso, os coelhos) invocando o raciocnio/memria de
quem l ou ouve, pelo que no transmite um novo saber. Numa afir-
mao sinttica o predicado no est subentendido no sujeito, como
em aquele homem tem 2,05 m de altura, visto que a altura dos seres
humanos bastante varivel; trata-se de uma afirmao que adiciona
conhecimento. Este tipo de afirmao subdivide-se em a priori, se a
respectiva validao no depende de dados da experincia, e em a
posteriori quando a veracidade da afirmao tem de ser confirmada
pela experincia. Para Kant, nas afirmaes sintticas a priori incluem-
-se proposies acerca do espao e do tempo que so inquestionveis,
cuja elaborao est de certa forma pr-inscrita no crebro humano,
por exemplo as propriedades dos nmeros naturais e a geometria
euclidiana. A matemtica seria, nesse caso, uma expresso do modo
como os nossos crebros - com a sua estrutura e redes neurais parti-
culares - percebem o espao e o tempo, seria ... um artefacto humano.
88 UMA HISTRIA DA MATEMTICA
A ideia de os nmeros naturais poderem ser algo inato ao mundo
levou Jan Brouwer (1881-1966) a criar uma filosofia que se lhe adap-
tasse, conhecida como intuicionismo. Apesar de o matemtico holan-
ds descartar que a geometria euclidiana - necessariamente verda-
deira segundo Kant - seja uma propriedade sinttica a priori, tendo em
conta a existncia de geometrias alternativas que melhor descrevem o
espao e o tempo, props que temos dos nmeros naturais uma intui-
o directa a partir da nossa perscrutao sequencial de uma srie de
entidades, como simples pedrinhas no cho, suscitando a viso de
que estes nmeros, tal como as operaes que os relacionam, reflec-
tem processos mentais do nosso crebro.
David Hilbert (1862-1943), a quem regressarei no captulo sete
deste livro, desenvolveu igualmente uma filosofia da matemtica. O
formalismo diferencia a actividade matemtica em dois nveis especfi-
cos. Um, a matemtica propriamente dita - o nvel bsico-, consiste
num arranjo finito de smbolos decorrente da aplicao de certas regras,
gerando padres abstractos desprovidos de significado. O segundo
nvel - mais elevado - comenta, demonstra e atribui, segundo nor-
mas prprias, um sentido humano a tais padres simblicos. Esta
metamatemtica produz observaes como isto uma demonstrao
da proposio X ou, para um dado arranjo de peas num tabuleiro de
xadrez, essa posio oferece xeque-mate. Mas no ficamos por
aqui no que concerne a divagaes sobre a natureza da matemtica.
A corrente dos realistas platnicos rejeita tanto o ponto de vista
intuicionista - que a matemtica uma projeco da mente; sem
conscincia no existem nmeros - como o formalista, que faz depen-
der o significado da matemtica da verificao e experincia. Para os
realistas, e sem surpresa, a palavra-chave real: os nmeros so
entidades reais, as linhas rectas ou curvas, os tringulos e as esferas
so to reais como as rvores ou as rochas, e a aritmtica uma afir-
mao associada com alguma forma de realidade. Os matemticos
so, assim, descobridores em lugar de inventores de verdades, tal
como os outros cientistas. Uma das consequncias desta filosofia
defender-se que a estrutura fundamental do universo no mais que
a matemtica, que a realidade fsica um extraordinrio, sem dvida,
mas mero reflexo da matemtica. Esta viso extrema poder apazi-
LGEBRA ABSTRACTA
89
guar o esprito mais inquieto de quem procura compreender porque
funciona a matemtica to bem como linguagem descritiva do mundo
material. Todavia, a palavra linguagem traioeira. No a lingua-
gem um produto da mente humana? Com um significado alm dos
arranjos finitos de letras? ...
Partindo do platonismo, poderamos convencer-nos que a estrutura
lgica do espao-tempo e das entidades que o habitam moldou a
estrutura do crebro humano. Deste modo, os nmeros naturais e as
suas representaes a trs dimenses, sob a forma da geometria
(euclidiana), estaro previamente inscritos na nossa rede neural; con-
ceitos novos, mais avanados, podem surgir por um esforo intelectual
concreto de manipulao dos conceitos j gravados, manipulao
essa igualmente latente na configurao original do crebro humano.
A nossa capacidade lgica, como defendeu Noam Chomsky, seria
uma manifestao de um processo algortmico pr-inscrito em ns,
criado sob a presso da evoluo natural. Essa capacidade produzir
inevitavelmente padres simblicos (a matemtica) autoconsistentes
do ponto de vista lgico, imagem das entidades que constituem o
cosmos. Pensar desta forma conduzir-nos-ia expectativa de ser pos-
svel construir uma mquina capaz - imitando as aces de uma pes-
soa - de computao
1
algortmica, uma computao assente na apli-
cao sequencial de uma srie de regras, como faz hoje um computa-
dor electrnico.
Essa mquina, reproduzindo a essncia do procedimento que uma
pessoa segue ao realizar um clculo, levantaria ento a seguinte
questo: limitar-se- a mente humana, e assim a matemtica, a ser
um processador algortmico? Alguns autores defenderiam que a
dimenso meta da matemtica decorre de o nosso crebro funcio-
nar tambm como um co-processador hilbertiano, envolvendo prov-
vel e sinergicamente os hemisfrios esquerdo e direito para dar o tal
sentido humano s coisas. Outros, como Gdel (1906-1978), acredita-
riam que a matemtica no consegue estabelecer a verdade de qual-
quer afirmao com base nas suas prprias regras ou axiomas. A
essa incompletitude da matemtica o crebro humano responder
<
1
l Uso aqui o termo computao com o significado de clculo, conta.
90 UMA HISTRIA DA MATEMTICA
com a capacidade de provar metamatematicamente uma dada afirma-
o fora do sistema formal, a capacidade de uma demonstrao infor-
mal mas fivel por via de mtodos no algortmicos. Esta uma das
propriedades que definem a conscincia humana. Mas ... qual a sua
origem? Ter a matemtica, afinal, uma alma? ... Se esta discusso
tivesse lugar no sculo dezassete, decerto que Descartes estaria num
lugar da primeira fila.
Um outro impulso, digno de registo, a novas concepes na lge-
bra foi dado pela teoria dos nmeros. Gauss principiou o processo ao
introduzir o que designamos por nmeros inteiros de Gauss. Estes so
nmeros complexos do tipo a + bi , onde a e b so nmeros inteiros e
i a raiz quadrada de - 1. O nmero i um nmero imaginrio, de
mrito prprio, j que a raiz quadrada de um nmero negativo
somente pode ser engendrada pela mente humana; supe que se
verifique i
2
= -1, mas no existe realmente um nmero que, ao
quadrado, d um valor negativo.
Os nmeros complexos podem ser somados e multiplicados como
os nmeros reais. O nmero 2 + 3i somado a 8 + 4i igual a
(2 + 8) + (3 + 4)i, ou seja, 10 + 7i. Se multiplicarmos 2 + 3i por
8 + 4i , primeiro multiplicamos cada parcela pelos outros termos,
(2 + 3i) X (8 + 4i) = (2 X 8) + (2 X 4i) + (3i X 8) + (3 X 4i)
e, depois, somamos 16, 8i, 24i, e 12i
2
; dado que i
2
= -1 , o resultado
final (16 - 12) + (8i + 24i) = 4 + 32i. A subtraco e a diviso
tambm so possveis, excepto - no caso da diviso - pelo nmero
O+ Oi (estendendo-se a lgica
1
vigente nos nmeros reais).
Gauss descobriu que a noo de nmero primo extensvel aos
inteiros gaussianos. Um nmero inteiro gaussiano primo quando
no pode ser expresso como um produto de outros inteiros gaussianos
triviais. Alguns nmeros primos naturais, como 3 e 7, mantm esse
carcter na forma de inteiros gaussianos, outros no, por exemplo 5,
que pode ser escrito como o produto (1 + 2i) x (1 - 2i) .
<
1
> Aqui, com o seu sentido lingustico lato.
LGEBRA ABSTRACTA
91
Acerca da diviso de inteiros de Gauss, o resultado surge tambm
na forma a + bi mas com a e b racionais! sendo esse quociente
denominado nmero de Gauss. Os tericos dos nmeros naturais
perceberam que sucede algo semelhante quando, ao lidarmos com
um polinmio p(x) com coeficientes inteiros, consideramos todas as
combinaes lineares a1x1 + a2x2 + ... + anxn das respectivas solu-
es x1, x2, ... Xn. Caso a1, a2, ... an sejam nmeros racionais,
obtm-se um sistema de nmeros complexos que fechado (coerente)
relativamente s operaes adio, subtraco, multiplicao e divi-
so; significa que a aplicao de qualquer uma destas operaes a
tais nmeros complexos resulta num nmero do mesmo tipo. Diz-se
que este sistema constitui um campo algbrico. Interessante o facto
de, na situao em que a1 , a2 , ... an so nmeros inteiros, o sistema
ser fechado com respeito adio, subtraco e multiplicao mas
no diviso, e estarmos assim perante um anel algbrico. Estes
novos sistemas numricos acabariam por revelar-se valiosos na
demonstrao do ltimo Teorema de Fermat: que xn + yn = zn no
tem solues inteiras com n igual ou superior a 3.
Com o trabalho de Ernst Kummer (1810-1893) e de Emmy Noether
(1882-1935) estes conceitos foram acomodados numa axiomtica
prpria. Num anel, a adio, subtraco e multiplicao so operaes
bem definidas, satisfazendo as leis usuais da lgebra menos a da
comutatividade da multiplicao; se esta for aplicvel, temos um anel
comutativo. Num campo, a adio, subtraco, multiplicao, mais a
diviso, so operacionalizveis e respeitam todas as leis correntes da
lgebra; se no se verificar a lei da comutatividade multiplicativa, tra-
tar-se- ento de um anel divisor.
Uma lgebra equivalente a um anel a que se junta a possibili-
dade de os seus elementos serem multiplicados por diversas constan-
tes, nmeros reais, nmeros complexos ou por um campo. As leis da
adio so as habituais, mas a multiplicao pode obedecer a varia-
dos e diferentes axiomas. Assim, existem dezenas, talvez centenas de
<
1
l Os nmeros racionais so o conjunto dos nmeros inteiros e das fraces: nmeros
que podem ser escritos na forma a/b (a e b so nmeros inteiros; b no pode ser
zero). Os nmeros 4 e 10,5 por exemplo so nmeros racionais.
92 UMA HISTRIA DA MATEMTICA
tipos de estrutura algbrica, cada um com uma lista especfica de
axiomas. Alguns desses tipos foram criados apenas para explorar as
consequncias de certos axiomas tidos como interessantes, surgindo
a maioria das estruturas algbricas da sua pertinncia para a resolu-
o de determinados problemas.
Retornando aos nmeros complexos, um dos mais importantes
efeitos do seu desenvolvimento foi termos transitado de uma perspec-
tiva de nmero unidimensional para uma viso bidimensional. Os
nmeros reais podem ser referenciados a um nico eixo, uma linha
contnua de -oo a +ao :
- 00 -----------+-------- + 00
o
Qualquer nmero real assinalvel nesta linha, uma situao que
no caracteriza os nmeros complexos: estes tm de ser representa-
dos num diagrama bidimensional, dito de ArgancJ, com o eixo adicio-
nal i, como se segue:
lm
3
1+2i
- 3 + ; ---------------'_ //
-'
-3 -2 -1 2 3
Re
-1
-2
-3
<
1
> Jean Robert Argand (1768-1822), matemtico suo.
LGEBRA ABSTRACTA
93
O eixo horizontal, tal como um vulgar eixo-x, referencia os nme-
ros reais, sendo por isso designado eixo real (Re), ao passo que a
linha vertical, em unidades de i, assinala os nmeros imaginrios;
recebe o nome eixo imaginrio (/m). Sir William Hamilton (1805-
-1865), matemtico irlands do sculo dezanove, considerou um
nmero complexo a + bi como um par ordenado de nmero reais, a e
b, operacionalizados sob a influncia de i, de modo que a adio,
por exemplo, de (2, 3) e (8, 4) resulta em
(2, 3) + (8, 4) ;;;: (10, 7)
e a multiplicao produz
(2, 3) X (8, 4) ;;;: (4, 32)
Nmeros de duas dimenses cativaram a criatividade dos matem-
ticos, que comearam a pensar em generalizaes. Porque no trs,
quatro, oito dimenses? Durante anos Hamilton tentou construir nme-
ros tridimensionais que pudesse adicionar e multiplicar de forma con-
sistente, o que apenas conseguiu com nmeros de quatro dimenses.
Rapidamente estes nmeros foram generalizados a oito dimenses,
dando origem aos chamados nmeros de Cayley.
Serve esta dissertao para salientar o quanto a matemtica se
moveu em direco a uma perspectiva abstracta. Neste caminho a
lgebra foi empurrada para novos objectos de estudo e trabalho - per-
mutaes, transformaes, matrizes -, alm de nmeros desconheci-
dos. A par dos grupos, os matemticos iniciaram o estudo das estrutu-
ras que denominmos anis e campos, bem como de uma grande
variedade de lgebras. Os smbolos algbricos ganharam vida prpria.
O significado desses smbolos tornou-se menos importante que as
regras com que podiam ser manipulados. Mesmo as regras deixaram
de ser intocveis: leis aritmticas tradicionais, como a comutativa, no
so apropriadas, no so aplicveis em determinados contextos.
A utilizao de campos algbricos na teoria dos nmeros naturais
progrediu intensamente na segunda metade do sculo vinte, culmi-
nando com a prova do ltimo Teorema de Fermat. A ideia decisiva
proveio da teoria das curvas elpticas, equaes que relacionam um
94 UMA HISTRIA DA MATEMTICA
quadrado perfeito com um polinmio cbico. Esta teoria envolve uma
conjectura especial, de Taniyama-Weil, propondo que cada curva elp-
tica pode ser representada em termos de funes modulares.
No incio dos anos 1980, Gerhard Frey (1944-) sups que existiria
uma soluo para a equao de Fermat qualquer que fosse o valor de
n; se estivesse certo, seria possvel elaborar uma curva elptica com
propriedades muito pouco usuais, to invulgares que o mais provvel
era, afinal, no existir. Em 1986 provou-se que, se a conjectura de
Taniyama-Weil for verdadeira, a curva presumida por Frey no pode
realmente ser desenhada. Por esta altura o leitor j captou a essncia
da demonstrao do ltimo Teorema de Fermat: estabelecer, definiti-
vamente, que a curva de Frey no existe, no havendo assim uma
soluo inteira para xn + yn = zn com potncia igual ou superior
a trs. Andrew Wiles conseguiu-o finalmente em 1994, com a ajuda de
Richard Taylor (1962-). Seria esta a prova que Fermat possua mas
que no foi escrita por falta de espao? Quase seguramente, no.
Ter Fermat descortinado uma prova mais simples, mas engenhosa?
Creio que o seu teorema foi fruto mais da intuio que de um exaus-
tivo e testado raciocnio indutivo. Richard Dawkins escreveu( ... ) dada
a extenso e complexidade da demonstrao bem sucedida de Wiles,
e a sua dependncia dos mtodos e conhecimentos avanados do
sculo vinte, a maioria dos matemticos pensa que Fermat estava
(honestamente) enganado na sua pretenso de ter obtido uma prova.
Este um enigma que talvez nunca venha a ser solucionado ...
Agora o leitor pensar tudo isto muito interessante, mas que
utilidade ou impacto pode ter no meu dia-a-dia? Prendamo-nos alguns
minutos num exemplo tecnolgico.
Os campos algbricos so a base de um sistema de codificao
usado amplamente em certos produtos comerciais, em particular CD's
e DVD's. um facto que, em todas as vezes que ouvimos msica ou
vemos um filme num leitor domstico, estamos a aproveitar a lgebra
abstracta. Os cdigos introduzidos em 1960 por Irving Reed e Gustave
Solomon destinam-se a corrigir erros na leitura de sinais de msica ou
vdeo, e so baseados num polinmio, com coeficientes num campo
finito, formulado a partir dos dados gravados nos discos. Sabe-se que
um polinmio de grau n unicamente determinado pelos seus valores
LGEBRA ABSTRACTA
95
em n pontos distintos. Se no houver erros, qualquer subconjunto de n
dados reconstruir o polinmio e o funcionamento do sistema decorre
sem problemas; caso contrrio, desde que o nmero de erros no seja
elevado, o mtodo de codificao Reed-Solomon guarda a informao
necessria para deduzir o polinmio correcto e, desta forma, ultrapas-
sar os erros existentes.
Apesar das suas potencialidades, de ser uma ferramenta valiosa
para a resoluo de numerosos problemas tanto intelectuais como
materiais, a lgebra abstracta no poderia, s por si, tomar em ombros
a emergncia do conceito e tecnologia computacionais, o cerne (da
redaco) deste livro. George Boole (1815-1864) entreviu a frmula
em meados do sculo dezanove, durante a sua tentativa de sumariar
algebricamente as leis do raciocnio (The Laws of Thought, de 1854).
Para Boole, os mais importantes operadores do pensamento racional
eram no, e e ou. Quando a afirmao A verdadeira, no-A falsa,
e vice-versa. A e B verdadeira se, e apenas se, ambas as proposi-
es forem verdadeiras; A ou B verdadeira ainda que uma das afir-
maes seja falsa, pelo que a disjuno (ou) somente falsa quando
as duas proposies tambm so. Podero estes operadores ser usa-
dos como os da vulgar aritmtica? Boole acreditava que sim, e rees-
creveu A como O e B como 1 para defender a ideia de que a lgebra
das operaes do pensamento era muito semelhante lgebra mate-
mtica. Considerando O e 1 os nmeros inteiros de mdulo 2, logo
1 + 1 = O , e -A o mesmo que A, ento
no-A 1 +A
AeBAB
A ou B A + B + AB
Este matemtico ingls percebeu que a sua lgebra do pensa-
mento plenamente auto-consistente sempre que o seu utilizador
tenha em mente as respectivas regras e as aplique criteriosamente.
Substituamos agora o termo pensamento por outro mais apropriado
para podermos rematar este captulo da melhor forma. Com o trabalho
que desenvolveu, Boole deu um dos primeiros passos para a imple-
mentao de uma teoria formal do que lan Stewart designa " mais
96 UMA HISTRIA DA MATEMTICA
firme pilar da matemtica: a lgica, sem a qual eu no poderia estar
a escrever estas linhas num programa processador de texto. Nesse
momento da sua histria, j a matemtica aceitara que os smbolos
algbricos podem ser utilizados para representar entidades diferentes
dos nmeros e que os mtodos algbricos podem ser recrutados por
diversas outras reas distantes da aritmtica comum.
li
Lgica
E foi provado que a matemtica intrinsecamente
limitada, e que alguns problemas no tm soluo.
( ... ) melhor estarmos cientes das nossas limitaes
que viver num paraso de tolos.
lan Stewart
LGICA 99
medida que a estrutura (da) matemtica crescia e se tornava
complexa alguns matemticos interrogaram-se se as fundaes exis-
tentes seriam capazes de suportar tal peso. Uma srie de crises
conceptuais, por exemplo as controvrsias em torno de noes bsi-
cas do clculo, trouxeram evidncia a necessidade de definir os con-
ceitos matemticos muito cuidadosa e precisamente. Num pntano
de ambiguidade, os alicerces da deduo matemtica podem facil-
mente ruir menor contradio lgica.
Ficou claro que tudo em matemtica deve ser provado antes de
ser aceite como verdadeiro. Assim, qualquer candidato a facto, mesmo
que bvio para o mais distrado dos espritos, apenas se converte em
facto aps uma demonstrao da sua validade por meio de raciocnio
lgico, numa linha de passos consistentes dados sobre as pedras
axiomticas e teoremas que j compem parte do caminho. No
suficiente colocar uma ma junto de outra para mostrar que um mais
um igual a dois; imperativo provar - acima de qualquer dvida -
que um mais um sempre igual a dois. Curiosa era a situao de
geraes de matemticos terem devotado os seus esforos a compre-
ender as propriedades dos nmeros para acabar por negligenciar a
mais fundamental das questes: o que so os nmeros naturais?
Em 1889, Giuseppe Peano escreveu uma lista de axiomas para os
nmeros inteiros, expressando o que pensava serem as suas proprie-
dades inatas. As caractersticas principais desse conjunto de nmeros
so:
- Existe o nmero O;
- Qualquer nmero n tem um sucessor imediato, s(n) ou, como
escreveramos hoje, n + 1 , que tambm um nmero;
- Qualquer propriedade de O e do sucessor imediato de qualquer
nmero n uma propriedade vlida para n.
100 UMA HISTRIA DA MATEMTICA
O ltimo axioma conhecido como Princpio da Induo Matem-
tica. Peano definiu ento os nmeros 1, 2, 3 e adiante em termos des-
tes axiomas, fazendo
1 = s(O)
2 = s(s(O))
3 = s(s(s(O)))
Tambm definiu as operaes aritmticas bsicas neste sistema,
mostrando que continuavam a respeitar as leis usuais:
s(s(O)) + s(s(O)) = s(s(s(s(O))))
uma base para a demonstrao do teorema 2 + 2 = 4 . Mas per-
manecia por resolver a questo do significado de nmero visto no
se ter solucionado o de sucessor imediato. A satisfao desse
objectivo teria de passar obrigatoriamente pela prova de que os nme-
ros existem.
Na dinmica quotidiana, concreta, a aceitao da existncia de
algo provm da observao dos seus efeitos, como os da gravidade,
ou da experimentao de hipteses controlveis, como a da tempera-
tura ser um factor da actividade enzimtica. Sabemos que existem
duas mas ou dois automveis, mas no vemos, sentimos ou palpa-
mos o nmero dois. No uma coisa, uma ideia.
Ainda que a matemtica seja numerosas vezes motivada pelo
mundo fsico, e til para o descrever, as entidades com que lida - as
figuras geomtricas, os diversos padres e estruturas, para alm dos
nmeros - so nitidamente abstraces. Como se testa uma abstrac-
o? Como prov-la na realidade, tomando-a material? Tratando-se
de uma ideia matemtica, o nico percurso aceitvel - embora sem
garantias de sucesso ... - a demonstrao lgica.
As verdades matemticas so apresentadas, basicamente, na
forma se A, ento B. H diferentes vias (mas sempre no mesmo cami-
nho) para chegar a uma proposio deste tipo. A primeira descrio
conhecida da induo matemtica surge na obra Arithmeticorum Libri
LGICA 101
Duo, lanada em 1575 por Francesco Maurolico (1494-1575), con-
quanto alguns dos pontos focados apaream em trabalhos de Bhas-
kara e de al-Karaji (cerca de 1000 d.C.); a prova por induo foi igual-
mente desenvolvida, de forma independente, por Blaise Pascal e
Pierre de Fermat.
Na abordagem indutiva - que Peano viu como um dos alicerces da
aritmtica - procura-se primeiro mostrar que a hiptese em estudo, a
propriedade P do nmero natural n, vlida para um valor inicial de n,
geralmente 1; de seguida, tenta-se demonstrar que P(n + 1) tam-
bm verdadeiro. Conseguindo-se, podemos assim concluir que a pro-
priedade em causa se aplica a todos os nmeros naturais. Maurolico
recorreu a este mtodo para provar que a soma dos primeiros n nme-
ros mpares igual a n
2
:
1+3=4=2
2
1 + 3 + 5 = 9 = 3
2
1 + 3 + 5 + 7 = 16 = 4
2
1 + 3 + 5 + 7 + 9 = 25 = 5
2
1 + 3 + 5 + 7 + 9 + .. . = n
2
n nmeros mpares
Rapidamente se verifica que esta propriedade, este padro efec-
tivamente verdadeiro para n = 1 , pois
Considerando agora que a propriedade vlida para o nmero
mpar hipottico (2n - 1) ,
que 1 + 3 + 5 + ... + (2n - 1) = n
2
verdadeiro,
102 UMA HISTRIA DA MATEMTICA
esperaremos que tambm seja para o nmero mpar seguinte, que
(2n + 1); adicionando-o aos dois lados da equao ficamos com
1 + 3 + 5 + ... + (2n - 1) + (2n + 1) = n
2
+ (2n + 1)
A simplificao do lado direito
1
conduz-nos ento a
1 + 3 + 5 + ... + (2n - 1) + (2n + 1) = (n + 1)
2
Reparou no que temos, agora, no lado direito? n + 1 . Provou-se
deste modo que, sendo a propriedade P aplicvel a um qualquer
nmero n, tambm caracteriza n + 1 . Se a soma dos primeiros 676
nmeros mpares igual a 676
2
, ento a soma dos primeiros 677
nmeros mpares ter de ser 677
2
; qualquer que seja n - 1, 5, 676,
677 ou 20.052 -, a P(n) considerada verdadeira. Claro que o leitor
poder questionar esta assuno e decidir usar um computador para
testar se esta propriedade vlida para todos os n de 1 at 1 milho
por exemplo. A par do esforo extenuante, a prova numrica teria um
inconveniente de peso: no demonstraria que P(n) se aplica a
n = 1000001 . E com um nmero muito maior? Na verificao de um
padro que abrange uma infinidade de nmeros, a induo matem-
tica revela-se uma ferramenta poderosa.
Uma outra metodologia a demonstrao indirecta, que pode
assumir diferentes procedimentos. Um deles a prova por contradio.
Nesta, o objectivo validar uma dada afirmao mostrando que o
oposto falso. Ainda que, na vida diria, possamos viver com algu-
mas contradies - por exemplo, preocuparmo-nos com o aqueci-
mento global e, ao mesmo tempo, valorizarmos a inveno do auto-
mvel -, na matemtica tal no possvel. A demonstrao por con-
tradio assenta na crena de que a matemtica no dever conduzir,
nunca, a uma contradio lgica.
possvel, com uma certa sequncia de passos lgicos, todos
aceitveis, chegar a uma concluso absurda do tipo 2 + 2 = 5 ou
1 = O . Uma vez estabelecida, ser um rastilho para que surjam outras
(l) Consulte a minha obra Conceitos de Matemtica (Edies Slabo, 2008), pgina 51.
LGICA 103
concluses igualmente absurdas mas plausveis; o que provarmos de
forma lgica pode suportar outras provas. Aceitando que 1 = O , uma
das consequncias possveis defender que todos os nmeros so
iguais:
Sendo
x um qualquer nmero,
e
1 = O uma condio verdadeira,
multiplicando x por 1 = O teremos
X=O
Sendo
y um outro nmero arbitrrio,
teremos tambm
y=O
Logo,
X=Y
Perante isto poderamos conjecturar que, na matemtica, algo (ou
tudo ... ) pode ser verdadeiro e simultaneamente falso, pelo que nada
de significativo dado luz. Mas sabemos que no assim. Est
montado o cenrio apropriado entrada em palco do mtodo axiom-
tico.
A prova por deduo pode ser resumida assim: obter, em passos
discretos, novas verdades a partir de verdades conhecidas; se disser-
mos que OS seres humanos so mortais e " Lus um ser
humano, tendemos a afirmar que" Lus mortal. Alm de bvio,
um raciocnio correcto. Infelizmente, o processo dedutivo em si uma
via armadilhada ... Vejamos:
104
Os seres humanos so mamferos.
A Tat um mamfero.
Logo,
UMA HISTRIA DA MATEMTICA
a Tat um ser humano. (Mas no, uma hamster!. .. )
Todos os ces verdes so verdes.
Todos os ces verdes so ces.
Assim,
alguns ces so verdes.
Duas premissas vlidas produzem uma concluso invlida. Este
erro deriva de estarmos a pensar em termos de palavras, de adjecti-
vos, indiferentes ao facto de um desses predicados poder descrever
algo demasiado genrico ou impossvel. Assim sendo, que normas
(lgicas) devem presidir a uma demonstrao em que cada afirmao
deduzida (logicamente) de outras anteriores, em srie?
Quando um facto matemtico demonstrado por deduo a partir
de alguns pressupostos, ou axiomas (princpios) iniciais, a preocupa-
o central garantir que esses axiomas correspondem s intuies
de quem demonstra, e que sejam susceptveis de receber a anuncia
de toda a gente. que, depois de se escrever um certo conjunto de
axiomas, o que for deduzido a partir dos mesmos ser matematica-
mente vlido para o sistema de objectos a que os axiomas se referem.
No sculo dezanove foram formulados alguns axiomas referentes
aos nmeros inteiros, negativos e positivos:
a) Para quaisquer m e n temos que m + n = n + m e
m x n = n x m (comutatividade da adio e multiplicao);
b) Para quaisquer m, n e ktemos que k(m + n) = (km)+ (kn) -
lei distributiva;
e) Para todos os m, m + O = m (identidade aditiva);
d) Para todos os n, existe um nmero k de tal modo que
n + k = o (lei do simtrico da adio),
entre outros.
LGICA 105
Estes axiomas so aceites como definitivos pela comunidade de
matemticos. Porqu? A comutatividade da adio, por exemplo,
constata-se no quotidiano, em que somar duas mas a trs conduz
ao mesmo resultado que adicionar trs a duas, no final teremos sem-
pre cinco mas. No havendo qualquer razo para duvidar que esta
situao ocorrer com outros nmeros, num outro dia, o matemtico
consider-la- plausvel como pressuposto, tomando-a assim verda-
deira para qualquer par de nmeros inteiros. Uma vez axiomtica, esta
e as outras situaes atrs descritas legitimam qualquer propriedade
mais abstracta dos nmeros inteiros que seja demonstrada com base
nelas. Uma dessas propriedades, provada com os axiomas anteriores,
a de, para qualquer nmero n, existir um nico nmero k que satis-
faz a identidade n + k = O , ou seja, existe apenas um simtrico para
qualquer nmero inteiro que consideremos.
O bioqumico Michael Behe escreveu que ( ... ) a matemtica til
para a cincia somente quando os pressupostos de que partem as
anlises matemticas so verdadeiros. Estava a referir-se a pressu-
postos fsicos, qumicos ou biolgicos, mas o mesmo se aplica a
ideias matemticas. O interesse no mtodo axiomtico tem-se devido,
em larga medida, ao facto de os axiomas representarem efectiva-
mente padres significativos e correctos. Todavia, no suficiente que
um padro seja observvel para ser aceite como vlido e adaptado
como axioma. Necessita ser tambm um pressuposto til - e to sim-
ples quanto possvel - para o trabalho do(s) matemtico(s), e estar de
acordo com as suas intuies lgicas (ainda que colidam com a intui-
o do dia a dia, como o caso dos nmeros reais irracionais), enfim,
um conceito credvel para outros matemticos.
o processo de formulao axiomtica tem incio num
padro detectado na realidade quotidiana. Esta concepo, partilhada
por muitos, levou W. V. Quine (1908-2000) e H. Putnam (1926-) a pro-
mover a corrente empirista da natureza da matemtica: a existncia
dos nmeros e de outras entidades pode ser deduzida da observao
C
1
l Digo geralmente pois possvel estabelecer axiomas a partir de padres que resultem
da prpria matemtica, num processo que evolui com base em demonstraes lgicas
num ambiente puramente abstracto.
106 UMA HISTRIA DA MATEMTICA
do mundo fsico e Nada impede, contudo, que algum for-
mule arbitrariamente alguns postulados e consiga, a partir deles,
demonstrar logicamente certos teoremas.
Embora no se ofendam com quem v o seu trabalho como um
jogo, os matemticos sentem-se genuinamente desalentados
quando lhe acrescentam a expresso sem sentido. Consola-os o
facto de tais postulados e teoremas arbitrrios serem realmente des-
providos de sentido, no terem qualquer aplicao prtica seja na vida
quotidiana seja noutras reas matemticas, pelo que no podem ser
considerados verdadeira matemtica. Devlin afirma que Os axiomas
so como os alicerces de um edifcio. No importa se a matemtica
ergue as paredes e o resto da estrutura com muito cuidado. Se os ali-
cerces so frgeis, toda a construo poder ruir. Foi com naturali-
dade que a histria da matemtica a empurrou para a concluso que a
tarefa de fundar o seu trabalho e utilidade em alicerces slidos no
consiste afinal em provar que os conceitos matemticos existem, mas
sim que a matemtica logicamente consistente.
Com isto em mente, na dcada de 1880 Gottlob Frege (1848-1925)
abordou os nmeros inteiros como classes, ou conjuntos, de objectos.
Por exemplo, dois uma propriedade de conjuntos como {um co,
outro co} ou {uma folha, outra folha}, que coincidem em um-para-um
com um conjunto padro {a, representando assim o mesmo
nmero independentemente do significado desta palavra. Por conse-
guinte, se o nmero dois uma propriedade, ligada ao conjunto de
todos os nmeros dois, encararemos o 2 como o conjunto que com-
preende todos os conjuntos que coincidem com o conjunto-padro
{a, b}. Logo, o nmero trs ser o conjunto
{ ... {a, b, e}, {um gato, outro gato, um co}, {X, Y, Z} ... }
<
1
l Destaquei a palavra pode para que a viso empirista no seja confundida com o rea-
lismo platnico, para o qual, recorde-se, a existncia de nmeros e outras entidades
matemticas tem de ser inferida da observao do mundo real; para os empiristas, os
matemticos so tanto descobridores como inventores.
<
2
> a e b so diferentes.
LGICA
107
que, por ser mais fcil que pensar em animais ou letras, manipulamos
como 3. Frege descobriu que, nesta base, podia fundamentar logi-
camente toda a aritmtica dos nmeros inteiros.
O trabalho de Frege inspirou-se na teoria dos conjuntos desenvol-
vida por Georg Cantor (1845-1918) entre 1874 e 1879. Este matem-
tico alemo definiu conjunto como uma coleco de distinguveis
objectos de percepo ou pensamento, vistos ou concebidos como
entidades discretas que mantm sempre a sua identidade. Qualquer
elemento individual de um conjunto pode pertencer a outros conjuntos;
os conjuntos podem sobrepor-se, alguns contm outros (sub)conjun-
tos e um conjunto pode ter um nmero infinito de elementos. Alvo de
crticas de matemticos contemporneos - que era ficcional, que vio-
lava os princpios da religio crist e, mais grave, to pouco era mate-
mtica
1
-, a teoria dos conjuntos viria a revelar-se uma estrutura geral
e uma valiosa ferramenta para lidar com as exigncias de uma mate-
mtica mais abrangente e complexa, de tal como que Nicolas Bour-
baki escreveu, em 1939, Actualmente sabido ser possvel, logica-
mente falando, derivar praticamente toda a matemtica conhecida a
partir de uma nica fonte, a teoria dos conjuntos.
Esta teoria conseguiu tal estatuto instilando na comunidade mate-
mtica a ideia de que, ao se definir um objecto ou sistema abstracto
como um conjunto de objectos que satisfaz certa(s) propriedade(s),
no importante a natureza dos elementos desse conjunto, mas antes
as operaes que podem ser concretizadas com esses elementos. E
at isto acaba por ser irrelevante ao chegarmos s propriedades des-
sas operaes. Este o mago da questo: os matemticos no pre-
cisam saber realmente o que um nmero natural, nem o que a adi-
o ou a multiplicao. Ou seja, a elaborao matemtica pode beber
nesse nctar etreo, abstracto, que a comutatividade da adio, o
carcter primo de um nmero, que um nmero divida igualmente
outro ... por a fora, sem perder a sua validade e interesse.
<
1
> Henri Poincar considerou a teoria dos conjuntos uma Sria doena,, infectando a
mente dos matemticos, enquanto Leopold Kronecker afirmou ser Cantor um Charla-
to cientfico, renegado e corruptor da juventude.
108 UMA HISTRIA DA MATEMTICA
Os sistemas matemticos passaram a ser entendidos como con-
juntos (abstractos) de objectos nos quais podem ser executadas
diversas operaes, mantendo-se consistentes com determinados
axiomas. Dado que os conjuntos podem ser somados, promovendo
uma aritmtica dos conjuntos, que estes podem ser infinitos e, even-
tualmente, ter dimenses diferentes - por exemplo, cada nmero natu-
ral poder ser elevado ao quadrado, havendo nmeros naturais que
no so o quadrado de outros, implica que o conjunto de quadrados,
infinito, seja um subconjunto do conjunto infinito dos nmeros naturais
-, Cantor foi impulsionado para a inveno de uma aritmtica do infi-
nito, o que, convenhamos, uma noo estranha.
Compreende-se agora a relutncia inicial de muitos matemticos a
esta nova viso. A teoria dos conjuntos uma produo inteiramente
intelectual, a essncia da abstraco, o que fere certas sensibilidades
filosficas. E, como qualquer outra grande criao matemtica, deter-
minou as suas prprias propriedades; veio a descobrir-se que, com
elas, era possvel demonstrar que O igual a 1 ou 1 = 2 !
Bertrand Russell (1872-1970), matemtico e filsofo britnico,
acreditava que a matemtica pouco mais que lgica. Escreveu uma
carta a Frege, que se preparava para publicar o segundo volume da
sua grande obra Die Grundlagen der Arithmetik (As Fundaes da
Aritmtica), chamando a ateno para " conjunto de todos os conjun-
tos que no so elementos de si prprios.
Pensemos num conjunto fruta; este no elemento de si
mesmo j que o conjunto no um fruto. Para Frege, a qualquer pro-
priedade corresponder certamente um conjunto de objectos que tm
essa propriedade; se a propriedade, P, ser tringulo, ento o con-
junto relativo a P o conjunto de todos os tringulos. Russell pensou
em propriedades, digamos P
2
, que se aplicam a conjuntos, logo P
2

uma propriedade de P; a P
2
corresponde um conjunto de conjuntos.
Suponha que a propriedade P no ser um conjunto de si pr-
prio, e atente na figura que se encontra no incio da prxima pgina.
O conjunto X agrupa todos os conjuntos que no so elementos de
si mesmo, como o j mencionado conjunto fruta. Assim, que pro-
priedade, P
2
, representa X? X elemento de si prprio, ou no? O
LGICA
109
problema , de facto, saber o que X. Para nosso descontentamento,
no h uma resposta definitiva!. ..
Conjunto
Legumes
p
Conjunto
Doces
p
Consideremos primeiro que X no elemento de si prprio. Nesse
caso, X possui a propriedade P (que definir X), ou seja, P
2
= P.
Mas ... no comecei por escrever que X no elemento de si prprio,
que no igual ao que est no seu interior (com a propriedade P)?
Assim, P
2
* P. O que estou a afirmar que se X no pertence a si
prprio, ento pertence. Estar o leitor confundido? No surpreende,
pois X ser e no ser, ao mesmo tempo, um elemento de si mesmo
uma contradio bvia, difcil de assimilar. No vale a pena debater-
mos a segunda possibilidade, comeando por X elemento de si
prprio, porque iramos desembocar no mesmo paradoxo. Por curio-
sidade, usual formular esta situao sem sada em termos do bar-
beiro da aldeia, que barbeia toda a gente que no se barbeia a si
mesma; quem barbeia o barbeiro? Se se barbeia, ento no se bar-
beia, pois definimos que ele barbeava os homens que no o fazem a
si prprios. Uff, acho que estou a adquirir uma bela dor de cabea ...
11 o
UMA HIST RIA D A MATEMTICA
Figura 7.1. Se o barbeiro no se barbeia a si mesmo,
ter de ser barbeado pelo barbeiro da aldeia - ele prprio!
O que importa reter que a inconsistncia lgica num sistema
matemtico muito grave. Um grupo de axiomas inconsistentes anun-
cia-se bem pior do que se for simplesmente intil, uma vez que dele
podemos deduzir proposies ou teoremas incorrectos. Tinha de ser
abandonado o pressuposto que, para qualquer propriedade, haver
sempre um conjunto correspondente. A teoria de Cantor acabou por
ser refinada por Ernst Zermelo (1871-1953) e Adolf Fraenkel (1891-
-1965), que estabeleceram diversos princpios para, de modo preciso,
originar conjuntos, delinear as suas propriedades e manipul-los, con-
seguindo contornar cuidadosamente o tipo de problema levantado por
Russell. Mas a matemtica tinha perdido alguma da sua autocon-
fiana como sistema de demonstrao axiomtica.
Relembro que o modelo axiomtico consiste em demonstrar uma
certa proposio seguindo uma deduo lgica apoiada em axiomas
relacionados; se os axiomas utilizados so verdadeiros, ento a pro-
posio demonstrada -o necessariamente. Este jogo, obedecendo
s regras da lgica, depende intrinsecamente - como j sublinhei
vrias vezes - da gnese de axiomas apropriados. Embora as inter-
rogaes so suficientes?, precisaremos de mais axiomas?
LGICA
11 1
sejam importantes, no podemos negligenciar a questo-chave: um
sistema axiomtico, em particular, coerente? Esse formalismo inte-
lectual, essa preocupao com a perfeio tcnica dos sistemas
axiomticos teve como principal protagonista, disse-o no captulo 6, o
matemtico alemo David Hilbert.
Hilbert convenceu-se que era possvel provar que a matemtica
nunca conduzir a uma contradio lgica enquanto se mantiver fiel a
uma deduo, no uma interpretao, baseada em axiomas. Chegou
a esta concluso ao trabalhar num alicerce axiomtico para a geome-
tria euclidiana, que apresentou na sua obra de 1899 Grundlagen der
Geometrie (Fundaes da Geometria). O seu ponto de vista era que,
em ordem a dotar a matemtica com firmes fundaes lgicas, temos
de pensar nela como se fosse (embora no seja) um jogo lgico de
smbolos sem sentido, em que somente interessa o processo, a forma,
a estrutura final. Questes de contedo, de contexto, de significado
antrpico so uma outra esfera, mais subjectiva - a metamatemtica.
Por isso, no devemos confiar no mundo fsico para a formulao de
axiomas; num universo finito existe um limite para o nmero de gatos,
mas no h um limite para os nmeros inteiros; no sistema euclidiano,
as fraquezas lgicas que Hilbert identificou tero surgido por Euclides
ver uma linha como um longo objecto fino, um crculo como uma roda
e um ponto como uma pinta, e no como entidades abstractas. E o
paradoxo de Russell mostrara o quo difcil pode ser a criao de
axiomas que descrevam correctamente uma composio matemtica
notoriamente abstracta ...
Estas impresses suscitaram em Hilbert um projecto ambicioso:
desenvolver um programa que colocasse a matemtica, de uma vez
por todas, assente em slidas bases lgicas. A abordagem matem-
tica essencialmente abstracta, tormalstica, de procura de sistemas
axiomticos consistentes e perfeitos ficou conhecida como programa
de Hilbert. Alguns sucessos iniciais sugeriram que estava no caminho
certo, e para breve, a prova que a matemtica isenta de contradi-
es e que, para cada problema, existe uma soluo, confirmando-se
ou rejeitando-se uma dada afirmao matemtica. Consegue o leitor
imaginar interveno mais demolidora para um tal projecto dizer-se
que existiro sempre questes que no podem ser respondidas a par-
112 UMA HISTRIA DA MATEMTICA
tir dos axiomas? Foi o austraco Kurt Gdel (1906-1978) quem fez tre-
mer desta forma o edifcio matemtico.
Gdel nasceu em Brnn, na ustria-Hungria, hoje Brno na Rep-
blica Checa. Em 1923 ingressou na Universidade de Viena, onde se
debruou sobre a obra Introduo Filosofia Matemtica, de B. Rus-
sell, acto decisivo para abraar um futuro na lgica matemtica. No
suportando o regime nazi, partiu para os EUA em 1934. Torna-se cida-
do americano em 1948, passando o resto da sua vida em Princeton,
a travando amizade com Einstein. De sade dbil, fez disso uma obses-
so paranica nos ltimos anos de vida, crendo ser vtima de uma
conspirao para o envenenar. A certa altura recusou comer, aca-
bando por morrer no hospital por inanio e desnutrio. Muito antes
disso, em 1931, mudou radicalmente a nossa perspectiva acerca da
Verdade matemtica: publicou o artigo ber formal unentscheidbare
Stze der Principia Mathematica und verwandter Systeme (Sobre Pro-
posies Anteriormente No Passveis de Deciso nos Principia
Mathematica
1
e Sistemas Relacionados). Nele demonstrou que nenhum
sistema axiomtico, por mais elaborado e consistente que parea,
pode ser logicamente perfeito. E se fosse, seria impossvel prov-lo;
no por estar acima das nossas capacidades cognitivas, simples-
mente por tal prova no existir. Se o leitor perseguisse esse objectivo,
e fosse bem sucedido a mostrar que a matemtica consistente, esta-
ria ao mesmo tempo a provar que no . Curioso, no acha?
Antes de Gdel os matemticos defendiam que, uma vez algo
aceite como verdade, que 1 + 1 = 2 por exemplo, nenhuma obser-
vao ou experincia posterior poderia question-la, j que as verda-
des matemticas transcendem o mundo fsico; a lei da gravitao de
Newton revelou-se falvel com o estudo do planeta Mercrio, tendo
sido substituda pela teoria gravitacional de Einstein, situao que no
aconteceria com as leis da matemtica. Assim, a validade de qualquer
proposio deduzida dos axiomas de um determinado sistema era
sempre verificvel. Gdel demonstrou que no: algumas afirmaes
matemticas no podem ser confirmadas nem refutadas. Recorreu
(l) Obra redigida por Russell e Alfred N. Whitehead (1861-1947) na primeira dcada do
sculo vinte, almejando demonstrar que a matemtica um subconjunto da lgica.
LGICA
113
tambm a um paradoxo lgico - o antigo paradoxo grego do mentiroso
- para suportar a sua tese, que traduziu para termos matemticos for-
mulando o teorema T, que estabelecia que
O teorema Tno pode ser provado.
Que raciocnio geral seguiu Gdel? Veja o esquema seguinte.
Se todos os teoremas puderem
ser confirmados ou rejeitados,
ento
O teorema T provado
Mas T afirma que no pode
ser provado
A prova de T, que deveria
estabelecer a sua veracidade,
afinal revela que T falso
ou
O teorema T refutado
Significa que T
uma afirmao falsa;
T pode ser provado
A refutao de T constitui,
afinal, uma prova do teorema
Tem-se uma contradio
A assuno de que cada teorema pode ser confirmado ou refutado
diz-nos que T pode ser provado se, e apenas se, no puder ser pro-
vado!. ..
114 UMA HISTRIA DA MATEMTICA
Conclui-se deste modo que qualquer sistema axiomtico da mate-
mtica incompleto: haver sempre proposies verdadeiras que no
podero ser demonstradas a partir dos axiomas; a matemtica
inerentemente limitada. Implica que entre as proposies verdadeiras
mas no demonstrveis atravs de um processo algortmico, de dedu-
es formais, estar aquela que atesta a consistncia lgica desses
axiomas.
O trabalho de Gdel instituiu um importante ponto de viragem no
pensamento matemtico e filosfico ao fazer-nos ponderar a existn-
cia de mtodos no algortmicos para estabelecer a validade de uma
afirmao; abriu-nos para a possibilidade de se demonstrar informal-
mente uma afirmao que no conseguimos provar no interior da pr-
pria matemtica. O facto de a mente humana poder realizar uma tal
demonstrao metamatemtica aponta para que a reflexo e o conhe-
cimento da realidade no tenham de seguir uma receita predefinida.
Esta capacidade no algortmica (presumivelmente global) do nosso
crebro aparenta no ter paralelo nas mquinas pensantes.
Com a inveno da mquina de computao lgica, na base dos
actuais computadores, Alan Turing (1912-1954) mostrou que existem
limites computao. No sejamos, ento, ingnuos pensando que a
mente humana funciona como um moderno computador, mas evite-
mos tambm a imprudncia de assumir que um computador no pode
simular o nosso crebro. Chegamos assim ao corolrio deste nosso
livro.
Alan Turing
uma vergonha para a Inglaterra de meados
do sculo vinte que as leis e [preconceitos] sociais
da poca tivessem levado [algum to brilhante]
a uma morte precoce.
Peter Atkins
Se algum disser que sabe o que
a mecnica quntica, no a compreendeu.
Richard Feynman
ALAN TURING
11 7
Alan Turing nasceu a 23 de Junho de 1912, em Londres. Ainda
muito jovem, deliciava-se a pensar e resolver problemas. Como tinha
dificuldade em distinguir o lado direito do esquerdo, pintou uma boli-
nha vermelha no polegar esquerdo para conseguir deslocar-se com a
mesma facilidade das restantes crianas. Na adolescncia emergiram
outros obstculos. Um deles era a crescente conscincia da sua
homossexualidade. Um outro foi o auto-sentimento de indivduo mais
intelectual que atltico, o que no era muito conveniente nas escolas
privadas inglesas dos anos 1920.
Com um pai funcionrio da administrao pblica da ndia e uma
me oriunda da classe mdia alta, a expectativa era que Alan arran-
jasse em breve uma namorada de entre as belas raparigas que conhe-
ceria nas festas snob londrinas. Trocando as voltas aos desejos
parentais, o jovem de dezassete anos apaixonou-se por um colega
mais velho, de apelido Morcom. Construram conjuntamente um teles-
cpio para observar o cu nocturno das janelas do dormitrio,
enquanto discutiam animada mas sussurradamente sobre estrelas,
mecnica quntica e a condio humana. Pouco tempo aps travarem
conhecimento, Morcom morre devido a tuberculose.
Na esteira deste evento, Alan parece ter perdido toda a f religiosa
que eventualmente professasse. Tornou-se convicto de que a alma, tal
como o corpo, se perde com a morte. Essa nova f, num frio mate-
rialismo, ofereceu o substrato certo germinao na mente de Turing
de uma semente l plantada por David Hilbert. O fruto foi a concepo
de um dispositivo artificial capaz de pensar. Se no passamos de
p, ter sentido Turing, mecanismos, peas, fios elctricos e seres
humanos so uma e a mesma coisa ...
Tudo comeou no Vero de 1935, aos vinte e trs anos de idade,
com o interesse por um problema que tinha sido formulado em Paris,
no incio do sculo, numa palestra pblica de Dedicada aos
problemas matemticos que o respeitvel alemo considerava virem a
ser os grandes desafios dos cem anos seguintes, fez meno a uma
difcil questo de lgica que lidava com a possibilidade de realizar
extensas cadeias de raciocnio. Turing cogita ento sobre uma mquina
C
1
l No 2g Congresso Internacional de Matemtica, ocorrido em 1900.
118 UMA HISTRIA DA MATEMTICA
de computao lgica, conhecida tambm como mquina de Turing,
para responder ao Entscheidungsproblem (o problema da deciso):
saber, atravs de um nmero finito de passos, se uma qualquer equa-
o solvel; por outras palavras, comprovar - de uma forma mate-
mtica e sistematizada - a veracidade (ou falsidade) de uma dada
proposio matemtica. Enquanto os restantes investigadores aposta-
vam numa resoluo puramente abstracta do problema, Turing, que
sabia fabricar rdios e outras engenhocas, acreditava que seria um
maquinismo a providenciar a resposta.
A abordagem de Alan Turing focou-se na essncia do processo
que uma pessoa segue quando realiza um clculo, procurando depois
descobrir as limitaes desse processo: ser possvel formular uma
questo (clculo) que, por mais tempo que seja trabalhada, no vir a
ter resposta? A primeira concepo da sua mquina foi a de um meca-
nismo alimentado por sequncias de instrues, claras, redigidas pelo
operador da mquina; esta no tinha de as compreender, apenas exe-
cut-las. Turing achava que inmeros procedimentos, como multiplicar
nmeros ou fazer um desenho, podiam ser decompostos em passos
sequenciais lgicos, simples e discretos, legveis por uma mquina.
Como Turing avanou para atacar o problema da deciso bastante
interessante e hbil.
A dvida central, recordo, era: existe ou no um algoritmo geral
para decidir questes matemticas? A forma mais simples de o saber
verificar a existncia de um algoritmo especfico, mas universal, para
decidir sobre uma determinada questo. E a questo escolhida foi
ser que um certo clculo atingir um fim?; que uma computao
eventualmente parar com um certo input
1
? A idealizao matem-
tica do dispositivo que resolveria este problema foi publicada em 1936,
sob o ttulo On computable numbers, with na application to the Ents-
cheidungsproblem (Sobre os nmeros computveis, com uma aplica-
o ao Entscheidungsproblem). Neste artigo, Turing assume que tal
algoritmo no existe, provando que o halting problem (o problema
da paragem de um clculo) no pode ser solucionado. Para isso, con-
<
1
l Input um dado, uma informao, por exemplo o nmero 43 ou 5.367, que introduzi-
mos num clculo.
ALA N TURIN G
119
cebe uma computao que pra quando, e apenas quando, no pra,
uma contradio lgica a que Turing recorre inspirado na noo de
incompletitude de Gdel.
Como a mquina de Turing? Uma tira de papel infinitamente
comprida, dividida em pequenos quadrados, e uma cabea de lei-
tura e escrita que pode ser programada para responder de um certo
modo ao que estiver escrito no quadrado examinado a cada momento.
Figura 8.1. Esquema de uma verso possvel
da mquina de Turing
Na verso mais simples, cada quadrado na fita de papel tem
escrito o nmero 1 ou o nmero O. Dependendo do seu estado
interno (programao), a cabea pode ler o quadrado, escrever no
quadrado ou deslocar-se um quadrado para a direita ou para a
esquerda. Pensemos, por ora, na seguinte relao: uma mquina de
Turing ---+ um estado interno a cada momento ---+ uma fita. Assim, uma
dada mquina executar uma sequncia de aces de acordo com o
que est escrito na fita e de como a sua cabea foi desenhada para
responder. Imaginemos ento uma mquina que, encontrando-se no
estado A, l na fita o nmero 1 e o altera para O. Ao faz-lo, muda o
seu estado interno para B e avana um quadrado para a direita:
1 20 UMA HI ST RI A DA MATEMTICA
A
1 o o o o o 1
B
1 o o o o o 1
Nesse novo estado, e nova posio, a mquina encontra na tira o
nmero O. O seu estado actual ( B) leva a mquina a dar mais um
passo para a direita; se o nmero na tira tosse o 1, o estado B faria
a cabea movimentar-se para a esquerda. Como o leitor j descon-
fiar, uma cabea com vrios estados possveis e cuidadosamente
construda, e instrues bem definidas e lgicas, asseguraro a uma
mquina de Turing a capacidade de execuo de clculos razoavel-
mente elaborados.
At este ponto uma mquina de Turing consiste numa determinada
disposio de fita de papel e cabea de leitura/escrita (com um certo
procedimento incorporado). E pode acontecer, por exemplo, que uma
mquina T
1
1
produza o nmero 400 ao ler o nmero 25 num quadrado,
e pare o clculo; resumimos este resultado escrevendo T1 (25) = 400,
que impresso pela mquina. Por seu lado, a mquina T
2
no chega
ao fim do clculo, o que significa que no haver um resultado espec-
fico quando for alimentada com o dado nmero 25; escrevemos
agora T
2
(25) =o. Uma vez que existem incontveis combinaes
estado (programa)/dados (na fita), sendo impraticvel verificar uma
a uma todas as mquinas possveis, o matemtico ingls percebeu
(i) Tde Turing.
ALAN TURING
1 21
que tinha de trabalhar com uma mquina, universal, que pudesse ser
programada para emular
1
qualquer mquina individua/ de Turing, para
ento decidir, no geral, se o clculo atingiria um fim.
importante salientar que, numa mquina universal de Turing (Tu),
so usadas duas fitas de introduo de informao: uma com o pro-
grama (da mquina T
2
por exemplo, ou T
5
ou T
20
... ) e outra com os
dados. A mquina universal, ao contrrio das mquinas individuais,
no l apenas dados, comeando por ler o programa que a prepara
para a leitura de dados.
A fita com o programa pode ter a informao necessria codificada
de um modo to simples, conciso, quanto uma srie de uns e zeros.
Por exemplo, o cdigo cc01 O poder significar se for encontrado um
O na tira e estiver no estado 8, desloque-se um quadrado para a
direita; mas se ler um 1, altere-o para O e desloque-se um lugar para a
esquerda. Na execuo de diversas operaes sucessivamente, a
fita do programa ter o aspecto ... 001010001 ... Caso seja fornecido
mquina universal o programa para a configurar como T
1
, a introduo
do dado nmero 25 produzir o resultado 400, ou seja,
Tu (1; 25) = 400. E se existisse uma mquina universal actuando
desta forma engenhosa, capaz de decidir se uma certa combinao,
por exemplo T
20
e o nmero 6, levar ou no a mquina a uma para-
gem do clculo? Poupando o leitor a uma deduo suficientemente
tcnica e enfadonha para o fazer parar a leitura deste livro, direi ape-
nas que Turing demonstrou de forma peremptria no ser possvel
decidir se a mquina Th est includa na lista de todas as mquinas de
Turing concebveis, pelo que no Logicamente, no h um
<
1
> Representar.
<
2
> h de halt (paragem).
<
3
> Para os leitores mais curiosos, acrescento que Turing apoiou-se numa argumentao
diagonal muito semelhante que Georg Cantor usou para demonstrar que os nme-
ros irracionais no so contveis. Basicamente, elaborou uma amostra da tabela com
todos os nmeros computveis possveis, submetendo-a de seguida inspeco da
mquina Th, que deveria produzir de novo todos os nmeros computveis; o problema
que essa anlise (e esta a parte enfadonha) gera nmeros que deviam mas no
esto includos na tabela original, levando a concluir que a mquina Th poder decidir
que o clculo pra quando, na realidade, no pra.
122 UMA HISTRIA DA MATEMTICA
algoritmo geral para clarificar certas questes matemticas; o Entschei-
dungsproblem no tem soluo; a computao limitada.
Apesar disso, Alan Turing compreendeu rapidamente que a sua
mquina tinha potencialidades extraordinrias, apesar de eu acreditar
que ficaria muito surpreendido com o que conseguido pelos actuais
computadores. Essas potencialidades assentavam na capacidade de
a mquina de Turing, destituda de uma configurao individual e
rgida, poder alterar a interaco entre as suas partes constituintes
segundo as exigncias de cada novo
Compreendeu tambm que qualquer dispositivo pensador que
ambicionasse a rapidez do pensamento humano teria de ligar e desli-
gar os seus componentes internos mais depressa do que est ao
alcance de meras engrenagens mecnicas. Dependia da electricidade.
Dependia de muitos e pequeninos interruptores que mudassem o seu
estado Velocidade da luz. Os mais avanados interruptores telef-
nicos dos anos 1930 eram demasiado grandes. A mquina que Turing
desejava fabricar estava presa evoluo da mecnica quntica.
A teoria quntica tem como pilar a ideia de que as ondas compor-
tam-se como partculas e as partculas como ondas. Foi Max Planck
(1858-1947) quem deu o pontap de sada de uma revoluo no modo
como encaramos a matria. Numa palestra proferida em Dezembro de
1900 (que ano fantstico, no acha?) na Sociedade Alem de Fsica,
Planck comeou por apresentar a radiao como um resultado da
vibrao de tomos e electres presentes num corpo quente. Tanto os
antecessores como os contemporneos de Planck aceitavam que a
energia de cada um desses osciladores variaria de forma contnua,
como se subisse ou descesse uma rampa. Pasmando quem o ouvia,
Planck defendeu que a energia de cada partcula vibratria mudava
em saltos, em passos descontnuos, como se subisse ou descesse
uma escada; a energia, e as partculas que a materializam, vm aos
bocados. No demorou muito a que surgisse e ganhasse razes (a
partir da dcada 1920) o conceito de a matria ter uma natureza ondu-
latria, acompanhado pela ideia estranha de os electres se desloca-
rem irregularmente, como que teletransportados em saltos qunticos,
<
1
> Aqui emerge o conceito de software.
ALAN TURING 123
alm de estarem a sofrer a todo o instante paragens e arranques sbi-
tos.
Torna-se evidente que a concretizao de uma mquina infinita-
mente reconfigurvel - um computador programvel - teria de passar
por electres a mudar de posio, a ir para ali ou acol, a um nvel
microscpio da matria slida, imvel. S assim os interruptores
podiam ser muito pequenos e rpidos, algo que no realizvel com
peas mveis, sejam ccpontes, rodas ou alavancas. O ideal, mesmo,
era que fossem interruptores atmicos ...
Finda a Segunda Guerra Mundial, perodo em que Turing esteve
envolvido na descodificao de mensagens do exrcito e marinha ale-
mes, em Bletchley Park, onde chegou a ser montado um mecanismo
(o Colossus) que se aproximava - no conceito, no em tamanho - da
mquina universal, o matemtico ingls ingressou no National Physi-
cal Laboratory, nos arredores de Londres. Ainda que dirigido por Sir
Charles Darwin, neto do mais famoso dos Darwin e um notado gestor
cientfico, o laboratrio no ofereceu a Turing as condies materiais e
a motivao - o director achava-o demasiado extravagante, porventura
desequilibrado - para avanar com a construo do seu computador.
Nos finais de 1948 Turing mudou-se para Manchester, atrs de um
rumor que dava como certa a construo de uma mquina semelhante
que idealizara nos anos 1930. Cedo descobriu que os planos dessa
mquina eram menos arrojados do que o rumor fazia crer, decepo
que potenciou a frieza dos outros matemticos responsveis pelo pro-
jecto devido ao peso invisvel, mas sensvel, das barreiras sociais; o
sotaque de escola cara, do sul de Inglaterra, insinuou-se subtilmente
nas relaes entre Turing e os colegas oriundos de classes menos
favorecidas. Descobriu-se num beco sem sada e, pior que isso, sen-
tia-se s e abandonado.
Durante muito tempo pensou-se que apenas existiam dois tipos de
materiais no que concerne corrente elctrica: os condutores, que a
deixam passar, como o ao ou o cobre, e os isoladores, como o vidro,
a madeira ou a borracha, que nunca a conduzem. Um dos materiais
mais abundantes do mundo alterou, tardiamente (que ironia!), este
estado de coisas. Refiro-me areia. Perdo, devo dizer ... silcio.
124 UMA HISTRIA DA MATEMATICA
O silcio o segundo elemento mais abundante (28%) na crosta
terrestre, perdendo somente para o oxignio. Na forma de slica,
usado pela Humanidade desde tempos imemoriais, primeiro como
slex afiado
1
e, depois, como vidro e artigos utilitrios e decorativos.
Curiosamente, s despertou o interesse dos qumicos no dealbar do
sculo dezanove da nossa era. Em 1811, Joseph Gay-Lussac e Louis-
-Jacques Thnard estiveram perto de isolar o silcio ao adicionarem
potssio metlico a tetracloreto de silcio; reagindo violentamente,
estes dois compostos acabaram por originar uma espcie impura de
silcio que os qumicos franceses, por razes desconhecidas, no ten-
taram purificar. Assim, o crdito da descoberta deste elemento
usualmente atribudo ao sueco Jns Jacob Berzelius, que conseguiu
obter um p relativamente puro de silcio, amorfo naturalmente. A
outra forma de silcio, a cristalina, foi produzida pela primeira vez, e
acidentalmente, em 1854 pelas mos de Henri Deville, que, ao elec-
trolisar um composto impuro de cloreto de sdio e alumnio, fez surgir
um silicieto de alumnio; o tratamento com gua dissolveu o alumnio,
deixando para trs uma pelcula brilhante de silcio.
Este elemento mudou o curso da histria humana quando o conse-
guimos num estado ultrapuro, o que possvel fazendo:
- reagir o zinco com o tetracloreto de silcio;
- a hidrlise trmica do silano (SiH
4
); ou
- a reduo qumica do triclorosilano (SiHCl
3
) com hidrognio
gasoso.
O ponto de partida tem de ser necessariamente o silcio puro, mas
o papel que lhe foi dado a desempenhar no nascimento do computa-
dor electrnico obrigou a que os cristais de silcio fossem contamina-
dos2 com outros elementos, como o arsnio, o fsforo ou o boro,
numa concentrao volta de 1 parte por milho. O que toma o silcio
com um pouco de arsnio, fsforo ou boro to especial?
<
1
> O silcio, como slica ou silicato, no s areia; um elemento chave dos minerais
mais importantes de todos os tipos de rochas. Algumas so particularmente ricas neste
elemento, como as rochas sedimentares de nome diatomito e silexito.
<
2
> O termo original, em Ingls, doped, ou seja, drogados, dopados.
ALAN TURING
125
Os computadores necessitam de transstores. Um transstor um
pequeno cristal que desempenha as funes de uma vlvula (comuta-
dor) elctrica. O silcio um mau condutor de electricidade, a no ser
que seja (muito) aquecido ou combinado com alguns outros elementos.
Por isso, chamado semicondutor, com as tais impurezas, a condu-
tividade do silcio habitualmente aumentada cerca de 100.000 vezes.
j uma forma de regulao da corrente elctrica, mas o melhor est
para vir. A aplicao certa dos elementos invasores tem com efeito
extraordinrio os electres em excesso movimentarem-se atravs do
cristal silicioso numa dada direco, com aceleraes e desacelera-
es mtuas passveis de ajustamento; caso contrrio, com uma cir-
culao totalmente livre e aleatria dos electres, o silcio no passa-
ria de um interruptor sempre na posio on. E uma vez que a dife-
rena de energia entre a estabilidade e a excitao (fuga) dos elec-
tres num semicondutor relativamente diminuta, basta uma pequena
voltagem para pr os electres em movimento e o mecanismo em
aco. Do silcio ccdopado aos minsculos transstores foi um pequeno
passo. Estava encontrado o interruptor, slido, controlvel, atmico,
que Turing tanto procurara.
Alan teve conhecimento dos trabalhos em tomo desta nova tecno-
logia por meio de uma carta enviada em 1948 por um amigo dos tem-
pos de Bletchley Park. Todavia, o clima relacional existente em Man-
chester impediu-o de saber mais. A dvida sobre se tais dispositivos
estavam efectivamente a ser fabricados fez Turing voltar-se para algu-
mas das suas antigas reflexes filosficas e matemticas, analisando
as regularidades das espirais das margaridas e de outras plantas e
dissertando acerca do que significa ser uma entidade solitria; publi-
cou um artigo sobre a natureza da conscincia e a inteligncia artificial,
com um importante impacto, anos depois da sua morte, na emergente
cincia informtica.
A sua vida amorosa era errtica, cingindo-se a encontros ocasio-
nais. Em Janeiro de 1952, na sequncia da denncia de um assalto a
sua casa perpetrado por um cmplice do amante de ento, a
homossexualidade de Turing foi exposta. Naquela poca, essa orien-
tao sexual era um crime grave na Inglaterra. Os servios prestados
durante a Guerra - na origem de uma condecorao com a presti-
126 UMA HISTRIA DA MATEMTICA
giada Ordem do Imprio Britnico - asseguraram que Turing no cum-
prisse pena de priso. Mas teve de se submeter a um tratamento hor-
monal, base de estrognio, com o pretenso fim de o curar da
homossexualidade. Sofreu mudanas anatmicas (o peito aumentou
de volume) e dificuldades de concentrao. A juntar a isso, um pro-
fundo sentimento de humilhao. Embora o tratamento tivesse sido
interrompido no ano seguinte, Alan no recuperou completamente.
Sem parceiros intelectuais e amorosos altura, talvez tenha come-
ado a acreditar que reencontraria Morcom. Muito aps a morte deste,
Turing surpreendeu os colegas citando repetidamente uma frase do
filme que Walt Disney preparava, A Bela Adormecida. Num dia taci-
turno de 1954, Alan foi encontrado morto na sua casa de Wilmslow, ao
lado de um frasco com cianeto de potssio e de uma ma com mar-
cas de dentadas ...
ALAN TURING 127
Ao chegar ao fim deste livro, desta propositadamente breve mas
inspiradora histria da matemtica, no consigo deixar de pensar que,
como a generalidade dos feitos da Humanidade, os avanos e aplica-
es desta disciplina so fruto de 10% de inspirao e 90% de dedica-
o e esforo, reflectindo os sonhos e desiluses, crenas e incerte-
zas, capacidades e idiossincrasias das mulheres e homens que nela
se envolveram. Andrew Wiles tinha dez anos quando leu sobre o
ltimo Teorema de Fermat, decidindo ento tornar-se matemtico
para provar esse teorema; f-lo aos quarenta e um anos de idade.
Indivisvel da natureza humana, na matemtica, se o sonharmos, con-
seguimo-lo ...
O Mestre disse: aos quinze anos dediquei-me de alma e
corao ao estudo. Aos trinta assentara os meus ps com
segurana no cho. Aos quarenta anos no era mais ator-
mentado por hesitaes. Aos cinquenta conhecia as ordens
do Cu. Aos sessenta escutei-as com um ouvido dcil. Aos
setenta anos podia seguir os ditames do meu corao, pois
os meus desejos j no ultrapassavam os limites do que
estava certo ...
Em Analectos, de Confcio.
Nota pessoal
Ao escrever este livro dei por mim a reflectir sobre o valor, um
significado para a matemtica. Arrisco a partilh-lo consigo, caro leitor,
numa opinio muito pessoal, porventura mais titubeante do que dese-
jaria. No matria fcil...
Vejo a matemtica como uma poderosa mas, na essncia, simples
linguagem simblica produto do engenho humano, capaz de se adap-
tar e recrear com as circunstncias. Nasce, evolui e eventualmente
morre no crebro humano. Porque se adequa e descreve to bem a
nossa realidade fsica? A matemtica que usamos a que sobreviveu
validao de geraes de perguntas, tentativas esforadas, provas
conceptuais e testes prticos.
O mundo tem a sua lgica prpria, a mente humana segue essa
lgica, inteligvel portanto, no devendo surpreender que conceba coi-
sas com a mesma lgica. Quando entramos em domnios altamente
complexos, na matemtica com o seu qu de delirante, podemos
deixar de saber se o que estamos a inferir ou a deduzir vir a ser con-
firmado pela realidade. Nem importa. Empurrada pelo poder, pela
imaginao da nossa mente, a matemtica tem tecido os elementos,
regras e dinmica, enfim, a matriz certa para ser um recreio privile-
giado de brincadeiras puramente intelectuais. E no consigo evitar,
ao recordar o realismo e o intuicionismo, em menor grau o formalismo
hilbertiano, a impresso de o nosso esprito crtico ser relegado para
um papel algo passivo, mais actor que director no grande palco da
vida. A matemtica, repito, um feito assombroso da Humanidade,
conseguido com alguma inspirao e muito trabalho - esta a crena
que me conforta.
A redaco desta pequena histria da matemtica fez-me tomar
conscincia de um outro aspecto deveras interessante. Ao contrrio
do que poder pensar o leitor, no me formei em matemtica nem em
130 UMA HISTRIA DA MATEMTICA
filosofia, embora tenha mantido com ambas uma relao estreita, o
que no admira dado ser bilogo. Ao aceitar o desafio lanado pelo
meu editor, senti de imediato que dependeria de alguns gigantes
intelectuais para levar o projecto a bom termo, algum como lan Ste-
wart, Peter Atkins, Charles Van Doren ou Keith Devlin. Podia limitar-
-me a deixar cair sobre mim o seu olhar complacente, mas subi - com
suor e algum arrojo - at ao planalto dos seus ombros. Por favor, no
me julgue j imodesto.
Essa subida teve um efeito singular: apesar da minha pequenez>,
os meus olhos elevaram-se um pouco acima dos dos meus gigan-
tes e, inevitavelmente, afastei a linha do horizonte; vi mais longe.
Quero com isto dizer que, ao emprestar a minha inteligncia, sensibili-
dade, dvidas e reflexo ao conhecimento que recebi, gerei conheci-
mento novo e, mais relevante, conhecimento acessvel e significativo
para mim; reperspectivei-o e ti-lo meu. Depois, atravs deste livro, par-
tilhei-o com o leitor. Espero sinceramente que no concorde com
alguns dos meus pontos de vista, que discuta e ponha em causa a
minha argumentao. Significa que leu este livro e o tornou seu, subiu
mais alto ... Talvez, neste caminho, tenha ficado a apreciar mais a
matemtica. Para mim, foi uma maravilhosa etapa de crescimento
pessoal.
A matemtica pura consiste inteiramente em afirmaes do
tipo: se tal e tal proposio verdadeira de qualquer coisa,
ento uma outra proposio tal e tal verdadeira dessa
coisa. essencial no analisar se a primeira proposio
realmente verdadeira, nem mencionar o que o qualquer
coisa de que suposto ser verdadeira ... Se a nossa hiptese
sobre qualquer coisa e no sobre algum ou coisas mais
particulares, ento as nossas dedues constituem aquilo a
que chamamos matemtica. Por isso, a matemtica pode ser
definida como a disciplina em que nunca sabemos sobre o
que que estamos a falar, nem se o que estamos a dizer
verdadeiro.
Bertrand Russell, Recent work on the principies of mathematics, 1901.
ndice remissivo
A
baco, 41
Abu ibn lshaq al-Kindi, 24
Adolf Fraenkel, 11 o
Afirmaes anallticas, 87
Afirmaes sintticas,
a posteriori, 87
a priori, 87
Agricultura, 14, 20
AlanTuring, 114, 117, 118, 122, 123,
125, 126
Alfred N. Whitehead, 112
lgebra, 51, 53, 83, 91
Algoritmo, 42
Al-jabr, 57, 58
Al-Karaji, Abu al-Husayn, 101
Al-Khwarizmi, Muhammad ibn Musa, 57
al-Kindi, Abu ibn lshaq, 24
Anlise (processamento
de informao pelo crebro), 64
Andrew Wiles, 72
Anel algbrico, 91
Antigo Egipto, 22
Antigos Gregos, 53-57, 61-65
Argand, J. A., 92
Aritmtica, 39
Aritmtica modular ou finita, 74
Aritmmetro (mquina calculadora), 48
Atkins, P., 87
Augusta A. King
(Condessa de Lovelace), 46, 47
B
Babbage, C., 46
Barbeiro da aldeia,
Paradoxo do, 109
Behe, M., 105
Bertrand Russell, 108, 112, 130
Berzelius, J., 124
Bhaskara Akaria, 32
Blaise Pascal, 44, 101
Bombelli, A., 83
Boole, G., 95
Bourbaki, N., 107
Brahmagupta, 24, 31
Briggs, H., 44
Brouwer, J., 88
Brgi, J., 42
Bumet, J., 62
e
Campo algbrico, 91
Cantor, G., 107
Carcavi, P., 71
Cardano, G., 83
Carl Friedrich Gauss, 74, 90
Carlson, N., 64
Crebro humano, 62-65
Charles Babbage, 46
Charles Thomas de Colmar, 48
Chebychef, P., 70
Chomsky, N., 89
Christoff Rudolff, 59
132
Colmar, Charles Thomas de, 48
Comportamento humano moderno .. , 16, 17
Computador, 8, 89, 114, 123, 125
Condessa de Lovelace
(Augusta A. King), 46, 47
Congruncia, 75
Conjectura de Taniyama-Weil, 94
Conservao do nmero, 13
Coordenadas cartesianas, 84, 86
Criptosistema RSA, 79
D
Daniel Pink, 65
David Hilbert, 88, 111, 117
Dawkins, R., 94
Demonstrao lndlrecta, 102
Prova por contradio para, 102
Demonstrao lgica, 100
Descartes, R., 46, 59, 84-87
Deville, H., 124
Devlin, K., 13
Diagrama de Argand, 92
Diofanto de Alexandria, 57
E
Edward Waring, 80
Einstein, A., 46,83
Emanuel Kant, 87
Emmy Noether, 91
Empirismo matemtico, 105
Entscheidungsproblem
(o problema da deciso), 118
Equaes algbricas, 53
Ernst Kummer, 91
Ernst Zermelo, 11 O
Escrita cuneiforme, 21
Estado interno, 119
Euclides, 55, 65, 69, 70, 111
UMA HISTRIA DA MATEMTICA
F
Fermat,
Mtodo de decrscimo infinito de, 74
Pequeno Teorema de, 71, 79
Pierre de, 71, 84, 101
ltimo Teorema de, 72-74, 91, 93
Fibonacci (Leonardo de Pisa), 25, 31
Formalismo, 88
Fraenkel, A., 11 O
Francesco Maurolico, 101
Franois Viete, 60, 83
Frege, G., 106, 108
Frey, G., 94
G
G. B. Halsted, 36
G. H. Hardy, 8
Galileu Galilei, 7, 45
Gauss, C. F., 74, 90
Gay-Lussac, J., 124
Geometria, 54, 56
Geometria analtica, 84
Georg Cantor, 107
Georg F. Riemann, 83
George Boole, 95
Gerhard Frey, 94
Germain, Marie-Sophie, 77
Girolamo Cardano, 83
Giuseppe Peano, 32, 99
Gdel, K., 89, 112, 119
Gottfried Leibnitz, 86
Gottlob Frege, 106, 108
Gustave Solomon, 94
H
Halsted, G. B., 36
Halting problem (problema da paragem), 118
Hamilton, Sir William, 93
Hardy, G. H., 8
INDICE REMISSIVO
Harriot, T., 60
Harry Jerison, 19
Hemisfrio cerebral direito, 62-64
Hemisfrio cerebral esquerdo, 62-64
Henri Deville, 124
Henri Poincar, 107
Henry Briggs, 44
Hierglifos numricos, 22
Hilary Putnam, 105
Hilbert, D., 88, 111, 117
Hughlings, J., 62
lan Stewart, 95
lncompletltude da matemtica, 89, 114
Induo matemtica, 74, 100, 101
Princpio da, 100
Infinito, 32
Inteligncia,
Evoluo da, 17, 18
Linguagem e, 18, 19
Interruptor quntico, 123, 125
Intuicionismo, 88
Irving Reed, 94
J
Jacquard, J. M., 47
Jan Brouwer, 88
Jean Robert Argand, 92
Jerlson, H., 19
Jobst Brgi, 42
Johan Rahn, 59
Johannes Widmann, 35, 59
John Burnet, 62
John Hughlings, 62
John Napier, 42
John Wallis, 32
Jns Jacob Berzelius, 124
Joseph Gay-Lussac, 124
Joseph-Louis Lagrange, 77
K
Kant, E., 87
Keith Devlin, 13
Khipu, mecanismo aritmtico, 40
Kronecker, L., 7, 107
Kummer, E., 91
Kurt Gdel, 89, 112, 119
L
Lagrange, Joseph-Louis, 77
Leibnitz, G., 86
Leis do raciocnio/
/lgebra do pensamento .. , 95
Leonardo de Pisa (Fibonacci), 25, 31
Leopold Kronecker, 7, 107
Logaritmo, 42
133
Lgica, 96, 99, 106, 108, 110-114, 119
Louis-Jacques Thnard, 124
Luca Pacioli, 31
Luigi Menabrea, 47
M
Mquina Analtica (Analytcal Engine), 46
Mquina de computao lgica, 114, 118
Mquina de Turing, 118, 119
Mquina Diferenciadora
(Difference Engine), 46
Mquina universal de Turing, 121
Marcas ou incises
em barro ou osso, 15, 16
Marie-Sophie Germain, 77
Marin Mersenne, 71
Maurolico, F., 101
Max Planck, 122
Mecnica quntica, 122
Menabrea, L., 47
Mersenne, M., 71
Mesopotmia, 20, 24, 41
Metamatemtica, 88, 89, 111, 114
134
Mtodo axiomtico, 103, 11 O
Axiomas dos nmeros inteiros, 99, 104
Conceito de axioma, 104
Prova por deduo, 103
Mtodo de codificao Reed-Solomon, 94
Michael Behe, 105
Mileto (cidade), 61
Mileto, Tales de, 62
Mdulo, 74
Muhammad ibn Musa al-Khwarizmi, 57
Napier, J., 42
Neil Carlson, 64
Nicolas Bourbaki, 107
Noam Chomsky, 89
Noether, E., 91
Numerais Brahmi, 23
Numerais Khasrosthi, 23
Nmeros complexos, 90
Nmeros compostos, 69
Nmeros de Gauss, 91
Nmeros hindu-rabes, 23
Nmeros imaginrios, 90
Nmeros inteiros de Gauss, 90
Nmeros naturais, 7, 13, 51, 65, 99, 104, 106
Nmeros negativos, 33
Nmeros primos, 69-72, 76, 79, 90
Nmeros racionais, 57, 91
o
Ornstein, R., 63
Osso de fshango, 15, 16
Osso de Lebombo, 15
Ossos de Napier, 44
Oughtred, W., 59, 60
UMA HISTRIA DA MATEMTICA
p
Pacioli, L., 31
Pafnuti Chebychef, 70
Papiro de Moscovo, 52
Paradoxo do barbeiro da aldeia, 109
Paradoxo grego do mentiroso, 113
Pascal, 8., 44, 101
Pascafine (Mquina Aritmtica), 44
Peano, G., 32, 99
Pensamento de predominncia direita, 65
Peter Atkins, 87
Pictogramas, 21
Pierre de Carcavi, 71
Pierre de Fermat, 71 , 84, 101
Pink, D., 65
Pitgoras, 54
Planck, M., 122
Poincar, H., 107
Postrel, V., 65
Problema da deciso
(Entscheidungsprobfem), 118
Problema da paragem
(Hafting probfem). 118
Processamento holstico, 64
Programa de Hilbert, 111
Programao, 119
Putnam, H., 105
Q
Quine, W. V., 105
R
Rafael Bombelli, 83
Rahn, J., 59
Realismo platnico, 88
Reciprocidade quadrtica, 76
Recorde, R., 59
Reed, 1., 94
Ren Descartes, 46, 59, 84-87
NDICE REMISSIVO
Richard Dawkins, 94
Richard Taylor, 94
Riemann, G. F., 83
Robert Ornstein, 63
Robert Recorde, 59
Rudolff, C., 59
Russell, B., 108, 112, 130
s
Santo Agostinho, 46
Semicondutor, 125
Silcio, 123-125
Aplicao informtica do, 124, 125
Isolamento do, 124
Purificao do, 124
Sntese (processamento
de informao pelo crebro), 64
Sir Charles Darwin, 123
Sir William Hamilton, 93
Sistema binrio, 26, 27
Sistema de coordenadas cartesiano, 84
Sistema hiertico egpcio, 22
Sistema numrico babilnico, 21
Sistema numrico cifrado, 22, 24
Sistema numrico
de varetas chins, 33, 34
Sistema numrico decimal, 26
Sistema numrico posicional, 24
Sistema posicional hindu, 24
Solomon, G., 94
Stewart, 1., 95
T
Tabelas de logaritmos, 42, 43
Tales de Mileto, 62
Taylor, R., 94
Teorema de Pitgoras, 54, 73
Teoria das curvas elpticas, 93
Teoria dos conjuntos, 107
135
Teoria dos nmeros (naturais), 65, 69
Thnard, L.-J., 124
Thomas Harriot, 60
Transistor, 125
Trigonometria, 83
Turing, A., 114, 117, 118,
122, 123, 125, 126
u
Unidades de contagem em barro, 14
V
Viete, F., 60, 83
w
Wallis,J., 32
Waring, E., 80
Whitehead, A. N., 112
Widmann, J., 35, 59
Wiles, A., 72, 94
Willard V. Quine, 105
William Oughtred, 59, 60
z
Zermelo, E., 11 O
Zero, 27, 31
LUS M. AIRES doutorado em Metodologia
das Cincias Naturais e membro do Centro de
Investigao em Educao da Faculdade de
Cincias de Lisboa. Reparte os seus estudos
pelo ensino da Biologia, a disciplina na sala
de aulas e a didctica da Matemtica. Este o
seu dcimoterceiro livro.
No escrevi esta pequena histria da mate-
mtica para leigos nem para peritos. Pretendi
somente transmitir uma perspectiva pessoal
do que a matemtica pode dizer de ns. Tal
como a inveno da escrita, a construo da
Grande Muralha da China, a abolio da
escravatura e da pena de morte, e a ida Lua.
Para que, quem no gosta da matemtica
passe a gostar, e quem gosta, a aprecie ainda
mais. Espero ser bem sucedido.
Feij, Janeiro de 201 O
ISBN 978-972-618-570-3
111111111111111111111111111111
9 789726 185703