Uma Brevssima Histria dos Infinitos

Infinitos
Thiago Augusto S. Dourado*
doranykov@yandex.com

Todas as coisas so de tal natureza que,

quanto mais abundante a dose de loucura
que encerram, tanto maior o bem que
proporcionam aos mortais.
Erasmo de Rotterdam

Introduo
A histria aqui contada comea, no cronologicamente, em Halle, uma cidade provinciana
do leste alemo, onde foi desencadeada na segunda metade do sculo XIX uma revoluo
protagonizada por um matemtico da Universidade Municipal local. George Cantor (18451918) deu o primeiro tiro esta tal revoluo quando colocou a simples questo: O quo
grande o infinito?
O que decorreu de ento acabou por abalar as fundaes da matemtica e de toda
cincia em geral.
vlido salientar que muitos antes de Cantor, ao menos desde os gregos, de igual ou
maior prestgio que ele, confrontaram a questo do infinito. Mas foi este matemtico russo,
advindo da sofisticada So Petersburgo, quem fez a travessia transcendental que ningum
mais conseguira e encontrou a resposta, mas por isso pagou um alto preo. Cantor viria
a morrer a 6 de janeiro de 1918, louco, internado em um manicmio da Universidade de
Halle, e suas nicas companhias eram os soldados desfigurados oriundos da primeira guerra
mundial. A questo : O que poderia ele, um dos maiores matemticos de todos os tempos,
ter visto que o levou a loucura?
* Departamento

de Matemtica, Universidade Federal de Juiz de Fora - UFJF.

1.

O Infinito Potencial e o Infinito em Ato

Todo o mundo moderno baseado em curvas, trajetrias e foras e no mago destas coisas
est o infinito. Ao se olhar microscopicamente para uma trajetria suave e lisa ver-se que na realidade ela no lisa, , em verdade, composta de um nmero infinito de
segmentos de retas infinitamente pequenos e cada segmento um instante em que no
h movimentos, so como quadros de um filme que apresentados em seqncia do a
impresso de movimento.
Desta forma, toda a coisa se baseia ento no conceito de infinito, e ele funciona, e o
fato de ele funcionar era o que bastava para os pensadores da poca, entretanto Cantor veio
e protagonizou o pensamento de que se tudo se baseia no infinito tem-se de entend-lo,
saber que funciona no deveria ser o suficiente.
Dizer que o infinito funciona significa dizer que o manuseio das relaes matemticas
que envolvem este conceito so praticveis sem que seja necessrio um entendimento
completo do mesmo, tal como se deu com o conceito de nmero durante um longo perodo
da histria.
Para que se compreenda as idias de Cantor importante observar e clarificar que
existem dois tipos de infinitos a considerar: o infinito potencial e o infinito em ato.
O conceito de infinito potencial est diretamente ligado a idia de sucesso infinita, isto
, em sua dinmica operacional nunca se encontra o fim, ou seja, o processo de operar
nunca finalizado. Em suma, o infinito potencial usado para processos que podem, em
princpio, continuar por um tempo maior que qualquer outro tempo, ou para objetos que
podem, em princpio, crescer mais do que qualquer outro objeto.
Entre a comunidade filosfica e a comunidade matemtica, o conceito de infinito
potencial sempre foi de fcil aceitao e no apresentava controvrsias, o desconforto que
vieram a sofrer estas comunidades se deu quando se almejou considerar a concretizao do
infinito potencial como um todo completo, um infinito em ato, ou seja, uma quantidade que
coloca um fim completo no processo de atuao do infinito potencial. Neste caso o infinito
no mais visto como um processo, mas sim uma quantidade infinita esttica. Para se
ter uma idia da complexidade deste conceito, Aristteles (384 a.C.-322 a.C.) considerava o
infinito potencial e afirmava no fazer sentido pensar em sua concretizao como um todo
completo, ou seja, um infinito em ato. Perante estes fatos, tem-se a questo: ser possvel
uma entidade completa e existente de tamanho infinito?

2.

A Definio de Infinito

George Cantor foi um matemtico de primeira grandeza, seus trabalhos se estendem a

