172

Analgos X

UMA APRESENTAO DE RICHARD DEDEKIND Pedro Henrique Carn

Mestrando PUC-Rio/FAPERJ

Apesar de tudo, continuamos amando; e esse apesar de tudo cobre um infinito.

para Fernanda

Ao apresentar a sua concepo estruturalista em Filosofia da Matemtica, Stewart Shapiro veicula uma discusso histrico-conceitual acerca da origem deste posicionamento em um captulo de seu livro Filosofia da Matemtica: estrutura e ontologia. Intitulado como chegamos at aqui, aps a descrio de um par de debates ocorridos entre as figuras de Poincar e Russell, bem como entre Frege e Hilbert, dois personagens centrais so nele destacados: o matemtico francs Nicholas Bourbaki, e o matemtico alemo Richard Dedekind. Algumas teses deste ltimo j se encontravam no conjunto de epgrafes de Shapiro, de modo que no uma surpresa a sua destacada incluso no conjunto de precursores conceituais (a outra epgrafe retirada da obra Relatividade Ontolgica, de Quine). Quem foi, ento, Richard Dedekind? Com a inteno de oferecer uma resposta a esta pergunta, esta comunicao foi intitulada como uma apresentao de Richard Dedekind, de tal maneira que ao longo dos prximos minutos se procurar indicar algumas vias de investigao sob as quais se poderiam considerar o pensamento desenvolvido por este eminente matemtico. Sumariamente, estas vias se relacionam com a caracterizao dos nmeros irracionais no sistema dos nmeros reais e com a caracterizao dos nmeros naturais como um sistema simplesmente infinito, dois trabalhos de extrema importncia publicados por Dedekind em 1872 e 1888 respectivamente (intitulados Continuidade e Nmeros Irracionais e O que so e o que significam os nmeros?). Outros caminhos que se poderiam percorrer atravessaria a sua intensa correspondncia com Georg Cantor com relao embrionria Teoria dos Conjuntos, o debate que sua obra estabelece com a obra de Frege (no tocante precedncia concedida aos nmeros cardinais

Analgos X

173

frente aos ordinais), a relao de seu logicismo com o aspecto a priori de seu estruturalismo etc. De fato, todas estas dimenses veiculam aspectos do sistema de Dedekind, cada uma oferecendo um distinto ngulo de visualizao. Assim, por que no iniciar pela nobre ascendncia intelectual por ele possuda? Orientado pelo prncipe dos matemticos Carl Friedrich Gauss na Universidade de Gttingen, Dedekind obtm seu doutorado em 1852 com uma tese acerca da teoria dos integrais de Euler. Seu percurso intelectual na seqncia deste evento o conduzir ao cargo de professor na Escola Politcnica de Zurique, em um primeiro momento, e ao cargo de professor na Universidade de Braunschweig, por fim. Preservando ao longo de sua obra um lento e ponderado estilo de pensamento, afirma o professor Howard Stein que a qualidade de seus trabalhos decorria de sua vontade em apresentar o corao de qualquer matria com o mximo de clareza1, e uma palavra por ele utilizada para caracterizar sua prpria obra a tranqilidade. Nas palavras de Stein, o mote de sua obra bem poderia ter sido aquele explicitamente invocado por Gauss: pouca, porm madura. Outro fato curioso, de interesse biogrfico e intelectual, refere-se amizade de Dedekind com os matemticos Riemann e Lejeune-Dirichlet. Afinal, consoante outro de seus leitores, o professor da Universidade da Califrnia Eric Reck, uma parte considervel da energia de Dedekind no incio de sua carreira foi consagrada publicao de obras de seus amigos: as aulas de Dirichlet sobre a teoria dos nmeros e os papis de Riemann, tanto aqueles que foram publicados quanto os que no o foram. De tal maneira que ao publicar sua obra acerca da teoria dos nmeros algbricos, alojou-a como um simples suplemento aos trabalhos de LejeuneDirichlet. Diversas teses filosficas acerca da natureza do conhecimento poderiam ser associadas a este trabalho de Dedekind, e o professor Reck se concentrar em desenvolv-los. Em suas prprias palavras, em um ensaio acerca do estruturalismo sustentado por Dedekind, seu objetivo ser oferecer uma cuidadosa, historicamente informada, e filosoficamente matizada interpretao de suas posies bsicas, focalizando os seus aspectos lgicos, semnticos e metafsicos. Com efeito, percorrer este caminho caracteriza a primeira das vias de investigao anteriormente propostas... Uma segunda via de investigao se caracteriza por um minucioso exame do ensaio intitulado Continuidade e Nmeros Irracionais, publicado em 1872. Insatisfeito com a utilizao de intuies geomtricas na fundamentao do
1

