A natureza da Matemática

2017624 2ANATUREZADAMATEMTICA
AnaturezadaMatemtica[1]

A questo do que hoje um bom ensino da Matemtica no uma questo pacfica. Tem diversas respostas
dependendodasfinalidadesdaeducaoprivilegiadas,quevariamconsoanteoscontextossociais,polticoseculturais
ondeaquestocolocada,queserelacionamcomasperspectivaspsicolgicasesociolgicassobreaaprendizagem
em que nos situarmos. No entanto, diversos matemticos, filsofos e educadores salientam, cada vez mais, que a
concepo que se sustenta sobre a Matemtica influencia profundamente o que se considera ser desejvel
relativamente ao seu ensino e aprendizagem. Assim sendo, como Hersh escreve num artigo publicado em 1986, a
questonoentoqualamelhormaneiradeaensinar,masoquerealmenteaMatemtica.
AopretenderfazerseumcmputogeraldaMatemticaquereveleosseusfactoresessenciaiseexpliquecomoque
ossereshumanossocapazesdeafazer,tornasedifcilorganizarosdiversosaspectosnumtodocoerente.Defacto,
a simples pergunta afinal o que a Matemtica tem sido, ao longo dos tempos, objecto de diversas tentativas de
resposta.Eosproblemasacentuamsequandosepretendeidentificarosobjectosdassuasteorias.AMatemticao
conhecimentodequ?Estaquestofilosfica,apesardesertoantigaquantoestacincia,temgerado,desdesempre,
inmerascontrovrsias.
Constitui,pois,umdesafioconceberumbalanoqueabarqueacomplexidadeeocarctermultifacetadodaMatemtica
enquanto actividade e corpo de conhecimentos. Este desafio acrescido se se tiver em conta que ela no tem
permanecidoigualasiprpriaaolongodostempos.Pelocontrrio,temsofridoumprocessodeevoluoconstanteno
qual se detectam mudanas profundas nalguns dos seus aspectos mais essenciais. Sistema organizado, linguagem,
instrumento,actividade,sodiversasperspectivassegundoasquaisaMatemticatemsidoencarada.Axiomatizao,
formalizao,deduo,sooessencialparaalgunseapenasumaparte,nemsequeramaisimportante,paraoutros.
Tradicionalmente, a epistemologia da Matemtica procura responder a questes relacionadas com a lgica interna de
produo do saber, adquirindo as respostas, frequentemente, um carcter prescritivo. Procurase garantir a certeza do
saber matemtico e discutese a natureza e os fundamentos desta cincia. No entanto, uma reflexo limitada a estas
questesfalhaemlocalizlanumcontextomaisamplodopensamentohumanoedahistria.
Se a Matemtica for descrita em termos dos seus conceitos, caractersticas, histria e prticas, abrese espao para
queafilosofiadaMatemtica,paraalmdereflectirsobrequestesinternasrelativasaoconhecimentomatemtico,sua
existncia e justificao, se debruce tambm sobre questes externas relacionadas, nomeadamente, com a origem
histrica e os contextos sociais de produo desse conhecimento. A actividade matemtica poder, assim, ser
discutidacomoparteintegrantedaculturahumanaemgeral.
Neste captulo reflectese sobre a natureza da Matemtica, procurando enquadrar esta dualidade relativa a aspectos
internos e externos da produo do saber. Numa primeira seco, abordamse questes relacionadas com a natureza
dosobjectosmatemticosediscuteseopapeldaexperinciaedarazonagneseedesenvolvimentodaMatemtica.
Tendoporcontextoumaperspectivahistrica,referese,numasegundaseco,aorigemdaMatemticaequestionase
a intemporalidade e o carcter absoluto atribudos, frequentemente, verdade, certeza e rigor matemticos. A terceira
seco incide sobre um perodo recente, particularmente importante para a filosofia da Matemtica, caracterizado pela
pesquisa de fundamentos seguros. Na quarta seco consideramse direces actuais da filosofia da Matemtica e
analisamse aspectos da actividade matemtica enquanto fenmeno social e cultural. Este captulo termina com uma
quinta seco, dedicada experincia matemtica, onde se referem algumas vertentes do processo de criao desta
cincia,nomeadamente,asuafaceextralgicaeocontributodocomputadorparaproduodosabermatemtico.

2.1Gneseenaturezadosabermatemtico

2.1.1Naturezadosobjectosmatemticos
http://www.mat.uc.pt/~mat0840/Textos/ponteetc(2NaturezaMat)%2097.htm#_ftn16 1/22

Qualanaturezadosentesmatemticos,ouseja,aMatemticaestudaoqu?Estaquestoabordadaatravsdedois
prismas de anlise. Um, relacionado com a imaterialidade dos objectos matemticos. Outro, que procura olhar estes
objectosnasuarelaocomosujeitoqueosconheceouprocuraconhecer.
Imaterialidadedosobjectosmatemticos

Ostextosantigos,provenientesdasprimeirascivilizaesorientaisdoEgiptoeBabilnia,sodemasiadofragmentrios
para permitir seguir, ao pormenor, o processo de constituio de uma aritmtica e de uma geometria. No entanto,
mostram claramente que os conceitos que a intervm dizem respeito apenas a objectos concretos:enumerao de
objectos de um amontoado, medida de grandezas susceptveis de adio e subtraco, como comprimento, rea,
volume, peso, ngulo, para cada uma das quais se toma uma unidade e muitas vezes os seus mltiplos ou
[2]
submltiplos .
Mais tarde, a partir do sculo V, surgem, com os pensadores gregos, as primeiras demonstraes e com elas a
necessidade de precisar noes como figura, posio, grandeza, quantidade e medida. Plato mostra claramente que
estas palavras no designam noes da experincia sensvel, referindo que os matemticos se servem de figuras
visveis para estabelecerem raciocnios, pensando, contudo, no nelas mas naquilo com que se parecem. Aristteles
no deixa de apoiar a ideia da imaterialidade dos objectos matemticos, referindo, em particular, que as investigaes
dosmatemticosincidemsobrecoisasatingidasporabstraco,dequesoeliminadastodasasqualidadessensveis
como o peso, leveza ou dureza. Tambm Euclides, em quem vemos pela primeira vez desenvolvidas, segundo o
mtodo dedutivo, as propriedades dos objectos matemticos concebidos por Plato e Aristteles, no deixa qualquer
dvidaquandoaofactodeteratribudoaponto,recta,ngulo,crculoepolgono,ocarcterdeobjectosdepensamento.
Constataseassimque,pelomenosdesdePlato,osmatemticostmconscinciadequeosobjectossobreosquais
raciocinam, embora tendo nomes idnticos aos que intervm em clculos prticos (nmeros, figuras geomtricas,
grandezas)soserescompletamentediferentes,seresimateriaisobtidosporabstraco,apartirdeobjectosacessveis
aossentidos,masdequedelessoapenasimagens.Estafoi,alis,umadasgrandesideiasoriginaisdosgregos:a
atribuiosnoesmatemticasdocarcterdeobjectosdepensamento.
At ao sculo XVIII, os matemticos, apesar de reconhecerem a imaterialidade e o carcter ideal dos seres com que
trabalhavam,tinhamdelesimagensacessveisaossentidos.Noentanto,apartirdessaaltura,paraconseguiremnovos
progressos,necessitaramdeintroduzirnovosobjectosmatemticosquedeixaramdeapoiarseemimagenssensveis.
AospoucosvaisedelineandoumaideiaqueseraprofundadanosculoXX:aideiadeestruturanabasedeumateoria
matemtica. Esta ideia relacionase com a constatao de que numa teoria matemtica mais importante do que a
natureza dos objectos que a figuram, so as relaes entre esses objectos, podendo acontecer que em teorias
diferenteshajarelaesqueseexprimamdamesmamaneira.
A discusso da existncia de objectos matemticos no mundo fsico pode proporcionar, como evidencia Sebastio e
Silva (ver pgina seguinte), um contexto favorvel ao debate, na sala de aula, de um dos aspectos fundamentais da
Matemticaodassuasrelaescomanatureza.

Matemtica:Descobertaouinveno?

Aexistnciadeobjectosmatemticosounoindependentedosujeitoqueosestuda?Pararesponderaestaquesto
contrastamse,tradicionalmente,duasconcepes:concepesidealistaseconcepesrealistas.
O idealismo, enquanto perspectiva filosfica, insiste em que toda a realidade matemtica condicionada pelas
construes dos matemticos que inventam essa realidade. Neste mbito, os objectos matemticos so livres
invenes do esprito humano, que no existem autonomamente e que possuem, apenas, as propriedades que o
pensamentopuderdeterminar.
Orealismosupearealidadedeumuniversomatemticoautnomo.Osobjectostmpropriedadesprpriasqueexistem
independentementedosujeito.Ohomemnoinventaestarealidadeobjectivaquelheexterior.Limitaseadescobrila.
Orealismo,enquantoperspectivafilosfica,temporbaseadoutrinadePlato,sendofrequente,nombitodafilosofia
daMatemtica,considerarsinnimosostermosrealismoeplatonismo.Paraoplatonismoosobjectosmatemticosso
reais,emboranosejamobjectosfsicosoumateriais.Asuaexistnciaumfactoobjectivo,totalmenteindependente
do nosso conhecimento. Existem fora do espao e do tempo, so imutveis, no foram criados e no mudaro nem
desaparecero. Assim, a Matemtica tem uma existncia autnoma, obedecendo a uma lgica e leis internas. A
actividade de fazer Matemtica consiste na descrio e descoberta desses objectos, bem como das relaes que os
unem. Quer uns, quer outras, uma vez que so prexistentes, podem ser descobertos pelo esprito, mas no
inventadosporeste.
O platonismo e o idealismo, embora se situem em posies extremas quanto questo da existncia e realidade dos
objectosmatemticos,estomuitasvezespresentes,emsimultneo,nopensamentodosprofessoresdeMatemtica.
Porumlado,aMatemticavistacomoumarevelao,comoumapassagemdoconcretoaoabstracto,mas,poroutro
lado,oprofessorespantasecomasuaaplicabilidade
Dilogosobreaexistnciadeentesgeomtricosnomundofsico
Perguntadirigidaaosalunos:
Afinaloqueumponto,oqueumarecta,oqueumplanonaverdadeiraacepodestestermos?
Namelhordashiptesesobtmsearespostacmodahabitual(...):
Trataseadetermosprimitivos,istodetermosquenosodefinidoslogicamenteapartirdeoutros.
Masoprofessornodevedemodonenhumcontentarsecomestaresposta.Devesimvoltarcarga:
Tambmostermosgato,rosa,etc.sotermosprimitivos,nomesmosentido,enoentantotodossabemreconhecer
umgato,umarosaetc.Oraquemquejviuumponto,umarectaouumplano?
Osalunosterodeadmitirqueningumviutaiscoisas.Mashquelembrarlhes:
Tambmningumviuouesperavercentauros,sereiasoudrages.Todossabemquenoexistemseresvivoscomos
atributos que estes nomes invocam: tratase de meras criaes da fantasia humana. Pois sero as figuras
geomtricas,comooscentauroseassereias,nadamaisdoqueprodutosdanossaimaginao?
Osalunoshodetalvezdizerquenosetratadamesmacoisa.precisoencorajlosnessesentidoeobservar:
Acadapassochamamospontos,segmentosderecta,esferas,etc.acertosentesdomundofsico,taiscomoo
sinaldeixadopelapontadeumlpissobreopapel,umfiobemesticado,umaboladebilhar,etc.
Mashaverlogoquemrepare:
Pois,sim,mastodaagentesabequeessascoisasnosopontos,nososegmentosderecta,nosoesferas.
Aoqueoprofessordir:
Todavia essas coisas seriam pontos, segmentos de recta, esferas, etc. se verificassem determinadas condies que
soosaxiomaseasdefiniesdaGeometriadeEuclides.
Eperguntarlogodeseguida:
Essesobjectosdomundofsiconoverificamasreferidascondies?
Se adoptarmos a lgica bivalente a resposta s poder ser verificam ou no verificam. O aluno escolhe
provavelmenteasegunda(aprimeirademasiadovulnervel).Logo:
Seessascoisasnoverificamasreferidascondies,ageometriainaplicvelaomundofsico,noverdade?
Mais uma vez a resposta ter que ser sim ou no e o aluno optar provavelmente pela negativa (a primeira
incompatvelcomaanteriorresposta).Masoprofessordeverpornovamenteosalunosperantearealidade:
0
Noentanto,semedirmosostrsngulosinternosdeumtringulo,verificamosqueasomadostrsiguala180 (...)
Acadapassovemosconfirmadasasprevisestericasdageometriaeuclidiana,cujasaplicaessofundamentaisna
cinciaenatcnica(...)Parecepois,quechegamosaumaconclusoabsurda,desconcertante:
AGEOMETRIAENOAPLICVELAOMUNDOFSICO.
Comopoderseristo?
JosSebastioeSilva,1964
GuiaparaaUtilizaodoCompndiodeMatemtica
interpretao do mundo fsico. Fica perplexo com o facto de especulaes puramenteabstractasseaplicaremdeum
modoqueparecetomiraculosoaoconcreto.
Qual ento a natureza dos objectos matemticos? Onde devemos procurla? Na realidade experimental como o
fizeramosprimeirosmatemticos?Naactividadedoindivduo,comosustentamosidealistas?Nummundoquenose
situanoespaotempo,comoadvogamosplatonistas?
Estas questes embora tenham sido discutidas desde h muito por inmeros matemticos e filsofos permanecem
actuais. O problema , que seja qual for o nvel de anlise que se adopte, clarificamse alguns aspectos mas outros
permanecem envoltos em mistrio. Com efeito, se se procurar a natureza dos objectos matemticos na realidade
experimental,podercompreendersequeumavezdaextrados,atravsdeumasriedeabstracescadavezmais
requintadas, continuem a estar de acordo com essa realidade. Mas j no se compreender to bem que eles a
excedam e que possam obterse construes dedutivas, bem mais rigorosas do que as observaes e sem nenhuma
comparaocomelas,quantoaoprocessodedemonstrao.