diversos ramos da matemtica, inclusive rainha Teoria dos Nmeros, entretanto a sua
grande obra foi sua polmica e revolucionria teoria do infinito, pela qual ele foi venerado
e execrado.
2

Como j colocado, o infinito em ato a concretizao do infinito potencial como um

todo completo, desta forma no se trata de um objeto em si, mas de vrios objetos cuja
totalidade resulta numa quantidade chamada de infinito, ou seja, conjuntos cuja totalidade
de seus elementos, a sua cardinalidade, como denominada, infinita. Por exemplo, ao se
dizer que a cardinalidade do conjunto N dos nmeros naturais infinita no se est a se
referir a um nmero em especial, mas sim a totalidade destes nmeros. Escrever-se- ]A
para denotar a cardinalidade do conjunto A.
Dir-se- que os conjuntos A e B tm a mesma cardinalidade, ]A = ]B, se, e somente
se, existe uma correspondncia um-a-um (bijetiva) entre os elementos de A e os elementos
de B. Neste caso, diz-se tambm que os conjuntos A e B so do mesmo tamanho.
Em seus Elementos, Euclides ( 300 a.C.) coloca como fato fundamental a seguinte
noo comum (axioma): o todo maior que suas partes. Richard Dedekind (1831-1916),
entretanto, um grande amigo de Cantor e outro gigante da matemtica, fundador da
Teoria Algbrica dos Nmeros, admitiu uma propriedade vislumbrada por Bernard Bolzano
(1781-1848), que contrariava o axioma de Euclides, e em 1888, em um artigo intitulado
Was sind und was sollen die Zahlen? (O que so e para que servem os Nmeros?), ele a
utilizou para apresentar uma definio de conjunto infinito (e conjunto finito): Um conjunto
A infinito se, e somente se, existe um subconjunto prprio1 B de A e uma correspondncia
um-a-um entre A e B; e o conjunto A ser finito se no for infinito.
Desta forma, enquanto o conjunto vazio, simbolizado por , finito, pois no possui
nenhum subconjunto prprio, o conjunto N = {0, 1, 2, 3, . . .}, dos nmeros naturais por
outro lado, um conjunto infinito, pois existe uma correspondncia um-a-um, dada pelo
dobro, entre o conjunto dos nmeros naturais e o conjunto P dos nmeros naturais pares:
Nmeros Naturais :

0 1 2 3 4 5
l l l l l l
Nmeros Naturais Pares : 2 4 6 8 10 12
E assim, o conjunto N de todos os nmeros naturais e o conjunto P dos nmeros naturais
pares tem a mesma quantidade de elementos, ou seja, existe a mesma quantidade de nmeros
naturais e nmeros naturais pares.
Neste exemplo tem-se um caso real que fere a intuio latente, se existe uma mesma
quantidade de nmeros naturais e nmeros naturais pares, aonde esto os nmeros
naturais mpares? O interessante que o conjunto N \ P dos nmeros naturais mpares,
e o conjunto N tambm so do mesmo tamanho, pois como no caso acima, existe uma
correspondncia um-a-um, dada pelo dobro acrescido da unidade, entre os nmeros naturais
e os nmeros naturais mpares. Assim, o conjunto dos nmeros naturais pares, o conjunto
de todos os nmeros naturais e o conjunto dos nmeros naturais mpares so dos mesmo
tamanho, possuem a mesma cardinalidade.
Seguindo esta linha pode-se ver facilmente que se for retirado uma quantidade finita
qualquer de nmeros naturais do conjunto dos nmeros naturais, o conjunto que resulta
continuar sendo infinito. A ttulo de exemplificao suponha que sejam retirados os
1

Por subconjunto prprio de A entende-se qualquer subconjunto de A que seja diferente de A.

nmeros 3 e 5 do conjunto dos nmeros naturais, ver-se- ento que o conjunto que resulta
continua a ser infinito, haja visto que se pode construir uma correspondncia um-a-um da
seguinte forma:
0 1 2 3 4 5 6 7 8
l l l l l l l l l
0 1 2 4 6 7 8 9 10
Esta propriedade pode ser formalizada de forma mais geral, como no seguinte teorema: Se
A um conjunto infinito e a1 , . . . , an A, ento A \ {a1 , . . . , an } um conjunto infinito.2
Cantor obteve ento, com o uso deste teorema, o seu primeiro avano na questo do
tamanho do infinito: No existe nenhum conjunto que seja infinito e que tenha cardinalidade
menor que a cardinalidade do conjunto dos nmeros naturais, ou seja, no existe infinito menor
que o infinito dos nmeros naturais. Desta forma que ele utilizou o smbolo 0 para denotar
a cardinalidade dos nmeros naturais (o mesmo ser seguido aqui).