Fato que amplamente valorizado por clssicos estilistas de lngua portuguesa, como Jos Oiticica, que afirma serem qualidades essenciais de um discurso: correo, conciso, clareza, harmonia, originalidade e vigor.

174

Analgos X

clculo diferencial quando lecionava em Zurique, Dedekind expressa agudamente seus sentimentos na redao do prefcio semelhante ensaio, e eu o cito: esta sensao de insatisfao era to insuportvel que resolvi pensar sobre a questo at poder encontrar uma fundao puramente aritmtica e perfeitamente rigorosa para os princpios da anlise infinitesimal. No contexto da teoria dos nmeros, a pureza manifestada por uma teoria se reflete na utilizao de termos puramente numricos em sua introduo conceitual, ainda que as intuies geomtricas desempenhem um interessante papel pedaggico neste processo. De maneira que so apresentados sete pargrafos aps o prefcio, a fim de explicitar a necessidade de criao dos nmeros irracionais para a Matemtica. Se a criao dos conjuntos dos nmeros inteiros e dos nmeros racionais possua como objetivo completar as operaes de subtrao e diviso, considerando-se que o conjunto dos nmeros naturais completo somente sob as operaes da soma e da multiplicao, a criao dos irracionais, e sua incorporao em um sistema de nmeros reais, explicitaria a necessidade de uma formulao puramente algbrica do princpio de continuidade. Esta definio abstrata atestaria, dentro de suas concepes, uma superioridade conceitual da Aritmtica frente Geometria, pois esta ainda dependeria de um axioma que postulasse a continuidade do espao, atravs de uma afirmao existncia sobre uma correspondncia entre os pontos no espao e os nmeros reais, ao passo que aquela dispensaria semelhante axioma. Se a necessidade dos nmeros irracionais se vincula expresso do princpio de continuidade, de que maneira eles sero introduzidos? Esta questo respondida pelo quarto pargrafo de seu ensaio, intitulado criao dos nmeros irracionais, por intermdio do conceito de corte. Este conceito apresentado j na primeira sesso, quando se enuncia como uma das propriedades dos nmeros racionais o fato de eles se constiturem como um corpo de nmeros fechado sob as quatro operaes aritmticas bsicas. Como este conjunto se estende ao infinito de maneira bemordenada, e em ambos os sentidos, afirma-se que a considerao de um nmero definido qualquer implicar em uma diviso de todos os nmeros do sistema Q em duas classes, cada uma com infinitos indivduos. A primeira classe possuiria todos os nmeros que so menores do que o nmero escolhido, ao passo que a segunda constaria de todos os nmeros maiores do que o mesmo. E eu cito Dedekind, este nmero deve estar assinalado, seguramente, ou na primeira ou na segunda classe, e deve ser, respectivamente, o maior nmero da primeira ou o menor da segunda.

Analgos X

175

Sofisticando suas notas definidoras, Dedekind considera que um corte pode ser aberto ou fechado. O caso retirado do texto expressa um exemplo de corte fechado, dado que o nmero definido pode ser expresso como o coeficiente de um par de racionais (figura como o ltimo elemento da primeira classe ou como o primeiro elemento da segunda). O que aconteceria, ento, com os cortes abertos? Para Dedekind, estes seriam os cortes que representariam a essncia da continuidade e que seriam originados por nmeros irracionais. A partir de nmeros que no se constituem enquanto coeficiente de dois inteiros o sistema numrico seria dividido em duas classes no-vazias sem expressar um maior racional na primeira classe e um menor racional na segunda. Em suas palavras, sempre que lidamos com um corte (A1, A2) que no produzido por nenhum nmero racional, criamos um novo nmero, um irracional , que consideramos completamente definido pelo corte (A1, A2). Devemos ento dizer que o nmero corresponde a este corte, ou que produz este corte. Portanto, conclui-se que um corte efetuado no corpo dos reais no demandar para si a criao de nenhum novo nmero (os imaginrios, por exemplo, destroem a ordem do sistema), e da decorre a sua continuidade. Prosseguir na caracterizao das propriedades expressadas pelos nmeros irracionais, e na exposio da lmpida argumentao dedekindiana, constitui tarefa de um trabalho especfico. De maneira que, aps a sua indicao, prossegue-se com a exposio de outras maneiras de se considerar a obra de semelhante matemtico... O pressuposto bsico desta obra que se acabou de indicar esgota-se na pela afirmao que estabelece toda a Aritmtica como uma necessria, ou ao menos natural, conseqncia do simples ato aritmtico de contar. De maneira que, para Dedekind, a contagem nada mais do que a criao sucessiva de sries infinitas de naturais positivos nas quais cada indivduo definido por aquele imediatamente precedente; o simples ato passar de um indivduo j criado para o seu sucessor a ser criado. A expectativa por um exame minucioso da srie dos nmeros naturais ser satisfeita em 1888, quando se d a publicao do trabalho O que so e o que significam os nmeros? (Was sind und was sollen die Zahlen?). Complementando este ensaio, e comentando as crticas que lhe so dirigidas, ainda se deve considerar uma famosa carta endereada ao professor da Universidade de Hamburgo Hans Kefferstein em fevereiro de 1890. Diversos so os paralelos que podem ser estabelecidos entre a teoria dos nmeros naturais exposta por Dedekind e a teoria dos conjuntos desenvolvida

