Como se Compreende a Matemtica?

Neste post, continuo a transcrio do famoso ensaio O n the proof and Progress in Mathematics (Sobre prova e progresso em matemtica) de William P. !urston "ue a #evista $atemtica %niversitria n&mero de de'embro de tradu'iu e publicou e cu(as ideias servem muito bem na atualidade. )e(amos ento o "ue o autor e*plica +,omo se ,ompreende $atemtica-+. . compreenso / um processo individual e interno, do "ual nos damos conta com dificuldade0 / dif1cil entend23la e fre"uentemente dif1cil transmiti3la. Podemos apenas trat3la superficialmente. 4*istem diferentes maneiras de compreender partes espec1ficas da matemtica. Para ilustrar isso, / mel!or tomar um e*emplo de um conceito "ue os matemticos compreendem de vrias maneiras, mas "ue oferece grandes dificuldades aos nossos estudantes5 a derivada de uma funo. 4sta pode ser vista como5

(1) Infinitesimal: a ra'o da variao infinitesimal do valor da funo para uma variao infinitesimal da varivel. (2) Simblica: a derivada de de / , etc. se e somente se para cada . e*iste um tal "ue "uando / , a derivada de / , a derivada

(3) Lgica: ,

(4) Geomtrica: a derivada / o coeficiente angular da tangente ao grfico da funo, isto se o grfico tem uma tangente. (5) Taxa: a velocidade instant6nea de "uando / o tempo.

( ) !"roxima#$o: . derivada de uma funo / a mel!or apro*imao linear para a funo pr7*imo a um ponto. (%) &icrosc"ia: . derivada de uma funo / o limite "ue se obt/m ol!ando3a com microsc7pios cada ve' mais poderosos.

4sta / uma relao de modos diferentes de pensar sobre ou de conceber a derivada, em lugar de uma lista de defini8es l7gicas diferentes. . no ser "ue se faa um grande esforo para se manter o tom e o sabor da intuio !umana, as diferenas comeam a desaparecer to logo se tradu'em conceitos mentais em defini8es formais, e*pl1citas, e precisas. Posso lembrar3me absorvendo cada um desses conceitos como algo novo e interessante, gastando muito tempo de racioc1nio e esforo, digerindo e e*ercitando cada um deles, relacionando3o com os outros. 9embro3me tamb/m retornando a esses diferentes conceitos, adicionando3l!es significado e compreenso. . lista continua0 no ! ra'o para "ue ela termine. %ma amostra de um item "ue ocorre bem abai*o na lista pode servir como ilustrao. Podemos ac!ar "ue sabemos tudo o "ue se pode di'er sobre certo assunto, mas novas percep8es esto logo ali. .l/m disso, uma imagem mental clara para um pessoa / intimidao para outra. Por e*emplo, "A derivada de uma funo real fibrado cotangente fibrado real trivial num domnio a seco Lagrangeana do

que d a forma de cone o para a !nica cone o plana do para a qual o grfico de paralelo""

4ssas diferenas no so apenas curiosidades. O pensamento e a compreenso !umanas no funcionam numa via &nica, como num computador com uma &nica central de processamento. Nossos c/rebros e mentes parecem ser organi'ados em uma grande variedade de estruturas separadas e poderosas. 4ssas estruturas trabal!am em con(unto e independentemente, comunicando3se entre si em altos n1veis de organi'ao ao inv/s de em n1veis inferiores. )e(amos ento algumas das divis8es principais "ue so importantes para o pensamento matemtico. (1) Ling'agem ('mana) N7s possu1mos estruturas eficientes e especiali'adas destinadas : fala e compreenso da linguagem !umana, "ue se conectam tamb/m com a escrita e leitura. Nossa leitura lingu1stica / um instrumento importante para o racioc1nio, e no apenas para comunicao. %m e*emplo simples / a f7rmula das ra1'es de uma e"uao do segundo grau "ue as pessoas decoram com uma ladain!a +* igual a menos b2 mais ou menos rai' "uadrada de b ao "uadrado menos "uatro ac sobre dois +. . linguagem simb7lica da matemtica est fortemente ligada : nossa estrutura de linguagem. (2) *is$o+ "erce"#$o es"acial+ "erce"#$o cintica) .s pessoas possuem estruturas muito poderosas pra ad"uirir informa8es visualmente ou cineticamente, e para raciocinar atrav/s de sua percepo espacial. Por outro lado, no ! uma estrutura bem montada para a viso inversa, isto /, transformar uma compreenso espacial interna em uma imagem bidimensional. ,onse"uentemente, os matemticos t2m em geral figuras mais pobres e em "uantidade menor em seus livros e artigos "ue em suas mentes.

(3) Lgica e ,e,'#$o) .ssociado ao modo com "ue fa'emos dedu8es l7gicas, temos algumas maneiras programadas de raciocinar e agrupar id/ias5 causa e efeito (relacionada com implicao), contradio ou negao, etc. 4m geral, parece "ue os matemticos no se ap7iam em regras formais de deduo "uando esto pensando. 4m ve' disso, eles guardam apenas parte ra'ovel da estrutura l7gica de uma prova em suas mentes, "uebrando provas em resultados intermedirios, de modo a no lidar com muita l7gica de uma s7 ve'. ;e fato, / comum e*celentes matemticos no con!ecerem nem mesmo as regras bsicas dos "uantificadores (para todo e e*iste), no entanto todos os matemticos certamente e*ecutam o racioc1nio "ue eles codificam. (4) Int'i#$o+ associa#$o+ met-fora) .s pessoas t2m uma capacidade surpreendente para perceber alguma coisa sem con!ecer de onde ela vem (intuio)0 para perceber "ue um fen<meno, uma situao ou um ob(eto / parecido com algum outro (associao)0 e para construir e testar cone*8es e compara8es, mantendo em mente duas coisas ao mesmo tempo (metfora). 4ssas capacidades so muito importantes para os matemticos. Pessoalmente, fao um grande esforo para +ouvir+ min!as intui8es e associa8es, e construir a partir delas metforas e cone*8es. =sso envolve um tipo de "uietude e concentrao simult6neas de min!a mente. Palavras, l7gica e figuras detal!adas agitando3se em volta podem inibir intui8es e associa8es. (5) .st/m'lo 0 res"osta) =sso / sempre enfati'ado nas escolas0 por e*emplo, se voc2 v2 , escreve um n&mero sobre o outro e traa uma lin!a por bai*o, etc. =sso / tamb/m importante para a pes"uisa matemtica5 vendo o diagrama de um n7, posso escrever uma apresentao para o grupo fundamental de seu complementar por uma reao semel!ante :"uela causada pelo algoritmo da multiplicao. ( ) 1rocesso e tem"o) N7s possu1mos uma !abilidade para pensar sobre processos ou se"u2ncias de a8es "ue pode efetivamente a(udar no racioc1nio matemtico. %m modo de ver uma funo / como uma ao, um processo, "ue leva o dom1nio no contradom1nio. =sso / particularmente &til "uando compomos fun8es. %m outro uso dessa estrutura / na recordao de provas5 as pessoas fre"uentemente relembram uma prova como um processo consistindo de vrias etapas. 4m topologia, a noo de !omotopia / pensada fre"uentemente como um processo temporal. $atematicamente no se distingue o tempo de uma dimenso espacial a mais0 no entanto, ele / psicologicamente muito diferente pois interagimos com ele de um modo muito especial.