3.

Conjuntos Enumerveis

George Cantor havia conseguido vislumbrar um resultado fantstico, que dizia que todo
conjunto infinito tem cardinalidade igual ou maior que a cardinalidade dos nmeros
naturais. Por outro lado, se todos os conjuntos infinitos tivessem cardinalidade no
superior a cardinalidade de N, ento a questo do tamanho do infinito estaria resolvida,
a saber, ter-se-ia que o infinito do tamanho do conjunto que contempla totalidade dos
nmeros naturais. Ele ps-se ento de pronto a investigar esta questo, e em 1882, num
trabalho intitulado Grundlagen einer allgemeinen Mannigfaltigkeitslehre. Ein mathematischphilosophischer Versuch in der Lehre des Unendlichen (Fundamentos de uma Teoria Geral das
Multiplicidades. Uma Investigao Matemtico-Filosfica da Teoria do Infinito), introduziu
o conceito de enumerabilidade de conjuntos: Um conjunto enumervel se, e somente se,
um conjunto finito ou est em correspondncia um-a-um com o conjunto N dos nmeros
naturais. Desta forma, a questo do tamanho do infinito se traduz, em princpio, a analisar
a enumerabilidade dos conjuntos.
Um fato intuitivamente claro aquele que diz que entre dois nmeros naturais
consecutivos no existe nenhum nmero natural. Entretanto sabe-se que existem uma
infinidade de fraes. E ainda, indo um pouco mais alm, entre duas fraes quaisquer
existem ainda uma infinidade de fraes. Vendo esta propriedade de se esperar que o
conjunto Q dos nmeros racionais, de todas as fraes, tenha cardinalidade maior que a
cardinalidade dos nmeros naturais, ou seja, que seja no-enumervel, haja visto que entre
duas fraes quaisquer existem [por si s] uma infinidade de fraes. Entretanto, ao analisar
a enumerabilidade do conjunto dos nmeros racionais, Cantor obteve a surpreendente
constatao de que este conjunto do mesmo tamanho que o conjunto dos nmeros
2

A notao A \ B indica os elementos de A que no so elementos de B.

naturais, ambos possuem a mesma cardinalidade. Em outras palavras: O conjunto Q dos

nmeros racionais um conjunto enumervel.
Para demonstrar este resultado surpreendente ele construiu uma correspondncia uma-um entre os racionais e os naturais usando um mtodo totalmente novo, chamado mtodo
da grade infinita. Considera-se, inicialmente, uma grade infinita onde esto alocadas todas as
fraes: na primeira linha so alocadas as fraes com 1 no denominador e, adicionalmente,
o zero (os nmeros naturais); na segunda linha so alocadas as fraes (no-nulas) com 2
no denominador; na terceira linha as fraes (no-nulas) com 3 no denominador e assim
por diante.
0 11 21 31 41 51 61
1
2
1
3
1
4
1
5
1
6

2
2
2
3
2
4
2
5
2
6

..
.

..
.

3
2
3
3
3
4
3
5
3
6

4
2
4
3
4
4
4
5
4
6

..
.

5
2
5
3
5
4
5
5
5
6

..
.

6
2
6
3
6
4
6
5
6
6

..
.

..
.

..
.

Todas as fraes aparecerem ento em algum lugar bem estabelecido desta grade infinita,
por exemplo, a frao 45 encontrada na quarta coluna da quinta fileira. Para a obter uma
bijeo entre os nmeros naturais e os nmeros racionais traa-se uma linha poligonal
entre 0 e 1, e que continua indo e voltando diagonalmente sem saltos pelas fraes.
Acompanhando a ordenao obtido por meio desta linha poligonal, obtm-se uma bijeo
que pode ser ilustrada segundo o esquema abaixo:
0

/0

1
1

/


3



