A complementaridade e a noo de nmero real

Rogrio Ferreira da Fonseca Pontifcia Universidade Catlica de So Paulo PUC/SP Brasil rffonseca@pucsp.br Sonia Barbosa Camargo Igliori Pontifcia Universidade Catlica de So Paulo PUC/SP Brasil sigliori@pucsp.br Resumo No presente artigo apresentamos alguns aspectos da pesquisa desenvolvida para a elaborao de tese de doutorado a qual tem como objeto de estudo a conceituao de nmero real. Reflexes sobre a questo O que nmero?, que por muito tempo ocupou filsofos e matemticos, direcionaram essa pesquisa ao estudo de uma nova teoria para conceituar nmero real, a teoria do matemtico ingls da Universidade de Princeton, John Horton Conway. Essa teoria permite responder essa questo epistemolgica, conceitua nmero dos naturais aos transfinitos e, tem a vantagem de preencher de forma complementar os dois aspectos essenciais do conceito de nmero: o intensional e o extensional. uma pesquisa de cunho terico, as anlises foram referenciadas pela noo de complementaridade. Como resultado est o afloramento da fecundidade da teoria de Conway, do ponto de vista epistemolgico e, por conseguinte a indicao de uma abordagem a ser explorada no ensino de nmero real. Palavras chave: complementaridade, nmero real, nmeros, jogo Hackenbush, Conway.

Introduo O objeto de estudo deste artigo um dos conceitos basilares do Clculo Diferencial e Integral, o conceito de nmero real, e a abordagem utilizada foi por meio do estudo de uma nova conceituao de nmero real apresentada pelo matemtico ingls Jonh Horton Conway da Universidade de Princeton. O estudo teve por objetivo destacar potencialidades dessa conceituao perante questes levantadas sobre a conceituao de nmero real nas abordagens clssicas. Nelas o conjunto dos reais pode ser concebido como conjunto de classes de equivalncia de sequncias de Cauchy de nmeros racionais (completamento do Q); como

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

conjunto de cortes no conjunto dos racionais (Dedekind); ou a conceituao do conjunto dos nmeros reais como um corpo ordenado completo (conceituao axiomtica). Vrios matemticos e filsofos incomodaram-se com as condies apresentadas por essas abordagens clssicas para responderem de forma nica a questo: o que nmero? e para satisfazerem de forma complementar a intensionalidade e a extensionalidade do conceito de nmero. As anlises aqui realizadas so orientadas pelo princpio da complementaridade, levandose em conta que os objetos matemticos tm natureza dual, isto , por um lado podem ser caracterizados axiomaticamente e por outro, devem ser complementados por possveis aplicaes, ou seja, modelos que traduzam seus processos lgicos (propriedades). Assim, analisar um objeto matemtico na perspectiva da complementaridade significa buscar identificar sua capacidade de no dissociar os aspectos que compem essa dualidade. Os procedimentos metodolgicos desta pesquisa baseiam-se principalmente no estudo de referncias bibliogrficas pertinentes teoria de J. H. Conway, Filosofia da Matemtica, a livros de Anlise Matemtica e a artigos cientficos de Filosofia ou Educao Matemtica, que abordam o conceito de nmero. um estudo de cunho terico, as anlises efetuadas so de natureza epistemolgica, e tem por foco o estudo da conceituao de nmero real. No faz parte de seu escopo a realizao de anlises didticas. Mas buscamos evidenciar algumas das possibilidades dessa teoria do ponto de vista cognitivo. Contextualizao da problemtica A Filosofia e a Histria da Matemtica evidenciam as complexidades inerentes ao desenvolvimento do conceito de nmero. Desde quando os primeiros pensadores gregos e o mstico Pitgoras (aproximadamente sc. V a.C.) inseriram os nmeros como elementos de conhecimento do mundo, as entidades e os mtodos fundamentais da Matemtica ocuparam um papel destacado na Filosofia. Assim, as abordagens histricas ou epistemolgicas dos nmeros so essenciais para a compreenso e propostas de evoluo da Matemtica. Os matemticos que atuam em vrios domnios tm, de uma forma ou outra, utilizado os nmeros dos naturais aos transfinitos. no desenvolvimento histrico dos diversos tipos de nmeros que est a evoluo das ideias matemticas desde a Antiguidade. Essa fora da evoluo histrica no implica tranquilidade, mas sim conflitos e complexidade. As transformaes matemticas, filosficas e epistemolgicas que envolvem a conceituao de nmero demonstram esse fato. Muitas crticas foram feitas s concepes de nmero que tinham como fundamento a experincia e a intuio, por exemplo, as crticas apresentadas por Frege (1992) colocando em xeque as vises empiristas em relao ao conceito de nmero. Ele props uma teoria que buscava agregar elementos lgicos a certo tipo de conceitualismo, no qual os nmeros eram vistos como entidades lgico-ideais, objetos do pensamento. Buscava eliminar o recurso intuio e linguagem comum, considerando de certa maneira que a Aritmtica deveria ser um ramo da Lgica, dessa forma libertando-a de fundamentos baseados na experincia e intuio. Ressalta-se uma questo que permanece implcita ou explicitamente ligada aos debates acerca da natureza dos nmeros, a saber: uma definio para o objeto matemtico nmero deve partir do pressuposto de que esse puramente um objeto do pensamento ou deve basear-se nas coisas externas que fazem parte da nossa realidade sensvel? Essa uma questo filosfica

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