PlatonismoeensinodaMatemtica
OensinoclssicodaMatemticaassentanumaepistemologiaenumaontologiaplatonistas:asideiasmatemticastm
emsimesmasumarealidade.Nestaconcepo,umavezdesvendada,averdadematemticadadaaquemasabe
ver, a quem tem poder de abstraco suficiente. O papel do professor de Matemtica consiste em levar o aluno a
partilhardessavisoaqueeleprpriojteveacesso,aviraroespritodoalunooolhardaalmacomodiziaPlato
em direco ao mundo matemtico (...) So diversas as consequncias pedaggicas da epistemologia e ontologia
subjacentes aprendizagem tradicional da Matemtica. O matemtico desvenda as verdades e o ensino deve virar o
olhardaalmadoalunoparaestasverdades.Desdelogo,oqueoprofessorretmdaactividadedomatemtico,no
esta actividade, que a maior parte das vezes ignora ou sobre a qual passa em silncio, mas os seus resultados,
teoremas,definies,demonstraes,axiomas.Almdisso,oprofessorconduzidoasobrevalorizaraformapelaqual
estes resultados so apresentados. Se se pensar na actividade do matemtico, esta sobrevalorizao da forma
paradoxal:noaformaquedsentidoaosresultados,umavezqueelaapenasdeterminadaaposteriori,quandoos
resultadosforamadquiridosporoutrasviasbastantemaiscaticas(...)Estarupturaentreaactividadematemticaeos
seus resultados, entre os problemas e os conceitos, origina um insucesso escolar importante, particularmente em
alunosdefamliaspopularesque,noseumeio,noestohabituadosamanipularumalinguagemexplcita,formalizada
ecodificada.
R.Bkouche,B.Charlot,N.Rouche,1991
Fairedesmathmatiques:leplaisirdusens
Poroutrolado,seseconsideraraactividadedosujeito,podeentenderseorigordosdesenvolvimentosdedutivosesua
fecundidade, mas colocase o problema do acordo com o real, sobretudo o da antecipao de resultados. No se
entende, nomeadamente, como que apenas atravs de desenvolvimentos matemticos, se podem obter resultados
importantesparaacompreensodomundofsico,quesevmarevelarteis,porvezesmuitosanosmaistarde,como
aconteceu,porexemplo,comosestudossobrecnicasfeitosporApolloniusdePergahmaisde2000anos.

Cnicaserbitasdosplanetas
OgemetragregoApolloniusdePergaescreveu,noano200a.C.umtratadosobresecescnicasemquedescrevia
de forma sistemtica todas as propriedades destas curvas. Este estudo foi um exerccio de Matemtica pura e muito
poucasaplicaesdascnicasforamfeitasnaantiguidadeclssica.Muitomaistarde,em1604,istocercade1800
anos depois, Kepler contactou com estes trabalhos e estudou as suas aplicaes no domnio da ptica. Em 1609,
recorrendo a estes trabalhos afirmou que as rbitas dos planetas deveriam ser descritas como elipses e no como
crculoseepiciclos,lanando,assim,asbasesparaateoriadagravitaodeNewton.
FelixBrowdereSaundersMacLane,1988
ArelevnciadaMatemtica

Considerando a possibilidade de os objectos matemticos se situarem para l do sujeito e da realidade experimental,
nummundodeideiasexistenteporsimesmo,restaoproblemadeexplicarcomoqueossereshumanossocapazes
de tomar contacto com esse mundo ficam sem resposta os problemas relativos tanto ao acordo com essa realidade,
comoadequaodosujeitoaosinstrumentosdedutivos.
Assim,qualquerumadestasperspectivassobreanaturezadosobjectosmatemticosbastanterazovele,aomesmo
tempo,todaselasencontramsriasdificuldades.

2.1.2ExperinciaerazonagneseedesenvolvimentodaMatemtica

Umavertentedeanlisequepodercontribuirparaaprofundaratemticadanaturezadosobjectosmatemticosprende
se com o papel da experincia e da razo na gnese e formao da Matemtica. Neste mbito distinguemse,
comummente,duasperspectivas,oracionalismoeoempiricismo,cujasntesefoitentadaporKant.

Racionalismoeempiricismo

Os racionalistas entre os quais se encontram, por exemplo, Espinosa, Descartes e Leibnitz, viam, tal como Plato, a
razocomoumtraoinerentementehumana,atravsdoqualasverdadespodiamserconhecidasindependentemente
da observao. A razo era a faculdade que permitia ao homem conhecer o Bem e o Divino e, para os racionalistas,
esta faculdade era mais facilmente visvel na Matemtica. Afinal, esta cincia, diziam, partia de verdades auto
evidentes,osaxiomas,e,atravsderaciocniosestabelecidospelarazo,conseguiadescobrirechegaraconcluses
noevidentes,eporvezes,inesperadas.Assim,aexistnciadaMatemticaconstitua,paraosracionalistas,omelhor
argumentoparaconfirmarasuavisosobreomundo.
O racionalismo foi posteriormente questionado pelo materialismo e pelo empiricismo. O progresso das cincias da
natureza,combasenomtodoexperimental,feztriunfaroempiricismoqueafirmavaquetodooconhecimentotinhapor
baseaobservao.Oconhecimentomatemticoera,porm,aexcepoqueconfirmavaestaregra.
No contexto do empiricismo, os trabalhos de David Hume desempenharam um papel de relevo. Este filsofo defendia
que no conhecemos nem o esprito, nem a matria, e que no deveramos sequer admitir a existncia de outras
substncias, seno daquelas de que temos experincia imediata esta experincia reduzse a um conjunto de
sensaes.Duvidavadaexistnciadamatria,interrogandosesobrequempoderiagarantiraexistnciadeummundo
de objectos slidos subsistindo em permanncia se tudo o que sabemos provm das nossas prprias sensaes
provenientes de um tal mundo. Relativamente Matemtica, Hume no rejeitou os axiomas relativos a nmeros e
figurasgeomtricas,masoptouporosdesvalorizar,talcomofezcomosresultadosquedelesderivavam,considerando
que,queruns,queroutros,provinhamdesensaesrespeitantesaopresumvelmundofsico.
Mais tarde, em meados do sculo XIX, Stuart Mill, chegou a propor uma teoria empiricista sobre o conhecimento
matemtico, sustentando que as afirmaes matemticas so generalizaes indutivas feitas a partir das nossas
experincias ou observaes. Assim, a Matemtica seria uma cincia natural que em nada diferia das outras. Esta
teoria, que no punha em causa a certeza do conhecimento matemtico pois Mill supunha a certeza da induo, no
teveaceitaonosmeiosfilsofosematemticoschegandoaserfortementecontestada,emesmoridicularizada,por
[3]
Frege .
A filosofia de Hume no s ps em causa a existncia de leis cientficas relativas a um mundo fsico, objectivo e
permanente,comodepreciouosesforoseresultadosdacinciaedaMatemticae,maisqueisso,desafiouovalorda
[4]
prpriarazo .Ora,estefactocausouindignaonamaiorpartedosintelectuaisdosculoXVIII,queconsideraram
queafilosofiadeHumedeviaserrefutada.Kantempreendeuestatarefa,tendoassuasreflexesprocuradounificaras
duastradiescontraditriasdoracionalismoedoempiricismo.

KanteaMatemtica

Kant distingue o conhecimento a priori do conhecimento a posteriori, e o conhecimento analtico do conhecimento
sinttico.Oconhecimentoapriorioconhecimentouniversal,necessrioeintemporal,quesefundamentanarazoe
independente da experincia. Pelo contrrio, o conhecimento a posteriori, ou emprico, consiste em proposies
fundamentadas na experincia, isto , nas observaes do mundo fsico. Por sua vez, o conhecimento analtico o
conhecimentoexplicativo.Emparticular,oconhecimentoapriori analtico o que sabemos ser verdadeiro por anlise
lgica, pelo prprio significado dos termos usados. Um exemplo do conhecimento apriori analtico a afirmao os
solteiros no so casados. Diferentemente, o conhecimento sinttico aquele que acrescenta algo de novo ao
conhecimento que j se possui. Afirmar que um segmento de recta a distncia mais curta entre dois pontos,
constitui,paraKant,umexemplodeconhecimentosintticoapriori.
AgrandequestofilosficadeKantsabercomopossveloconhecimentosintticoapriorie,emparticular,como
possvel a existncia de conhecimento matemtico. A resposta que d a esta questo a de que o nosso esprito
dispe de formas puras de espao e de tempo (a que Kant chama intuies) atravs das quais percebe, organiza e
compreende a experincia. Assim, Kant embora glorificando a razo a que atribui a tarefa de explorar as formas do
esprito humano, no nega o valor da experincia e dos dados provenientes da observao. Estes dados contribuem
paraestimularopoderorganizadordoesprito.
A Matemtica representa, para Kant, a prova suprema da existncia de conhecimento a priori. A argumentao que
propeadequeumavezqueaintuiodoespaotemasuaorigemnoesprito,estereconhecedeimediatoalgumas
propriedadesdesseespao.Estaspropriedadessosistematizadasnageometria(entendidacomogeometriaeuclidiana,
anicaqueKantconhecia).Simultaneamente,consideraquecomoosnmerosinteirosderivamdaintuiodotempo,o
conhecimento do tempo sistematizado na aritmtica. Logo, para Kant, as proposies matemticas so objectivas,
necessrias, universalmente vlidas, independentes da experincia, e impemsenos pela maneira como a nossa
mentefunciona.
Esta breve passagem pela filosofia de Kant permite destacar que este filsofo, ao colocar a fonte da Matemtica no
poderorganizadordoesprito,concedeuaestacinciaumestatutoespecial,umcarcterdenecessidadeeumamarca
decertezaintemporaleincontestvel,quesemantevedurantebemataosculoXX.Asescolasfundacionistasqueno
inciodestesculotentaramencontrarfundamentossegurosparaaMatemtica,nofundo,ambicionavamtodasmanter
[5]
aMatemticanaposioespecialqueKantlhetinhaconcedido .
Actualmente,queroquestionamentodanaturezaaprioridoconhecimentomatemtico,querosargumentosafavorde
bases empricas para este conhecimento esto de novo a ganhar terreno. No se trata, contudo, de um retorno ao
empiricismo de Mill. Tratase, antes, de uma aproximao da Matemtica s cincias naturais que admite, tal como
acontecenestascincias,ocarcteraposterioriefalveldoconhecimento.Tratasedeumaperspectivaquasiemprica
sobre a Matemtica, apresentada na seco 4 deste captulo, que questiona ser esta cincia um corpo de saber
imutveleinfalvel.

