O Logicismo, o Formalismo e o Intuicionismo e seus Diferentes Modos de Pensar a Matemtica

Fabiane Mondini 1

Este artigo parte de uma pesquisa de mestrado em desenvolvimento, cujo objetivo compreender como os professores que trabalham em cursos de formao de professores de Matemtica compreendem a lgebra, como a estudam e a trabalham com seus alunos, os quais futuramente sero professores de Matemtica. Essa busca envolve compreender tambm o modo pelo qual se mantm em formao, como professores pesquisadores de lgebra e como se preocupam com a formao em lgebra dos seus alunos. Este trabalho norteado pela seguinte questo: como os professores de lgebra, dos cursos de Licenciatura em Matemtica, compreendem e trabalham a lgebra, em termos de contedo e prtica pedaggica?

Resumidamente posso dizer que a interrogao interroga a prpria concepo da lgebra nos cursos de formao de professores de Matemtica da Educao Bsica. O desenvolvimento dessa pesquisa iniciou como o estudo de investigaes j realizadas que abordaram temas como: o processo de ensino e aprendizagem de lgebra, principalmente nos cursos de Licenciatura em Matemtica, a formao didtico-pedaggica e o conhecimento terico de professores discusso. de Matemtica, assim como trabalhos sobre a prtica de professores de Matemtica que apresentam a lgebra como tema central na

Aluna do curso de mestrado em Educao Matemtica da UNESP Campus de Rio Claro/SP. Trabalho desenvolvido sob orientao da Profa. Dra. Maria Aparecida Viggiani Bicudo. Bolsista Cnpq. fabiane.mondini@gmail.com

Na tentativa de responder essa questo, consideramos necessrio olhar para a Histria da Matemtica, para a Histria da Educao Matemtica, para o que os professores de lgebra dizem sobre seu trabalho e os modos distintos de compreender o que a Matemtica. Este texto uma parte desse estudo e apresenta uma discusso sobre trs modos de pensar a Matemtica: o Logicismo, o Intuicionismo e o Formalismo , na tentativa de compreender como a Matemtica se constituiu como Cincia no decorrer da Histria de nossa cultura.

A constituio da Matemtica como Cincia Formal O que justifica a estruturao da Matemtica como Cincia? A necessidade de respostas para essa pergunta deu incio sistematizao do conhecimento que hoje chamamos de Matemtica. A busca de fundamentos para estruturar a Matemtica com o rigor de uma Cincia iniciou-se com os gregos, mais especificamente com Plato, que tinha os objetos matemticos como ideais e concebia que estes eram acessveis mente humana apenas pelo conhecimento. Para ele, os objetos matemticos eram repletos de perfeio e verdade. O homem deveria esforar-se para conhec-los e, conhecendo-os, evoluir. Na filosofia platnica, a Matemtica era concebida como uma verdade independente de qualquer verificao emprica, e os objetos matemticos serviam de modelo para as formas mundanas, ou seja, apenas uma reproduo grosseira desses objetos aparecia no mundo humano. O mundo em que vivemos seria como uma imagem imperfeita refletida num espelho imperfeito do mundo das idias. No auge do imprio platonista na Matemtica, prevalecia a viso de que que a tarefa dos matemticos era comparvel a uma viagem de descobrimentos (BARKER, 1976, p. 105). O matemtico no criava dos objetos a respeito dos quais falava, mas os descobria. Segundo Silva (2007, p. 43), hoje, poucos ainda aceitam seriamente o reino puro de idias de Plato.