que permeia todo o desenvolvimento do conceito de nmero, as respostas apresentadas por matemticos e filsofos acerca da existncia dos nmeros do indcios de um debate em torno da primazia entre a Matemtica Pura e a Aplicada. Os nmeros naturais, os racionais e alguns irracionais (como o pi) j eram conhecidos desde a Antiguidade. No entanto, os sistemas de nmeros no foram tomados como extenso do campo dos naturais, e durante sculos os nmeros no obtiveram um estatuto de objeto matemtico. Os nmeros negativos, e os nmeros complexos, os quais foram descobertos na ndia no sculo VI, e no sculo XVI (1545) por Cardano, respectivamente, durante muito tempo foram considerados duvidosos. Somente no sculo XIX que eles vo adquirir o estatuto de nmero. A partir desse mesmo sculo os nmeros reais foram logicamente bem fundamentados por alguns matemticos como Richard Dedekind, Karl Weierstrass, Charles Mray e Georg Cantor. admitido desde o sculo XIX que o sistema de nmeros reais construdo partindo-se dos nmeros naturais, e, por construes sucessivas, obtm-se os inteiros, os racionais e finalmente os nmeros reais. As conceituaes clssicas dos nmeros reais (cortes de Dedekind, classes de equivalncia de sequncias de Cauchy de racionais e a abordagem axiomtica) apresentam inconvenientes epistemolgicos e filosficos, que mereceram discusses. Para Frege (1992, p. 30), a Matemtica deveria sofrer uma reviso crtica a respeito de seus fundamentos; ele afirmava que os nmeros negativos e os nmeros irracionais deveriam ser analisados e submetidos a uma credencial de nmero, e isso requeria discutir a natureza e a definio de tais nmeros. A partir das crticas de Frege mostrou-se claramente que o caminho construtivo tradicional no era suficiente para incluir todos os nmeros. A continuidade dos nmeros reais, por exemplo, teve que ser introduzida por meio de um axioma. Constatada essa problemtica na segunda metade do sculo XIX, comeou-se a pensar em fundamentos axiomticos para os nmeros. Entre as mudanas necessrias para a axiomatizao dos nmeros, destaca-se a compreenso dos axiomas, que deviam transformar-se de verdades objetivas e intuitivamente claras para premissas hipotticas do pensamento; no havia mais a necessidade de atribuir contedo intuitivo aos conceitos utilizados, pois tais conceitos teriam o seu papel determinado pelos axiomas da teoria e deveriam expressar-se em termos de relaes e equaes. Como consequncia, a noo de objeto matemtico tambm necessitava de uma mudana, e a axiomatizao formal no sentido de Hilbert e Peano teve que ser completada por um pensamento pautado em modelos. Objetos matemticos podem ser vistos como elementos de um modelo, ou seja, de um mundo artificial. As dificuldades para conceituar nmero (como os nmeros negativos ou irracionais) podem estar relacionadas ao concretismo ou empirismo no pensamento cotidiano. preciso criar mundos artificiais, modelos para fornecer um contedo adequado. A ausncia de uma conceituao para nmero real que o apresente de forma nica e que garanta a complementaridade dos aspectos extensional e intensional desse conceito torna as crticas dos filsofos s conceituaes clssicas atuais e pertinentes.

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