2.2Verdadeecertezamatemticas:Perspectivahistrica

Tendoporfiocondutorumaperspectivahistrica,nestasecoprocurasereflectirsobreaintemporalidadeeocarcter
absolutofrequentementeatribudosverdade,certezaerigormatemticos,apartirdaanlisedosignificadoqueestas
noesforamtendonaevoluodestacincia.

2.2.1Origemdasverdadesmatemticas

Embora as nossas principais concepes de nmero e forma datem de tempos to remotos como os do paleoltico, a
linhaprincipaldaactividadematemticaocidental,enquantoactividadesistemtica,temasuaorigemnascivilizaes
orientaisdoEgiptoedaMesopotmia.AsMatemticasorientaisconstituiramseatravsdaacumulaodeumconjunto
defactos,regraseprocessos,semnuncaseemanciparverdadeiramentedainflunciamilenardosproblemasprticose
administrativos para cuja resoluo tinham sido criadas. Embora constituindo um conjunto considervel de
conhecimentos,nodispunhamdenenhumametodologiaespecfica.Desenvolveramsedeumaformanodedutiva,em
queasregraseprocedimentosforamdescobertos,apartirdaobservaoeexperimentao,eatravsdeprocessosde
tentativa e erro. Foi esta perspectiva emprica e instrumentalista que serviu de preldio aos trabalhos matemticos
desenvolvidospelacivilizaogrega.
OsprimeirosestudosdeMatemticagregatinhamporobjectivoprincipalcompreenderolugardoHomemnoUniverso
de acordo com um esquema racional. A Matemtica ajudava a encontrar a ordem no caos, a ordenar as ideias em
sequncias lgicas, a encontrar princpios fundamentais. Comeou, assim, a tomar corpo uma nova Matemtica
desenvolvida mais no esprito da compreenso do que no da utilidade imediata. Esta Matemtica colocava no s a
antigaquestodocomomastambmamodernaquestocientficadoporqu.
Os pitagricos sentiamse impressionados pelo facto de fenmenos muito diversos, de um ponto de vista qualitativo,
poderemexibirpropriedadesmatemticasidnticas.Foram,assim,despertandoparaaideiadequeestaspropriedades
podiam constituir a essncia destes fenmenos e que o Universo estava matematicamente ordenado.
Consequentemente,aMatemticacomeouasurgircomoummodeloexplicativoeinteligvel,umachavepormeioda
qualohomempodiapenetrarnaordemdaNaturezaedissiparomistrioeocaosqueapareciamreinar.
No processo de explicao da Natureza o nmero, entendido como ponto ou partcula, desempenhava um papel
fundamental. Os pitagricos investigavam as suas propriedades e colocavamno no centro de uma filosofia csmica
[6]
que tentava reduzir todas as relaes fundamentais a relaes numricas . Porm, os nicos nmeros que
reconheciam como tal, eram os inteiros ou os fraccionrios. Assim, a descoberta de que havia relaes entre estes
nmerosquenopodiamserexpressasatravsdeles(comoocaso,porexemplo,darazoentreadiagonaleolado
de um quadrado), ps em causa a harmonia entre a aritmtica e a geometria e originou perturbaes nos meios
filosficosematemticos.
Esta descoberta, associada aos paradoxos de Zeno, que entravam em conflito com algumas concepes antigas e
intuitivas sobre o infinitamente pequeno e o infinitamente grande, levou os matemticos da poca a questionaremse
sobreseaMatemticaerapossvelcomocinciaexacta.Oproblemafoiresolvidonoespritodonovoperodosocialda
histria da Grcia. Neste perodo, de supremacia aristocrtica, as classes dirigentes tinham a sua subsistncia
assegurada pela escravatura e o trabalho manual era menosprezado. Foi neste contexto que surgiu e tomou forma a
escola mais influente, depois dos pitagricos, na exposio e propagao da tese relativa estrutura Matemtica da
NaturezaaAcademiadePlato.
Zeno,paradoxos,Aquileseatartaruga
Acreditousesemprequeasomadeumnmeroinfinitodequantidadessepodiatornartograndequantosequisesse,
mesmo que cada quantidade fosse extremamente pequena e tambm que a soma de um nmero finito ou infinito de
quantidadesdedimensozeroerazero.OcriticismodeZenodesafiouestasconcepeseosseusquatroparadoxos
criaram uma agitao cujos efeitos ainda podem ser observados actualmente. Os paradoxos foram retomados por
AristtelesesoconhecidospelosnomesAquiles,seta,dicotomiaeestdio.
Aquiles:Aquileseumatartarugamovemsenamesmadireco,aolongodeumalinharecta.Aquilesmaisvelozque
atartaruga,masparaalcanaratartaruga,eletemquepassarprimeiropelopontoP,doqualatartarugapartiu.Quando
chegaaP,atartarugajavanouparaopontoP1,masatartarugaavanouparaumnovopontoP2.QuandoAquiles
estiveremP2,atartarugaestaremP3,etc.PorissoAquilesnuncapoderalcanaratartaruga.

DirkJ.Struik,1989
HistriaconcisadasMatemticas

Os platonistas distinguiam o mundo das coisas do mundo das ideias. O mundo das coisas, mundo material, contm
objectoserelaesimperfeitas.nomundodasideiasqueseencontravamasverdadesabsolutaseimutveisetodoo
saberquelhesdizrespeitoquecerto,seguroeindestrutvel.
neste mundo de ideias que Plato coloca os objectos matemticos. Assim, para este filsofo, as leis matemticas
noeramapenasaessnciadarealidade,masumaessnciaverdadeira,eternaeimutvel.SecomPitgoraseramos
nmerosquegovernavamomundo,comPlatosoasideiasgeomtricasqueogovernam.AfraseDeusgeometriza
eternamenteescritaporestefilsofonaRepblica,ilustrabemestaperspectiva.
Na sua funo de perscrutar a Natureza, a Matemtica, para Plato, podia substituir a prpria investigao fsica.
Sustentava que a razo humana tinha a capacidade de intuir verdades fundamentais graas qual podia proceder de
maneira autnoma e indignavase profundamente com alguns dos seus contemporneos (como por exemplo, com
Plutarco,Eudoxo,Arquitas)querecorriamaraciocniosmecnicosparaprovarresultadosmatemticos.
Emsuma,nombitodaMatemtica,umdosaspectosmaisinovadoresdopensamentogrego,foiasuaconcepode
um Cosmos que funcionava de acordo com leis matemticas verdadeiras, passveis de serem descobertas pelo
pensamentohumano,eodesejodeconhecerestasleis.Colocavasecontudoaquestodecomoofazereteracerteza
dequeasleisdescobertaseram,efectivamente,verdadeiras.
Um dos passos dados pelos gregos, para poder raciocinar sobre conceitos matemticos abstractos, foi estabelecer
axiomas, verdades de uma tal autoevidncia que ningum poderia negar. Estes axiomas diziam respeito ao espao e
aosnmerosinteiros.
O segundo passo foi garantir a correco das concluses obtidas a partir dos axiomas. Para tal, usaram raciocnio
dedutivo,queconsideravamcomoonicoquegarantiaacorrecodasconcluses.Assim,umavezquesepartiade
axiomas, verdades sobre o espao e os nmeros inteiros consideradas autoevidentes, este raciocnio poderia ser um
veculoparaencontrarasverdadeseternassobreaNaturezaqueelesansiavamdescobrir.Podeapontarse,ainda,uma
razo de natureza social para explicar a preferncia pela forma dedutiva. As actividades matemticas, bem como as
filosficas e as artsticas, eram praticadas por classes abastadas que menosprezavam o trabalho manual e as
actividades comerciais. Plato e Aristteles, 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
mecnica,ilustrambem,nestedomnio,aatmosferaintelectualreinantenapoca.Assim,nodeestranharaopo
peladeduo.Comefeito,aexperimentaoeobservaoteriamaparecidocomoestranhasaomododepensargrego.
No perodo helenstico, o avano da civilizao grega pelas regies do mundo oriental (Egipto, Mesopotmia, parte da
ndia)possibilitouqueaMatemticagrega,emboraconservandomuitasdassuascaractersticastradicionais,sentissea
influncia dos problemas de administrao e astronomia que o Oriente tinha para resolver. Surgiram os cientistas
profissionaise,nestegrupo,muitosdosmaisimportantesviviamemAlexandria.
Entre os primeiros sbios associados a este centro intelectual e econmico, destacase Euclides, cuja formao se
desenrolounaAcademiadePlato.Asuaobraconstituiumaorganizaoamplaesistemtica,apresentadanumaforma
axiomticadedutiva, de descobertas diversas de vrios pensadores gregos do perodo clssico. Atravs das suas
formulaes axiomticas, consideradas rigorosas, os trabalhos desenvolvidos pela Academia de Plato e, muito
especialmente,osdeEuclides,possibilitaramaresoluodacriserelativaaoaparecimentodosnmerosirracionaise
aosparadoxosdeZeno.
Os textos mais difundidos de Euclides so os treze livros que constituem os Elementos, que so a seguir Bblia,
provavelmente, o livro mais reproduzido e estudado na histria do mundo ocidental () [e cuja] estrutura lgica
[7]
influenciouopensamentocientficotalvezmaisdoquequalqueroutrotextodomundo .
OsElementosdeEuclidesrepresentamaprimeiraaxiomatizaodahistriadaMatemtica.AtaosculoXIX,foram
consideradosomodelodaverdade,rigorecerteza,tendosetransformado,durantevriossculos,noprprioparadigma
da cincia. Nomeadamente, Newton no hesita em considerlos como modelo para a construo de toda a teoria
cientficaquesequeirarigorosaeosseusPrincipiainspiramseneles.

2.2.3Dacertezadaverdadeprocuradacerteza

Nos sculos XVII e XVIII, a geometria euclidiana era ainda objecto de grande admirao, no s porque tinha sido a
primeirareadaMatemticaaserestabelecidadedutivamente,mastambmporquedurantemaisdedoismilanos,os
seusteoremascontinuavamarevelarseverdadeirosquandocomparadoscomarealidadefsica.Todavia,nemtodosos
axiomas de Euclides eram igualmente evidentes. O axioma das paralelas, ou o quinto postulado, como
frequentementedesignado,tinhasidoobjectodenumerosasdiscussesjdesdeaAntiguidade.Aparentemente,nemo
prprioEuclidesgostavamuitodasuaformulao,umavezquesseserviudeledepoisdeterprovado,semoutilizar,
tantosteoremasquantosfoicapaz.

QuintopostuladodeEuclides
Seumarectaqueencontraduasoutrasrectasformangulosinterioresdomesmoladomaispequenosquedoisrectos,
asduasrectasquandoinfinitamenteprolongadasencontramsedomesmoladoemqueosngulossomaispequenos
queosdoisrectos.
MorrisKline,1980
Mathematics:Thelossofcertainty

Aolongodossculosforamfeitasinmerastentativaspararesolverosproblemasrelacionadoscomesteaxioma.Umas
tentavam substitulo por um enunciado aparentemente mais evidente outras procuravam deduzilo dos outros nove
apresentados por Euclides. No entanto, todas estas tentativas se revelaram vs. Pelo contrrio, evidenciaram que,
adoptandoumaxiomaquefosseessencialmentediferentedoaxiomadasparalelas,nosnosechegavaanenhuma
contradiomas,maisdoqueisso,mostraramquehavialugarparaaexistnciadevriasoutrasgeometrias,diferentes
dadeEuclides,mascomestruturaslgicasigualmentevlidas.Estavaabertoocaminhoparaodesenvolvimentodas
geometriasnoeuclidianas.
Relativamente s geometrias no euclidianas, Kline refere que um dos factos mais significativos que podem ser
utilizadasparadescreveraspropriedadesdoespaofsicodemaneiratoprecisacomoofaziaageometriaeuclidiana.
Ora esta ideia estava em completa oposio com as opinies cultivadas nos meios intelectuais da poca e, assim, a
aceitaodasgeometriasnoeuclidianaspelacomunidadematemticanofoifcil,nemlinear.Afinal,oqueestavaem
causaeranosaantigacrenagregadaverdadematemticacomochaveparaconheceroUniverso,masoprprio
poderdarazoparaacederaoconhecimentoverdadeiro.