1
2
A
1 
4

 
/

1
3

1
4




 9


A
3

10

2
1

2
3

2
4

 

1
6

2
5




 17


B

2
6

3
1

3
2

2
2


1
5

A

5 





 8


A
1 





 16


A

19 



/


7



A
2 



3
3

3
4

4
1




 15


A

4
4

5
1

5
2




 14


A

20 



12

/


13



A
5 



5
3

6
2

_ _5 _/







2

6
3




 21



5
5

6
5

4
6

5
6

6
6

..
.

..
.

..
.

..


4
5




 23



5
4

6
1

6
4


3
5

A

11 



4
2

4
3




3
6


4 

18


 
 24
.. 
.. 
..



Ou seja, tem-se uma enumerao do conjunto do nmeros racionais, que pode ser
representada mais explicitamente pelo seguinte:
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
l l l l l l l l l l l l l l l l l l l
0 1 2 12 13 3 4 23 23 14 15 5 6 25 43 61 17 35 53

4.

Tamanho do Infinito - Questo Encerrada?

Com as descobertas de Cantor a questo do tamanho do infinito para estar chegando ao

final, tudo se fazia crer que o infinito do mesmo tamanho da totalidade dos nmeros
naturais. Mas foi ento que ele se props a encontrar uma maneira de mostrar que o
conjunto R, dos nmeros reais, era enumervel, mas no obteve xito.
Ao considerar o conjunto de todos os nmeros reais, Cantor constatou que este conjunto
no era enumervel, mas era infinito, pois f : (1, 1) R, definida por f (x) = tan x
2
uma bijeo e o intervalo (1, 1) uma parte prpria de R. Logo, a cardinalidade dos
nmeros reais, tambm chamado de contnuo, e por isso com o smbolo c, maior que a
cardinalidade do conjunto dos nmeros naturais. Em smbolos:
0 < c.
Isto porque ambas as cardinalidades so infinitas, e distintas entre si, e do fato de no
existir cardinalidade infinita que seja menor que 0 = # N.
Para provar que o conjunto R dos nmeros reais no-enumervel, suficiente mostrar
que o intervalo (0, 1) no enumervel. Suponha, entretanto, o contrrio, que (0, 1) seja
enumervel. Neste caso, existir uma correspondncia um-a-um entre N e o intervalo (0, 1),
de forma a poder se listar todos os elementos do intervalo da seguinte forma:
1 0, a11 a12 a13 . . .
2 0, a21 a22 a23 . . .
..
.
` 0, a`1 a`2 a`3 . . .
..
.
em que cada ajk {0, 1, 2, . . . , 9}. Considere agora o nmero D entre 0 e 1 definido por
D = 0, d1 d2 d3 . . ., onde d1 = a11 + 1, d2 = a22 + 1, d3 = a33 + 1 e assim por diante,
observando que se aii = 9 ento di = 1. bastante claro que D est entre 0 e 1, entretanto
D no pode estar na lista acima, pois d1 = a11 + 1 , a11 , d2 , a22 , d3 , a33 , e assim
sucessivamente, mostrando que o nmero D no est na lista. Portanto no se pode criar
uma correspondncia um-a-um entre o conjunto dos nmeros naturais e o intervalo (0, 1).

5. A Hierarquia Infinita de Infinitos