Um desafio que se pe Matemtica justamente o desenvolvimento de teorias que possam ser concebidas axiomaticamente e complementadas por modelos, aplicaes ou interpretaes. A Matemtica no um formalismo vazio, e tambm no trata de objetos empricos e concretos, mas precisa de um contedo criado por meio de modelos de vrios tipos. O plano de Gauss dos nmeros imaginrios foi um primeiro exemplo histrico representativo dessa necessidade. tambm o caso dos nmeros de Conway, nmeros esses que encontram em uma classe de jogos um novo modelo para os nmeros reais. A teoria de Conway (2001) possibilita a construo dos nmeros de forma nica, dos naturais aos transfinitos e pode ser realizada por meio de conjuntos e de algumas classes de jogos. Assim, a teoria constituda por um par, de um lado temos uma caracterizao axiomtica e de outro temos os modelos (os jogos) que fornecem uma aplicabilidade da teoria e explicitam propriedades que constituem a conceituao dos nmeros. As conceituaes clssicas dos nmeros reais apresentam inconvenientes epistemolgicos e filosficos, por exemplo, a impossibilidade de responder a questo O que nmero? e a construo dos nmeros de forma nica, que at ento permaneciam sem encaminhamento. Diante deste contexto buscamos explorar uma nova teoria para abordar os nmeros reais, propondo a reflexo e discusso a respeito de suas potencialidades perante as abordagens clssicas, tendo como pressuposto terico a noo de complementaridade. Nesta pesquisa, temos como objetivos explicitar de que forma as abordagens clssicas dos nmeros reais favorecem explorar os aspectos intensional e extensional do conceito de nmero; propor uma possvel resposta para a questo O que nmero?; explorar a teoria de Conway, mostrando suas potencialidades em relao noo de complementaridade, e fazer algumas comparaes entre essas abordagens tendo como pressuposto o referencial terico. Uma breve introduo s ideias de Conway Apresentamos aqui de modo informal apenas algumas ideias de Conway, introduzindo sua conceituao de nmero, a associao que ele faz desse conceito com um jogo no ser apresenta aqui devido limitao de um artigo, o leitor interessado poder encontrar uma apresentao mais completa da teoria em Fonseca (2010). O objetivo aqui apenas familiarizar o leitor com as noes que inspiraram a teoria de Conway. A noo de nmero de Conway uma generalizao dos cortes de Dedekind e merece o qualificativo de nova no apenas em funo do tempo em que foi apresentada, mas pelos avanos epistemolgicos que ela possibilita. Ela foi elaborada na dcada de 1970, e oferece respostas s questes colocadas pelos filsofos a respeito da constituio do conceito de nmero, por exemplo, o que nmero?, abrange os aspectos intensional e extensional do conceito de nmero e evita os inconvenientes da construo dos nmeros reais passo a passo, como nas abordagens clssicas. Conway conceitua nmero utilizando a noo de corte, generalizando a definio de Dedekind, e tambm emprega como recurso uma classe especial de jogos e a teoria dos conjuntos. A noo de corte de Conway generalizao da noo de Dedekind na medida em que prescinde do conjunto dos racionais como ponto de partida, abrangendo todos os nmeros

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

grandes e pequenos: os nmeros reais como 0, 1, ..., n, -1, 1/2, 2 , , ...; os nmeros transfinitos como (o primeiro ordinal infinito); e tambm os nmeros infinitesimais como 1/ . A definio de ordem, no conjunto dos cortes, conseguida tomando como modelos dos cortes generalizados uma classe especial de jogos.

Conway chama a ateno para o fato de o mtodo de Dedekind construir os nmeros reais a partir dos racionais, lembrando que antes deles tambm Eudoxo assim se conduz no quinto livro de Euclides. E que essa construo obtida dividindo o conjunto dos racionais em dois conjuntos E (esquerdo) e D (direito) no vazios e de tal modo que nenhum nmero do conjunto E seja maior que algum nmero do conjunto D. Um nmero real ento ser o corte nos racionais obtidos com esses dois conjuntos. O corte indicado por {E, D}. Um novo nmero ir aparecer quando E e D no possurem elemento extremo. Conway critica essa forma de construir os reais, que necessita construir antes os racionais. Seu argumento que os racionais so reconstrudos como certos cortes de Dedekind, e que a distino entre o antigo e o novo racional parece artificial, mas essencial (CONWAY, 2001, p. 4). O mtodo de Conway, generalizao de Dedekind, constri No uma classe mais ampla de nmeros, os Nmeros Surreais. No mais ampla na medida em que inclui os nmeros reais, os transfinitos e os infinitesimais, e at mesmo os complexos, isto , No a classe de todos os nmeros. Vejamos como Conway generaliza o mtodo de Dedekind. Em primeiro lugar considera duas classes de nmeros E (classe da esquerda) e D (classe da direita). Impe a essas classes a condio de que nenhum elemento da classe E seja maior ou igual que algum elemento da classe D. Ento define nmero como o conjunto cujos elementos so as duas classes E e D, ou seja, o conjunto {ED}. A definio de Conway para um nmero x = {ED} supe que as classes E e D sejam classes de nmeros definidos anteriormente a x. Ou seja, a construo dos nmeros se d por recorrncia. Vejamos como isso ocorre. O conjunto vazio utilizado para construir o primeiro nmero {}. evidente que tal conjunto de classes define um nmero. Esse nmero o zero, isto , {} = 0. A partir dele obtm-se outros nmeros encontrando-se suas duas classes: a da esquerda e a da direita. O nmero 1, por exemplo, ser o nmero {{0}}, o nmero 2, o nmero {{0,1}}, o nmero 3, o nmero {{0,1,2}}, e, assim por diante, obtm-se todos os nmeros inteiros. Os demais nmeros racionais e irracionais tambm tm sua representao, porm no faremos referncia aqui. A associao nmero/jogo elaborada por Conway considera determinadas classes de jogos, aquelas que satisfazem certas condies. A classe de jogos Hackenbush uma que se encaixa nas classes de jogos de Conway. Essa classe derivada do conhecido jogo NIM regido pela teoria matemtica elaborada por Bouton (1901). Em nossa pesquisa escolhemos uma verso da classe de jogos Hackenbush. A seguir apresentaremos de modo sucinto algumas ideias acerca da noo de complementaridade.

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