Geometriasnoeuclidianas:ContributodeGauss
Gauss estava perfeitamente consciente da fragilidade dos esforos que consistiam em tentar estabelecer [o axioma
das paralelas de Euclides], o que se tinha j tornado um lugar comum em Gttingen. Por volta de 1813, Gauss
desenvolveu a sua geometria no euclidiana que inicialmente designou por geometria antieuclidiana, depois por
geometriaastralefinalmenteporgeometrianoeuclidiana.Estavaconvencidodequeelaeralogicamenteconsistente
equepoderiaencontrarumaaplicao.NumacartaaoseuamigoFranzAdolfTaurinus,datadade8deNovembrode
0
1824, Gauss escreveu: Admitir que a soma dos ngulos (de um tringulo) inferior a 180 , conduz a uma geometria
curiosa, diferente da nossa (euclidiana), mas inteiramente coerente e desenvolvida para minha inteira satisfao. Os
teoremasdestageometriaparecemparadoxaiseabsurdosparaumnefito,masumareflexocalmaesriarevelaque
elesnocontmnadadeimpossvel.

MorrisKline,1980
Mathematics:Thelossofcertainty

Apartirde1820,comeaaafirmarseaideiadeque,nabasedaMatemticaclssicadevemcolocarse,noasnoes
geomtricas dos gregos, mas o conceito de nmero inteiro. Este movimento foi designado por aritmetizao da
[8]
Matemtica.Noentanto,oaparecimentodenmerostridimensionais(osquaterniesdeHamilton ),quenogozamda
propriedadecomutativadamultiplicaocomoaconteciacomosoutrosnmerosconhecidosatento,eacriaode
novaslgebrascompropriedadescadavezmaisestranhas,lanouadvidasobreaverdadedaaritmticaedalgebra
usuais. E os matemticos foram levados a descobrir que se podem introduzir na aritmtica operaes diferentes das
que nos so familiares e criar uma aritmtica igualmente aplicvel. Assim, a aritmtica como o corpo de verdades
necessariamenteaplicvelaosfenmenosdomundofsico,estavatambmpostaemcausa.Atristeconclusoqueos
matemticosforamobrigadosatirardetudoistoquenoexistenenhumaverdadeemMatemtica,seseentenderpor
[9]
verdade,leisrespeitantesaomundoreal .
Emsuma,atentativaempreendidapelosgregosdetentargarantiraverdadematemticapartindodeverdadesevidentes
eutilizandosomenteraciocniosdedutivos,tinhasereveladov.Estefactofoimuitodifcildeadmitir,tendonumerosos
matemticos continuado a desenvolver grandes esforos no sentido de recuperarem a segurana que pensavam ter
perdido. E em lugar da verdade surgia a noo de consistncia lgica. Ou, por outras palavras, a certeza da verdade
davaagoralugarprocuradacerteza.

2.2.4Relativadedorigoredaverdadematemtica

Uma das revelaes obtidas com os trabalhos desenvolvidos sobre a geometria euclidiana foi o facto de que esta
geometria,quedurantemaisde2000anostinhasidoconsideradaoparadigmadorigor,apresentavasriasdificuldades
deumpontodevistalgico.Almdisso,osmatemticosaoreexaminaremasbaseslgicasdaaritmticaelgebrados
nmerosreaisecomplexos,verificaramqueestecamposetinhaigualmentedesenvolvidodeumaformailgica.
Afinal,oqueseconstatavaeraqueaMatemticanotinhasidooparadigmadarazoquetinhareputaodeser.Em
lugar dos seus resultados terem sido demonstrados lgica e rigorosamente, ao longo dos sculos, tinhase recorrido a
intuies baseadas em desenhos geomtricos, argumentos fsicos, raciocnios indutivos, princpios ad hoc e
manipulaesformaisdeexpressessimblicas.
Foi ento empreendida a tarefa de encontrar fundamentos slidos para a Matemtica. Para isso, foi reconhecida a
necessidadedetermosnodefinidos,dautilizaodedefiniesformuladasdeformaprecisa(eliminandodelastodos
os termos que pudessem ser considerados vagos ou contestveis), da explicitao, de uma forma exaustiva, do
conjunto de axiomas que serviam de ponto de partida para as teorias, e da demonstrao explcita de todos os
resultadosmatemticospormaisintuitivamenteevidentesquepudessemparecer.Eassimsurgiaumnovosignificado
paraaexpressorigormatemtico.
Durante o final do sculo XIX, os matemticos empreenderam uma intensa actividade axiomtica, entrelaando
cuidadosamenteosteoremasdemodoatentargarantirasolidezdetodaaestruturamatemtica.Averdadematemtica
absoluta,oriundadacivilizaogrega,comeavaasersubstitudaporumaverdaderelativadosteoremasrelativamente
aospostulados,definiesecorrecoderaciocnio.Assim,emboraaMatemticativesseperdidooseuenraizamento
narealidade,acrisepareciaestarresolvida.
No entanto, a descoberta de paradoxos na teoria de conjuntos e a tomada de conscincia de que poderiam existir
paradoxossemelhantes,emboraaindanodetectados,noutrosramosdaMatemticaclssica,levaramosmatemticos
a tomar muito a srio o problema da consistncia e a interrogarse sobre como deveria constituirse esta cincia de
modoaeliminarosparadoxoseassegurarquenovascontradiesnopudessemaparecer.Nopuderam,contudo,pr
sedeacordo.Tinhaseentradonumanovacriseacrisedosfundamentos.

2.3Abuscadefundamentos

[10]
A crise dos fundamentos foi, no fundo, a manifestao de uma antiga discrepncia entre o mito de Euclides e as
prticasmatemticasreais.OmitodeEuclidesacrenasegundoaqualoslivrosdesteautorcontmverdadesacerca
do universo que so claras e indubitveis, uma vez que chegam ao conhecimento certo, objectivo e eterno a partir de
factosevidentesporsiprprioseprocedendoatravsdedemonstraesrigorosas.
A inquestionabilidade deste mito, que prevaleceu at ao sculo XIX, foi fortemente abalada quando Russel, que
pesquisava fundamentos para a Matemtica na teoria de conjuntos, comeou a ser confrontado com contradies,
eufemisticamente designadas por paradoxos, que ilustraram que, seguindo as regras da lgica intuitiva, podemos ser
levadosaresultadoscontraditriosdeummodonuncavistoanteriormentenememaritmticanememgeometria.

ParadoxodeRussel
Para enunciar o paradoxo de Russel definimos um conjunto R como um conjunto que se contm a si prprio (um
exemplo o um conjunto de todos os objectos descritos com exactamente treze palavras em portugus).
Consideremos agora um outro conjunto M: o conjunto de todos os conjuntos possveis, excepto os conjuntos R. M
umconjuntoR?No.Poroutrolado,tambmfalsoafirmarqueMnoumconjuntoR.Moral:adefiniodeM,que
pareciainofensiva,emboraumpoucoretorcida,contraditriaemsiprpria.

PhilipDaviseReubenHersh,1988
Dacertezafalibilidade
Foram trs as escolas de pensamento que tentaram encontrar bases seguras para a Matemtica logicismo, o
construtivismoeoformalismomas,comoseveremseguida,emboraoferecendoacertezaaumcertopreo,nem
mesmoassimaconseguiramgarantir.

2.3.1Logicismo

O logicismo iniciouse perto de 1884 com o filsofo, matemtico e lgico alemo Frege continuando, mais tarde, com
BertrandRussel.AsuafinalidadeconsistiaemprovarqueaMatemticaclssicaerapartedalgica.Paralevaracabo
este programa Russel e Whitehead criaram a obra PrincipiaMathematica, publicada em 1910, que pode considerarse
uma teoria formal de conjuntos, embora a formalizao no estivesse ainda concluda. Estes matemticos planeavam
mostrar que todos os axiomas dos Principia pertenciam lgica e, se o tivessem conseguido, os fundamentos da
Matemtica seriam os axiomas da lgica. Questes como porque que a Matemtica est livre de contradies
transformarseiam, assim, em porque que a lgica est livre de contradies Havia, no entanto, axiomas que no
[11]
eram proposies lgicas no sentido do logicismo e assim este programa, embora tendo uma enorme importncia
paraodesenvolvimentodamodernalgicamatemtica,foiumfracassodopontodevistadasuaintenoinicial.Como
salientaDiasAgudo,osistemanoserevelousatisfatrioparaumafundamentaoincontroversadaMatemtica.

2.3.2Construtivismoeintuicionismo

OsconstrutivistasabordaramoproblemadosfundamentosdaMatemticadeumaformaradicalmentediferentedados
logicistas. Enquanto estes consideravam que nada havia de errado com a Matemtica clssica, sendo os paradoxos
originados por erros dos matemticos mas no causados por imperfeies da cincia matemtica, os construtivistas
viamestascontradiescomoindicaesclarasdequeaMatemticaclssicaestavalongedeserperfeita.
A forma de construtivismo mais conhecida o intuicionismo iniciado por Brouwer em 1908. Para Brouwer no a
experincia nem a lgica que determina a coerncia e aceitabilidade das ideias, mas sim a intuio. Profundamente
influenciadopelateoriadeKantrelativaintuiodetempo,sustentaqueosnmerosnaturaisnossodadosporuma
intuio fundamental que o ponto de partida de toda a Matemtica. Concebe o pensamento matemtico como um
processodeconstruomentalque,partindodosnmerosnaturais,prossegueatravsdeumnmerofinitodepassose
independentedaexperincia.
Com o intuicionismo sobressai a ideia de que a Matemtica uma cincia que tem a sua origem no esprito e a se
exerce: a Matemtica no possui nenhuma existncia fora do esprito humano. As palavras e relaes verbais
constituemumaestruturaimperfeitaparacomunicarasideiasmatemticasquesocriadaspelaactividadedoesprito.
Osintuicionistas,emvirtudedosprincpiosderaciocnioqueadmitiam,rejeitaremmuitosdosteoremasdaMatemtica
clssica.Porexemplo,Brouwerapresentouumnmerorealdoqualsomosincapazesdedemonstrarconstrutivamente,
se positivo, negativo ou nulo, o que mostra que a propriedade tricotmica falsa. E 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
elaboradaspormtodosnoconstrutivistas.
Por tudo isto, a comunidade matemtica considerou, quase universalmente, o programa intuicionista pouco razovel e
algofantico.Oprogramaformalistapode,emparticular,servistocomoumatentativadedefenderaMatemticadoque
Hilbertconsideravamutilaesedeformaesprovocadaspelointuicionismo.

2.3.3Formalismo