Sabendo que o infinito dos nmeros reais maior que o infinito dos nmeros naturais,
surgem as questes: Ser que existem infinitos maiores que o infinito dos nmeros reais?
Se houver, como obt-los? Nesta seo encontram-se as respostas a estas questes e a
apresentao dos dois maiores teoremas de Cantor.
O conjunto formado de todos os subconjuntos de um dado conjunto A dito conjunto
das partes de A, e denotado por (A).
(5.1) Primeiro Teorema de Cantor. Se A um conjunto, finito ou infinito, ento a
cardinalidade de A (estritamente) menor que a cardinalidade do conjunto das partes de
A. Em smbolos:
]A < ] (A) .
Demonstrao: Se A = , ento ]A = 0 < 1 = (A). Suponha ento que A , . Neste
caso, a funo g : A (A), dada por g (x) = {x} (A), para todo x A, injetiva.
Desta forma, o conjunto A tem a mesma cardinalidade do conjunto {{x} | x A} de
(A) ou, equivalente, ]A ] (A).
Para que a demonstrao fique completa s resta mostrar que a cardinalidade de A no
igual a cardinalidade do conjunto das partes de A. Para tanto suponha o contrrio, que
existe uma bijeo f : A (A). Considere o conjunto S = {x A | x < f (x) }, que
consiste daqueles elementos de A que no esto em suas imagens sob f . Como S (A)
e f : A (A) uma bijeo, existe um elemento e A tal que f (e) = S. Neste
caso, ou e S ou e < S. Se e S, segue, da definio de S, que e < f (e), o que
impossvel, pois f (e) = S e e < S. Se, por outro lado, e < S, como f (e) = S, tem-se
e < f (e), conseqentemente, da definio de S, e S e, portanto, e f (e), o que
novamente impossvel. Assim uma contradio foi gerada e o Primeiro Teorema de Cantor
est demonstrado.

Um esclio para o Primeiro Teorema de Cantor o seguinte: Para um conjunto qualquer,
finito ou infinito, tem-se que totalidade de seus elementos sempre menor que a totalidade
dos elementos do conjunto das partes deste mesmo conjunto. Em outras palavras, se um
conjunto infinito, existe um outro conjunto, diferente deste, que maior na grandeza de
infinito, que , a saber, o conjunto das partes deste mesmo conjunto. Ou seja, sempre existe um
infinito maior que o infinito de qualquer conjunto infinito, qual seja, o infinito do conjunto
das partes deste mesmo conjunto.
Desta forma, existe um conjunto maior na grandeza de infinito do que o conjunto R,
dos nmeros reais que , a saber, (R), e, que por sua vez, menor, na grandeza de
infinito, do que o conjunto ( (R)), que menor que o conjunto ( ( (R))), e assim
sucessivamente. Portanto, esto respondidas explicitamente as questes colocadas no incio
desta seo.
O prximo teorema relaciona a cardinalidade das partes e a potncias de cardinais.
7

(5.2) Teorema. Se A um conjunto qualquer, finito ou infinito, ento a cardinalidade das

partes de A igual a cardinalidade do conjunto de todas as funes com domnio em A e
contradomnio em {0, 1}, ou seja,
] (A) = 2]A .
Em particular, se A = N ento ] (N) = 20 .
Demonstrao: Se A = , ento ] (A) = ] {0} = 1 = 20 = 2]A , e o resultado se verifica.
Suponha ento que A , , e associa-se a cada subconjunto D A a funo caracterstica
D : A {0, 1} definida por
D =

1 se x D,
0 se x A \ D.

Observe agora que a funo de (A) em B A que leva D em D uma bijeo, fato que
segue diretamente da definio de D . Portanto, os conjuntos (A) e B A tem a mesma
cardinalidade, ou seja, ] (A) = 2]A .

Por fim, do Primeiro Teorema de Cantor tem-se 0 < ] (N) e do Teorema (5.2) tem-se
] (N) = 20 . Desta forma, pode-se exibir uma cadeia hierrquica infinita de infinitos, ou,
em outras palavras, uma seqncia infinita ordenada de nmeros (cardinais) transfinitos 3 ,
comeando do menor dentre eles:
0 < 2

<2

20

<2

22

0
22

20

<2

22

<2

22

<

O segundo grande teorema de Cantor veio a responder a questo: O quo maior que
o conjunto dos nmeros naturais, na grandeza de infinitos, o contnuo - o conjunto dos
nmeros reais? A importncia fundamental deste teorema que ele fez por relacionar, numa
equao, o cardinal 0 dos nmeros naturais e o cardinal c dos nmeros reais.
(5.3) Segundo Teorema de Cantor. A cardinalidade do conjunto das partes do conjunto dos
nmeros naturais igual cardinalidade do conjunto dos nmeros reais. Em smbolos:
20 = c.
Demonstrao: Considere a funo f : R (Q) definido por
f (a) = { a Q | x < a} ,
para cada a R. Esta funo injetiva, pois se a e b so nmeros reais tais que a < b,
ento, do fato de Q ser denso em R, segue-se que existe um nmero racional r tal que
a < r < b, logo r f (b) mas r < f (a), ou seja, se a e b so reais distintos ento
f (a) , f (b). Portanto c ] (Q) = ] (N) = 20 .
3