A noo de complementaridade

Pesquisadores da rea de Educao Matemtica, tm se utilizado da noo de complementaridade em seus estudos, em geral, para capturar aspectos cognitivos e epistemolgicos relacionados ao desenvolvimento das cincias e de conceitos matemticos (SKEMP, 1976; KUYK, 1977; SFARD, 1991; OTTE, 2003). No artigo intitulado Complementary, Sets and Numbers, do filsofo e matemtico Michael Otte (2003), a noo de complementaridade utilizada para analisar e explicar o desenvolvimento epistemolgico e cognitivo de conceitos matemticos, em especial as noes de conjuntos e nmeros. Para ele, a complementaridade relacionada noo de nmero concebida segundo os aspectos intensional e extensional, que no devem ser vistos apenas como uma dualidade, mas, sim, complementares no desenvolvimento do conceito de nmero. Entendemos por complementares dois conceitos opostos que porm se corrigem reciprocamente e se integram na descrio de um fenmeno (ABBAGNANO, 1982, p. 144). No mesmo artigo, Otte evidencia o papel da complementaridade no desenvolvimento histrico de alguns conceitos matemticos, e principalmente como a complementaridade interfere nas tentativas de explicao da noo de nmero. As ideias expostas por Otte (2003) nos ajudam a entender e a responder algumas questes que envolvem a problemtica de nossa pesquisa no que diz respeito epistemologia e cognio. O debate em torno das concepes intensional e extensional da Matemtica atinge particularmente e de forma intensa o conceito de nmero. A viso intensional, de nmero, a ordinalidade e a axiomatizao sofrem crticas dos que privilegiam as aplicaes matemticas. A noo de intenso de termos matemticos explicita as relaes entre classes de objetos matemticos, assim como suas relaes estruturais. No entanto, tal noo no esgota a conceituao do objeto matemtico em si, por exemplo, uma abordagem axiomtica dos nmeros reais. A noo de extenso de termos matemticos concerne interpretao dos objetos matemticos, assim como s aplicaes, caracterizando modelos da teoria. Uma abordagem complementarista torna-se relevante em razo da impossibilidade de definir a realidade matemtica independentemente de suas possveis representaes e da prpria atividade cognitiva, de forma semelhante caracterizao dos fenmenos de Bohr. Uma teoria axiomtica moderna transformou-se em um par, no seguinte sentido: de um lado ela uma teoria intensional, descrevendo a relao entre seus termos tericos por meio de axiomas. E, de outro lado, ela constitui referncias ou extenses de tais termos, evidenciando as aplicaes, interpretaes ou modelos da teoria (OTTE, 2003). Objetos matemticos possuem uma natureza dual, eles podem ser dados intensionalmente por um sistema axiomtico, mas devem ser complementados com referncias e atributos. Alm das caractersticas relacionais dadas pela axiomtica, teremos tambm possveis interpretaes de seus termos. As caractersticas intensional e extensional so relativamente independentes, e conectamse de modo circular ou complementar. Isto fica visvel quando se observa a gnese do conhecimento matemtico, e a relao entre o sujeito e objeto matemtico (atividade

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

matemtica). Assim, o par intenso e extenso de termos matemticos podem ser distinguidos da mera dualidade, concentrando-se no carter evolutivo do conhecimento matemtico. Nessa perspectiva o foco est na relao entre o sujeito e o objeto matemtico, e no somente no objeto em si. Esses fatores evidenciam a relevncia da noo de complementaridade no que concerne a estudos epistemolgicos da aprendizagem matemtica (OTTE, 2003, p. 205). O debate sobre a relao entre o aspecto intensional e as vises extensionais da Matemtica foi particularmente intenso a respeito do conceito de nmero. De acordo com Russell, nem Peano nem Hilbert, com suas axiomticas, seriam capazes de definir o que nmero. Frege tambm tinha uma ideia semelhante, para ele uma aritmtica feita apenas com smbolos, sem nenhum significado, no teria qualquer tipo de aplicao. A determinao axiomtica de conceitos matemticos estar sempre incompleta, e devese fazer uma anlise consciente a respeito da possibilidade de que um conceito tenha uma extenso vazia (os axiomas podem ser inconsistentes). Se pretendermos introduzir todos os conceitos por meio de definies completas, tais definies devem necessariamente fazer suposies metafsicas e psicolgicas sobre o mundo, caso contrrio, faremos um empreendimento ftil (OTTE, 2003, p. 224). Finalmente, no h, de fato, nenhuma possibilidade de determinar o significado de nmero desconectado de uma estrutura conjunto terica. Em um artigo intitulado What numbers could not be, Benacerraf (1965) mostra que o conceito de nmero pode ser reduzido ao conceito de conjuntos de vrias maneiras distintas, sem possibilidade de escolher dentre as interpretaes conjunto tericas aquela que realmente caracteriza a verdadeira identidade dos nmeros naturais em termos de conjuntos. Ele conclui que os nmeros no podem ser reduzidos exclusivamente a conjuntos, ou conjunto de conjuntos. Diversos filsofos e matemticos buscaram responder a pergunta O que nmero?. As respostas apresentadas por diversas correntes filosficas so insuficientes do ponto de vista da complementaridade. Na verdade o que ocorre uma forma de reducionismo conforme descrito por KuyK (1977), ou seja, nas tentativas de respostas so considerados apenas os aspectos intensionais ou apenas os extensionais do conceito de nmero, e no a complementaridade entre eles. A teoria de Conway pode fornecer uma resposta questo. Podemos afirmar que nmero um jogo, assim como fez Conway (2001). Certamente devemos considerar que Conway no estava buscando responder a pergunta O que nmero? do ponto de vista filosfico quando sustentou que nmeros so jogos, mas sua teoria pode ser usada para apresentar uma resposta a essa questo, visto que garante a complementaridade na conceituao de nmero.
Nmero real e a noo de complementaridade