A escola formalista, criada por volta de 1910 por David Hilbert, tinha por grande objectivo encontrar uma tcnica
matemtica por meio da qual se pudesse demonstrar, de uma vez por todas, que a Matemtica estava livre de
contradies. Hilbert propunhase construir uma demonstrao matemtica da consistncia da Matemtica clssica,
utilizando argumentos puramente finitrios que Brouwer no pudesse rejeitar. Com este objectivo, (a) introduziu uma
linguagem formal e regras formais de inferncia em nmero suficiente para que toda a demonstrao correcta de um
teorema clssico pudesse ser representado por uma deduo formal com cada passo mecanicamente verificvel (b)
desenvolveuumateoriadaspropriedadescombinatriasdestalinguagemformal(c)epropssedemonstrarquedentro
deste sistema no podiam deduzirse contradies. Deste modo, Hilbert pretendeu estabelecer o que designava por
demonstraes objectivas, ou seja, um encadeamento de frmulas deduzidas atravs de implicaes a partir de
smbolos,axiomasouconclusespreviamenteestabelecidas.
Com o formalismo a Matemtica tornase um sistema formal que partindo dos axiomas e dos termos iniciais, se
desenvolve numa cadeia ordenada de frmulas, mediadas por teoremas, sem nunca sair de si mesma. Tornase nem
maisnemmenos,doqueumjogolingusticofundadoexclusivamentenasprpriasregrasdojogo,comoacontece,por
exemplo,comojogodoxadrez.Nestecontexto,fazerMatemticaconsisteemmanipularsmbolossemsignificadode
acordocomregrassintcticasexplcitas.
Em1930,GdelenunciouoteoremadaincompletudeevidenciandoquenuncasepoderiaencontraremMatemticauma
certeza completa por meio de qualquer mtodo baseado na lgica tradicional, uma vez que qualquer sistema formal
consistente suficientemente forte para conter a aritmtica elementar seria incapaz de demonstrar a sua prpria
[12]
consistncia . Os resultados alcanados por Gdel mostraram que o projecto de Hilbert era irrealizvel e, assim, o
programaformalistatambmnoconseguiuprovaracertezadosmtodosmatemticos.

FormalismoeMatemticamoderna
O formalismo faz uma distino entre a geometria como uma estrutura dedutiva e a geometria como uma cincia
descritiva. Somente a primeira considerada Matemtica. A utilizao de figuras, diagramas, ou mesmo de imagens
mentais, tudo nomatemtico. Em princpio deveriam ser desnecessrios. Consequantemente, consideraos
inadequadosnumtextomatemtico,etalveztambmnumaauladeMatemtica(...)Dopontodevistaformalistano
comeamosrealmenteafazerMatemticaantesdeenunciaralgumashiptesesecomearumademonstrao.Aps
termoschegadosnossasconcluses,aMatemticaacabou(...)Oexemplomaisinfluentedoformalismocomoestilo
deexposiomatemticafoiaobradogrupochamadocolectivamentedeNicolasBourbaki.Sobestepseudnimo,foi
produzidaumasriedetextosbsicos,anveldepsgraduao,sobreateoriadeconjuntos,algebraeaanliseque
tiveramumaenormeinflunciaemtodoomundonasdcadasde50e60.Oestiloformalistapenetrougradualmenteno
ensino da Matemtica em nveis mais elementares e, finalmente, sob o nome de Matemticamoderna invadiu at o
jardimdeinfnciacomtextosdeteoriadeconjuntosparaaidadeprescolar.

Dacertezafalibilidade

2.3.4AperdadacertezaemMatemtica

Seseanalisarumpoucodepertooprocessopeloqualologicismo,ointuicionismoeoformalismovisavamgarantira
certeza,constatasequeesteprocessocontinhaemsimesmoelementosquepoderiamcausardificuldadesaoobjectivo
pretendido.
Defacto,estasescolasaceitaramsemdemonstraoumconjuntodeafirmaesbsicasapartirdasquaisdeduziram
logicamente os seus resultados. Ora, por um lado, o conjunto de afirmaes bsicas no pode ser eliminado de uma
teoria matemtica. Por outro lado, a lgica dedutiva no introduz verdade nos raciocnios e afirmaes. Quando muito
poderiatransmitila.Apartirdomomentoemqueastrsescolasaceitamprincpiosnodemonstrados,essesprincpios
[13]
ficam abertos ao desafio, dvida e incorreco. Como salienta Ernest , a pesquisa da certeza em Matemtica
conduz, inevitavelmente, a um crculo vicioso. Todo o sistema matemtico depende de um conjunto de afirmaes, e
tentarestabelecerasuacertezademonstrandoasconduzaumaregressoinfinita.Assim,oproblemadeassegurara
certezaemMatemticapareceserinsolvel.
ActualmentenoseestmaispertodefundamentossegurosparaaMatemticadoqueseestavahumsculoatrs.
Noentanto,ascontrovrsiassobreosfundamentosjnotmoimpactodeoutrora.Conduzemacrculosqueparecem
cada vez mais distantes das preocupaes matemticas e filosficas dos nossos dias. nesta conjuntura que se
acentua, cada vez mais, a importncia de olhar a Matemtica sem a preocupao dominante da pesquisa de
fundamentos,procurandosenovasdirecesnafilosofiadaMatemtica.

2.4Matemtica:Umacinciaapardasoutras

UmaalternativaradicalmentediferentedaprocuradebasesindubitveisparaaMatemticafoiaapresentadaporImre
Lakatos.Estefilsofo,matematicamenteesclarecido,segueateoriadoconhecimentocientficoenunciadaporPopper
queadvogaqueoconhecimentocientficohipottico,falvel,equeacinciaprogride,apartirdeproblemas,pelojogo
entrefactos,conjecturaserefutaes.

2.4.1Falibilismo