176

Analgos X

pelo matemtico russo Georg Cantor em seu livro de 1883 Fundamentos de uma teoria geral dos conjuntos (Grundlagen). Assim como muitas so as divergncias entre o trabalho de Dedekind e aquele que desenvolvido por Frege em seu livro de 1884, Os Fundamentos da Aritmtica. O interessante trabalho de comparao conceitual entre a obra destes trs matemticos constitui outra via de investigao, talvez com um carter mais amplo do que as demais at aqui expostas, de maneira que este mero esboo sumrio faz-se suficiente a este respeito. Em sua carta a Kefferstein, o logicismo estruturalista de Dedekind exposto no momento em que este apresenta o problema que motivou sua obra. Afirma ele que o questionamento acerca das propriedades mutuamente independentes da seqncia dos naturais, isto , aquelas que no se derivam uma das outras, mas das quais todas as demais se seguem, assim como a pergunta pela maneira atravs da qual se destituiria tais propriedades de seu carter especificamente aritmtico, at o momento em que as mesmas seriam compreendidas atravs de noes e atividades mais gerais do entendimento, sem o qual, em ltima instncia, nenhum pensamento possvel e, com as quais, estipula-se um fundamento para a confiabilidade e o carter conclusivo das demonstraes, assim como para a construo de noes e definies consistentes, impulsionaram a sua exposio. Com efeito, esta exposio se organiza em torno da resposta pergunta veiculada no ttulo, acerca da natureza e do significado dos nmeros. De modo que os nmeros so livres criaes da mente humana, ou seja, eles servem como uma maneira mais fcil e mais sutil para se apreender a diferena entre as coisas. Uma ateno especial poderia ser dedicada noo de criao dos nmeros naturais, a fim de compar-la com a criao dos inteiros, dos racionais e dos irracionais. De interesse epistemolgico, esta comparao se apresenta como outra via de investigao inerente ao trabalho de Dedekind. Introduzidos os naturais, como garantir a sua boa ordenao em uma srie? Uma funo que possibilite o mapeamento deste sistema dever ser apresentada, atribuindo uma determinada imagem para cada um de seus elementos constituintes. Este conjunto de imagens tambm pertenceria ao sistema dos naturais, de acordo com seu entender, e o mapeamento de um sistema para dentro de si prprio seria o principal tpico a ser investigado. Em verdade, este exame aponta para o fato de que nem todo nmero natural se apresenta como um sucessor de outro nmero, transformando este conjunto de imagens em uma parte prpria da srie dos naturais (ao mesmo tempo em que transforma a srie dos naturais em uma cadeia).

Analgos X

177

De posse desta tese, conjugada ao fato de que apenas um nmero se ausentaria desta linha de sucesses, se estabelece uma identidade entre a srie dos naturais e um sistema simplesmente infinito que a ela seja isomorfo. Diferentemente de Cantor, que veiculava como subttulo de sua obra uma investigao matemticofilosfica sobre a teoria do infinito, Dedekind no se imiscui nas discusses acerca da natureza deste infinito, isto , se ele teria uma natureza ordinal ou cardinal. Outras maneiras de se considerar o pensamento de Dedekind examinaria a sua caracterizao da compacidade, bem como a apropriao de seu trabalho pelo matemtico italiano Giuseppe Peano. A admirao que Zermelo possua pelo trabalho de Dedekind tambm poderia se considerar, ainda que este operasse por intermdio de definies e dedues, enquanto aquele privilegiasse o mtodo axiomtico. Alis, uma distino entre estes mtodos tambm daria lugar a um interessante trabalho. No entanto, o objetivo desta comunicao se esgotava em oferecer algumas vias de investigao para o trabalho de Richard Dedekind, de modo a apresent-lo enquanto o terico que em cincia, e especialmente no reino das matemticas, pensava que nada que fosse provvel deveria ser aceito sem uma prova anexada.