Apresentaremos agora algumas consideraes acerca das abordagens clssicas dos nmeros reais (axiomtica, classes de equivalncia de sequncias de Cauchy de racionais e corte de Dedekind) tendo como pressuposto terico a noo de complementaridade. Ressaltamos ainda algumas potencialidades tericas em relao proposta de conceituao de nmero elaborada por Conway. Uma abordagem axiomtica dos nmeros reais baseia-se na apresentao de uma lista contendo fatos elementares admitidos como axiomas, explicitando como estes objetos matemticos se

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

relacionam. Esses axiomas tornam o conjunto dos nmeros reais num corpo ordenado completo. No bojo de uma abordagem axiomtica no h qualquer tipo de descrio, interpretao ou aplicao para o objeto matemtico. Apenas as relaes entre os objetos so enfatizadas, caracterizando de forma unilateral o aspecto intensional dos nmeros. A noo de intenso estabelece apenas as relaes entre classes de objetos matemticos (relaes estruturais). Uma abordagem axiomtica dos nmeros reais no descreve o objeto matemtico em si, evidenciando apenas como se deve realizar operaes com esses nmeros, tratando-os como objetos ideais. Visto dessa forma o mtodo axiomtico torna-se incompleto, pois no garante o aspecto extensional do conceito de nmero. Uma abordagem axiomtica dos nmeros reais estar sempre incompleta, pois apenas evidenciar o aspecto intensional dos nmeros. A construo dos nmeros reais, proposta por Richard Dedekind em 1872 pressupe os nmeros racionais e suas propriedades e desenvolve o conceito de nmero apenas como um objeto do nosso pensamento, ou seja, de forma puramente abstrata. Tradicionalmente para se obter os nmeros, dos naturais aos reais, pode-se utilizar o seguinte caminho: os nmeros naturais podem ser caracterizados pelos axiomas de Peano, em seguida, constri-se o conjunto dos nmeros inteiros por meio de classes de equivalncia de pares ordenados de nmeros naturais, o prximo passo construir os nmeros racionais por meio de classes de equivalncia de pares ordenados de nmeros inteiros, e por fim os nmeros reais por meio dos cortes Dedekind ou por classes de equivalncia de sequncias de Cauchy (de nmeros racionais). Esse tipo de abordagem poder tornar-se insuficiente do ponto de vista da complementaridade, de modo que apenas uma cadeia de dedues dever ser aplicada; nessa construo no haver nenhuma interpretao para os nmeros, nenhum modelo ou aplicao. Alm disso, h certo tipo de ruptura na passagem dos nmeros racionais para os reais. Essa ruptura caracteriza-se pela mudana de mtodo, abandonam-se as operaes com pares ordenados (de nmeros naturais ou inteiros) para utilizar novos objetos, os cortes de Dedekind ou as classes de equivalncia de sequncias de Cauchy. Normalmente, neste tipo de abordagem no so explorados possveis modelos, aplicaes ou interpretaes dos nmeros, os aspectos extensionais no so contemplados e a desejada complementaridade entre os aspectos intensional e extensional do conceito de nmero no ocorre. Na construo dos nmeros reais por meio de cortes de Dedekind ou por classes de equivalncia de sequncias de Cauchy apenas os aspectos lgicos dedutivos so explorados, em geral no h uma interpretao ou modelo intrnseco a essas teorias. Neste caso, se evidencia apenas o aspecto intensional dos nmeros. Para propor uma abordagem de acordo com a complementaridade seriam necessrios modelos que propiciassem a interpretao dos nmeros reais (cortes ou classes de equivalncia de sequncias), de suas operaes e propriedades, o que permitiria explorar os aspectos extensionais do conceito de nmero.
A conceituao de nmero proposta por J. H. Conway e complementaridade

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