No mbito da filosofia da Matemtica, a obra fundamental de Lakatos Provas e Refutaes iniciada em 1957 e
publicada pela primeira vez em livro em 1976. Este trabalho constitui um ensaio sobre a lgica da descoberta em
Matemtica,ondesereconheceaoerroumvalorinsubstituvelnoprocessodeproduodoconhecimento.Opontode
partidasaberseexistirumarelaoentreonmerodevrticesV,onmerodearestasAeonmerodefacesFde
umpoliedro.Areso
ProvaseRefutaesemMatemtica
Este livro est estruturado sob a forma de um dilogo que ocorre numa sala de aula imaginria. Depois de muitas
tentativaseerrososalunosconstatamqueparatodosospoliedrosregularesVA+F=2.Umalunoconjecturaqueesta
relaosepodeaplicaratodosospoliedros.Outrostentamrefutarestaconjecturasemoconseguirem.nestaaltura
queoprofessorentranasalaeapresentaumaprovaemtrsetapas.Oextractoquesesegueumapartedodilogo
queseestabeleceimediatamenteapsaapresentaodestaprova.
1
Professor:(...)Assimprovmosanossaconjectura
2
2
AlunoDelta:Agorapodefalardeteorema.Nohnocasomaisnadadeconjectural .
AlunoAlfa:Admirome.Vejoqueestaexperinciapodeserrealizadacomumcubo,oucomumtetraedro,mascomo
posso eu saber se ela pode ser realizada com todo o poliedro? O senhor tem a certeza, por exemplo, que qualquer
poliedro,depoisdelheretirarmosumadasfaces,podeseresticadonoplanodoquadro?Tenhodvidasrelativamente
suaprimeiraetapa.
AlunoBeta: Tem a certeza que ao triangular o mapa teremos sempre uma nova face para cada nova aresta?Tenho
dvidasquantosuasegundaetapa.
AlunoGama:Osenhortemacertezaquequandoseretiramostringulosumporumhapenasdoiscasospossveis:
retirar uma s aresta ou ento retirar duas arestas e um vrtice? O senhor tem mesmo a certeza que no final desse
3
processoapenasficaumtringulo?Tenhodvidassobreasuaterceiraetapa .
Professor:claroquenotenhocertezas.
Alfa: Mas ento a nossa situao pior que antes! Em lugar de uma conjectura, neste momento temos pelo menos
trs!Eaissoqueosenhorchamaprova!
Professor: Admito que para esta experincia mental, o termo tradicional prova possa ser de facto considerado um
poucoenganador.Nopensoqueelaestabeleaaverdadedaconjectura(...).
____________________________________
1AideiadaprovaapresentadapeloprofessorremontaaCauchy(1813)
2 O ponto de vista de Delta segundo o qual esta prova estabelece sem nenhuma dvida o teorema foi partilhado por
numerosos matemticos do sculo XIX como por exemplo Crelle ([18261827], pp. 66871), Matthiessen ([1863], p. 449),
Jonquires ([1890a] e [1890b]). Citando um exemplo representativo: Depois desta demonstrao de Cauchy, est
absolutamente fora de dvida que a elegante relao V+F = A+2 se aplica aos poliedros de todos os tipos, tal como Euler
afirmouem1752etodaaindecisodeveterdesaparecidodesde1811.(deJonquires([1890a],pp.11112).
3 Os alunos desta classe so muito dotados. Em Cauchy, Poinsot e muitos outros matemticos do sculo XIX, no se
encontramtraosdestasobjeces.

ImreLakatos,1993
ProofsandrefutationsThelogicofmathematicaldiscovery

luodesteproblemageraumdilogoquemostraumaMatemticaquecresceatravsdeumconjuntodeexplicaes,
justificaes, elaboraes, que no estabelecem a verdade das conjecturas, mas antes as tornam mais plausveis,
convincentes,detalhadaseexactaspelapressoexercidapeloscontraexemplos.Aintenodestedilogodarconta
deumaespciedereconstruoracionaldahistria.
Na introduo Lakatos escreve que a histria real soar em notas de fim de pgina, cuja maior parte devem ser
[14]
consideradascomofazendoorganicamentepartedoensaio .ElechamaaatenoparaqueaMatemticanoest
to longe da cincia natural como anteriormente se pensava e incluia nas teorias quasiempricas considerando o
conhecimento matemtico intrinsecamente conjuntural e falvel. Sugere que a Matemtica no se desenvolve por um
crescimento contnuo de teoremas indubitavelmente estabelecidos, mas pela correco de teorias, pelo melhoramento
constantedeconjecturasgraasespeculaoecrtica,graaslgicadeprovaserefutaes.Indicaaindaquena
produodeconhecimentomatemticohumaadaptaoconstantedeaxiomasedefinies,emsimultneocomuma
incessantebuscadeconjecturas,demonstraeserefutaes.
LakatosaplicaasuaanliseepistemolgicaMatemticainformal,ouseja,Matemticaencaradacomoumprocesso
de crescimento e descoberta. Deixa, contudo, sem resposta a questo de quais os objectos das teorias matemticas
informais,indicandoapenasqueelapoderseriluminadaporestudosdecasohistricos.
AperspectivafilosficadeLakatos,frequentemente,designadaporfalibilismo.Nocentrodestaperspectivaestuma
teoria da gnese do conhecimento matemtico, cujo foco no psicolgico (uma vez que Lakatos no se pronuncia
sobre a origem dos axiomas, definies e conjecturas na mente dos indivduos) mas, antes, o processo pelo qual
criaes matemticas privadas se transformam em saber matemtico publicamente aceite. Este processo envolve
discusso crtica, conjecturas e refutaes e, neste sentido, a filosofia proposta por Lakatos para a Matemtica
assemelhasefilosofiadacinciapropostaporPopper.

2.4.2Abordagemquasiempiricista

Actualmente,osventosdopsmodernismoacentuamaideiadequesequeremoscompreenderoqueacinciaeos
processos de produo do saber cientfico, importa debruarmonos 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
filosofiaqueprescrevaoqueelasdevemser.
Neste sentido, diversos matemticos, filsofos e historiadores (Davis, Hersh, Ernest, Kline, Tymoczko, Putnam e
muitos outros), inspirandose no falibilismo de Lakatos, propem uma nova abordagem para a filosofia da Matemtica
[15]
frequentementedesignadaporquasiempiricismo . Estaabordagemprocuradescrevere(re)caracterizaraMatemtica
apartirdaanlisedasprticasreaisdosmatemticos.
Observando estas prticas verse que h a factores importantes que os fundacionistas negligenciaram: provas
informais,desenvolvimentoshistricos,possibilidadedeerromatemtico,explicaesmatemticas(emcontrastecom
provas), comunicao entre os matemticos, a utilizao de computadores e muitos outros. Constatarse que em
cadapocahnormasculturaisquedeterminamoqueumademonstraoaceitvelemMatemtica,acontecendoque
oqueconstituiumademonstraoparaumageraopodenosatisfazerospadresdeaceitaoederigordagerao
seguinte. Observarse que a Matemtica cresce por meio de uma srie de grandes avanos intuitivos, que so
posteriormenteestabelecidos,nonumaetapa,masatravsdeumasriedecorreces,deesquecimentosedeerros
nenhumaprovadefinitivaenovoscontraexemplosdeitamporterraprovasantigas.
[16]
Hersh , apoiandose na experincia diria dos que estudam Matemtica, sugere que:(1) Os objectos matemticos
so inventados ou criados pelos seres humanos (2) So criados, no arbitrariamente, mas emanam da actividade
desenvolvida a partir de outros objectos matemticos j existentes e de necessidades da cincia e da vida diria (3)
Umavezcriados,osobjectostmpropriedadesbemdeterminadas,quepoderemostergrandedificuldadeemdescobrir,
masquepossuemindependentementedonossoconhecimentoacercadelas.ConcluidizendoqueaMatemticaum
mundodeideiascriadopelossereshumanos,queexistenaconscinciapartilhadadestesseres.Talcomoosobjectos
materiais tm as suas prprias propriedades, tambm essas ideias tm propriedades objectivamente suas. O mtodo
paraasdescobriraconstruodedemonstraesecontraexemplos.
Considerardestaformaosobjectosmatemticostemvriasconsequnciasfilosficas.Emprimeirolugar,afirmarque
os objectos matemticos so inventados ou criados pelo homem distinguilos de objectos materiais como gua,
rochasougatos.Contudo,talnosignificaquesejamobjectosintemporaiscomoasideiasmatemticasdoplatonismo.
Podedizerse,porexemplo,queasgeometriasnoeuclidianassoobjectosmatemticosdeinvenomaisrecentedo
queageometriaeuclidiana.
Em segundo lugar, referir que os objectos matemticos so produzidos como resposta a desafios colocados tanto por
teorias e conceitos matemticos j existentes, como pelas outras cincias e pelo mundo real, evidencia a
complementaridade do que vulgarmente se designa por Matemtica pura e por Matemtica aplicada. Com efeito, ao
longo dos tempos temse constatado que a Matemtica se desenvolve a partir de um movimento simultaneamente
interno e externo. A abstraco, a axiomatizao e a generalizao, trs tipos de actividades includas na designada
Matemtica pura, tmse revelado to vitais para a Matemtica como a construo de modelos inteligveis de
fenmenosnaturaiscomplexos,eaparentementeimpenetrveis.Pareceseratravsdainteracoentreaabstracoe
os problemas concretos que a vida proporciona, que se produz e vai construindo uma Matemtica viva, significativa e
possibilitadoradoaumentodopoderhumanodeintervenonomundo.
Emterceirolugar,admitirqueobjectosmatemticosumavezcriados,tmpropriedadessuasquepodemosser,ouno,
capazes de descobrir, permite destacar a simultaneidade da descoberta e da inveno em Matemtica. Esta ideia,
paradoxalquandorejeitamosorealismoemMatemticaeadmitimosapenasaexistnciadosujeitoindividualedeum
mundo exterior a ele, ganha sentido quando consideramos uma espcie de terceira realidade, uma realidade cultural,
onde se situaria a Matemtica. Nesta linha, Wilder, inspirandose nas prticas matemticas reais, descreve a
Matemtica como um sistema cultural em evoluo, algo que criamos e possumos colectivamente, que externo ao
sujeito enquanto indviduo, mas interno sociedade, como um todo. Fazendo os objectos matemticos parte da
culturahumana,assuaspropriedadessotambmpropriedadesdeideiaspartilhadas.
O quasiempiricismo, enquanto abordagem filosfica, destaca que a Matemtica constitui uma actividade humana,
simultaneamente individual e social, que decorre de um dilogo entre pessoas que tentam resolver problemas. Os
produtos matemticos podem necessitar de renegociao medida que mudam os padres de rigor ou que emergem
novosdesafiosesignificados.pelapartilhaediscussocrticadeideiasrelativasaosobjectosmatemticosquese
tornapossveloreconhecimentodesaberesmatemticosnovos,oalargamento,correcoerejeiodeteorias.
O quasiempiricismo no d resposta a todos os problemas respeitantes filosofia da Matemtica. No entanto, mais

importantequeisso, permite levantar questes fundamentais: Como so inventados os objectos matemticos? Como
explicarosucessodasaplicaesdaMatemticanacompreensodomundofsicoedeoutrascincias?
QuasiempiricismoeensinodaMatemtica
UmaperspectivasocialsobreaMatemtica,emqueseincluioquasiempiricismo,temimportantesimplicaesparaa
pedagogiaeadidcticadaMatemtica.Dsuporteaabordagenspedaggicasbaseadasnaformulaoeresoluode
problemas, semelhantes aos processos pelos quais gerado o conhecimento matemtico. Permite pr em causa
perspectivas educativas rigidamente hierarquizadas sobre a Matemtica e a aprendizagem. Tem ressonncias com
objectivosquevisamformarpessoascapazesdeproblematizareavaliarcriticamenteosusossociaisdaMatemtica.
PaulErnest,1994
Thephilosophyofmathematicsandthedidacticsofmathematics

Que balano fazer quanto s diferenas entre os produtos matemticos e outros produtos culturais? O grau de
constrangimento da criatividade matemtica superior ao da criatividade artstica? Como que a demonstrao
matemtica se torna mais refinada e subtil medida que so descobertas novas fontes de erro? Como se articula a
produo individual de saber matemtico com o produo social deste saber? Quais as normas e convenes
actualmentepartilhadaspelosmembrosdacomunidadematemtica?
Estas so algumas das muitas questes que podero ajudar a compreender melhor o que , e como progride, a
Matemtica.Asuaanliseemprofundidadeconstituiumdosgrandesdesafiosquehojesecolocam,nosfilosofia
daMatemtica,mastambmhistria,antropologia,sociologiaepsicologiadacognio.

2.4.3Matemtica:Objectoculturalesocial

Presentemente,diversosinvestigadorespesquisamahistriadaMatemticaerealizamestudosdecarctersociolgico
eantropolgicocomoobjectivodealargaremacompreensodecomoseproduzoconhecimentomatemtico.Alguns
destesestudostmfeitosobressairainflunciadascondiesedoutrinassociaisnaproduomatemtica,bemcomo
a natureza cultural dos objectos matemticos. Em particular, Barbin salienta que a modificao dos objectos e dos
saberes matemticos que ocorreu no sculo XVII, resultou do contexto cientfico, social e filosfico da poca, onde
imperava a vontade de compreender os fenmenos tcnicos. Esta cultura conduziu modificao do conceito de
parbola, como consequncia do estudo dos movimentos, e introduo de novas concepes de curva que viriam a
estar nos fundamentos do clculo infinitesimal. Bento de Jesus Caraa, j em 1951, ao escrever Os conceitos
fundamentaisdeMatemtica, sublinhou tambm que a Matemtica, tal como toda a construo humana, depende do
conjuntodecondiessociaisemqueproduzida.
OconceitodevariveleaGrciapssocrtica
Como poderia um tal conceito [de varivel] surgir na Grcia pstsocrtica, dominada por uma doutrina filosfica que
(...)rejeitavaacontradio,odevireprocurava,emtudo,aquiloqueguardapermanentementeasuaidentidade?No!A
varivel,porqueo,noguardaasuaidentidade,ultrapassaolagotranquilomasestrildapermanncia.Daquiresulta
imediatamenteaincapacidadedacinciagregaparaconstruiroconceitodefuno(...)Eaquitemoleitorumexemplo,
possivelmente o mais importante de todos, de como a Matemtica, do mesmo modo que toda a construo humana,
depende do conjunto de condies sociais em que os seus instrumentos tm que actuar. Subordinao que no a
humilha,antesaengrandece.
BentodeJesusCaraa,1989
ConceitosfundamentaisdeMatemtica

[17]
Restivo , numa posio mais radical, afirma que as notaes e smbolos so instrumentos, materiais, e em geral
recursosquesosocialmenteconstrudosemtornodeinteressessociaiseorientadosporobjectivossociais.Defende
que os mundos matemticos so mundos sociais e que os objectos matemticos so e devem ser tratados como
objectos,coisas que so produzidas e manufacturadas por seres sociais no havendo razo para que um objecto
comoumteoremadevasertratadodiferentementedeumaescultura.

2.5Aexperinciamatemtica

UmavezadmitidaaideiadequeafilosofiadaMatemticadeveteremcontaasprticasmatemticasreais,tornase
[18]
pertinentereflectirsobrealgunsaspectosdaexperinciamatemtica.NestasecoabordaseoquePapert designa
porfaceextralgicadaMatemticaeopapeldocomputadornaproduodaMatemtica.

2.5.1FaceextralgicadaMatemtica

AMatemticavulgarmenteolhadaporumnguloqueprivilegiaoseuladolgico.Noentanto,talcomoaconteceem
qualquer outra actividade humana, tambm na actividade de produo matemtica, a face extralgica coexiste com a
facelgica.

Estticamatemticaecriaomatemtica

Encontramserefernciasfaceextralgica,nomeadamenteestticamatemtica,emvriasdescriesdoprocesso
de criao matemtica, Por exemplo, Poincar destaca que a sensibilidade esttica, e no a lgica, que constitui o
trao distintivo do esprito matemtico. Quando confrontado com um problema de difcil resoluo este matemtico
realiza um trabalho que se desenvolve em trs etapas. A primeira uma fase de anlise consciente e deliberada do
problema.Asegundaumafasedetrabalhoinconsciente.Pareceumabandonoprovisriodatarefa.Noentanto,oque
se passa que o eu inconsciente ou subliminar, explora, sistematicamente, todos os elementos que lhe foram
fornecidospelaprimeiraetapadotrabalho.Apsumcertotempo,nummomentoqualqueremqueoespritoconsciente
se afasta do problema a resolver, algumas combinaes desses elementos, provenientes do trabalho do inconsciente,
aparecemnamentesobaformadeumainspiraosbita.Numaterceiraetapa,humaanliseconscienteerigorosa
dessas ideias que podero ser aceites, modificadas ou rejeitadas. Neste ltimo caso, o inconsciente recomear de
novooseutrabalhonaprocuradeumanovasoluo.
Colocase,contudo,aquestodeporquequeoinconscientetransmiteaoconscientealgunsresultadoseoutrosno.
aquiquePoincarvaintervenodasensibilidadeesttica.estasensibilidade,umaintuioespecialqueparaele
s existe nos que nascem matemticos criadores, que desempenha um papel de crivo e apenas deixa passar para o
conscienteasideiasquetrazemamarcadabelezamatemtica.Poincar,aocontestarquesejapossvelcompreender
otrabalhodomatemticoeosprocessosqueeleutilizaexclusivamenteemtermosdelgica,oque,nofundo,peem
causaaexistnciadeumateoriapuramentecognitivadopensamentomatemtico.
A descrio de Poincar referese ao mais alto nvel da criao matemtica. Uma questo diferente saber se o
mesmoprocessodinmicoestpresenteemnveismaiselementaresdetrabalhomatemtico.Foisobreestaquesto
[19]
quesedebruouPapert aoanalisaropensamentoseguidoporumgrupodenomatemticosaquemfoipedidopara
construirademonstraodoteoremaqueindicaquearaizquadradadedoisumnmeroirracional.
Ao longo do processo de resoluo do problema, Papert constata a existncia, no grupo, de sinais diversos de
satisfao e entusiasmo, traos de prazer vrios, que o levam a questionarse se a Matemtica no estar mais
prximadohumoredossonhosdoqueaquiloquegeralmentesecr.Tudoistolevaoacolocarumasriededvidas
sobre as razes para acreditar, como o faz Poincar, que a faculdade de sentir beleza matemtica algo de inato e
independente de outras componentes do esprito. Sugere, pois, a possibilidade destes factores entrarem em linha de
contaeviremainfluenciar,emcadapessoa,apercepodaMatemticacomobelaouno,levandoaaaprovaroua
rejeitarestaouaquelaMatemtica.
Estticamatemticaecriaomatemtica
Tornarse matemtico inclui o desenvolvimento da esttica matemtica, uma predileco por analisar e compreender,
porperceberaestruturaeasrelaesestruturais,porvercomoascoisasseajustam.
AlainSchoenfeld,1990
Problemsolvingincontext(s)

OquehdecomumnaestticadetodasasartesenaMatemtica,odesaparecimentodeinformaesparasitas,de
barulhosdefundo,numapalavraadiminuiodaentropia.Acomparaodeumbeloraciocniocomadanaemque
cadamovimentoterminaoprecedenteeiniciaoseguinte,nodestitudadesentido.
AndrRevuz,1988
Estilimpossibled'enseignerlesmathmatiques?

IntuioeMatemtica

A intuio matemtica outra das componentes que Papert inclui na face extralgica da Matemtica. A sua
importncianoprocessodeproduodestacinciadestacadaporinmerosmatemticos,algunsdosquaischegama
afirmar que a criao matemtica , sem dvida e antes de mais, a obra de homens notveis pela sua poderosa
intuio,maisdoquepelasuacapacidadederealizardemonstraesrigorosas.
NombitodaMatemticaanoodeintuio,frequentemente,umpoucovaga.Porvezessignificapoucorigoroso,
embora o conceito de rigor seja apenas intuitivamente definido. Intuitivo pode tambm significar visual, heurstico,
plausveleholsticoemoposioapormenorizadoouanaltico.Apesardestaambiguidade,umfactoqueaactividade
matemtica, para l de uma componente formal (que envolve axiomas, definies, teoremas e demonstraes) e de
uma componente algortmica (composta por procedimentos que apenas podem ser adquiridas atravs de um treino
sistemtico), inclui tambm combinar observaes, seguir analogias, recorrer a imagens, formular conjecturas e
adivinhar a ideia da prova antes de a fazer, ou seja, inclui tambm uma componente intuitiva. Esta componente no
aparece nos produtos matemticos acabados onde prevalece a forma dedutiva. Estes produtos so assegurados pelo
quePlyadesignaporraciocniodemonstrativo.Asconjecturasso,noentanto,sustentadasporumtipoderaciocnio
diferente,oraciocnioplausvel,quecompletaoprimeiro.Plyachamaaindaaatenoparaqueseaaprendizagemda
Matemticareflecte,emalgumgrau,ainvenodaMatemtica,entodevehaveralugarparaaprenderaadivinhar,
paraainfernciaplausvel.
Criaomatemticaeintuio
Cincia alguma pode nascer apenas da lgica (...) para produzir Aritmtica tal como para produzir Geometria ou
qualquer outra cincia, necessrio algo mais que a lgica pura. Para designar essa outra coisa, no temos outra
palavra seno intuio (...) a cincia da demonstrao no toda a cincia e a intuio deve conservar o seu papel
comocomplemento,diriamesmo,comocontrapesoouantdotodalgica(...)Tivejoportunidadedeinsistirnoquediz
respeitoaolugarqueaintuiodeveternoensinodascinciasmatemticas.Semela,osespritosaindajovensno
teriammeiosdeacederaoentendimentodaMatemticanoaprenderiamagostardelaevlaiamapenascomouma
vlogomaquia.Semaintuiosobretudo,nuncaviriamasercapazesdeaplicaraMatemtica(...)Assim,algicaea
intuiotm,cadaumadelas,oseupapel.Ambassoindispensveis.Algica,queanicaquenospodefornecera
certeza,oinstrumentodademonstraoaintuiooinstrumentodainveno.
HenriPoincar,1988
IntuioelgicaemMatemtica

Temos intuio matemtica, no porque memorizamos mecanicamente definies e algoritmos, mas porque temos
representaes mentais dos objectos matemticos. Construmos estas representaes atravs de experincias
repetidas, quer seja atravs da manipulao de objectos concretos, a um nvel elementar, quer, num nvel mais
avanado,atravsdamanipulaodeimagensmentais,deexperinciasderesoluodeproblemasedarealizaode
descobertas.
Umavezqueaintuiomatemticaumacomponentefundamentaleinsubstituveldaactividadematemtica,importa
teremcontaqueanfaseexclusiva,nasaladeaula,emtarefasmatemticasquenoestimulemosaspectosintuitivos
dopensamento,paraldeconstituirumaparentepobredaexperinciamatemtica,podefuncionar,paraalgunsalunos,
comoumabarreirainibidoradaconstruodeconhecimentomatemticosignificativo.

2.5.2Aprticamatemticaeocomputador

NosltimosanosocomputadortemtidoumaforteinfluncianodesenvolvimentodaMatemtica.Trouxeparaprimeiro
plano reas anteriormente estudadas mas entretanto postas de lado, possibilitou alargar fortemente o mbito das
aplicaes da Matemtica, permitiu introduzir novos processos de investigao e tem sido uma fonte fecunda de
problemas. O computador est, assim, a introduzir modificaes importantes nas prticas matemticas tradicionais,
dando a esta cincia uma nova dimenso, tanto nos seus aspectos tericos como prticos. Todas estas mudanas
estoalevantarinteressantesquestesfilosficassobreasquaisimportareflectir.
UtilizaodocomputadoremMatemtica

A relao do computador com a Matemtica estabeleceuse h muitas dcadas. Inicialmente comeou por ser usado
pararealizarclculosnumricosqueocupavamumtempoexcessivamentelongo.Maistarde,oseucampodeutilizao
diversificaseetornasemaiscomplexo.Nosanos50,Wangprogramouumcomputadorparaprovardiversosteoremas
dos Principia Mathematica de Russel. Em 1969, Davis e Cerutti usaram outro computador para produzir provas de
geometria elementar, tendo encontrado uma demonstrao no usual para um velho teorema. Posteriormente, o
computadorcomeaaserprogramadopararealizaroperaescomsmbolosquedadaacomplexidadedasexpresses
envolvidas eram srios obstculos ao prosseguimento dos trabalhos de investigao, alargando as fronteiras da
[20]
intratabilidade .
Actualmente matemticos, engenheiros e cientistas concebem modelos computacionais de sistemas naturais,

tecnolgicos e sociais para revelar cenrios que anteriormente s poderiam ser estudados atravs de prottipos e
experincias demoradas, muitas vezes realizadas em condies de risco. Por seu lado, os prprios modelos
computacionais geram novos problemas matemticos que tm impulsionado linhas de investigao diversas. Em
particular, na teoria dos nmeros o computador frequentemente usado para chegar a novas conjecturas. Gera dados
que o matemtico analisa de modo a formullas e mesmo que no as consiga provar pode recorrer de novo ao
computador para gerar outros grupos de nmeros que lhe permitam testar ou refutar as conjecturas que estabeleceu.
Noutroscampos,produzimagensgrficasdeobjectosmatemticosquenopoderiamservisualizadosdeoutromodo
(como acontece, por exemplo, com os objectos fractais) permitindo, assim, ampliar as fronteiras de compreenso
dessesobjectos.AlgunstpicosdeMatemticaforammesmorelegadosinteiramenteparaaMatemticacomputacional
talcomoacontececomaprocuradomaiornmeroprimoouamaislongaexpressodecimalde.

Alegitimidadematemticadocomputador

Apesar desta aliana fecunda entre computador e Matemtica, a questo da legitimidade matemtica do computador
permanece,contudo,umaquestocontroversa.Muitosmatemticos,nomeadamenteosfundacionistas,negamqueos
computadores possam figurar em provas matemticas entendidas no sentido restrito do termo. Esta atitude prendese
com o facto de, por vezes, as provas assistidas por computador (computer proofs) no poderem ser testadas pela
comunidadematemticaatravsdomtodocannicoqueconsisteemllaseverificarsecadainferncialogicamente
correcta.Ascpiasescritasdemuitasdestasprovassoimpossveisdeobterdevidoenormequantidadedetempo
necessrioparaasimprimiremesmoqueseconseguisseencheriamumnmerotaldepginasqueseriaminteispara
o matemtico. Procurase garantir que os resultados obtidos por computador esto correctos verificando se diversos
computadoresosconfirmam,construindodiferentesprogramasparaosverificareavaliandoafiabilidadedosprogramas
utilizados.
Estasevidnciasso,contudo,semelhantessqueobtmoscientistasquerealizamestudosexperimentaisnocampo
dascinciasnaturaisque,tradicionalmente,tmsidoconsideradassignificativamentediferentesdaMatemtica.Assim,
nodeestranharqueseponhamsriasreticnciasemadmitiremMatemticaprovasassistidasporcomputador,com
oargumentodequeseiriamodificarocarcterfundamentaldestacincia.
Este debate poderia ter permanecido para sempre no campo puramente especulativo se as provas assistidas por
computadornotivessemchegadoMatemticapura,oqueaconteceuem1976comaprovaapresentadaporAppele
Hakenparaaconjecturadasquatrocores.

Conjecturadasquatrocores
Em 1976 aconteceu uma coisa rara: a notcia da demonstrao de um teorema de Matemtica pura foi publicada nas
colunasdoNewYorkTimes.Aocasiofoiademonstrao,porKennethAppeleWolfgangHaken,daconjecturadas
quatrocores.Oacontecimentofoinotciaporduasrazes.Emprimeirolugaroproblemaerafamoso.Aconjecturadas
quatrocoreseraestudadahmaisdecemanos.Tinhahavidomuitastentativasfalhadasparaaresolveragora,por
fim, tinha sido demonstrada. Contudo, o prprio mtodo de demonstrao era digno de nota. Isto porque uma parte
essencial da demonstrao consistia em clculos por computador. Ou seja, a demonstrao publicada continha
programas de computadores e resultados de clculos desses programas. Os passos intermdios, de execuo dos
programas, no foram, claro, publicados neste sentido, as demonstraes publicadas estavam em princpio e
permanentementeincompletas.
Oproblemadasquatrocoresconsisteemdemonstrarquequalquermapa,numasuperfcieplanaounumaesfera,pode
sercoloridosemutilizarmaisdequatrocoresdiferentes.Anicaexignciaadequequaisquerdoispasescomuma
fronteiracomumnotenhamamesmacor.

Aexperinciamatemtica

OqueAppeleHakenapresentaramfoiumaprovaporinduoquerequeraanlisedediversoscasos.Seseexcluira
interveno do computador h na prova uma lacuna intransponvel que no pode ser preenchida com passos
reconstitudos pelos matemticos. como se um dos lemas principais da prova fosse justificado com a expresso
comodizocomputadoremlugardeserjustificadopelorecursoaresultadosanteriormenteestabelecidosouaregras
da lgica. Logo, a nica possibilidade de verificar a prova de Appel e Haken foi utilizar um outro computador
independente, o que torna a prova apresentada dependente da fiabilidade da mquina e do programa. Embora muitos
sintamqueestafiabilidadesuficientementeelevadaparagarantiraaceitaodoteorema,elaapoiasenumconjunto
complexodefactoresempricos,oquenoacontececomasprovasmatemticastradicionais.Ouseja,aavaliaoda
demonstrao apresentada depende, no apenas da capacidade de anlise da comunidade matemtica para
compreendereverificarraciocnios,mastambmdasuacrenadequeoscomputadoresfazemcorrectamenteoque
suposto que faam. Esta convico aproxima o conhecimento matemtico do conhecimento vulgar, podendo, assim,
parecerquehumacertadegradaodograudecertezaqueviolaaprprianaturezadaMatemtica.
No , pois, de estranhar que a publicao do trabalho deAppel e Haken tenha gerado tantas controvrsias. Afinal, a
aceitao do teorema das quatro cores pe em causa o sentido de teorema e, mais precisamente, o sentido de
demonstraoquedurantesculosesteveassociadoMatemtica.

ComputadoreexperimentaesempricasemMatemtica

Usarcomputadoresdemodoanlogoaoquefoiutilizadoparaprovaroteoremadasquatrocores,conduzpossibilidade
dedoistiposdeprovaemMatemtica:(a)asprovasclssicas,emquetodososresultadospodemserverificadospor
matemticos interessados e (b) as provas onde intervm o computador e cuja validade no pode ser estabelecida por
anliselgicapoishpassosquespodemserultrapassadasrecorrendoaessatecnologia.Admitiralegitimidadedas
provas do tipo (c) introduz experimentaes empricas em Matemtica, aproximando esta cincia das cincias
experimentais. Este facto tem algumas consequncias filosficas. Representa a aceitao de processos quasi
[21]
empricosemMatemtica abreasportasexistnciadeconhecimentomatemticoaposterioridesafiaadistino
absoluta entre Matemtica e cincias naturais deixa em aberto diversas questes entre as quais explicar o papel das
experincias em Matemtica pura, qual o estatuto das provas assistidas por computador e quais os critrios
matemticosdeaceitaodessasprovas.
Actualmentemultiplicamseoscasosemqueoscomputadoressousadosparaproduzirprovasmatemticas.Noh
[22]
muito tempo foi publicada nos orgos de comunicao social uma notcia que indica que um novo programa de
computador,desenvolvidonosEstadosUnidos,demonstrouautomaticamenteaconjecturadeRobbins.Estaconjectura
foiformuladanosanos30edurantedcadassuscitouointeressedemuitosmatemticosqueforamfazendoprogressos
parciais sem a conseguirem provar completamente. Aqui o que se passou foi qualitativamente diferente do que
aconteceu com a prova do teorema das 4 cores. Enquanto neste a estratgia de demonstrao foi concebida pelo
homem, limitandose o programa a explorar um conjunto bem delimitado de possibilidades, no caso do problema de
Robbins foi o prprio programa que explorou milhes de hipteses at que encontrou uma estratgia que levou
resoluo.
Ao lado desta notcia aparece um endereo electrnico que permite aceder pgina da Internet onde se poder
encontrar, no apenas a demonstrao do teorema de Robbins, mas tambm informaes sobre os avanos da
[23]
intelignciaartificialnademonstraoautomticadeteoremas .
Eprovvelqueesteacessofcilqueocomputadorpermitesredesdeinformaointroduzaalteraesmuitovariadas
nasprticasmatemticasreais,queotempoeainvestigaoseencarregarodedesvendar.Facilitar,semdvida,a
partilhadeconhecimentoseodebatedeideiasenessamedidaserumestmuloimportanteactividadedeproduo
matemtica.

2.6Aconcluir

A constatao de que posies filosficas sobre a Matemtica influenciam, e tm influenciado, de forma significativa
conceitoseprincpiosorientadoresrelacionadoscomoseuensinoeaprendizagem,temvindoaganharcadavezmais
terreno. De facto, situarmonos na perspectiva de ajudar quem aprende a compreender um corpo de saberes
matemticosqueoprodutocontingentedeforasevolutivashistricaseculturais,umproblemadiferentedeensinar
segundo uma perspectiva que supe a existncia de um saber matemtico imutvel, eterno, fortemente estruturado,
infalvel, rigoroso e abstracto por natureza, que exterior aos alunos, mas que estes podem receber do professor
atravsdemecanismosdetransmisso,imitaoeabsoro.
Na base de muitas das actuais orientaes para o ensino da Matemtica, est a ideia de que saber matemtica
sobretudofazerMatemtica.Simultaneamente,advogasequeparaaprenderMatemticademaneirasignificativaetil,
importa participar na actividade matemtica, considerada nas suas mltiplas vertentes, e no apenas adquirir
conhecimentosecompetnciasexplicitamenteindicadospeloprofessor.
AquestodoquesignificafazerMatemticatem,contudo,diversasrespostasconsoanteaperspectivaepistemolgica
que se adopta sobre esta cincia. E assim sendo, as controvrsias acerca do ensino da Matemtica dificilmente
podero ser resolvidas sem se reflectir sobre a natureza da Matemtica e dos processos de produo do saber
matemtico.DaagrandeimportnciadatemticadestecaptuloparaoprofessordeMatemtica.

Referncias

Barbin,E.(1994).Amatemticacomoprocessohistricoecomoobjectocultural.EmProfMat94Actas(pp.3644).
Lisboa:APM.
Bloor,D.(1991).Knowledgeandsocialimagery.London:TheUniversityofChicagoPresss.
Bkoucher,R.,Charlot,B.eRouche,N.(1991).Fairelesmathmatiques:Leplaisirdusens.Paris:ArmandColin.
Browder,F.,MacLane,S.(1988).Arelevnciadamatemtica.EmANaturezadaMatemtica,CadernosdeEducao
eMatemtica1(pp.1744).Lisboa:APM.
Caraa,B.J.(1989).Conceitosfundamentaisdematemtica.Lisboa:LivrariaSdaCosta.
Connes,A.(1991).Oestranhomundodamatemtica.EmPblico,8/11.
Davis, P., Hersh, R. (1988). Da certeza falibilidade. Em A Natureza da Matemtica, Cadernos de Educao e
Matemtica1(pp.4572).Lisboa:APM.
Davis,P.,Hersh,R.(1995).Aexperinciamatemtica.Lisboa:Gradiva.
Dias Agudo, F. R. (1980). A matemtica no mundo contemporneo. Tomo XXIII. Lisboa: Academia das Cincias de
Lisboa
Dieudonn,J.(1990).Aformaodamatemticacontempornea.Lisboa:DomQuixote.
Ernest,P.(1991).Thephilosophyofmathematicseducation.Hampshire:TheFalmerPress.
Ernest,P.(1994).Thephilosophyofmathematicsandthedidacticsofmathematics.EmR.Biehler,Roland,W.Scholz,
R. StrBer, B. Winkelmann (Eds.), Didactics of mathematics as a scientific discipline (pp. 335349). London:
KluwerAcademicPublishers.
Hersh,R.(1986).Someproposalsforrevivingthephilosophyofmathematics.EmT.Tymoczko(Ed.)Newdirectionsin
thephilosophyofmathematics(pp.928).Boston:Birkhuser.
Kline,M.(1989).Mathmatiques:Lafindelacertitude.Paris:ChristianBourgoisditeur.
Lakatos, I. (1993). Proofs and refutations The logic of mathematical discovery. Cambridge: Cambridge University
Press.
Lakatos,I.(1986).ARenaissanceofempiricismintherecentphilosophyofmathematics?.EmT.Tymoczko(Ed.)New
directionsinthephilosophyofmathematics(pp.2948).Boston:Birkhuser.
Papert,S.(1980).MindstormsChildren,computersandpowerfulideas.NewYork:BasicBooks.
Pavelle,R.,Rothestein,M.eFich,J.(1991). lgebraporcomputador.EmJ.P.Ponte(Org.)OcomputadornaEducao
Pavelle,R.,Rothestein,M.eFich,J.(1991).lgebraporcomputador.EmJ.P.Ponte(Org.)OcomputadornaEducao
Matemtica(pp.1127).Lisboa:APM.
Poincar, H. (1988). Intuio e lgica em matemtica. Em A Natureza da Matemtica, Cadernos de Educao e
Matemtica1(pp.716).Lisboa:APM
Poincar,H.(1996).Ainvenomatemtica.EmP.Abrantes,L.C.LealeJ.P.Ponte(Eds),Investigarparaaprender
matemtica(pp.713).Lisboa:APM.
Plya,G.(1986).From the preface of induction and analogy in mathematics.EmT.Tymoczko(Ed.)Newdirectionsin
thephilosophyofmathematics(pp.99101).Boston:Birkhuser.
Restivo,S.(1988).TheSociallifeofmathematicspp.520.EmPhilosophica,42,(2).
Revuz,A.(1980).Estilimpossibled'enseignerlesmathmatiques?Paris:PUF.
SebastioeSilva,J.(1964).Guiaparaautilizaodocompndiodematemtica,1volume,6ano,Lisboa:Ministrio
daEducao.
Snapper,E.(1979).Thethreecrisesinmathematics:Logicism,intuitionismandformalism.EmMathematicsMagazine
(pp.207216),Vol52,(4).
Struik,D.(1989).Histriaconcisadasmatemticas.Lisboa:Gradiva.
Schoenfeld, A. (1990). Problem solving in context(s).Em R. Charles, E. Silver (Eds.) The Teaching and assessing of
mathematicalproblemsolving,(pp.8292).Virginia:NCTM:
Tymoczko,T.(Ed.)(1986).Newdirectionsinthephilosophyofmathematics.Boston:Birkhuser.
Wilder, R. (1986). The cultural basis of mathematics. Em T. Tymoczko (Ed.) New directions in the philosophy of
mathematics(pp.185199).Boston:Birkhuser.

[1]
Captulo2dolivroPonte,J.P.,Boavida,A.,Graa,M.,&Abrantes,P.(1997).Didcticadamatemtica.Lisboa:DESdoME.
[2]
J.Dieudonn(1990,p.47).Ascitaesincludasnotextoseroidentificadasemnotadefimdecaptuloatravsdaindicao
donomedoautor,dadatadapublicaodequeacitaofoiextradaedapginaoupginasemqueseencontra.Arestante
identificaodapublicaoserfeitanasReferncias.
[3]
MuitasdasideiasdateoriaempiricistadeMillsobreamatemticaestoincludasnoseulivroSystemoflogic(1943).Bloor,
no cap 5 de Knowledge and social imagery,intituladoA naturalistic approach to mathematics, apresenta uma sntese desta
teoriabemcomoumaanlisecrticadosprincipaisargumentospropostosporFregeparaacontestar.
[4]
M.Kline(1989,p.140).
[5]
P.DaviseR.Hersh(1988,p.52).
[6]
D.J.Struik(1989,p.78).
[7]
D.J.Struik(1989,pp.9091).
[8] 2 2 2
Nmeroscujaformaa+bi+cj+dk,emquei =j =k =1
[9]
M.Kline(1989,p.175).
[10]
A expresso mito de Euclides utilizada por Davis e Hersh para destacarem a ideia de que durante sculos foi crena
generalizadaqueoslivrosdeEuclidescontinhamverdadesacercadoUniversoqueeramclaraseindubitveis.
[11]
Segundo Snapper (1979) no contexto do logicismo uma proposio lgica definida como uma proposio que tem
generalidadecompletaeverdadeiraemvirtudedasuaformaemvezdoseucontedo.Nestesentido,porexemplo,oprincpio
doterceiroexcludo(pv~psempreverdadeiro)umaproposiolgicapoisppodeserumaproposiodamatemtica,da
fsicaououtraqualquer.
[12]
P.DaviseR.Hersh(1988,p.56).
[13]
P.Ernest(1991,p.14),referindoLakatos.
[14]
I.Lakatos(1993,p.5).
[15]
A designao proposta, nomeadamente, por Tymoczko (1986) que refere que esta abordagem tem sido objecto de uma
adesocadavezmaior,emboranoconstituaumarepresentaocompletadafilosofiadaMatemticacontempornea.
[16]
R.Hersh(1986,p.22).
[17]
S.Restivo(1988,p.18).
[18]
S. Papert (1980). Papert inclui na face extralgica da matemtica a beleza matemtica, o prazer matemtico e a intuio
matemtica.OlivroMindstormsChildren,computersandpowerfulideas,onde Papert refere estas ideias, tem uma traduo
brasileiraintituladaLogo:Computadoreseeducao,publicadapelaprimeiravezem1985porEditoraBrasilienceSoPaulo.
[19]
S. Papert (1980). O teorema que indica que raiz quadrada de 2 um nmero irracional foi escolhido exactamente por o
matemticoinglsHardyoterconsideradocomoumdosmaispurosexemplosdebelezamatemtica.
[20]
Esta expresso usada por Pavelle, Rothestein e Fitch (1991), para indicar que o computador, atravs da utilizao de
sistemas automticos de manipulaes algbricas, permite explorar expresses algbricas frequentemente includas em teorias
cientficas,quesoextremamentedifceisdeexplorarmo.
[21]
Tymoczko,T.(1986)vaimaislonge,afirmandoqueaceitaralegitimidadedoteoremadasquatrocoresconduzaadoptaruma
teoriaquasiempricadamatemtica.
[22]
Ver,porexemplo,Expresso15/2/97.
[23]
[23]
AformulaoedemonstraodoteoremadeRobbins,bemcomoasinformaesqueforamfornecidasaocomputadorpodem
serobtidasnoendereohttp://www.mcs.anl.gov/

A natureza da Matemática

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

A natureza da Matemática

Uploaded by

Copyright:

Available Formats

2017624 2ANATUREZADAMATEMTICA

O quasiempiricismo no d resposta a todos os problemas respeitantes filosofia da Matemtica. No entanto, mais

Actualmente matemticos, engenheiros e cientistas concebem modelos computacionais de sistemas naturais,

You might also like