Mas a imagem da Matemtica como uma Cincia de um domnio fora desse mundo ao qual ascendemos pelo pensamento ainda a filosofia natural dos matemticos. Posteriormente a Plato, temos as idias de seu discpulo Aristteles, que recusou a filosofia platonista em partes. Aristteles, assim como Plato, considerava a existncia da Matemtica independente do ser humano, mas discordava da crena platonista de que os objetos da Matemtica existiam em um mundo no humano. Para ele, os objetos da Matemtica esto nesse mundo e acessveis a ns pelo conhecimento e pelos sentidos, sendo que estes ltimos no so plenamente confiveis. Resumidamente e de acordo com Silva (2007, p.38), Aristteles o filsofo ps no cho e Plato tem a cabea nas nuvens. As idias aristotlicas livram o homem de ser apenas um descobridor e o colocam como construtor do mundo matemtico. Aristteles considerou a Matemtica uma Cincia dedutiva e foi o primeiro sistematizador da Lgica Formal. Outras contribuies dele para a Matemtica foram a distino entre o infinito atual e o potencial, o modo de comparar a Matemtica com um edifcio logicamente estruturado e a anlise de noes metamatemticas fundamentais, como as de axioma, definio, hiptese e demonstrao (SILVA, 2007, p.50-51). O modo aristotlico de atribuir ao homem o poder de criar e pensar sobre a Matemtica e no apenas descobri-la contribuiu para o nascimento, na Idade Mdia, de uma nova filosofia, que no exclusiva da Cincia Matemtica: o realismo aristotlico. Diferentemente da Filosofia, na Matemtica, quando falamos
2

em

realismo, estamos falando do platonismo . Portanto, neste texto, quando falamos em realismo, nos referimos ao realismo fundamentado no platonismo. O realismo, fundamentado no platonismo, foi base filosfica para o movimento logicista. Movimento este que tinha por objetivo mostrar a
E xp li ca o d ad a p e lo p r o f es so r I r i ne u B ic ud o e m 1 1 /0 4 /2 0 0 8 , gr a vad a e tr a n scr it a co m s ua a uto r iza o .
2

Matemtica como uma Cincia consistente e completa e exp-la como uma linguagem simblica para simplificar suas formas de apresentao. O caminho escolhido para fazer isso foi a aritmetizao da Anlise. Na tentativa de aritmetizar a Anlise, destacaram-se vrios matemticos. Entre eles estavam Weierstrass, Dedekind e Frege. O objetivo do movimento logicista era ex cluir da Anlise as intuies geomtricas, substituindo-as por noes da Aritmtica, ou seja, estabelecer a Anlise como base para o sistema de nmeros reais.
3

Assim, o sistema de

nmeros reais pode ser construdo a partir do sistema de nmeros racionais, estes podem ser construdos a partir dos nmeros inteiros, que por sua vez podem ser construdos a partir dos nmeros naturais. Dessa maneira, a Anlise estaria fundamentada no sistema de nmeros naturais. Frege, Russell e muitos outros lgicos modernos se lanaram na jornada de vincular a Matemtica Lgica, na tentativa de torn-la uma Cincia sem contradies. Frege criou um sistema lgico prprio e, posteriormente, tentou explicar toda a Aritmtica usando seu sistema. O objetivo de seus estudos era mostrar que a Aritmtica pura lgica (Silva, 2007, p.128). E como a Lgica que atesta ou contesta o sistema de verdades matemticas, quando conseguisse escrever a Aritmtica conforme seu sistema lgico, ele teria uma Aritmtica livre de contradies, ou seja, verdadeira. Bertrand Russell deu continuidade ao projeto de Frege com algumas alteraes no que diz respeito ao sistema lgico. Porm, nem Russell e nem Frege foram bem sucedidos na tentativa de reduzir a Matemtica Lgica. O Logicismo fracassou porque nem todos os axiomas puderam ser escritos na forma de proposies lgicas. Segundo Machado (1991, p.27), para alcanar seu objetivo, os logicistas deveriam mostrar concretamente que todas as proposies matemticas podem ser expressas na terminologia lgica

E xp lic ao d ad a p elo p r o fe s so r I r i ne u B ic ud o e m 1 1 /0 4 /2 0 0 8 , gr a v ad a e tr a n scr it a co m s ua a uto r iza o .