Faremos agora algumas consideraes a respeito da teoria de Conway diante da noo de complementaridade. A abordagem proposta por Conway fornece em seu bojo, alguns axiomas e definies com base nas teorias dos conjuntos, o que permite explorar o aspecto intensional do conceito de nmero. Alm disso, temos tambm a interpretao de tais nmeros por uma classe especfica de jogos, ou seja, temos um modelo que permite a interpretao dos nmeros, favorecendo o aspecto extensional do conceito de nmero. Os jogos nessa teoria no tm um simples papel de aplicao para a axiomtica, ele fornece uma interpretao e um modelo intrnseco prpria teoria, visto que a ordenao para os nmeros encontra-se ser inspirada nos jogos. Quando afirmamos que se trata de uma complementaridade que ocorre de forma natural, queremos dizer que no h uma hierarquia entre os aspectos intensional e extensional, de acordo com o exposto por Kuik (1977). Assim, uma abordagem para os nmeros, dos naturais aos reais, por meio da teoria de Conway pode ser realizada de vrias maneiras. Por exemplo, os nmeros podem ser construdos concomitantemente por meio de conjuntos e por meio dos jogos, nesse caso, os jogos poderiam ser vistos como um modelo emprico que certamente favoreceria a criatividade, s conjecturas e suas respectivas verificaes, a motivao e a experimentao. Esses aspectos esto intimamente ligados atividade matemtica envolvendo um processo de investigao matemtica. Esse processo servir de base para a compreenso do aparato lgico e das dedues que envolvem as definies, os teoremas e suas respectivas demonstraes. Outra possibilidade de abordagem poderia basear-se na construo informal dos nmeros por meio de jogos, e num segundo momento o desenvolvimento da parte formal da teoria por meio de conjuntos. Novamente os jogos forneceriam um modelo emprico que serviria de suporte para a abordagem formal, motivando a as principais ideias desenvolvidas na teoria e propiciando as experincias e verificaes. Podemos considerar ainda a possibilidade de inicialmente construir os nmeros por meio de conjuntos (a partir dos axiomas de Conway), explorando o aspecto intensional do conceito de nmero, e posteriormente abordar os jogos; esses seriam vistos como uma interpretao, aplicao e modelo da teoria. As possibilidades aqui descritas buscam apenas mostrar como a complementaridade surge de forma natural na conceituao de nmero proposta por Conway. Evidentemente, existir a necessidade de uma organizao didtica da teoria de Conway antes de qualquer tipo de abordagem, o que possivelmente exigir algum tipo de transposio didtica e com certeza o desenvolvimento de outras pesquisas. A abordagem de Conway pode possibilitar um trajeto original que permite construir por meio de um nico processo todos esses nmeros, dos naturais aos reais e dos infinitsimos e os transfinitos.
Consideraes Finais

Com base em nossa pesquisa podemos dizer que o pensamento moderno em relao aos nmeros pode ser descrito por trs tendncias, conforme descrevemos sucintamente abaixo.

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

10