A nomenclatura nmero transfinito foi dada por a Cantor a quantidade que representam a cardinalidade
conjuntos infinitos, o nome deriva do fato destas quantidades transcenderem at mesmo o infinito.

Para provar a desigualdade reversa, toma-se : {0, 1}N R a funo definida por
(f ) = 0, f (1) f (2) f (3) . . .
em que f {0, 1}N . Note que (f ) um nmero decimal consistindo de 0s e 1s. Se
f, g {0, 1}N so tais que f , g, ento (f ) = (g), pois os decimais que definem (f )
e (g) so diferentes. Logo, : {0, 1}N R injetiva, e portanto c 20 .
Desta forma, c 20 e 20 c, e assim 20 = c.


6.

A Hiptese do Contnuo, o Problema que Levou Cantor

Loucura

George Cantor j estava consagrado, tudo corria bem em sua vida, e ele acreditava que
tudo isto era devido ao fato de ele ser guiado por Deus, mas foi ento que ele fez a questo
que fez por desenvolver parte substncia da matemtica do sculo XX, mas que tambm
fez com que sua vida declinasse: J se sabe que o infinito dos nmeros naturais menor que
o infinito dos nmeros reais - o contnuo, a questo : ser que existe um infinito que seja
maior que o infinito dos nmeros naturais e menor que o infinito dos nmeros reais? Cantor
a princpio sups que a resposta a esta questo seria negativa, e chamou a esta suposio
de hiptese do contnuo, isto , ele sups que no existia nenhum cardinal x tal que
0 < x < 20 .
O problema aparentemente parecia ser simples e Cantor comeou a trabalhar na
soluo, mas eis que a hiptese do contnuo se mostra no ser nada simples. Aps mais
de dois anos trabalhando com afinco neste problema, em 1884, e com os ataques pessoais
e profissionais que vinham sofrendo, originado de suas idias revolucionrias, e que iam
se tornando cada vez mais intensos, Cantor pensa no ser mais capaz de suportar tudo
aquilo, e no suporta! Em maio daquele ano ele sofre uma enorme crise nervosa, sua
filha descreveu como a sua personalidade se transformou, as falas sem sentido seguidas de
silncio absoluto e incomunicao total. Foi nesta poca que ele foi internado pela primeira
vez no Sanatrio Universitrio de Halle. Tudo em Cantor mudou aps quela crise, ele diz
aos amigos no saber se vai conseguir fazer (ou ensinar) matemtica novamente, pede ento,
Universidade a qual era professor, autorizao para ministrar cursos de filosofia no lugar
dos cursos de matemtica, pedido que foi aceito sem maiores problemas. Mas apesar de ele
afirmar no ser mais capaz de fazer matemtica, ele jamais para de trabalhar na hiptese
do contnuo.
Mittag-Lefler (1846-1927), um matemtico sueco, fundador da Acta Matehmatica, que era
um grande amigo de Cantor, a certa altura recebeu uma carta eufrica deste dizendo que
havia demonstrado a hiptese do contnuo e que a enviaria em algumas semanas. Mas, ao
9