e, que todas as proposies matemticas verdadeiras so as expresses verdadeiras para a Lgica. O que conseguiram, segundo Silva (2007, p. 134), foi uma diviso entre os matemticos. Uns seguiram o projeto de Frege. Outros entendiam que a Cincia Matemtica havia se tornado excessivamente formal e que era necessrio coloc-la novamente em bases seguras, partindo de verdades manifestadas nas intuies imediatas. Apesar de o movimento logicista no conseguir executar seu objetivo inicial, reescrever toda a Matemtica em um sistema lgico e livre de contradies, eliminando as idias intuitivas presentes nela, ele foi muito importante para essa Cincia. O logicismo foi o ponto de partida para o desenvolvimento da Lgica Matemtica Moderna e para a formao de um segundo grupo de matemticos que, contrariamente aos logicistas, procuraram sistematizar a Matemtica, partindo sempre da intuio. Esse grupo constituiu o movimento intuicionista 4. Segundo Snapper (1984, p.88.), no intuicionismo havia a concepo de que entidades abstratas, como a Matemtica, eram elaboraes humanas e no objetos ideais platnicos. Diferentemente dos logicistas, os intuicionistas consideravam a Matemtica Clssica falvel em alguns pontos. Os paradoxos relativos teoria dos conjuntos, por exemplo, no intuicionismo eram erros da Matemtica e no dos matemticos como pensavam os logicistas. Os intuicionistas consideravam o ser humano dotado de uma intuio primeira sobre os nmeros naturais. Por isso defendiam uma reelaborao da Matemtica desde seus fundamentos. Partindo sempre da intuio, os axiomas, os teoremas, enfim, toda a Matemtica deveria ser reconstruda. O que fundamentava o movimento intuicionista era a considerao de que as entidades abstratas existiam somente quando eram construdas pela mente humana. Desse modo, o que no partisse da intuio no era Matemtica.
O i n t uic io ni s mo f o i u ma d a s p r i ncip ai s co r r en te s d o mo v i me n to c o n str u cio n is ta. O s co n s tr ucio n i st as a cr ed it av a m q ue to d o e q ua lq uer co n h ec i me n to d e ver ia s er co n str u d o a p ar tir d a i nt u io .
4

O movimento intuicionista no foi bem sucedido quanto aos seus objetivos. Muitos matemticos clssicos se posicionaram contra a concepo intuicionista. Inmeros teoremas, vistos como inteis e sem sentido pelos intuicionistas, eram considerados belos na Matemtica Clssica, gerando assim um conflito. Os intuicionistas defendiam a existncia de objetos matemticos somente quando esses pudessem ser dados por construo, ou seja, um objeto existe se e, somente se, for possvel constru-lo. 5 Alm disso, algumas teorias falsas para os intuicionistas eram consideradas verdadeiras pelos matemticos clssicos. Um exemplo so os nmeros complexos. Todos esses conflitos acabaram com desprezo e rejeio dos matemticos clssicos em relao corrente intuicionista. Com a criao da Teoria dos Conjuntos e, conseqentemente, com a verificao dos paradoxos que ela apresentava, sentiu-se a necessidade, no incio do sculo XX, de livrar a Matemtica de paradoxos. A maneira encontrada para isso foi a axiomatizao da Matemtica, por meio de axiomas claros, de tal modo a no gerar paradoxos. O objetivo principal do formalismo provar que as idias matemticas so isentas de contradies. Caso os formalistas alcanassem seu objetivo, a Matemtica se tornaria livre de paradoxos e contradies e, quando ela pudesse ser reescrita com demonstraes rigorosas em um sistema formal, se estabeleceria como verdade. Segundo Silva (2007, p.195), para Hilbert a verdade era o que garantia e assegurava os mtodos e as teorias tradicionais da Matemtica. A filosofia base para o formalismo o nominalismo, segundo o qual as entidades da Matemtica no existem, nem como objetos reais e nem como objetos mentais. No formalismo as dedues so cadeias de transformaes de expresses simblicas segundo regras explcitas de manipulao de smbolos (SILVA, 2007, p. 184). As dedues e as transformaes da
5

E xp lic ao d ad a p elo p r o f es so r I r i ne u B ic ud o e m 1 1 /0 4 /2 0 0 8 , gr a vad a e tr a n sc r i ta co m s ua a uto r iza o .