A primeira tendncia que foi proposta por Frege e apoiada por Russel (que pode ser chamada de logicismo) defende que a essncia do conceito de nmero baseia-se apenas na considerao de algumas leis do prprio pensamento. Nmero de acordo com essa tendncia apenas uma consequncia conceitual totalmente deduzida de alguns princpios originais. Por outro lado temos a tendncia das abordagens axiomticas, como a axiomtica de Peano ou a axiomtica dos nmeros reais, que pode ser chamada de formalismo, que constri o campo numrico em um campo de operaes, com base em alguns axiomas singulares. Por fim as tendncias que se baseiam na noo conjunto-terica como as de Dedekind e Cantor que determinam os nmeros em um caso particular de hierarquia de conjuntos. Nesse caso o conceito de nmero faz um retorno ontolgico, de modo que as grandes ideias so os axiomas clssicos da teoria dos conjuntos. Nesse contexto, nmero, um caso particular de predicado com certas propriedades distintivas. A essncia do conceito de nmero a multiplicidade dotada de certas propriedades correspondentes ordem interna, ou seja, sua aplicabilidade a todas as coisas e suas caractersticas estruturais. A conceituao de nmero deve ser concebida por meio da complementaridade entre seus aspectos intensional e extensional. Acreditamos, luz da complementaridade, que a perspectiva logicista deve ser abandonada por razes de consistncia conforme demonstrou Gdel; no pode satisfazer s exigncias do pensamento e especialmente do pensamento filosfico. As perspectivas axiomticas tm a tendncia de socializar a tese de que os nmeros circunscrevem apenas um projeto tcnico, fornecendo para esse conceito apenas uma caracterstica operacional ou estrutural, de modo que so exploradas exclusivamente as relaes entre os objetos matemticos, com nfase no aspecto intensional do conceito de nmero. A tese conjunto-terica (cortes de Dedekind e classes de equivalncia de sequncias de Cauchy) no favorecem a explorao do aspecto extensional do conceito de nmero, pois no fornecem um modelo ou uma interpretao intrnseca suas teorias. Nenhuma dessas perspectivas oferece uma unificao do conceito de nmero. Para ns uma abordagem que fornea um conceito unificado para tais objetos matemticos deve ser considerada dentro de uma conjuntura que envolva a Filosofia e a Matemtica. Frege (1992) props uma conceituao para os nmeros que envolviam a noo de cardinal com um significado conjunto-terico, mas ao mesmo tempo exclua os negativos e os irracionais. Ele afirmava que tais nmeros deveriam ser analisados e submetidos a uma credencial de nmero, isso requeria discutir a natureza e a definio de tais nmeros. Os nmeros naturais so geralmente determinados pela axiomtica de Peano, os nmeros negativos so abordados por meio de manipulaes algbricas, com uma introduo que no abrange a essncia do conceito de nmero, mas apenas seu arranjo operacional, em estruturas (simtrico aditivo). As manipulaes algbricas se repetem da mesma forma para a obteno dos nmeros racionais (simtrico multiplicativo). E por fim h uma ruptura que marca a passagem aos nmeros reais, que usualmente pode ser feita de forma axiomtica, ou por meio de classes de equivalncias de sequncias de Cauchy de nmeros racionais, ou por cortes de Dedekind. Como se pode obter uma ideia nica de nmero por meio de tal processo se todas essas abordagens envolvendo as extenses dos conjuntos privilegiam apenas os aspectos operacionais

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

11

do conceito de nmero, em outras palavras podemos dizer que apenas o aspecto intensional do conceito de nmero explorado e o aspecto extensional no contemplado. Diante desse contexto, apontamos para a possibilidade de uma nova abordagem, a proposta de J. H. Conway. Tal proposta possibilita a construo dos nmeros naturais aos reais por um processo nico, sem rupturas, permite uma abordagem complementar entre os aspectos intensional e extensional do conceito de nmero e ainda fornece uma possibilidade de resposta questo O que nmero?. Nesse caso, a resposta nmero um jogo. As potencialidades em relao teoria de Conway descritas nesta tese mostram como a complementaridade surge de forma natural na conceituao de nmero proposta por Conway. De um lado temos alguns axiomas e definies com base nas teorias dos conjuntos, caracterizando o aspecto intensional do conceito de nmero. Por outro lado temos uma classe de jogos, que fornecem um modelo para interpretao de tais nmeros, caracterizando o aspecto extensional. Nosso objetivo com este estudo no propor a utilizao do mtodo de Conway como substituio das conceituaes clssicas no processo de ensino e aprendizagem dos nmeros reais, mas sim acrescentar argumentos que possam subsidiar as reflexes em relao s problemticas que envolvem o conceito de nmero real, como, a constituio epistemolgica de tal conceito. Acreditamos que este estudo poder ser relevante Educao Matemtica sob dois prismas, o primeiro de cunho terico e o segundo de um ponto de vista mais prtico. O primeiro refere-se ao contexto epistemolgico, buscando explicitar a natureza e os critrios de verdade utilizados por matemticos no desenvolvimento de suas teorias, explicitando a diversidade de formas conceituais que traduz as noes matemticas, mais especificamente o conceito de nmero real. O segundo, de carter mais prtico, na medida em que pode subsidiar algumas reflexes acerca da conceituao de nmero real, em especial novas abordagens para introduzir o conceito de nmero no Ensino Superior. O fato de poder conceituar nmero a partir de uma classe de jogos pode ser considerado particularmente interessante, pois como sabemos o ato de jogar uma atividade que desde muito cedo acompanhou nossa civilizao. A histria da Matemtica mostra que grandes matemticos ao longo do tempo se ocuparam de alguns tipos de jogos e assim nasceram alguns ramos da Matemtica. Para a Educao Matemtica o estabelecimento desse elo tambm pode ser vantajoso na medida em que associa um conceito matemtico que abstrato a uma atividade humana bastante concreta e cultivada desde sempre. s essas ideias acrescenta-se o fato de que os jogos possibilitam a ao dos sujeitos e a interao dos mesmos na atividade matemtica, e que nesse caso o jogo sendo um modelo concreto poder favorecer o levantamento de conjecturas a respeito da construo dos nmeros. No processo de construo dos nmeros sero fundamentais as comparaes e anlises das configuraes dos jogos. Assim, nosso interesse no se fundamenta no jogo em si prprio, pelo simples prazer de jogar, mas sim nas descobertas das relaes envolvidas na construo dos nmeros por meio dos jogos. Finalmente apontamos alguns desdobramentos da nossa pesquisa. Uma possibilidade de desdobramento deste estudo baseia-se na organizao de uma sequncia didtica fundamentada na teoria de Conway para abordar os nmeros de forma nica (dos naturais aos reais), no Ensino

