Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Introduo
Na matemtica a discusso a respeito de um entendimento da natureza do infinito no
nova, possvel encontrar o interesse e discusses a respeito do infinito nas civilizaes
antigas, como a Egpcia e Babilnica, entretanto, sempre ligada a concepes metafsicas
e/ou mitolgicas.
No final do sculo XIX e incio do sculo XX foi explicitada uma das maiores crises j
ocorridas que ficou conhecida como crise nos fundamentos da matemtica, e que atingiu
as bases de todas as reas do conhecimento matemtico. Em 1925, David Hilbert em uma
palestra intitulada Sobre o Infinito2, dizia que a natureza do infinito precisava ser
elucidada, j que os matemticos e filsofos da poca buscavam um consenso acerca da
natureza da verdade matemtica. David Hilbert afirmava que s era possvel trilhar os
caminhos da verdade matemtica se fssemos capazes de desvendarmos a natureza do
Infinito.
Para que se compreenda todo este processo de instabilidade gerada pela crise nos
fundamentos da matemtica, necessrio partirmos do momento em que surge, no
pensamento grego, a questo filosfica que est no cerne desta crise, a natureza do
infinito e da continuidade, por exemplo, pertenceu, em tempos idos, filosofia, mas
pertence hoje Matemtica (RUSSELL, B. 1981, p. 7). Tal questo aborda o conceito do
infinito, que, uma vez abrigado na matemtica, torna a independente da experincia e,
portanto, distinta de qualquer outra cincia Rezende (1999).
Na cultura grega, mais especificamente na obra de Aristteles, o infinito aparece como
categoria filosfica, mas no ainda como um objeto matemtico. Apenas a ideia de
infinito potencial era aceita na concepo aristotlica (MORENO; WALDEGG, 1991).
Moreno e Waldegg (1991) apresentam uma anlise gramatical a respeito dos papis que a
palavra infinito tinha na cultura grega. O primeiro como substantivo, aparecendo apenas
em contos mitolgicos, teolgicos ou metafsicos - "Infinito" pertence ao reino dos deuses.
O segundo papel, como um adjetivo que descreve um substantivo, ele s usado quando
este tem as caractersticas de um absoluto, como o Universo, o Ser, espao ou tempo.
Aristteles s usa esta forma para negar sua real existncia (fsica), uma vez que o conceito
abarca um infinito real que a filosofia aristotlica realista no permite. E o terceiro papel,
como um advrbio de modo, utilizado para qualificar as aes (mentais), por exemplo,
para estender, subdividir, para continuar, para somar, para aproximar, etc. Este uso do
infinito tem a ver com o que chamamos infinito potencial, isto , quando o processo em
questo poderia ser continuado indefinidamente.
Um dos fatos que contribuiu para que os filsofos gregos da antiguidade abordassem o
infinito, foi o surgimento das medidas incomensurveis. Entretanto, nas primeiras
tentativas de entender o infinito, a matemtica e a filosofia foram levadas a paradoxos, os
mais famosos so os de Zeno de Elea discpulo de Parmnides. Os argumentos e os
paradoxos estabelecidos por Zeno deram origem, segundo Caraa (1984) ao medo e
repdio a processos infinitos na matemtica que perduraram vrios sculos e provocaram
consequncias tanto positivas quanto negativas no desenvolvimento da matemtica. De
positivo, podemos destacar o mtodo da exausto3, que segundo Struik (1992) foi uma
Esta tradio filosfica de tratar o infinito pela concepo aristotlica do ser em potencial
comea a ser rompida segundo Moreno e Waldegg (1991). Os autores argumentam que foi
necessrio admitir o infinito enquanto adjetivo para que o infinito atual pudesse ser
constitudo. Entretanto fez se necessrio que novos objetos (conceituais) fossem
concebidos. Esses novos objetos so os conjuntos.
Para Moreno e Waldegg (1991) o trabalho de Bolzano Os Paradoxos do Infinito (1851)
"oficialmente" abriu a discusso sobre a possibilidade de introduzir o infinito em
matemtica como objeto de estudo. Como j salientado, o passo decisivo a ser tomada para
este fim foi de conceber o infinito como um atributo de uma coleo, e no como um
substantivo ou um advrbio.
Na viso de Bolzano, a matemtica trata de conjuntos abstratos; portanto, os critrios de
validao para a existncia dessas colees infinitas tinha que ser nova, isto , baseada
principalmente em cima de sua natureza no contraditria. Este foi um passo decisivo para
abandonar a validao emprica. A ideia principal a apoiar o novo nvel de representao
reside no fato de que a concepo de um conjunto, que resulta de um processo construtivo