Matemtica, ao mesmo tempo em que eram passveis de interpretao por quem as manipulava, tinham um significado explicitado em um sistema formal que estava se constituindo. Silva (2007, p.284) cita o seguinte exemplo: imaginemos a adio de dois nmeros grandes em notao decimal. Transform-los em unidades, para depois adicion-las, levaria muito tempo e em qualquer parte do processo poderamos cometer erros. Se usarmos o algoritmo da adio, com suas regras j estabelecidas em um sistema formal, operamos o algoritmo mecanicamente. No entanto, sabemos o que estamos fazendo e h significado na manipulao simblica que realizamos na resoluo do algoritmo. O formalismo traz para a Matemtica um conjunto de regras e smbolos que nos permitem operar mecanicamente. Graas a esse conjunto de regras, hoje podemos usar calculadoras e programas de computador para ex ecutar diversos clculos. Dos matemticos que tentaram formalizar a Matemtica podemos destacar Hilbert. Entre suas contribuies, est a axiomatizao da Geometria Euclidiana. Os elementos de Euclides eram fundamentados na visualizao cotidiana e, portanto, na intuio. Hilbert reescreveu toda a Geometria Euclidiana, com a complementao de suas propriedades, axiomas e teoremas. O que Hilbert pretendia para a Matemtica era estabelecer uma linguagem formal, com demonstraes verificveis passo-a-passo e livr-la de contradies. Em uma conferncia proferida em 1900, no II Congresso Internacional de Matemtica, realizado em Paris, props 23 problemas aos matemticos da poca. Um deles era a demonstrao da compatibilidade dos axiomas da Aritmtica. Em 1930, Gdel provou a impossibilidade de demonstrar a compatibilidade dos axiomas da Aritmtica dentro de um sistema que inclua a Aritmtica. Com isso, provou tambm que o projeto de Hilbert no poderia ser

bem sucedido, porque no possvel provar a consistncia da Matemtica dentro da prpria Matemtica
6

O intuicionismo, o logicismo e o formalismo so as correntes filosficas que apresentam vises distintas sobre o que a Matemtica. H entre elas incompatibilidade em alguns pontos. Mas haver incompatibilidade no significa que uma exclui a outra. Segundo Silva (2007, p.235-236), o intuicionismo, fundamentado no construtivismo, mostrou quais conhecimentos matemticos podem e quais no podem ser construdos partindo de idias intuitivas. O logicismo mostra as interseces da Matemtica com a Lgica. E o formalismo estabelece a Matemtica como a Cincia dos sistemas formais. A Matemtica atual fruto de todo esse processo de elaborao e reelaborao de si mesma e no decorrer desses modos de pensar, principalmente do formalismo, que a lgebra Abstrata ou Moderna 7 emerge no contexto da Cincia Matemtica. Justificamos dessa maneira, a importncia de realizarmos esse estudo para o desenvolvimento de nossa pesquisa.

REFERNCIAS BE LL, E. T. Historia de las matemticas . 2 ed. Mexico: Fondo de Cultura Economica 1995. 656 p. BERNARDO, M. V. C. Re vendo a Formao do professor Secundrio nas Universidades do Estado de So Paulo. Tese (Doutorado em Psicologia da Educao) PUC, So Paulo, 1986. BICUDO, M. A. V. & ESPS ITO, V. H.C. Pesquisa Qualitativa em Educao. So Paulo: Ed. Unimep, 1994, 233p. BICUDO, M. A. V. A Contribuio da fenomenologia para educao. In: BICUDO, M. A. V (Org). Fenomenologia uma viso abrangente da Educao . So Paulo: Olho Dgua, 1999. p. 11-51.

E xp li ca o d ad a p e lo p r o f es so r I r i ne u B i c ud o e m 1 1 /0 4 /2 0 0 8 , gr a vad a e tr a n scr it a co m s ua a uto r iza o . 7 U m e x e mp lo o li vr o o va n d er W aer d e n, d e no mi n ad o Al geb r a M o d er n e, d e 1 9 3 0 .