XIII CIAEM-IACME, Recife, Brasil, 2011.

A complementaridade e a noo de nmero real

12

Superior, possivelmente nos cursos de Licenciatura ou Bacharelado em Matemtica. Tal pesquisa certamente necessitar de uma anlise a priori em relao aos conhecimentos prvios dos estudantes a respeito dos nmeros, a partir de tal estudo pode-se organizar uma sequncia de atividades para abord-los.
Referncias Bibliogrficas

ABBAGNANO, N. (1982). Dicionrio de Filosofia. Traduo de Alfredo Bosi. 2 ed. So Paulo: Mestre Jou. BENACERRAF, P. (1965). What Numbers Could not Be. The Philosophical Review. Duke University Press on behalf of Philosophical Review. Vol. 74, n.1. (Jan. 1965), p. 47-73. Disponvel em: <http://www.jstor.org/stable/2183530>. Acesso em: 09 nov. 2009. BOUTON, C. L. (1901). Nim, a game with a complete mathematical theory. Annals of mathematics, ser II, vol. 3, n 1, p. 35. CONWAY, J. H. (2001). On Numbers and Games. 2nd ed. Natick, Massachusetts: A K Peters. DEDEKIND, R. (1901). Essays on the Theory of Numbers. Traduo Woostre Woodruff Beman. Chigago: The Open Court Publishing Company, 1901. Disponvel em: <http://www.gutenberg.org/files/21016/21016-pdf.pdf>. Acesso em: 04 de abril, 2010. FONSECA, R. F. da. (2010). A complementaridade entre os aspectos intensional e extensional na conceituao de nmero real proposta por John Horton Conway. Tese (Doutorado em Educao Matemtica). PUC-SP. So Paulo. FREGE, G. (1992). Os fundamentos da aritmtica. Traduo, prefcio e notas de Antnio Zilho. Rio de Janeiro: Imprensa Nacional; Casa da Moeda. KNUTH, D. E. (2002). Nmeros surreais. Traduo de Jorge Nuno Silva. Lisboa: Gradiva. KRAUSE, D. (2002). Introduo aos Fundamentos Axiomticos da Cincia. So Paulo: EPU. KUYK, W. (1977). Complementarity in Mathematics. Dordrecht, Holland: Reidel Publishing Company. OTTE, M. (2003). Complementarity, Sets and Numbers. Educational Studies in Mathematics. Printed in the Netherlands: Kluwer Academic Publishers. vol. 53, p. 203-228. RUSSELL, B. (2007). Introduo Filosofia Matemtica. Traduo Maria Luiza X. de A. Borges; reviso tcnica, Samuel Jurkiewicz. Rio de Janeiro: Jorge Zahar, 2007. SFARD, A. (1991). On the dual nature of mathematical conceptions: Reflections on processes and objects as different sides of the same coin. Educational Studies in Mathematics. Printed in the Netherlands: Kluwer Academic Publishers. vol. 22, p. 1-36. SKEMP, R. R. (1976). Relational Understanding and Instrumental Understanding. Mathematics Teaching, 77, 2026.

XIII CIAEM-IACME, Recife, Brasil, 2011.