invs disso, trs meses mais tarde, uma segunda carta aparece, e nesta se pode perceber o
constrangimento de Cantor, nela ele dizia que sentia muito, que jamais deveria ter dito que
havia provado a hiptese do contnuo. Posteriormente, trs semanas aps a esta primeira
carta, Cantor envia uma outra carta, e nela ele diz: Eu provei que a hiptese do contnuo
falsa. E o ciclo continua, ele prova que verdadeira, depois prova que falsa, para frente
e para traz. Na verdade, o que Cantor estava fazendo de fato, era se levando loucura aos
poucos. Por mais que tentasse obter xito de alguma forma suas tentativas eram frustradas
e ele no conseguia resolver a hiptese do contnuo, descreve ento o infinito como um
abismo, um vcuo talvez, entre o que ele havia achado e o que ele sabia existir mas no
podia alcanar.
Aps este perodo, a hiptese do contnuo permaneceria inerte durante anos, at que,
em 1938, Kurt Gdel (1906-1978), num trabalho intitulado The Consistency of the Axiom
of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory (A
Consistncia do Axioma do Escolha e da Hiptese Generalizada do Continuum com os
Axiomas da Teoria dos Conjuntos), veio e tirou-a desta inrcia com um importante avano.
Tinham entretanto surgido alguns paradoxos na teoria dos conjuntos, exigindo assim que
esta teoria fosse melhor formalizada. A axiomtica dada por Ernest Zermelo (1871-1953) e
Abraham Fraenkel (1891-1965), acrescida do axioma do escolha considerada a mais eficiente
formalizao da teoria dos conjuntos. O que Gdel fez, em relao a hiptese do contnuo
foi fortalecer e ajudar fixar esta axiomtica a teoria dos conjuntos, pois ele prova que esta
hiptese e esta axiomtica eram consistentes: A negao da hiptese do contnuo no pode
ser provada a partir dos axiomas de Zermelo-Fraenkel mais o axioma de escolha, ou seja, eles
so consistentes. Isto , no h contradies entre e a hiptese do contnuo e estes axiomas.
Pode-se ento construir toda a teoria dos conjuntos, baseada no axioma da escolha e nos
axiomas de Zermelo-Fraenkel e assumir que a hiptese do continuum verdadeira.
Em 1963 no entanto, usando uma tcnica totalmente nova, chamada forcing, um
jovem matemtico dos Estados Unidos, chamado Paul Cohen (1934-2007), demonstrou um
importante resultado envolvendo os axiomas de Zermelo-Fraenkel, o axioma da escolha e
a hiptese do contnuo: A hiptese do contnuo no pode ser provada a partir dos mesmos
axiomas de Zermelo-Fraenkel mais o axioma da escolha, eles so indepentes.
Em suma, a hiptese do contnuo no contradiz a teoria dos conjuntos baseada nos
axiomas de Zermelo-Fraenkel mais o axioma da escolha, entretanto somente com base
nestes axiomas ela no pode ser provada, eles so insuficientes, ou independentes.
Desde sua primeira crise, Cantor passou perodos de idas e vindas no sanatrio de
Halle, com internaes cada vez mais duradouras, at a sua morte em 1918, sozinho e
tomado pela loucura.
Justo no seria este texto se deixasse de mencionar que houve tambm matemticos
de primeira grandeza que entraram em defesa de Cantor. O j citado Mittag-Lefler foi
um deles, mas, sobretudo, David Hilbert (1862-1943), um dos mais importantes matemticos
de todos os tempos, tambm entrou abertamente em defesa das idias de Cantor. Para
se ter uma idia da importncia de Hilbert, foi ele quem deu uma nova fundamentao
matemtica no sculo XX, tambm trabalhou de forma significativa em quase todas as
10

reas da matemtica: h a Teoria dos Nmeros de Hilbert, as Equaes Diferencias e

as Equaes Integrais de Hilbert, os Espaos de Hilbert, a Geometria de Hilbert e etc.,
alm de ter resolvido, antes de Einstein, as equaes da Teoria da Relatividade Geral. Foi ele
tambm quem praticamente pautou a pesquisa matemtica do sculo passado, quando,
em 1900, no Congresso Mundial de Matemtica, em Paris, apresentou uma conferncia
que continha os famosos 23 problemas, cuja solues foram objetos de desejos da maioria
esmagadora dos matemticos espalhados pelo mundo a fora. O primeiro problema desta
lista foi justamente a hiptese do contnuo. Para ilustrar a importncia do que Cantor havia
feito, Hilbert disse a clebre e memorvel frase: Ningum poder nos tirar do paraso que
Cantor nos colocou.

Referncias
[1] Dauben, J. W. Georg Cantor - His Mathematics and Philosophy of the Infinite. Princeton
University Press, Princeton, 1990.
[2] Halmos, P. R. Teoria Ingnua dos Conjuntos. Traduo de Lzaro Coutinho. Editora Cincia
Moderna, Coleo Clssicos da Matemtica, Rio de Janeiro, 2001.
[3] Lin, S-Y. T.; Lin, Y-F. Set Theory: An Intuitive Approach. Houghton, Mifflin Co., Boston,
1974.

11