BICUDO, M. A. V. Fenomenologia: Confrontos e Avanos. So Paulo: Cortez, 2000. 167 167 p. BOYER, C.B. Histria da Matemtica . Traduo Elza F. Gomide. 2a ed. So Paulo: Edgar Bhicher Ltda. 1996, 496p. DANYLUK, O. Alfabetizao Matemtica: as primeiras manifestaes da escrita infantil. 2 ed. Porto Alegre: Ediupf, 1998. 239 p. DAVIS, P.J. & HERSH, R. A Experincia Matemtica . Rio de Janeiro. Ed. Francisco Alves, 1985. p. 359-386. EVES, H. Introduo a histria da Matemtica. Traduo de Hygino H. Domingues Campinas: Ed. UNICAMP, 1995. 843p.. FIORENTINI, D.; MIOR IM, A. M.& MIGUE L, A. Contribuies para um repensar.a educao algbrica elementar. Pro-Posies, Campinas, v.4, n.1, p.78-91, mar.1993 . GARNICA, A. V. M P. I. Fascnio da Tcnica, Declnio da Crtica : um estudo sobre a prova rigorosa na formao do professor de Matemtica. Tese (Doutorado em Educao Matemtica) Instituto de Geocincias e Cincias Exatas, UNESP, Rio Claro, 1995. HE IDEGGER, M. Ser e Tempo. 15 ed. Petrpolis: Ed. Vozes. 2005. 325 p. KLUTH, V. S. Estruturas da lgebra Investigao fenomenolgica sobre a construo do seu conhecimento. Tese (Doutorado em Educao Matemtica) Instituto de Geocincias e Cincias Exatas, UNESP, Rio Claro, 2005. MACHADO, N. J. Matemtica e lngua materna: impregnao mtua. 2. ed. So Paulo: Cortez, 1990. 115 p. anlise de uma

MACHADO, N. J. Matemtica e Realidade. 3 ed. So Paulo: Cortez, 1991. 103 p. MART INS, J. & BICUDO, M. A. V. Pesquisa qualitativa em Psicologia : Fundamentos e Recursos Bsicos. Sociedade de Estudos e Pesquisas Qualitativos. So Paulo: Ed. Moraes, 1989.110p. MIGUE L, A., FIORENT INI, D. & M IORIM, A. M. lgebra ou Geometria: para onde Pende o Pndulo? Pr-posies , Campinas, vol. 3, p. 15-35, n 1, 1992.

MILIES, F. C. P., Histria da lgebra. Disponvel em: www.bienasbm.ufba.br:/M18.pdf+Milies+hist%C3%B3ria+da+%C3%81lgebra &hl=ptR&ct=clnk&cd=2&gl=br&lr=lang_pt. Acessado em 04 de mai. 2008. MORE IRA, P. C. e DAVID, M. M. M. S., A Formao matemtica do professor. Licenciatura e prtica docente escolar. Belo Horizonte: Ed. Autntica, 2005. 114 p OLIVE IRA, V. C. A . Sobre a produo de significado para a noo de transformao linear em lgebra Linear . Dissertao (Mestrado em Educao Matemtica) Instituto de Geocincias e Cincias Exatas, UNESP, Rio Claro, 2002. SILVA, J. J., Filosofias da matemtica. So Paulo: Ed. da UNESP, 2007. 239 p. SNAPPER, E . As trs crises da Matemtica: o logicismo, o intuicionismo e o formalismo. Revista Humanidades , volume II, n. 8, p. 85-93, jul-set. 1984. UFRGS, Universidade federal do Rio grande do Sul. van der Waerden. Dsponvel em: http://www.mat.ufrgs.br/~portosil/vanderw.html). Acessado em 04 de abril de 2008. ULBR ICHT, V. R. Caminhando no tempo com a Geometria . Disponvel em: <epartamentos.unican.es/digteg/ingegraf/cd/ponencias/48.pdf>. Acesso em 12 de jun . 2006.