A Natureza Da Matemática - Ponte Et Al.

A NATUREZA DA MATEMTICA
A natureza da Matemtica
1
A questo do que hoje um bom ensino da Matemtica no uma questo pacfica. Tem diversas
respostas dependendo das finalidades da educao privilegiadas que variam consoante os conte!tos
sociais polticos e culturais onde a questo colocada que se relacionam com as perspectivas
psicol"gicas e sociol"gicas sobre a aprendi#agem em que nos situarmos. $o entanto diversos
matemticos fil"sofos e educadores salientam cada ve# mais que a concepo que se sustenta
sobre a Matemtica influencia profundamente o que se considera ser desejvel relativamente ao seu
ensino e aprendi#agem. Assim sendo como %ersh escreve num artigo publicado em &'() a questo
no ento qual a melhor maneira de a ensinar mas o que realmente a Matemtica.
Ao pretender fa#er*se um c+mputo geral da Matemtica que revele os seus factores essenciais e
e!plique como que os seres humanos so capa#es de a fa#er torna*se difcil organi#ar os diversos
aspectos num todo coerente. ,e facto a simples pergunta -afinal o que a Matemtica. tem sido ao
longo dos tempos objecto de diversas tentativas de resposta. / os problemas acentuam*se quando
se pretende identificar os objectos das suas teorias. A Matemtica o conhecimento de qu01 /sta
questo filos"fica apesar de ser to antiga quanto esta ci0ncia tem gerado desde sempre in2meras
controvrsias.
3onstitui pois um desafio conceber um balano que abarque a comple!idade e o carcter
multifacetado da Matemtica enquanto actividade e corpo de conhecimentos. /ste desafio
acrescido se se tiver em conta que ela no tem permanecido igual a si pr"pria ao longo dos tempos.
4elo contrrio tem sofrido um processo de evoluo constante no qual se detectam mudanas
profundas nalguns dos seus aspectos mais essenciais. 5istema organi#ado linguagem instrumento
actividade so diversas perspectivas segundo as quais a Matemtica tem sido encarada.
A!iomati#ao formali#ao deduo so o essencial para alguns e apenas uma parte nem sequer
a mais importante para outros.
Tradicionalmente a epistemologia da Matemtica procura responder a quest6es relacionadas com a
l"gica interna de produo do saber adquirindo as respostas frequentemente um carcter
prescritivo. 4rocura*se garantir a certe#a do saber matemtico e discute*se a nature#a e os
fundamentos desta ci0ncia. $o entanto uma refle!o limitada a estas quest6es falha em locali#*la
num conte!to mais amplo do pensamento humano e da hist"ria.
5e a Matemtica for descrita em termos dos seus conceitos caractersticas hist"ria e prticas abre*
se espao para que a filosofia da Matemtica para alm de reflectir sobre quest6es internas relativas
ao conhecimento matemtico sua e!ist0ncia e justificao se debruce tambm sobre quest6es
e!ternas relacionadas nomeadamente com a origem hist"rica e os conte!tos sociais de produo
desse conhecimento. A actividade matemtica poder assim ser discutida como parte integrante da
cultura humana em geral.
1
Captulo 2 do livro Ponte, J. P., Boavida, A., Graa, M., & Abrantes, P. (199!. Didctica da matemtica.
"isboa# $%& do M%.
&
$este captulo reflecte*se sobre a nature#a da Matemtica procurando enquadrar esta dualidade
relativa a aspectos internos e e!ternos da produo do saber. $uma primeira seco abordam*se
quest6es relacionadas com a nature#a dos objectos matemticos e discute*se o papel da e!peri0ncia
e da ra#o na gnese e desenvolvimento da Matemtica. Tendo por conte!to uma perspectiva
hist"rica refere*se numa segunda seco a origem da Matemtica e questiona*se a
intemporalidade e o carcter absoluto atribudos frequentemente 7 verdade certe#a e rigor
matemticos. A terceira seco incide sobre um perodo recente particularmente importante para a
filosofia da Matemtica caracteri#ado pela pesquisa de fundamentos seguros. $a quarta seco
consideram*se direc6es actuais da filosofia da Matemtica e analisam*se aspectos da actividade
matemtica enquanto fen"meno social e cultural. /ste captulo termina com uma quinta seco
dedicada 7 e!peri0ncia matemtica onde se referem algumas vertentes do processo de criao
desta ci0ncia nomeadamente a sua face e!tra*l"gica e o contributo do computador para produo
do saber matemtico.
2.1 - Gnese e natureza do saber matemt!"o
8.&.& * $ature#a dos objectos matemticos
9ual a nature#a dos entes matemticos ou seja a Matemtica estuda o qu01 /sta questo
abordada atravs de dois prismas de anlise. :m relacionado com a imaterialidade dos objectos
matemticos. ;utro que procura olhar estes objectos na sua relao com o sujeito que os conhece
ou procura conhecer.
Imaterialidade dos objectos matemticos
;s te!tos antigos provenientes das primeiras civili#a6es orientais do /gipto e <abil"nia so
demasiado fragmentrios para permitir seguir ao pormenor o processo de constituio de uma
aritmtica e de uma geometria. $o entanto mostram claramente que os conceitos que a interv0m
-di#em respeito apenas a objectos concretos: enumerao de objectos de um amontoado medida de
grande#as susceptveis de adio e subtraco como comprimento rea volume peso =ngulo
para cada uma das quais se toma uma unidade e muitas ve#es os seus m2ltiplos ou subm2ltiplos.
2
.
Mais tarde a partir do sculo > surgem com os pensadores gregos as primeiras demonstra6es e
com elas a necessidade de precisar no6es como figura posio grande#a quantidade e medida.
4lato mostra claramente que estas palavras no designam no6es da e!peri0ncia sensvel
referindo que os matemticos se servem de figuras visveis para estabelecerem raciocnios
pensando contudo no nelas mas naquilo com que se parecem. Arist"teles no dei!a de apoiar a
ideia da imaterialidade dos objectos matemticos referindo em particular que as investiga6es dos
matemticos incidem sobre coisas atingidas por abstraco de que so eliminadas todas as
qualidades sensveis como o peso leve#a ou dure#a. Tambm /uclides em quem vemos pela
primeira ve# desenvolvidas segundo o mtodo dedutivo as propriedades dos objectos matemticos
2
J. $ieudonn' (199(, p. )!. As *ita+es in*ludas no te,to ser-o identi.i*adas e/ nota de .i/ de *aptulo
atrav's da indi*a-o do no/e do autor, da data da publi*a-o de 0ue a *ita-o .oi e,trada e da p12ina ou
p12inas e/ 0ue se en*ontra. A restante identi.i*a-o da publi*a-o ser1 .eita nas Referncias.
8
concebidos por 4lato e Arist"teles no dei!a qualquer d2vida quando ao facto de ter atribudo a
ponto recta =ngulo crculo e polgono o carcter de objectos de pensamento.
3onstata*se assim que pelo menos desde 4lato os matemticos t0m consci0ncia de que os
objectos sobre os quais raciocinam embora tendo nomes id0nticos aos que interv0m em clculos
prticos ?n2meros figuras geomtricas grande#as@ so seres completamente diferentes seres
imateriais obtidos por abstraco a partir de objectos acessveis aos sentidos mas de que deles so
apenas -imagens.. /sta foi alis uma das grandes ideias originais dos gregosA a atribuio 7s
no6es matemticas do carcter de objectos de pensamento.
At ao sculo B>CCC os matemticos apesar de reconhecerem a imaterialidade e o carcter ideal dos
seres com que trabalhavam tinham deles imagens acessveis aos sentidos. $o entanto a partir
dessa altura para conseguirem novos progressos necessitaram de introdu#ir novos objectos
matemticos que dei!aram de apoiar*se em -imagens. sensveis. Aos poucos vai*se delineando uma
ideia que ser aprofundada no sculo BBA a ideia de estrutura na base de uma teoria matemtica.
/sta ideia relaciona*se com a constatao de que numa teoria matemtica mais importante do que a
nature#a dos objectos que a figuram so as rela6es entre esses objectos podendo acontecer que
em teorias diferentes haja rela6es que se e!primam da mesma maneira.
A discusso da e!ist0ncia de objectos matemticos no mundo fsico pode proporcionar como
evidencia 5ebastio e 5ilva ?ver pgina seguinte@ um conte!to favorvel ao debate na sala de aula
de um dos aspectos fundamentais da Matemtica D o das suas rela6es com a nature#a.
Matemtica: Descoberta ou inveno?
A e!ist0ncia de objectos matemticos ou no independente do sujeito que os estuda1 4ara
responder a esta questo contrastam*se tradicionalmente duas concep6esA concep6es idealistas e
concep6es realistas.
; idealismo enquanto perspectiva filos"fica insiste em que toda a realidade matemtica
condicionada pelas constru6es dos matemticos que inventam essa realidade. $este =mbito os
objectos matemticos so livres inven6es do esprito humano que no e!istem autonomamente e
que possuem apenas as propriedades que o pensamento puder determinar.
; realismo sup6e a realidade de um universo matemtico aut"nomo. ;s objectos t0m propriedades
pr"prias que e!istem independentemente do sujeito. ; homem no inventa esta realidade objectiva
que lhe e!terior. Eimita*se a descobri*la.
; realismo enquanto perspectiva filos"fica tem por base a doutrina de 4lato sendo frequente no
=mbito da filosofia da Matemtica considerar sin"nimos os termos realismo e platonismo. 4ara o
platonismo os objectos matemticos so reais embora no sejam objectos fsicos ou materiais. A sua
e!ist0ncia um facto objectivo totalmente independente do nosso conhecimento. /!istem fora do
espao e do tempo so imutveis no foram criados e no mudaro nem desaparecero. Assim a
Matemtica tem uma e!ist0ncia aut"noma obedecendo a uma l"gica e leis internas. A actividade de
fa#er Matemtica consiste na descrio e descoberta desses objectos bem como das rela6es que
os unem. 9uer uns quer outras uma ve# que so pr*e!istentes podem ser descobertos pelo
esprito mas no inventados por este.
F
; platonismo e o idealismo embora se situem em posi6es e!tremas quanto 7 questo da e!ist0ncia
e realidade dos objectos matemticos esto muitas ve#es presentes em simult=neo no pensamento
dos professores de Matemtica. 4or um lado a Matemtica vista como uma revelao como uma
passagem do concreto ao abstracto mas por outro lado o professor espanta*se com a sua
aplicabilidade 7
Dilogo sobre a existncia de entes geomtricos no mundo fsico
4ergunta dirigida aos alunosA
Afinal o que um ponto, o que uma recta, o que um plano - na verdadeira acepo destes
termos?
$a melhor das hip"teses obtm*se a resposta c"moda habitual ?...@A
Trata-se a de termos primitivos, isto de termos que no so definidos logicamente a partir de
outros.
Mas o professor no deve de modo nenhum contentar*se com esta resposta. ,eve sim voltar 7
cargaA
Tambm os termos gato!, rosa!, etc. so termos primitivos, no mesmo sentido, e no entanto todos
sabem recon"ecer um gato, uma rosa etc. #ra quem que $% viu um ponto, uma recta ou um plano?
;s alunos tero de admitir que ningum viu tais coisas. Mas h que lembrar*lhesA
Tambm ningum viu ou espera ver centauros, sereias ou drag&es. Todos sabem que no e'istem
seres vivos com os atributos que estes nomes invocam: trata-se de meras cria&es da fantasia
"umana. (ois sero as figuras geomtricas, como os centauros e as sereias, nada mais do que
produtos da nossa imaginao?
;s alunos ho*de talve# di#er que no se trata da mesma coisa. G preciso encoraj*los nesse
sentido e observarA
A cada passo c"amamos pontos!, segmentos de recta!, esferas!, etc. a certos entes do mundo
fsico, tais como o sinal dei'ado pela ponta de um l%pis sobre o papel, um fio bem esticado, uma bola
de bil"ar, etc.
Mas haver logo quem repareA
(ois, sim, mas toda a gente sabe que essas coisas no so pontos, no so segmentos de recta,
no so esferas.
Ao que o professor dirA
Todavia essas coisas seriam pontos, segmentos de recta, esferas, etc. se verificassem determinadas
condi&es que so os a'iomas e as defini&es da )eometria de *uclides.
/ perguntar logo de seguidaA
*sses ob$ectos do mundo fsico no verificam as referidas condi&es?
5e adoptarmos a l"gica bivalente a resposta s" poder ser -verificam. ou -no verificam.. ; aluno
escolhe provavelmente a segunda ?a primeira demasiado vulnervel@. EogoA
+e essas coisas no verificam as referidas condi&es, a geometria inaplic%vel ao mundo fsico, no
verdade?
Mais uma ve# a resposta ter que ser -sim. ou -no. e o aluno optar provavelmente pela negativa
?a primeira incompatvel com a anterior resposta@. Mas o professor dever por novamente os
alunos perante a realidadeA
,o entanto, se medirmos os tr-s .ngulos internos de um tri.ngulo, verificamos que a soma dos tr-s
igual a /01
1
2...3 A cada passo vemos confirmadas as previs&es te4ricas da geometria euclidiana,
cu$as aplica&es so fundamentais na ci-ncia e na tcnica 2...3 (arece pois, que c"egamos a uma
concluso absurda, desconcertante:
A H/;M/TICA G / $J; G A4EC3K>/E A; M:$,; LM5C3;.
3omo poder ser isto1
Nos 5ebastio e 5ilva &')O
)uia para a 5tili6ao do 7omp-ndio de 8atem%tica
interpretao do mundo fsico. Lica perple!o com o facto de especula6es pura*mente abstractas se
aplicarem de um modo que parece to -miraculoso. ao concreto.
O
9ual ento a nature#a dos objectos matemticos1 ;nde devemos procur*la1 $a realidade
e!perimental como o fi#eram os primeiros matemticos1 $a actividade do indivduo como
sustentam os idealistas1 $um mundo que no se situa no espao*tempo como advogam os
platonistas1
/stas quest6es embora tenham sido discutidas desde h muito por in2meros matemticos e fil"sofos
permanecem actuais. ; problema que seja qual for o nvel de anlise que se adopte clarificam*se
alguns aspectos mas outros permanecem envoltos em mistrio. 3om efeito se se procurar a
nature#a dos objectos matemticos na realidade e!perimental poder compreender*se que uma ve#
da e!trados atravs de uma srie de abstrac6es cada ve# mais requintadas continuem a estar de
acordo com essa realidade. Mas j no se compreender to bem que eles a e!cedam e que possam
obter*se constru6es dedutivas bem mais rigorosas do que as observa6es e sem nenhuma
comparao com elas quanto ao processo de demonstrao.
latonismo e ensino da Matemtica
; ensino clssico da Matemtica assenta numa epistemologia e numa ontologia platonistasA as ideias
matemticas t0m em si mesmas uma realidade. $esta concepo uma ve# desvendada a verdade
matemtica dada a quem a sabe ver a quem tem poder de abstraco suficiente. ; papel do
professor de Matemtica consiste em levar o aluno a partilhar dessa viso a que ele pr"prio j teve
acesso a virar o esprito do aluno D -o olhar da alma. como di#ia 4lato D em direco ao mundo
matemtico ?...@ 5o diversas as consequ0ncias pedag"gicas da epistemologia e ontologia
subjacentes 7 aprendi#agem tradicional da Matemtica. ; matemtico desvenda as verdades e o
ensino deve virar o olhar da alma do aluno para estas verdades. ,esde logo o que o professor retm
da actividade do matemtico no esta actividade que a maior parte das ve#es ignora ou sobre a
qual passa em sil0ncio mas os seus resultados teoremas defini6es demonstra6es a!iomas.
Alm disso o professor condu#ido a sobrevalori#ar a forma pela qual estes resultados so
apresentados. 5e se pensar na actividade do matemtico esta sobrevalori#ao da forma
parado!alA no a forma que d sentido aos resultados uma ve# que ela apenas determinada a
posteriori, quando os resultados foram adquiridos por outras vias bastante mais ca"ticas ?...@ /sta
ruptura entre a actividade matemtica e os seus resultados entre os problemas e os conceitos
origina um insucesso escolar importante particularmente em alunos de famlias populares que no
seu meio no esto habituados a manipular uma linguagem e!plcita formali#ada e codificada.
I. <Pouche <. 3harlot $. Iouche &''&
9aire des mat"matiques: le plaisir du sens
4or outro lado se se considerar a actividade do sujeito pode entender*se o rigor dos
desenvolvimentos dedutivos e sua fecundidade mas coloca*se o problema do acordo com o real
sobretudo o da antecipao de resultados. $o se entende nomeadamente como que apenas
atravs de desenvolvimentos matemticos se podem obter resultados importantes para a
compreenso do mundo fsico que se v0m a revelar 2teis por ve#es muitos anos mais tarde como
aconteceu por e!emplo com os estudos sobre c"nicas feitos por Apollonius de 4erga h mais de
8QQQ anos.
!"nicas e "rbitas dos #lanetas
; ge"metra grego Apollonius de 4erga escreveu no ano 8QQ a. 3. um tratado sobre sec6es c"nicas
em que descrevia de forma sistemtica todas as propriedades destas curvas. /ste estudo foi um
e!erccio de Matemtica pura e muito poucas aplica6es das c"nicas foram feitas na antiguidade
clssica. Muito mais tarde em &)QO isto cerca de &(QQ anos depois Repler contactou com estes
trabalhos e estudou as suas aplica6es no domnio da "ptica. /m &)Q' recorrendo a estes trabalhos
S
afirmou que as "rbitas dos planetas deveriam ser descritas como elipses e no como crculos e
epiciclos lanando assim as bases para a teoria da gravitao de $eTton.
Leli! <roTder e 5aunders Mac Eane &'((
A relev.ncia da 8atem%tica
3onsiderando a possibilidade de os objectos matemticos se situarem para l do sujeito e da
realidade e!perimental num mundo de ideias e!istente por si mesmo resta o problema de e!plicar
como que os seres humanos so capa#es de tomar contacto com esse mundoU ficam sem resposta
os problemas relativos tanto ao acordo com essa realidade como 7 adequao do sujeito aos
instrumentos dedutivos.
Assim qualquer uma destas perspectivas sobre a nature#a dos objectos matemticos bastante
ra#ovel e ao mesmo tempo todas elas encontram srias dificuldades.
8.&.8 * /!peri0ncia e ra#o na gnese e desenvolvimento da Matemtica
:ma vertente de anlise que poder contribuir para aprofundar a temtica da nature#a dos objectos
matemticos prende*se com o papel da e!peri0ncia e da ra#o na gnese e formao da
Matemtica. $este =mbito distinguem*se comummente duas perspectivas o racionalismo e o
empiricismo cuja sntese foi tentada por Rant.
$acionalismo e em#iricismo
;s racionalistas entre os quais se encontram por e!emplo /spinosa ,escartes e Eeibnit# viam tal
como 4lato a ra#o como um trao inerente 7 mente humana atravs do qual as verdades podiam
ser conhecidas independentemente da observao. A ra#o era a faculdade que permitia ao homem
conhecer o <em e o ,ivino e para os racionalistas esta faculdade era mais facilmente visvel na
Matemtica. Afinal esta ci0ncia di#iam partia de verdades auto*evidentes os a!iomas e atravs
de raciocnios estabelecidos pela ra#o conseguia descobrir e chegar a conclus6es no evidentes e
por ve#es inesperadas. Assim a e!ist0ncia da Matemtica constitua para os racionalistas o melhor
argumento para confirmar a sua viso sobre o mundo.
; racionalismo foi posteriormente questionado pelo materialismo e pelo empiricismo. ; progresso
das ci0ncias da nature#a com base no mtodo e!perimental fe# triunfar o empiricismo que afirmava
que todo o conhecimento tinha por base a observao. ; conhecimento matemtico era porm a
e!cepo que confirmava esta regra.
$o conte!to do empiricismo os trabalhos de ,avid %ume desempenharam um papel de relevo. /ste
fil"sofo defendia que no conhecemos nem o esprito nem a matria e que no deveramos sequer
admitir a e!ist0ncia de outras subst=ncias seno daquelas de que temos e!peri0ncia imediataU esta
e!peri0ncia redu#*se a um conjunto de sensa6es. ,uvidava da e!ist0ncia da matria interrogando*
se sobre quem poderia garantir a e!ist0ncia de um mundo de objectos s"lidos subsistindo em
perman0ncia se tudo o que sabemos provm das nossas pr"prias sensa6es provenientes de um tal
mundo. Ielativamente 7 Matemtica %ume no rejeitou os a!iomas relativos a n2meros e figuras
geomtricas mas optou por os desvalori#ar tal como fe# com os resultados que deles derivavam
)
considerando que quer uns quer outros provinham de sensa6es respeitantes ao presumvel mundo
fsico.
Mais tarde em meados do sculo BCB 5tuart Mill chegou a propor uma teoria empiricista sobre o
conhecimento matemtico sustentando que as afirma6es matemticas so generali#a6es
indutivas feitas a partir das nossas e!peri0ncias ou observa6es. Assim a Matemtica seria uma
ci0ncia natural que em nada diferia das outras. /sta teoria que no punha em causa a certe#a do
conhecimento matemtico pois Mill supunha a certe#a da induo no teve aceitao nos meios
fil"sofos e matemticos chegando a ser fortemente contestada e mesmo ridiculari#ada por Lrege
3
.
A filosofia de %ume no s" p+s em causa a e!ist0ncia de leis cientficas relativas a um mundo fsico
objectivo e permanente como depreciou os esforos e resultados da ci0ncia e da Matemtica e mais
que isso desafiou -o valor da pr"pria ra#o.
4
. ;ra este facto causou indignao na maior parte dos
intelectuais do sculo B>CCC que consideraram que a filosofia de %ume devia ser refutada. Rant
empreendeu esta tarefa tendo as suas refle!6es procurado unificar as duas tradi6es contradit"rias
do racionalismo e do empiricismo.
%ant e a Matemtica
Rant distingue o con"ecimento a priori do con"ecimento a posteriori e o con"ecimento analtico do
con"ecimento sinttico. ; conhecimento a priori o conhecimento universal necessrio e
intemporal que se fundamenta na ra#o e independente da e!peri0ncia. 4elo contrrio o
conhecimento a posteriori ou emprico consiste em proposi6es fundamentadas na e!peri0ncia isto
nas observa6es do mundo fsico. 4or sua ve# o conhecimento analtico o conhecimento
e!plicativo. /m particular o conhecimento a priori analtico o que sabemos ser verdadeiro por
anlise l"gica pelo pr"prio significado dos termos usados. :m e!emplo do conhecimento a priori
analtico a afirmao -os solteiros no so casados.. ,iferentemente o conhecimento sinttico
aquele que acrescenta algo de novo ao conhecimento que j se possui. Afirmar que -um segmento
de recta a dist=ncia mais curta entre dois pontos. constitui para Rant um e!emplo de
conhecimento sinttico a priori.
A grande questo filos"fica de Rant saber como possvel o conhecimento sinttico a priori e em
particular como possvel a e!ist0ncia de conhecimento matemtico. A resposta que d a esta
questo a de que o nosso esprito disp6e de formas puras de espao e de tempo ?a que Rant
chama intui6es@ atravs das quais percebe organi#a e compreende a e!peri0ncia. Assim Rant
embora glorificando a ra#o a que atribui a tarefa de e!plorar as formas do esprito humano no
nega o valor da e!peri0ncia e dos dados provenientes da observao. /stes dados contribuem para
estimular o poder organi#ador do esprito.
A Matemtica representa para Rant a prova suprema da e!ist0ncia de conhecimento a priori. A
argumentao que prop6e a de que uma ve# que a intuio do espao tem a sua origem no
esprito este reconhece de imediato algumas propriedades desse espao. /stas propriedades so
3
Muitas das ideias da teoria e/piri*ista de Mill sobre a /ate/1ti*a est-o in*ludas no seu livro System of
logic (19)3!. Bloor, no *ap 4 de Knowledge and social imagery, intitulado A naturalistic approach to
mathematics, apresenta u/a sntese desta teoria be/ *o/o u/a an1lise *rti*a dos prin*ipais ar2u/entos
propostos por 5re2e para a *ontestar.
4
M. 6line (1979, p. 1)(!.
V
sistemati#adas na geometria ?entendida como geometria euclidiana a 2nica que Rant conhecia@.
5imultaneamente considera que como os n2meros inteiros derivam da intuio do tempo o
conhecimento do tempo sistemati#ado na aritmtica. Eogo para Rant as proposi6es matemticas
so objectivas necessrias universalmente vlidas independentes da e!peri0ncia e imp6em*se*nos
pela maneira como a nossa mente funciona.
/sta breve passagem pela filosofia de Rant permite destacar que este fil"sofo ao colocar a fonte da
Matemtica no poder organi#ador do esprito concedeu a esta ci0ncia um estatuto especial um
carcter de necessidade e uma marca de certe#a intemporal e incontestvel que se manteve
durante bem at ao sculo BB. As escolas fundacionistas que no incio deste sculo tentaram
encontrar fundamentos seguros para a Matemtica no fundo -ambicionavam todas manter a
Matemtica na posio especial que Rant lhe tinha concedido.
5
.
Actualmente quer o questionamento da nature#a a priori do conhecimento matemtico quer os
argumentos a favor de bases empricas para este conhecimento esto de novo a ganhar terreno. $o
se trata contudo de um retorno ao empiricismo de Mill. Trata*se antes de uma apro!imao da
Matemtica 7s ci0ncias naturais que admite tal como acontece nestas ci0ncias o carcter a
posteriori e falvel do conhecimento. Trata*se de uma perspectiva quasi-emprica sobre a Matemtica
apresentada na seco O deste captulo que questiona ser esta ci0ncia um corpo de saber imutvel e
infalvel.
2.2 - #erdade e "erteza matemt!"as$ %ers&e"t!'a (!st)r!"a
Tendo por fio condutor uma perspectiva hist"rica nesta seco procura*se reflectir sobre a
intemporalidade e o carcter absoluto frequentemente atribudos 7 verdade certe#a e rigor
matemticos a partir da anlise do significado que estas no6es foram tendo na evoluo desta
ci0ncia.
8.8.& * ;rigem das verdades matemticas
/mbora as nossas principais concep6es de n2mero e forma datem de tempos to remotos como os
do paleoltico a linha principal da actividade matemtica ocidental enquanto actividade sistemtica
tem a sua origem nas civili#a6es orientais do /gipto e da Mesopot=mia. As Matemticas orientais
constituiram*se atravs da acumulao de um conjunto de factos regras e processos sem nunca se
emancipar verdadeiramente da influ0ncia milenar dos problemas prticos e administrativos para cuja
resoluo tinham sido criadas. /mbora constituindo um conjunto considervel de conhecimentos no
dispunham de nenhuma metodologia especfica. ,esenvolveram*se de uma forma no dedutiva em
que as regras e procedimentos foram descobertos a partir da observao e e!perimentao e
atravs de processos de tentativa e erro. Loi esta perspectiva emprica e instrumentalista que serviu
de prel2dio aos trabalhos matemticos desenvolvidos pela civili#ao grega.
;s primeiros estudos de Matemtica grega tinham por objectivo principal compreender o lugar do
%omem no :niverso de acordo com um esquema racional. A Matemtica ajudava a encontrar a
5
P. $avis e 8. 9ers: (1977, p. 42!.
(
ordem no caos a ordenar as ideias em sequ0ncias l"gicas a encontrar princpios fundamentais.
3omeou assim a tomar corpo uma nova Matemtica desenvolvida mais no esprito da
compreenso do que no da utilidade imediata. /sta Matemtica colocava no s" a antiga questo do
como mas tambm a moderna questo cientfica do porqu-.
;s pitag"ricos sentiam*se impressionados pelo facto de fen"menos muito diversos de um ponto de
vista qualitativo poderem e!ibir propriedades matemticas id0nti*cas. Loram assim despertando
para a ideia de que estas propriedades podiam constituir a ess0ncia destes fen"menos e que o
:niverso estava matematicamente ordenado. 3onsequentemente a Matemtica comeou a surgir
como um modelo e!plicativo e inteligvel uma chave por meio da qual o homem podia penetrar na
ordem da $ature#a e dissipar o mistrio e o caos que a pareciam reinar.
$o processo de e!plicao da $ature#a o n2mero entendido como ponto ou partcula
desempenhava um papel fundamental. ;s pitag"ricos investigavam as suas propriedades e
colocavam*no -no centro de uma filosofia c"smica que tentava redu#ir todas as rela6es
fundamentais a rela6es numricas.
6
. 4orm os 2nicos n2meros que reconheciam como tal eram os
inteiros ou os fraccionrios. Assim a descoberta de que havia rela6es entre estes n2meros que no
podiam ser e!pressas atravs deles ?como o caso por e!emplo da ra#o entre a diagonal e o lado
de um quadrado@ p+s em causa a harmonia entre a aritmtica e a geometria e originou perturba6es
nos meios filos"ficos e matemticos.
/sta descoberta associada aos parado!os de Weno que entravam em conflito com algumas
concep6es antigas e intuitivas sobre o infinitamente pequeno e o infinitamente grande levou os
matemticos da poca a questionarem*se sobre se a Matemtica era possvel como ci0ncia e!acta.
; problema foi resolvido no esprito do novo perodo social da hist"ria da Hrcia. $este perodo de
supremacia aristo*crtica as classes dirigentes tinham a sua subsist0ncia assegurada pela
escravatura e o trabalho manual era menospre#ado. Loi neste conte!to que surgiu e tomou forma a
escola mais influente depois dos pitag"ricos na e!posio e propagao da tese relativa 7 estrutura
Matemtica da $ature#a D a Academia de 4lato.
&eno' #aradoxos' ()uiles e a tartaruga
Acreditou*se sempre que a soma de um n2mero infinito de quantidades se podia tornar to grande
quanto se quisesse mesmo que cada quantidade fosse e!tremamente pequena e tambm que a
soma de um n2mero finito ou infinito de quantidades de dimenso #ero era #ero. ; criticismo de
Weno desafiou estas concep6es e os seus quatro parado!os criaram uma agitao cujos efeitos
ainda podem ser observados actualmente. ;s parado!os foram retomados por Arist"teles e so
conhecidos pelos nomes Aquiles seta dicotomia e est%dio.
Aquiles: Aquiles e uma tartaruga movem*se na mesma direco ao longo de uma linha recta. Aquiles
mais velo# que a tartaruga mas para alcanar a tartaruga ele tem que passar primeiro pelo ponto
4 do qual a tartaruga partiu. 9uando chega a 4 a tartaruga j avanou para o ponto 4
&
mas a
tartaruga avanou para um novo ponto 4
8
. 9uando Aquiles estiver em 4
8
a tartaruga estar em 4
F
etc. 4or isso Aquiles nunca poder alcanar a tartaruga.

,irP N. 5truiP &'('
:ist4ria concisa das 8atem%ticas
6
$. J. &trui; (1979, p. 7!.
'
;s platonistas distinguiam o mundo das coisas do mundo das ideias. ; mundo das coisas mundo
material contm objectos e rela6es imperfeitas. G no mundo das ideias que se encontravam as
verdades absolutas e imutveis e todo o saber que lhes di# respeito que certo seguro e
indestrutvel.
G neste mundo de ideias que 4lato coloca os objectos matemticos. Assim para este fil"sofo as
leis matemticas no eram apenas a ess0ncia da realidade mas uma ess0ncia verdadeira eterna e
imutvel. 5e com 4itgoras eram os n2meros que -governavam. o mundo com 4lato so as ideias
geomtricas que o governam. A frase ;eus geometri6a eternamente escrita por este fil"sofo na
<ep=blica ilustra bem esta perspectiva.
$a sua funo de perscrutar a $ature#a a Matemtica para 4lato podia substituir a pr"pria
investigao fsica. 5ustentava que a ra#o humana tinha a capacidade de intuir verdades
fundamentais graas 7 qual podia proceder de maneira aut"noma e indignava*se profundamente
com alguns dos seus contempor=neos ?como por e!emplo com 4lutarco /udo!o Arquitas@ que
recorriam a raciocnios mec=nicos para provar resultados matemticos.
/m suma no =mbito da Matemtica um dos aspectos mais inovadores do pensamento grego foi a
sua concepo de um 3osmos que funcionava de acordo com leis matemticas verdadeiras
passveis de serem descobertas pelo pensamento humano e o desejo de conhecer estas leis.
3olocava*se contudo a questo de como o fa#er e ter a certe#a de que as leis descobertas eram
efectivamente verdadeiras.
:m dos passos dados pelos gregos para poder raciocinar sobre conceitos matemticos abstractos
foi estabelecer a!iomas verdades de uma tal auto*evid0ncia que ningum poderia negar. /stes
a!iomas di#iam respeito ao espao e aos n2meros inteiros.
; segundo passo foi garantir a correco das conclus6es obtidas a partir dos a!iomas. 4ara tal
usaram raciocnio dedutivo que consideravam como o 2nico que garantia a correco das
conclus6es. Assim uma ve# que se partia de a!iomas verdades sobre o espao e os n2meros
inteiros consideradas auto*evidentes este raciocnio poderia ser um veculo para encontrar as
verdades eternas sobre a $ature#a que eles ansiavam descobrir. 4ode apontar*se ainda uma ra#o
de nature#a social para e!plicar a prefer0ncia pela forma dedutiva. As actividades matemticas bem
como as filos"ficas e as artsticas eram praticadas por classes abastadas que menospre#avam o
trabalho manual e as actividades comerciais. 4lato e Arist"teles ao sustentarem respectivamente
que a actividade comercial constitua uma degradao para o homem livre que devia ser punida
como crime e que nenhum cidado devia praticar arte mec=nica ilustram bem neste domnio a
atmosfera intelectual reinante na poca. Assim no de estranhar a opo pela deduo. 3om
efeito a e!perimentao e observao teriam aparecido como estranhas ao modo de pensar grego.
$o perodo helenstico o avano da civili#ao grega pelas regi6es do mundo oriental ?/gipto
Mesopot=mia parte da Mndia@ possibilitou que a Matemtica grega embora conservando muitas das
suas caractersticas tradicionais sentisse a influ0ncia dos problemas de administrao e astronomia
que o ;riente tinha para resolver. 5urgiram os cientistas profissionais e neste grupo muitos dos
mais importantes viviam em Ale!andria.
/ntre os primeiros sbios associados a este centro intelectual e econ"mico destaca*se /uclides cuja
formao se desenrolou na Academia de 4lato. A sua obra constitui uma organi#ao ampla e
&Q
sistemtica apresentada numa forma a!iomtica*dedutiva de descobertas diversas de vrios
pensadores gregos do perodo clssico. Atravs das suas formula6es a!iomticas consideradas
rigorosas os trabalhos desenvolvidos pela Academia de 4lato e muito especialmente os de
/uclides possibilitaram a resoluo da -crise. relativa ao aparecimento dos n2meros irracionais e aos
parado!os de Weno.
;s te!tos mais difundidos de /uclides so os tre#e livros que constituem os *lementos que so -a
seguir 7 <blia provavelmente o livro mais reprodu#ido e estudado na hist"ria do mundo ocidental
?X@ Ye cujaZ estrutura l"gica influenciou o pensamento cientfico talve# mais do que qualquer outro
te!to do mundo.
7
.
;s *lementos de /uclides representam a primeira a!iomati#ao da hist"ria da Matemtica. At ao
sculo BCB foram considerados o modelo da verdade rigor e certe#a tendo*se transformado
durante vrios sculos no pr"prio paradigma da ci0ncia. $omeadamente $eTton no hesita em
consider*los como modelo para a construo de toda a teoria cientfica que se queira rigorosa e os
seus (rincipia inspiram*se neles.
8.8.F * ,a certe#a da verdade 7 procura da certe#a
$os sculos B>CC e B>CCC a geometria euclidiana era ainda objecto de grande admirao no s"
porque tinha sido a primeira rea da Matemtica a ser estabelecida dedutivamente mas tambm
porque durante mais de dois mil anos os seus teoremas continuavam a revelar*se verdadeiros
quando comparados com a realidade fsica. Todavia nem todos os a!iomas de /uclides eram
igualmente evidentes. ; a!ioma das paralelas ou o quinto postulado como frequentemente
designado tinha sido objecto de numerosas discuss6es j desde a Antiguidade. Aparentemente nem
o pr"prio /uclides gostava muito da sua formulao uma ve# que s" se serviu dele depois de ter
provado sem o utili#ar tantos teoremas quantos foi capa#.
*uinto #ostulado de +uclides
5e uma recta que encontra duas outras rectas forma =ngulos interiores do mesmo lado mais
pequenos que dois rectos as duas rectas quando infinitamente prolongadas encontram*se do mesmo
lado em que os =ngulos so mais pequenos que os dois rectos.
1
2
a
b
Morris Rline &'(Q
8at"ematics: T"e loss of certaint>
Ao longo dos sculos foram feitas in2meras tentativas para resolver os problemas relacionados com
este a!ioma. :mas tentavam substitu*lo por um enunciado aparentemente mais evidenteU outras
procuravam dedu#i*lo dos outros nove apresentados por /uclides. $o entanto todas estas tentativas
7
$. J. &trui; (1979, pp. 9(<91!.
&&
se revelaram vs. 4elo contrrio evidenciaram que adoptando um a!ioma que fosse
essencialmente diferente do a!ioma das paralelas no s" no se chegava a nenhuma contradio
mas mais do que isso mostraram que havia lugar para a e!ist0ncia de vrias outras geometrias
diferentes da de /uclides mas com estruturas l"gicas igualmente vlidas. /stava aberto o caminho
para o desenvolvimento das geometrias no euclidianas.
Ielativamente 7s geometrias no euclidianas Rline refere que um dos factos mais significativos
que podem ser utili#adas para descrever as propriedades do espao fsico de maneira to precisa
como o fa#ia a geometria euclidiana. ;ra esta ideia estava em completa oposio com as opini6es
cultivadas nos meios intelectuais da poca e assim a aceitao das geometrias no euclidianas pela
comunidade matemtica no foi fcil nem linear. Afinal o que estava em causa era no s" a antiga
crena grega da verdade matemtica como chave para conhecer o :niverso mas o pr"prio poder da
ra#o para aceder ao conhecimento verdadeiro.
,eometrias no euclidianas: !ontributo de ,auss
Hauss estava perfeitamente consciente da fragilidade dos esforos que consistiam em tentar
estabelecer Yo a!ioma das paralelas de /uclidesZ o que se tinha j tornado um lugar comum em
H[ttingen. 4or volta de &(&F Hauss desenvolveu a sua geometria no euclidiana que inicialmente
designou por geometria antieuclidiana depois por geometria astral e finalmente por geometria no
euclidiana. /stava convencido de que ela era logicamente consistente e que poderia encontrar uma
aplicao. $uma carta ao seu amigo Lran# Adolf Taurinus datada de ( de $ovembro de &(8O Hauss
escreveuA -Admitir que a soma dos =ngulos ?de um tri=ngulo@ inferior a &(Q
Q
condu# a uma
geometria curiosa diferente da nossa ?euclidiana@ mas inteiramente coerente e desenvolvida para
minha inteira satisfao. ;s teoremas desta geometria parecem parado!ais e absurdos para um
ne"fito mas uma refle!o calma e sria revela que eles no cont0m nada de impossvel..
Morris Rline &'(Q
8at"ematics: T"e loss of certaint>
A partir de &(8Q comea a afirmar*se a ideia de que na base da Matemtica clssica devem
colocar*se no as no6es geomtricas dos gregos mas o conceito de n2mero inteiro. /ste
movimento foi designado por aritmeti6ao da 8atem%tica. $o entanto o aparecimento de n2meros
tridimensionais ?os quaterni6es de %amilton
8
@ que no go#am da propriedade comutativa da
multiplicao como acontecia com os outros n2meros conhecidos at ento e a criao de novas
lgebras com propriedades cada ve# mais estranhas lanou a d2vida sobre a verdade da aritmtica
e da lgebra usuais. / os matemticos foram levados a descobrir que se podem introdu#ir na
aritmtica opera6es diferentes das que nos so familiares e criar uma aritmtica igualmente
aplicvel. Assim a aritmtica como o corpo de verdades necessariamente aplicvel aos fen"menos
do mundo fsico estava tambm posta em causa. -A triste concluso que os matemticos foram
obrigados a tirar de tudo isto que no e!iste nenhuma verdade em Matemtica se se entender por
verdade leis respeitantes ao mundo real.
9
.
/m suma a tentativa empreendida pelos gregos de tentar garantir a verdade matemtica partindo de
verdades evidentes e utili#ando somente raciocnios dedutivos tinha*se revelado v. /ste facto foi
muito difcil de admitir tendo numerosos matemticos continuado a desenvolver grandes esforos no
8
=>/eros *u?a .or/a ' a@bi@*?@d;, e/ 0ue i
2
A ?
2
A ;
2
A <1
9
M. 6line (1979, p. 14!.
&8
sentido de recuperarem a segurana que pensavam ter perdido. / em lugar da verdade surgia a
noo de consist0ncia l"gica. ;u por outras palavras a certe6a da verdade dava agora lugar 7
procura da certe6a.
8.8.O * Ielativade do rigor e da verdade matemtica
:ma das revela6es obtidas com os trabalhos desenvolvidos sobre a geometria euclidiana foi o facto
de que esta geometria que durante mais de 8QQQ anos tinha sido considerada o paradigma do rigor
apresentava srias dificuldades de um ponto de vista l"gico. Alm disso os matemticos ao
ree!aminarem as bases l"gicas da aritmtica e lgebra dos n2meros reais e comple!os verificaram
que este campo se tinha igualmente desenvolvido de uma forma il"gica.
Afinal o que se constatava era que a Matemtica no tinha sido o paradigma da ra#o que tinha
reputao de ser. /m lugar dos seus resultados terem sido demonstrados l"gica e rigorosamente ao
longo dos sculos tinha*se recorrido a intui6es baseadas em desenhos geomtricos argumentos
fsicos raciocnios indutivos princpios ad "oc e manipula6es formais de e!press6es simb"licas.
Loi ento empreendida a tarefa de encontrar fundamentos s"lidos para a Matemtica. 4ara isso foi
reconhecida a necessidade de termos no definidos da utili#ao de defini6es formuladas de forma
precisa ?eliminando delas todos os termos que pudessem ser considerados vagos ou contestveis@
da e!plicitao de uma forma e!austiva do conjunto de a!iomas que serviam de ponto de partida
para as teorias e da demonstrao e!plcita de todos os resultados matemticos por mais
intuitivamente evidentes que pudessem parecer. / assim surgia um novo significado para a
e!presso rigor matem%tico.
,urante o final do sculo BCB os matemticos empreenderam uma intensa actividade a!iomtica
entrelaando cuidadosamente os teoremas de modo a tentar garantir a solide# de toda a estrutura
matemtica. A verdade matemtica absoluta oriunda da civili#ao grega comeava a ser
substituda por uma verdade relativa dos teoremas relativamente aos postulados defini6es e
correco de raciocnio. Assim embora a Matemtica tivesse perdido o seu enrai#amento na
realidade a crise parecia estar resolvida.
$o entanto a descoberta de parado!os na teoria de conjuntos e a tomada de consci0ncia de que
poderiam e!istir parado!os semelhantes embora ainda no detectados noutros ramos da
Matemtica clssica levaram os matemticos a tomar muito a srio o problema da consist0ncia e a
interrogar*se sobre como deveria constituir*se esta ci0ncia de modo a eliminar os parado!os e
assegurar que novas contradi6es no pudessem aparecer. $o puderam contudo p+r*se de acordo.
Tinha*se entrado numa nova crise D a crise dos fundamentos.
2.* - A bus"a de +undamentos
A crise dos fundamentos foi no fundo a manifestao de uma antiga discrep=ncia entre o mito de
*uclides
10
e as prticas matemticas reais. ; mito de /uclides a crena segundo a qual os livros
10
A e,press-o mito de Euclides ' utiliBada por $avis e 9ers: para desta*are/ a ideia de 0ue durante s'*ulos
.oi *rena 2eneraliBada 0ue os livros de %u*lides *ontin:a/ verdades a*er*a do Cniverso 0ue era/ *laras e
indubit1veis.
&F
deste autor cont0m verdades acerca do universo que so claras e indubitveis uma ve# que chegam
ao conhecimento certo objectivo e eterno a partir de factos evidentes por si pr"prios e procedendo
atravs de demonstra6es rigorosas.
A inquestionabilidade deste mito que prevaleceu at ao sculo BCB foi fortemente abalada quando
Iussel que pesquisava fundamentos para a Matemtica na teoria de conjuntos comeou a ser
confrontado com contradi6es eufemisticamente designadas por parado!os que ilustraram que
seguindo as regras da l"gica intuitiva podemos ser levados a resultados contradit"rios de um modo
nunca visto anteriormente nem em aritmtica nem em geometria.
aradoxo de $ussel
4ara enunciar o parado!o de Iussel definimos um -conjunto I. como -um conjunto que se contm a
si pr"prio. ?um e!emplo o -um conjunto de todos os objectos descritos com e!actamente tre#e
palavras em portugu0s.@. 3onsideremos agora um outro conjunto MA o conjunto de todos os conjuntos
possveis e!cepto os conjuntos I. M um conjunto I1 $o. 4or outro lado tambm falso afirmar
que M no um conjunto*I. MoralA a definio de M que parecia inofensiva embora um pouco
retorcida contradit"ria em si pr"pria..
4hilip ,avis e Ieuben %ersh &'((
;a certe6a ? falibilidade
Loram tr0s as escolas de pensamento que tentaram encontrar bases seguras para a Matemtica D
logicismo o construtivismo e o formalismo D mas como se ver em seguida embora oferecendo a
certe#a a um certo preo nem mesmo assim a conseguiram garantir.
8.F.& * Eogicismo
; logicismo iniciou*se perto de &((O com o fil"sofo matemtico e l"gico alemo Lrege continuando
mais tarde com <ertrand Iussel. A sua finalidade consistia em provar que a Matemtica clssica era
parte da l"gica. 4ara levar a cabo este programa Iussel e \hitehead criaram a obra (rincipia
8at"ematica publicada em &'&Q que pode considerar*se uma teoria formal de conjuntos embora a
formali#ao no estivesse ainda concluda. /stes matemticos planeavam mostrar que todos os
a!iomas dos (rincipia pertenciam 7 l"gica e se o tivessem conseguido os fundamentos da
Matemtica seriam os a!iomas da l"gica. 9uest6es como -porque que a Matemtica est livre de
contradi6es.] transformar*se*iam assim em -porque que a l"gica est livre de contradi6es.
%avia no entanto a!iomas que no eram proposi6es l"gicas no sentido do logicismo
11
e assim este
programa embora tendo uma enorme import=ncia para o desenvolvimento da moderna l"gica
matemtica foi um fracasso do ponto de vista da sua inteno inicial. 3omo salienta ,ias Agudo o
sistema no se revelou satisfat"rio para uma fundamentao incontroversa da Matemtica.
8.F.8 * 3onstrutivismo e intuicionismo
;s construtivistas abordaram o problema dos fundamentos da Matemtica de uma forma
radicalmente diferente da dos logicistas. /nquanto estes consideravam que nada havia de errado
11
&e2undo &napper (199! no *onte,to do lo2i*is/o u/a proposi-o lD2i*a ' de.inida *o/o u/a proposi-o
0ue te/ 2eneralidade *o/pleta e ' verdadeira e/ virtude da sua .or/a e/ veB do seu *onte>do. =este sentido,
por e,e/plo, o prin*pio do ter*eiro e,*ludo (p v Ep ' se/pre verdadeiro! ' u/a proposi-o lD2i*a pois p pode
ser u/a proposi-o da /ate/1ti*a, da .si*a ou outra 0ual0uer.
&O
com a Matemtica clssica sendo os parado!os originados por erros dos matemticos mas no
causados por imperfei6es da ci0ncia matemtica os construtivistas viam estas contradi6es como
indica6es claras de que a Matemtica clssica estava longe de ser perfeita.
A forma de construtivismo mais conhecida o intuicionismo iniciado por <rouTer em &'Q(. 4ara
<rouTer no a e!peri0ncia nem a l"gica que determina a coer0ncia e aceitabilidade das ideias
mas sim a intuio. 4rofundamente influenciado pela teoria de Rant relativa 7 intuio de tempo
sustenta que os n2meros naturais nos so dados por uma intuio fundamental que o ponto de
partida de toda a Matemtica. 3oncebe o pensamento matemtico como um processo de construo
mental que partindo dos n2meros naturais prossegue atravs de um n2mero finito de passos e
independente da e!peri0ncia.
3om o intuicionismo sobressai a ideia de que a Matemtica uma ci0ncia que tem a sua origem no
esprito e a se e!erceA a Matemtica no possui nenhuma e!ist0ncia fora do esprito humano. As
palavras e rela6es verbais constituem uma estrutura -imperfeita. para comunicar as ideias
matemticas que so criadas pela actividade do esprito.
;s intuicionistas em virtude dos princpios de raciocnio que admitiam rejeitarem muitos dos
teoremas da Matemtica clssica. 4or e!emplo <rouTer apresentou um n2mero real do qual somos
incapa#es de demonstrar construtivamente se positivo negativo ou nulo o que mostra que a
propriedade tricot"mica falsa. / assim tambm o programa intuicionista no foi bem sucedido na
sua tentativa de encontrar fundamentos consistentes para aquela Matemtica. Alm disso os
matemticos intuicionistas estabeleceram resultados considerados falsos por matemticos que o no
eram e apresentaram provas para certos teoremas classificadas como longas e menos elegantes do
que outras elaboradas por mtodos no construtivistas.
4or tudo isto a comunidade matemtica considerou quase universalmente o programa intuicionista
pouco ra#ovel e algo fantico. ; programa formalista pode em particular ser visto como uma
tentativa de defender a Matemtica do que %ilbert considerava mutila6es e deforma6es
provocadas pelo intuicionismo.
8.F.F * Lormalismo
A escola formalista criada por volta de &'&Q por ,avid %ilbert tinha por grande objectivo encontrar
uma tcnica matemtica por meio da qual se pudesse demonstrar de uma ve# por todas que a
Matemtica estava livre de contradi6es. %ilbert propunha*se construir uma demonstrao
matemtica da consist0ncia da Matemtica clssica utili#ando argumentos puramente finitrios que
<rouTer no pudesse rejeitar. 3om este objectivo ?a@ introdu#iu uma linguagem formal e regras
formais de infer0ncia em n2mero suficiente para que toda a -demonstrao correcta. de um teorema
clssico pudesse ser representado por uma deduo formal com cada passo mecanicamente
verificvelU ?b@ desenvolveu uma teoria das propriedades combinat"rias desta linguagem formalU ?c@ e
prop+s*se demonstrar que dentro deste sistema no podiam dedu#ir*se contradi6es. ,este modo
%ilbert pretendeu estabelecer o que designava por demonstra6es objectivas ou seja um
encadeamento de f"rmulas dedu#idas atravs de implica6es a partir de smbolos a!iomas ou
conclus6es previamente estabelecidas.
&S
3om o formalismo a Matemtica torna*se um sistema formal que partindo dos a!iomas e dos termos
iniciais se desenvolve numa cadeia ordenada de f"rmulas mediadas por teoremas sem nunca sair
de si mesma. Torna*se nem mais nem menos do que -um jogo lingustico. fundado e!clusivamente
nas pr"prias regras do jogo como acontece por e!emplo com o jogo do !adre#. $este conte!to
fa#er Matemtica consiste em manipular smbolos sem significado de acordo com regras sintcticas
e!plcitas.
/m &'FQ H[del enunciou o teorema da incompletude evidenciando que nunca se poderia encontrar
em Matemtica uma certe#a completa por meio de qualquer mtodo baseado na l"gica tradicional
uma ve# que -qualquer sistema formal consistente suficientemente forte para conter a aritmtica
elementar seria incapa# de demonstrar a sua pr"pria consist0ncia.
12
. ;s resultados alcanados por
H[del mostraram que o projecto de %ilbert era irreali#vel e assim o programa formalista tambm
no conseguiu provar a certe#a dos mtodos matemticos.
-ormalismo e Matemtica moderna
; formalismo fa# uma distino entre a geometria como uma estrutura dedutiva e a geometria como
uma ci0ncia descritiva. 5omente a primeira considerada Matemtica. A utili#ao de figuras
diagramas ou mesmo de imagens mentais tudo no*matemtico. /m princpio deveriam ser
desnecessrios. 3onsequantemente considera*os inadequados num te!to matemtico e talve#
tambm numa aula de Matemtica ?...@ ,o ponto de vista formalista no comeamos realmente a
fa#er Matemtica antes de enunciar algumas hip"teses e comear uma demonstrao. Ap"s termos
chegado 7s nossas conclus6es a Matemtica acabou ?...@ ; e!emplo mais influente do formalismo
como estilo de e!posio matemtica foi a obra do grupo chamado colectivamente de $icolas
<ourbaPi. 5ob este pseud"nimo foi produ#ida uma srie de te!tos bsicos a nvel de p"s*
graduao sobre a teoria de conjuntos a lgebra e a anlise que tiveram uma enorme influ0ncia em
todo o mundo nas dcadas de SQ e )Q. ; estilo formalista penetrou gradualmente no ensino da
Matemtica em nveis mais elementares e finalmente sob o nome de 8atem%tica moderna invadiu
at o jardim de inf=ncia com te!tos de teoria de conjuntos para a idade pr*escolar.
4hilip ,avis e Ieuben %ersh &'((
;a certe6a ? falibilidade
8.F.O * A perda da certe#a em Matemtica
5e se analisar um pouco de perto o processo pelo qual o logicismo o intuicionismo e o formalismo
visavam garantir a certe#a constata*se que este processo continha em si mesmo elementos que
poderiam causar dificuldades ao objectivo pretendido.
,e facto estas escolas aceitaram sem demonstrao um conjunto de afirma6es bsicas a partir das
quais dedu#iram logicamente os seus resultados. ;ra por um lado o conjunto de afirma6es bsicas
no pode ser eliminado de uma teoria matemtica. 4or outro lado a l"gica dedutiva no introdu#
verdade nos raciocnios e afirma6es. 9uando muito poderia transmiti*la. A partir do momento em
que as tr0s escolas aceitam princpios no demonstrados esses princpios ficam abertos ao desafio
7 d2vida e 7 incorreco. 3omo salienta /rnest
13
-a pesquisa da certe#a em Matemtica condu#
inevitavelmente a um crculo vicioso. Todo o sistema matemtico depende de um conjunto de
12
P. $avis e 8. 9ers: (1977, p. 4F!.
13
P. %rnest (1991, p. 1)!, re.erindo "a;atos.
&)
afirma6es e tentar estabelecer a sua certe#a demonstrando*as condu# a uma regresso infinita..
Assim o problema de assegurar a certe#a em Matemtica parece ser insol2vel.
Actualmente no se est mais perto de fundamentos seguros para a Matemtica do que se estava h
um sculo atrs. $o entanto as controvrsias sobre os fundamentos j no t0m o impacto de outrora.
3ondu#em a crculos que parecem cada ve# mais distantes das preocupa6es matemticas e
filos"ficas dos nossos dias. G nesta conjuntura que se acentua cada ve# mais a import=ncia de
olhar a Matemtica sem a preocupao dominante da pesquisa de fundamentos procurando*se
novas direc6es na filosofia da Matemtica.
2., - Matemt!"a$ Uma "!-n"!a a &ar das outras
:ma alternativa radicalmente diferente 7 da procura de bases indubitveis para a Matemtica foi a
apresentada por Cmre EaPatos. /ste fil"sofo matematicamente esclarecido segue a teoria do
conhecimento cientfico enunciada por 4opper que advoga que o conhecimento cientfico
hipottico falvel e que a ci0ncia progride a partir de problemas pelo jogo entre factos conjecturas
e refuta6es.
8.O.& * Lalibilismo
$o =mbito da filosofia da Matemtica a obra fundamental de EaPatos (rovas e <efuta&es iniciada
em &'SV e publicada pela primeira ve# em livro em &'V). /ste trabalho constitui um ensaio sobre a
l"gica da descoberta em Matemtica onde se reconhece ao erro um valor insubstituvel no processo
de produo do conhecimento. ; ponto de partida saber se e!istir uma relao entre o n2mero de
vrtices > o n2mero de arestas A e o n2mero de faces L de um poliedro. A reso*
rovas e $efuta.es em Matemtica
*ste livro est% estruturado sob a forma de um di%logo que ocorre numa sala de aula imagin%ria.
;epois de muitas tentativas e erros os alunos constatam que para todos os poliedros regulares @-
AA9BC. 5m aluno con$ectura que esta relao se pode aplicar a todos os poliedros. #utros tentam
refutar esta con$ectura sem o conseguirem. D nesta altura que o professor entra na sala e apresenta
uma prova em tr-s etapas. # e'tracto que se segue uma parte do di%logo que se estabelece
imediatamente ap4s a apresentao desta prova.
%ro+essorA ?...@ Assim provmos a nossa conjectura
&
A.uno De.taA Agora pode falar de teorema. $o h no caso mais nada de conjectural
8
.
A.uno A.+aA Admiro*me. >ejo que esta e!peri0ncia pode ser reali#ada com um cubo ou com um
tetraedro mas como posso eu saber se ela pode ser reali#ada com todo o poliedro1 ; senhor tem a
certe#a por e!emplo que qualquer poliedro, depois de l"e retirarmos uma das faces, pode ser
esticado no plano do quadro1 Tenho d2vidas relativamente 7 sua primeira etapa.
A.uno /etaA Tem a certe#a que ao triangular o mapa teremos sempre uma nova face para cada nova
aresta1 Tenho d2vidas quanto 7 sua segunda etapa.
A.uno GamaA ; senhor tem a certe#a que quando se retiram os tri.ngulos um por um "% apenas
dois casos possveis: retirar uma s4 aresta ou ento retirar duas arestas e um vrtice? ; senhor tem
mesmo a certe#a que no final desse processo apenas fica um tri.ngulo? Tenho d2vidas sobre a sua
terceira etapa
F
.
&V
%ro+essorA G claro que no tenho certe#as.
A.+aA Mas ento a nossa situao pior que antes^ /m lugar de uma conjectura neste momento
temos pelo menos tr0s^ / a isso que o senhor chama -prova.^
%ro+essorA Admito que para esta e!peri0ncia mental o termo tradicional _prova] possa ser de facto
considerado um pouco enganador. $o penso que ela estabelea a verdade da conjectura ?...@.
````````````````````````````````````
& * A ideia da prova apresentada pelo professor remonta a 3aucha ?&(&F@
8 * ; ponto de vista de ,elta segundo o qual esta prova estabelece sem nenhuma d2vida o -teorema. foi
partilhado por numerosos matemticos do sculo BCB como por e!emplo 3relle ?Y&(8)*&(8VZ pp. ))(*V&@
Matthiessen ?Y&()FZ p. OO'@ Nonquibres ?Y&('QaZ e Y&('QbZ@. 3itando um e!emplo representativoA -,epois desta
demonstrao de 3aucha est absolutamente fora de d2vida que a elegante relao >cL d Ac8 se aplica aos
poliedros de todos os tipos tal como /uler afirmou em &VS8 e toda a indeciso deve ter desaparecido desde
&(&&.. ?de Nonquibres ?Y&('QaZ pp. &&&*&8@.
F * ;s alunos desta classe so muito dotados. /m 3aucha 4oinsot e muitos outros matemticos do sculo
BCB no se encontram traos destas objec6es.
Cmre EaPatos &''F
(roofs and refutations - T"e logic of mat"ematical discover>
luo deste problema gera um dilogo que mostra uma Matemtica que cresce atravs de um
conjunto de e!plica6es justifica6es elabora6es que no estabelecem a verdade das conjecturas
mas antes as tornam mais plausveis convincentes detalhadas e e!actas pela presso e!ercida
pelos contra*e!emplos. A inteno deste dilogo dar conta de uma espcie de reconstruo
racional da hist"ria.
$a introduo EaPatos escreve que -a hist"ria real soar em notas de fim de pgina cuja maior parte
devem ser consideradas como fa#endo organicamente parte do ensaio.
14
. /le chama a ateno para
que a Matemtica no est to longe da ci0ncia natural como anteriormente se pensava e inclui*a
nas teorias quasi*empricas considerando o conhecimento matemtico intrinsecamente conjuntural e
falvel. 5ugere que a Matemtica no se desenvolve por um crescimento contnuo de teoremas
indubitavelmente estabelecidos mas pela correco de teorias pelo melhoramento constante de
conjecturas graas 7 especulao e 7 crtica graas 7 l"gica de provas e refuta6es. Cndica ainda
que na produo de conhecimento matemtico h uma adaptao constante de a!iomas e
defini6es em simult=neo com uma incessante busca de conjecturas demonstra6es e refuta6es.
EaPatos aplica a sua anlise epistemol"gica 7 Matemtica informal ou seja 7 Matemtica encarada
como um processo de crescimento e descoberta. ,ei!a contudo sem resposta a questo de quais
os objectos das teorias matemticas informais indicando apenas que ela poder ser iluminada por
estudos de caso hist"ricos.
A perspectiva filos"fica de EaPatos frequentemente designada por falibilismo. $o centro desta
perspectiva est uma teoria da gnese do conhecimento matemtico cujo foco no psicol"gico
?uma ve# que EaPatos no se pronuncia sobre a origem dos a!iomas defini6es e conjecturas na
mente dos indivduos@ mas antes o processo pelo qual cria6es matemticas privadas se
transformam em saber matemtico publicamente aceite. /ste processo envolve discusso crtica
conjecturas e refuta6es e neste sentido a filosofia proposta por EaPatos para a Matemtica
assemelha*se 7 filosofia da ci0ncia proposta por 4opper.
14
G. "a;atos (1993, p. 4!.
&(
8.O.8 * Abordagem quasi*empiricista
Actualmente os ventos do p"s*modernismo acentuam a ideia de que se queremos compreender o
que a ci0ncia e os processos de produo do saber cientfico importa debruarmo*nos sobre as
prticas reais dos cientistas tanto as actuais como as passadas e encontrarmos uma filosofia que
enquadre e descreva essas prticas em lugar de uma filosofia que prescreva o que elas devem ser.
$este sentido diversos matemticos fil"sofos e historiadores ?,avis %ersh /rnest Rline
Tamoc#Po 4utnam e muitos outros@ inspirando*se no falibilismo de EaPatos prop6em uma nova
abordagem para a filosofia da Matemtica frequentemente designada por quasi-empiricismo
15
. /sta
abordagem procura descrever e ?re@caracteri#ar a Matemtica a partir da anlise das prticas reais
dos matemticos.
;bservando estas prticas ver*se* que h a factores importantes que os fundacionistas
negligenciaramA provas informais desenvolvimentos hist"ricos possibilidade de erro matemtico
e!plica6es matemticas ?em contraste com provas@ comunicao entre os matemticos a
utili#ao de computadores e muitos outros. 3onstatar*se* que em cada poca h normas culturais
que determinam o que uma demonstrao aceitvel em Matemtica acontecendo que o que
constitui uma demonstrao para uma gerao pode no satisfa#er os padr6es de aceitao e de
rigor da gerao seguinte. ;bservar*se* que a Matemtica cresce por meio de uma srie de
grandes avanos intuitivos que so posteriormente estabelecidos no numa etapa mas atravs de
uma srie de correc6es de esquecimentos e de errosU nenhuma prova definitiva e novos contra*
e!emplos deitam por terra provas antigas.
%ersh
16
apoiando*se na e!peri0ncia diria dos que estudam Matemtica sugere queA -?&@ ;s
objectos matemticos so inventados ou criados pelos seres humanosU ?8@ 5o criados no
arbitrariamente mas emanam da actividade desenvolvida a partir de outros objectos matemticos j
e!istentes e de necessidades da ci0ncia e da vida diriaU ?F@ :ma ve# criados os objectos t0m
propriedades bem determinadas que poderemos ter grande dificuldade em descobrir mas que
possuem independentemente do nosso conhecimento acerca delas.. 3onclui di#endo que a
Matemtica um mundo de ideias criado pelos seres humanos que e!iste na consci0ncia partilhada
destes seres. Tal como os objectos materiais t0m as suas pr"prias propriedades tambm essas
ideias t0m propriedades objectivamente suas. ; mtodo para as descobrir a construo de
demonstra6es e contra*e!emplos.
3onsiderar desta forma os objectos matemticos tem vrias consequ0ncias filos"ficas. /m primeiro
lugar afirmar que os objectos matemticos so inventados ou criados pelo homem distingui*los de
objectos materiais como gua rochas ou gatos. 3ontudo tal no significa que sejam objectos
intemporais como as ideias matemticas do platonismo. 4ode di#er*se por e!emplo que as
geometrias no euclidianas so objectos matemticos de inveno mais recente do que a geometria
euclidiana.
15
A desi2na-o ' proposta, no/eada/ente, por HI/o*B;o (197F! 0ue re.ere 0ue esta aborda2e/ te/ sido
ob?e*to de u/a ades-o *ada veB /aior, e/bora n-o *onstitua u/a representa-o *o/pleta da .iloso.ia da
Mate/1ti*a *onte/porJnea.
16
8. 9ers: (197F, p. 22!.
&'
/m segundo lugar referir que os objectos matemticos so produ#idos como resposta a desafios
colocados tanto por teorias e conceitos matemticos j e!istentes como pelas outras ci0ncias e pelo
mundo real evidencia a complementaridade do que vulgarmente se designa por Matemtica pura e
por Matemtica aplicada. 3om efeito ao longo dos tempos tem*se constatado que a Matemtica se
desenvolve a partir de um movimento simultaneamente interno e e!terno. A abstraco a
a!iomati#ao e a generali#ao tr0s tipos de actividades includas na designada Matemtica pura
t0m*se revelado to vitais para a Matemtica como a construo de modelos inteligveis de
fen"menos naturais comple!os e aparentemente impenetrveis. 4arece ser atravs da interaco
entre a abstraco e os problemas concretos que a vida proporciona que se produ# e vai construindo
uma Matemtica viva significativa e possibilitadora do aumento do poder humano de interveno no
mundo.
/m terceiro lugar admitir que objectos matemticos uma ve# criados t0m propriedades suas que
podemos ser ou no capa#es de descobrir permite destacar a simultaneidade da descoberta e da
inveno em Matemtica. /sta ideia parado!al quando rejeitamos o realismo em Matemtica e
admitimos apenas a e!ist0ncia do sujeito individual e de um mundo e!terior a ele ganha sentido
quando consideramos uma espcie de terceira realidade uma realidade cultural onde se situaria a
Matemtica. $esta linha \ilder inspirando*se nas prticas matemticas reais descreve a
Matemtica como um sistema cultural em evoluo algo que criamos e possumos colectivamente
que e!terno ao sujeito enquanto indviduo mas interno 7 sociedade como um todo. La#endo os
objectos matemticos parte da cultura humana as suas propriedades so tambm propriedades de
ideias partilhadas.
; quasi*empiricismo enquanto abordagem filos"fica destaca que a Matemtica constitui uma
actividade humana simultaneamente individual e social que decorre de um dilogo entre pessoas
que tentam resolver problemas. ;s produtos matemticos podem necessitar de renegociao 7
medida que mudam os padr6es de rigor ou que emergem novos desafios e significados. G pela
partilha e discusso crtica de ideias relativas aos objectos matemticos que se torna possvel o
reconhecimento de saberes matemticos novos o alargamento correco e rejeio de teorias.
; quasi*empiricismo no d resposta a todos os problemas respeitantes 7 filosofia da Matemtica.
$o entanto mais importante que isso permite levantar quest6es fundamentaisA 3omo so
inventados os objectos matemticos1 3omo e!plicar o sucesso das aplica6es da Matemtica na
compreenso do mundo fsico e de outras ci0ncias1
*uasi/em#iricismo e ensino da Matemtica
:ma perspectiva social sobre a Matemtica em que se inclui o quasi*empiricismo tem importantes
implica6es para a pedagogia e a didctica da Matemtica. , suporte a abordagens pedag"gicas
baseadas na formulao e resoluo de problemas semelhantes aos processos pelos quais gerado
o conhecimento matemtico. 4ermite p+r em causa perspectivas educativas rigidamente
hierarqui#adas sobre a Matemtica e a aprendi#agem. Tem resson=ncias com objectivos que visam
formar pessoas capa#es de problemati#ar e avaliar criticamente os usos sociais da Matemtica.
4aul /rnest &''O
T"e p"ilosop"> of mat"ematics and t"e didactics of mat"ematics
9ue balano fa#er quanto 7s diferenas entre os produtos matemticos e outros produtos culturais1
; grau de constrangimento da criatividade matemtica superior ao da criatividade artstica1 3omo
8Q
que a demonstrao matemtica se torna mais refinada e subtil 7 medida que so descobertas
novas fontes de erro1 3omo se articula a produo individual de saber matemtico com o produo
social deste saber1 9uais as normas e conven6es actualmente partilhadas pelos membros da
comunidade matemtica1
/stas so algumas das muitas quest6es que podero ajudar a compreender melhor o que e como
progride a Matemtica. A sua anlise em profundidade constitui um dos grandes desafios que hoje
se colocam no s" 7 filosofia da Matemtica mas tambm 7 hist"ria 7 antropologia 7 sociologia e
7 psicologia da cognio.
8.O.F * MatemticaA ;bjecto cultural e social
4resentemente diversos investigadores pesquisam a hist"ria da Matemtica e reali#am estudos de
carcter sociol"gico e antropol"gico com o objectivo de alargarem a compreenso de como se
produ# o conhecimento matemtico. Alguns destes estudos t0m feito sobressair a influ0ncia das
condi6es e doutrinas sociais na produo matemtica bem como a nature#a cultural dos objectos
matemticos. /m particular <arbin salienta que a modificao dos objectos e dos saberes
matemticos que ocorreu no sculo B>CC resultou do conte!to cientfico social e filos"fico da poca
onde imperava a vontade de compreender os fen"menos tcnicos. /sta cultura condu#iu 7
modificao do conceito de parbola como consequ0ncia do estudo dos movimentos e 7 introduo
de novas concep6es de curva que viriam a estar nos fundamentos do clculo infinitesimal. <ento de
Nesus 3araa j em &'S& ao escrever #s conceitos fundamentais de 8atem%tica sublinhou
tambm que a Matemtica tal como toda a construo humana depende do conjunto de condi6es
sociais em que produ#ida.
0 conceito de varivel e a ,rcia #"s/socrtica
3omo poderia um tal conceito Yde varivelZ surgir na Hrcia p"st*socrtica dominada por uma
doutrina filos"fica que ?...@ rejeitava a contradio o devir e procurava em tudo aquilo que guarda
permanentemente a sua identidade? $o^ A vari%vel porque o no guarda a sua identidade
ultrapassa o lago tranquilo mas estril da perman-ncia. ,aqui resulta imediatamente a incapacidade
da ci0ncia grega para construir o conceito de funo ?...@ / aqui tem o leitor um e!emplo
possivelmente o mais importante de todos de como a Matemtica do mesmo modo que toda a
construo humana depende do conjunto de condi6es sociais em que os seus instrumentos t0m
que actuar. 5ubordinao que no a humilha antes a engrandece.
<ento de Nesus 3araa &'('
7onceitos fundamentais de 8atem%tica
Iestivo
17
numa posio mais radical afirma que -as nota6es e smbolos so instrumentos
materiais e em geral recursos que so socialmente construdos em torno de interesses sociais e
orientados por objectivos sociais.. ,efende que os mundos matemticos so mundos sociais e que
os objectos matemticos so e devem ser tratados como -objectos coisas que so produ#idas e
manufacturadas por seres sociais. no havendo ra#o para que -um objecto como um teorema deva
ser tratado diferentemente de uma escultura..
2.0 - A e1&er!-n"!a matemt!"a
17
&. 8estivo (1977, p. 17!.
8&
:ma ve# admitida a ideia de que a filosofia da Matemtica deve ter em conta as prticas
matemticas reais torna*se pertinente reflectir sobre alguns aspectos da e!peri0ncia matemtica.
$esta seco aborda*se o que 4apert
18
designa por face e!tra*l"gica da Matemtica e o papel do
computador na produo da Matemtica.
8.S.& * Lace e!tra*l"gica da Matemtica
A Matemtica vulgarmente olhada por um =ngulo que privilegia o seu lado l"gico. $o entanto tal
como acontece em qualquer outra actividade humana tambm na actividade de produo
matemtica a face e!tra*l"gica coe!iste com a face l"gica.
+sttica matemtica e criao matemtica
/ncontram*se refer0ncias 7 face e!tra*l"gica nomeadamente 7 esttica matemtica em vrias
descri6es do processo de criao matemtica 4or e!emplo 4oincar destaca que a sensibilidade
esttica e no a l"gica que constitui o trao distintivo do esprito matemtico. 9uando confrontado
com um problema de difcil resoluo este matemtico reali#a um trabalho que se desenvolve em
tr0s etapas. A primeira uma fase de anlise consciente e deliberada do problema. A segunda uma
fase de trabalho inconsciente. 4arece um abandono provis"rio da tarefa. $o entanto o que se passa
que o eu inconsciente ou subliminar e!plora sistematicamente todos os elementos que lhe foram
fornecidos pela primeira etapa do trabalho. Ap"s um certo tempo num momento qualquer em que o
esprito consciente se afasta do problema a resolver algumas combina6es desses elementos
provenientes do trabalho do inconsciente aparecem na mente sob a forma de uma inspirao s2bita.
$uma terceira etapa h uma anlise consciente e rigorosa dessas ideias que podero ser aceites
modificadas ou rejeitadas. $este 2ltimo caso o inconsciente recomear de novo o seu trabalho na
procura de uma nova soluo.
3oloca*se contudo a questo de porque que o inconsciente transmite ao consciente alguns
resultados e outros no. G aqui que 4oincar v0 a interveno da sensibilidade esttica. G esta
sensibilidade uma intuio especial que para ele s" e!iste nos que nascem matemticos criadores
que desempenha um papel de crivo e apenas dei!a passar para o consciente as ideias que tra#em a
marca da bele#a matemtica. 4oincar ao contestar que seja possvel compreender o trabalho do
matemtico e os processos que ele utili#a e!clusivamente em termos de l"gica o que no fundo p6e
em causa a e!ist0ncia de uma teoria puramente cognitiva do pensamento matemtico.
A descrio de 4oincar refere*se ao mais alto nvel da criao matemtica. :ma questo diferente
saber se o mesmo processo din=mico est presente em nveis mais elementares de trabalho
matemtico. Loi sobre esta questo que se debruou 4apert
19
ao analisar o pensamento seguido por
18
&. Papert (197(!. Papert in*lui na .a*e e,tra<lD2i*a da /ate/1ti*a a beleBa /ate/1ti*a, o praBer /ate/1ti*o
e a intui-o /ate/1ti*a. K livro Mindstorms - Children computers and powerful ideas onde Papert re.ere
estas ideias, te/ u/a tradu-o brasileira intitulada !ogo" Computadores e educa#$o, publi*ada pela pri/eira
veB e/ 1974 por %ditora Brasilien*e &-o Paulo.
19
&. Papert (197(!. K teore/a 0ue indi*a 0ue raiB 0uadrada de 2 ' u/ n>/ero irra*ional .oi es*ol:ido
e,a*ta/ente por o /ate/1ti*o in2lLs 9ardI o ter *onsiderado *o/o u/ dos /ais puros e,e/plos de beleBa
/ate/1ti*a.
88
um grupo de no matemticos a quem foi pedido para construir a demonstrao do teorema que
indica que a rai# quadrada de dois um n2mero irracional.
Ao longo do processo de resoluo do problema 4apert constata a e!ist0ncia no grupo de sinais
diversos de satisfao e entusiasmo traos de pra#er vrios que o levam a questionar*se se a
Matemtica no estar mais pr"!ima do humor e dos sonhos do que aquilo que geralmente se cr0.
Tudo isto leva*o a colocar uma srie de d2vidas sobre as ra#6es para acreditar como o fa# 4oincar
que a faculdade de sentir bele#a matemtica algo de inato e independente de outras componentes
do esprito. 5ugere pois a possibilidade destes factores entrarem em linha de conta e virem a
influenciar em cada pessoa a percepo da Matemtica como bela ou no levando*a a aprovar ou
a rejeitar -esta. ou -aquela. Matemtica.
+sttica matemtica e criao matemtica
Tornar*se matemtico inclui o desenvolvimento da esttica matemtica uma predileco por analisar
e compreender por perceber a estrutura e as rela6es estruturais por ver como as coisas se
ajustam.
Alain 5choenfeld &''Q
(roblem solving in conte't2s3
; que h de comum na esttica de todas as artes e na Matemtica o desapareci*mento de
informa6es parasitas de barulhos de fundo numa palavra a diminuio da entropia. A comparao
de um belo raciocnio com a dana em que cada movimento termina o precedente e inicia o
seguinte no destituda de sentido.
Andr Ievu# &'((
*st-il impossible dEenseigner les mat"matiques?
Intuio e Matemtica
A intuio matemtica outra das componentes que 4apert inclui na face e!tra*l"gica da
Matemtica. A sua import=ncia no processo de produo desta ci0ncia destacada por in2meros
matemticos alguns dos quais chegam a afirmar que a criao matemtica sem d2vida e antes de
mais a obra de homens notveis pela sua poderosa intuio mais do que pela sua capacidade de
reali#ar demonstra6es rigorosas.
$o =mbito da Matemtica a noo de intuio frequentemente um pouco vaga. 4or ve#es
significa pouco rigoroso embora o conceito de rigor seja apenas intuitivamente definido. Cntuitivo
pode tambm significar visual heurstico plausvel e holstico em oposio a pormenori#ado ou
analtico. Apesar desta ambiguidade um facto que a actividade matemtica para l de uma
componente formal ?que envolve a!iomas defini6es teoremas e demonstra6es@ e de uma
componente algortmica ?composta por procedimentos que apenas podem ser adquiridas atravs de
um treino sistemtico@ inclui tambm combinar observa6es seguir analogias recorrer a imagens
formular conjecturas e adivinhar a ideia da prova antes de a fa#er ou seja inclui tambm uma
componente intuitiva. /sta componente no aparece nos produtos matemticos acabados onde
prevalece a forma dedutiva. /stes produtos so assegurados pelo que 4"laa designa por raciocnio
demonstrativo. As conjecturas so no entanto sustentadas por um tipo de raciocnio diferente o
raciocnio plausvel que completa o primeiro. 4"laa chama ainda a ateno para que se a
8F
aprendi#agem da Matemtica reflecte em algum grau a inveno da Matemtica ento deve haver
a lugar para aprender a -adivinhar. para a infer0ncia plausvel.
!riao matemtica e intuio
3i0ncia alguma pode nascer apenas da l"gica ?...@ para produ#ir Aritmtica tal como para produ#ir
Heometria ou qualquer outra ci0ncia necessrio algo mais que a l"gica pura. 4ara designar essa
outra coisa no temos outra palavra seno intuio ?...@ a ci0ncia da demonstrao no toda a
ci0ncia e a intuio deve conservar o seu papel como complemento diria mesmo como contrapeso
ou antdoto da l"gica ?...@ Tive j oportunidade de insistir no que di# respeito ao lugar que a intuio
deve ter no ensino das ci0ncias matemticas. 5em ela os espritos ainda jovens no teriam meios de
aceder ao entendimento da MatemticaU no aprenderiam a gostar dela e v0*la*iam apenas como
uma v logomaquia. 5em a intuio sobretudo nunca viriam a ser capa#es de aplicar a Matemtica
?...@ Assim a l"gica e a intuio t0m cada uma delas o seu papel. Ambas so indispensveis. A
l"gica que a 2nica que nos pode fornecer a certe#a o instrumento da demonstraoU a intuio
o instrumento da inveno.
%enri 4oincar &'((
Fntuio e l4gica em 8atem%tica
Temos intuio matemtica no porque memori#amos mecanicamente defini6es e algoritmos mas
porque temos representa6es mentais dos objectos matemticos. 3onstrumos estas representa6es
atravs de e!peri0ncias repetidas quer seja atravs da manipulao de objectos concretos a um
nvel elementar quer num nvel mais avanado atravs da manipulao de imagens mentais de
e!peri0ncias de resoluo de problemas e da reali#ao de descobertas.
:ma ve# que a intuio matemtica uma componente fundamental e insubstituvel da actividade
matemtica importa ter em conta que a 0nfase e!clusiva na sala de aula em tarefas matemticas
que no estimulem os aspectos intuitivos do pensamento para l de constituir uma parente pobre da
e!peri0ncia matemtica pode funcionar para alguns alunos como uma barreira inibidora da
construo de conhecimento matemtico significativo.
8.S.8 * A prtica matemtica e o computador
$os 2ltimos anos o computador tem tido uma forte influ0ncia no desenvolvimento da Matemtica.
Trou!e para primeiro plano reas anteriormente estudadas mas entretanto postas de lado
possibilitou alargar fortemente o =mbito das aplica6es da Matemtica permitiu introdu#ir novos
processos de investigao e tem sido uma fonte fecunda de problemas. ; computador est assim a
introdu#ir modifica6es importantes nas prticas matemticas tradicionais dando a esta ci0ncia uma
nova dimenso tanto nos seus aspectos te"ricos como prticos. Todas estas mudanas esto a
levantar interessantes quest6es filos"ficas sobre as quais importa reflectir.
1tili2ao do com#utador em Matemtica
A relao do computador com a Matemtica estabeleceu*se h muitas dcadas. Cnicialmente
comeou por ser usado para reali#ar clculos numricos que ocupavam um tempo e!cessivamente
longo. Mais tarde o seu campo de utili#ao diversifica*se e torna*se mais comple!o. $os anos SQ
\ang programou um computador para provar diversos teoremas dos (rincipia 8at"ematica de
Iussel. /m &')' ,avis e 3erutti usaram outro computador para produ#ir provas de geometria
elementar tendo encontrado uma demonstrao no usual para um velho teorema. 4osteriormente
o computador comea a ser programado para reali#ar opera6es com smbolos que dada a
8O
comple!idade das e!press6es envolvidas eram srios obstculos ao prosseguimento dos trabalhos
de investigao alargando as fronteiras da intratabilidade
20
.
Actualmente matemticos engenheiros e cientistas concebem modelos computacionais de sistemas
naturais tecnol"gicos e sociais para revelar cenrios que anteriormente s" poderiam ser estudados
atravs de prot"tipos e e!peri0ncias demoradas muitas ve#es reali#adas em condi6es de risco. 4or
seu lado os pr"prios modelos computacionais geram novos problemas matemticos que t0m
impulsionado linhas de investigao diversas. /m particular na teoria dos n2meros o computador
frequentemente usado para chegar a novas conjecturas. Hera dados que o matemtico analisa de
modo a formul*las e mesmo que no as consiga provar pode recorrer de novo ao computador para
gerar outros grupos de n2meros que lhe permitam testar ou refutar as conjecturas que estabeleceu.
$outros campos produ# imagens grficas de objectos matemticos que no poderiam ser
-visuali#ados. de outro modo ?como acontece por e!emplo com os objectos fractais@ permitindo
assim ampliar as fronteiras de compreenso desses objectos. Alguns t"picos de Matemtica foram
mesmo relegados inteiramente para a Matemtica computacional tal como acontece com a procura
do maior n2mero primo ou a mais longa e!presso decimal de G.
( legitimidade matemtica do com#utador
Apesar desta aliana fecunda entre computador e Matemtica a questo da legitimidade matemtica
do computador permanece contudo uma questo controversa. Muitos matemticos nomeadamente
os fundacionistas negam que os computadores possam figurar em provas matemticas entendidas
no sentido restrito do termo. /sta atitude prende*se com o facto de por ve#es as provas assistidas
por computador ?computer proofs@ no poderem ser testadas pela comunidade matemtica atravs
do mtodo can"nico que consiste em l0*las e verificar se cada infer0ncia logicamente correcta. As
c"pias escritas de muitas destas provas so impossveis de obter devido 7 enorme quantidade de
tempo necessrio para as imprimir e mesmo que se conseguisse encheriam um n2mero tal de
pginas que seriam in2teis para o matemtico. 4rocura*se garantir que os resultados obtidos por
computador esto correctos verificando se diversos computadores os confirmam construindo
diferentes programas para os verificar e avaliando a fiabilidade dos programas utili#ados.
/stas evid0ncias so contudo semelhantes 7s que obt0m os cientistas que reali#am estudos
e!perimentais no campo das ci0ncias naturais que tradicionalmente t0m sido consideradas
significativamente diferentes da Matemtica. Assim no de estranhar que se ponham srias
retic0ncias em admitir em Matemtica provas assistidas por computador com o argumento de que se
iria modificar o carcter fundamental desta ci0ncia.
/ste debate poderia ter permanecido para sempre no campo puramente especulativo se as provas
assistidas por computador no tivessem chegado 7 Matemtica pura o que aconteceu em &'V) com
a prova apresentada por Appel e %aPen para a conjectura das quatro cores.
!onjectura das )uatro cores
20
%sta e,press-o ' usada por Pavelle, 8ot:estein e 5it*: (1991!, para indi*ar 0ue o *o/putador, atrav's da
utiliBa-o de siste/as auto/1ti*os de /anipula+es al2'bri*as, per/ite e,plorar e,press+es al2'bri*as
.re0uente/ente in*ludas e/ teorias *ient.i*as, 0ue s-o e,tre/a/ente di.*eis de e,plorar MN /-oO.
8S
/m &'V) aconteceu uma coisa raraA a notcia da demonstrao de um teorema de Matemtica pura
foi publicada nas colunas do ,eH IorJ Times. A ocasio foi a demonstrao por Renneth Appel e
\olfgang %aPen da -conjectura das quatro cores.. ; acontecimento foi notcia por duas ra#6es. /m
primeiro lugar o problema era famoso. A conjectura das quatro cores era estudada h mais de cem
anos. Tinha havido muitas tentativas falhadas para a resolver D agora por fim tinha sido
demonstrada. 3ontudo o pr"prio mtodo de demonstrao era digno de nota. Csto porque uma parte
essencial da demonstrao consistia em clculos por computador. ;u seja a demonstrao
publicada continha programas de computadores e resultados de clculos desses programas. ;s
passos intermdios de e!ecuo dos programas no foram claro publicadosU neste sentido as
demonstra6es publicadas estavam em princpio e permanentemente incompletas.
; problema das quatro cores consiste em demonstrar que qualquer mapa numa superfcie plana ou
numa esfera pode ser colorido sem utili#ar mais de quatro cores diferentes. A 2nica e!ig0ncia a de
que quaisquer dois pases com uma fronteira comum no tenham a mesma cor.
4hilip ,avis e Ieuben %ersh &''S
A e'peri-ncia matem%tica
; que Appel e %aPen apresentaram foi uma prova por induo que requer a anlise de diversos
casos. 5e se e!cluir a interveno do computador h na prova uma lacuna intransponvel que no
pode ser preenchida com passos reconstitudos pelos matemticos. G como se um dos lemas
principais da prova fosse justificado com a e!presso -como di# o computador. em lugar de ser
justificado pelo recurso a resultados anteriormente estabelecidos ou a regras da l"gica. Eogo a 2nica
possibilidade de verificar a prova de Appel e %aPen foi utili#ar um outro computador independente o
que torna a prova apresentada dependente da fiabilidade da mquina e do programa. /mbora muitos
sintam que esta fiabilidade suficientemente elevada para garantir a aceitao do teorema ela
apoia*se num conjunto comple!o de factores empricos o que no acontece com as provas
matemticas tradicionais. ;u seja a avaliao da demonstrao apresentada depende no apenas
da capacidade de anlise da comunidade matemtica para compreender e verificar raciocnios mas
tambm da sua crena de que os computadores fa#em correctamente o que suposto que faam.
/sta convico apro!ima o conhecimento matemtico do conhecimento vulgar podendo assim
parecer que h uma certa degradao do grau de certe#a que viola a pr"pria nature#a da
Matemtica.
$o pois de estranhar que a publicao do trabalho de Appel e %aPen tenha gerado tantas
controvrsias. Afinal a aceitao do teorema das quatro cores p6e em causa o sentido de -teorema.
e mais precisamente o sentido de demonstrao que durante sculos esteve associado 7
Matemtica.
!om#utador e ex#erimenta.es em#ricas em Matemtica
:sar computadores de modo anlogo ao que foi utili#ado para provar o teorema das quatro cores
condu# 7 possibilidade de dois tipos de prova em MatemticaA ?a@ as provas clssicas em que todos
os resultados podem ser verificados por matemticos interessados e ?b@ as provas onde intervm o
computador e cuja validade no pode ser estabelecida por anlise l"gica pois h passos que s"
podem ser ultrapassadas recorrendo a essa tecnologia. Admitir a legitimidade das provas do tipo ?c@
introdu# e!perimenta6es empricas em Matemtica apro!imando esta ci0ncia das ci0ncias
e!perimentais. /ste facto tem algumas consequ0ncias filos"ficas. Iepresenta a aceitao de
8)
processos quasi*empricos em Matemtica
21
U abre as portas 7 e!ist0ncia de conhecimento
matemtico a posterioriU desafia a distino absoluta entre Matemtica e ci0ncias naturaisU dei!a em
aberto diversas quest6es entre as quais e!plicar o papel das e!peri0ncias em Matemtica pura qual
o estatuto das provas assistidas por computador e quais os critrios matemticos de aceitao
dessas provas.
Actualmente multiplicam*se os casos em que os computadores so usados para produ#ir provas
matemticas. $o h muito tempo foi publicada nos orgos de comunicao social
22
uma notcia que
indica que um novo programa de computador desenvolvido nos /stados :nidos demonstrou
automaticamente a conjectura de Iobbins. /sta conjectura foi formulada nos anos FQ e durante
dcadas suscitou o interesse de muitos matemticos que foram fa#endo progressos parciais sem a
conseguirem provar completamente. Aqui o que se passou foi qualitativamente diferente do que
aconteceu com a prova do teorema das O cores. /nquanto neste a estratgia de demonstrao foi
concebida pelo homem limitando*se o programa a e!plorar um conjunto bem delimitado de
possibilidades no caso do problema de Iobbins foi o pr"prio programa que e!plorou milh6es de
hip"teses at que encontrou uma estratgia que levou 7 resoluo.
Ao lado desta notcia aparece um endereo electr"nico que permite aceder 7 pgina da Cnternet onde
se poder encontrar no apenas a demonstrao do teorema de Iobbins mas tambm informa6es
sobre os avanos da intelig0ncia artificial na demonstrao automtica de teoremas
23
.
/ provvel que este acesso fcil que o computador permite 7s redes de informao introdu#a
altera6es muito variadas nas prticas matemticas reais que o tempo e a investigao se
encarregaro de desvendar. Lacilitar sem d2vida a partilha de conhecimentos e o debate de ideias
e nessa medida ser um estmulo importante 7 actividade de produo matemtica.
2.2 - A "on".u!r
A constatao de que posi6es filos"ficas sobre a Matemtica influenciam e t0m influenciado de
forma significativa conceitos e princpios orientadores relacionados com o seu ensino e
aprendi#agem tem vindo a ganhar cada ve# mais terreno. ,e facto situarmo*nos na perspectiva de
ajudar quem aprende a compreender um corpo de saberes matemticos que o produto contingente
de foras evolutivas hist"ricas e culturais um problema diferente de ensinar segundo uma
perspectiva que sup6e a e!ist0ncia de um saber matemtico imutvel eterno fortemente
estruturado infalvel rigoroso e abstracto por nature#a que e!terior aos alunos mas que estes
podem receber do professor atravs de mecanismos de transmisso imitao e absoro.
$a base de muitas das actuais orienta6es para o ensino da Matemtica est a ideia de que saber
matemtica sobretudo fa#er Matemtica. 5imultaneamente advoga*se que para aprender
21
HI/o*B;o, H. (197F! vai /ais lon2e, a.ir/ando 0ue a*eitar a le2iti/idade do teore/a das 0uatro *ores
*onduB a adoptar u/a teoria 0uasi<e/pri*a da /ate/1ti*a.
22
Per, por e,e/plo, E%presso 14Q2Q9.
23
A .or/ula-o e de/onstra-o do teore/a de 8obbins, be/ *o/o as in.or/a+es 0ue .ora/ .orne*idas ao
*o/putador pode/ ser obtidas no endereo :ttp#QQRRR./*s.anl.2ovQ
8V
Matemtica de maneira significativa e 2til importa participar na actividade matemtica considerada
nas suas m2ltiplas vertentes e no apenas adquirir conhecimentos e compet0ncias e!plicitamente
indicados pelo professor.
A questo do que significa fa#er Matemtica tem contudo diversas respostas consoante a
perspectiva epistemol"gica que se adopta sobre esta ci0ncia. / assim sendo as controvrsias
acerca do ensino da Matemtica dificilmente podero ser resolvidas sem se reflectir sobre a nature#a
da Matemtica e dos processos de produo do saber matemtico. ,a a grande import=ncia da
temtica deste captulo para o professor de Matemtica.
Re+er-n"!as
<arbin /. ?&''O@. A matemtica como processo hist"rico e como objecto cultural. /m (rof8at KL -
Actas ?pp. F)*OO@. EisboaA A4M.
<loor ,.?&''&@. MnoHledge and social imager>. EondonA The :niversita of 3hicago 4resss.
<Poucher I. 3harlot <. e Iouche $. ?&''&@. 9aire les mat"matiques: Ne plaisir du sens. 4arisA
Armand 3olin.
<roTder L. Mac Eane 5. ?&'((@. A relev=ncia da matemtica. /m A ,ature6a da 8atem%tica,
7adernos de *ducao e 8atem%tica & ?pp.&V*OO@. EisboaA A4M.
3araa <. N. ?&'('@. 7onceitos fundamentais de matem%tica. EisboaA Eivraria 5 da 3osta.
3onnes A. ?&''&@. ; estranho mundo da matemtica. /m (=blico (e&&.
,avis 4. %ersh I. ?&'((@. ,a certe#a 7 falibilidade. /m A ,ature6a da 8atem%tica, 7adernos de
*ducao e 8atem%tica & ?pp.OS*V8@. EisboaA A4M.
,avis 4. %ersh I. ?&''S@. A e'peri-ncia matem%tica. EisboaA Hradiva.
,ias Agudo L. I. ?&'(Q@. A matem%tica no mundo contempor.neo. Tomo BBCCC. EisboaA Academia das
3i0ncias de Eisboa
,ieudonn N. ?&''Q@. A formao da matem%tica contempor.nea. EisboaA ,om 9ui!ote.
/rnest 4. ?&''&@. T"e p"ilosop"> of mat"ematics education. %ampshireA The Lalmer 4ress.
/rnest 4. ?&''O@. The philosopha of mathematics and the didactics of mathematics. /m I. <iehler
Ioland \. 5chol# I. 5trf<er <. \inPelmann ?/ds.@ ;idactics of mat"ematics as a scientific
discipline ?pp. FFS*FO'@. EondonA RluTer Academic 4ublishers.
%ersh I. ?&'()@. 5ome proposals for reviving the philosopha of mathematics./m T. Tamoc#Po ?/d.@
,eH directions in t"e p"ilosop"> of mat"ematics ?pp.'*8(@. <ostonA <irPhfuser.
Rline M. ?&'('@. 8at"matiques: Na fin de la certitude. 4arisA 3hristian <ourgois Gditeur.
EaPatos C. ?&''F@. (roofs and refutations - T"e logic of mat"ematical discover>. 3ambridgeA
3ambridge :niversita 4ress.
EaPatos C. ?&'()@. A Ienaissance of empiricism in the recent philosopha of mathematics1. /m T.
Tamoc#Po ?/d.@ ,eH directions in t"e p"ilosop"> of mat"ematics ?pp.8'*O(@. <ostonA
<irPhfuser.
4apert 5. ?&'(Q@. 8indstorms O 7"ildren, computers and poHerful ideas. $eT gorPA <asic <ooPs.
4avelle I. Iothestein M. e Lich N. ?&''&@. Klgebra por computador. /m N.4. 4onte ?;rg.@ #
computador na *ducao 8atem%tica ?pp. &&*8V@. EisboaA A4M.
4oincar %. ?&'((@. Cntuio e l"gica em matemtica. /m A ,ature6a da 8atem%tica, 7adernos de
*ducao e 8atem%tica & ?pp.V*&)@. EisboaA A4M
8(
4oincar %. ?&'')@. A inveno matemtica. /m 4. Abrantes E. 3. Eeal e N. 4. 4onte ?/ds@
Fnvestigar para aprender matem%tica ?pp. V*&F@. EisboaA A4M.
4"laa H. ?&'()@. Lrom the preface of induction and analoga in mathematics. /m T. Tamoc#Po ?/d.@
,eH directions in t"e p"ilosop"> of mat"ematics ?pp.''*&Q&@. <ostonA <irPhfuser.
Iestivo 5. ?&'((@. The 5ocial life of mathematics pp. S*8Q. /m ("ilosop"ica O8 ?8@.
Ievu# A. ?&'(Q@. *st-il impossible dEenseigner les mat"matiques? 4arisA 4:L.
5ebastio e 5ilva N. ?&')O@. )uia para a utili6ao do comp-ndio de matem%tica &h volume )h ano
EisboaA Ministrio da /ducao.
5napper /. ?&'V'@. The three crises in mathematicsA Eogicism intuitionism and formalism. /m
8at"ematics 8aga6ine ?pp. 8QV*8&)@ >ol S8 ?O@.
5truiP ,. ?&'('@. :ist4ria concisa das matem%ticas. EisboaA Hradiva.
5choenfeld A. ?&''Q@. 4roblem solving in conte!t?s@. /m I. 3harles /. 5ilver ?/ds.@ T"e Teac"ing
and assessing of mat"ematical problem solving ?pp. (8*'8@. >irginiaA $3TMA
Tamoc#Po T. ?/d.@ ?&'()@. ,eH directions in t"e p"ilosop"> of mat"ematics. <ostonA <irPhfuser.
\ilder I. ?&'()@. The cultural basis of mathematics. /m T. Tamoc#Po ?/d.@ ,eH directions in t"e
p"ilosop"> of mat"ematics ?pp.&(S*&''@. <ostonA <irPhfuser.
8'

A Natureza Da Matemática - Ponte Et Al.

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

A Natureza Da Matemática - Ponte Et Al.

Diunggah oleh

Hak Cipta:

Format Tersedia

A NATUREZA DA MATEMTICA

etc. 4or isso Aquiles nunca poder alcanar a tartaruga.

Anda mungkin juga menyukai