A histria a seguinte cara, no m do sculo XIX os matemticos de uma

maneira geral tinham muito orgulho de sua prpria cincia, anal ela era a
nica que dentre todas podia ter certeza absoluta de que tudo que diziam
era de fato verdade. As outras cincias por outro lado, tinham suas teorias
tambm, mas nada impedia que outra melhor surgisse e tomasse o seu lugar, diferente da matemtica, as outras cincias dependiam de experincias,
de observaes, e as teorias que eram aceitas eram aquelas que melhor se
adequavam s observaes. Mas com o avano tecnolgico, mais fatos eram
observados e assim novas teorias se faziam necessrias, sendo que nesse processo algumas teorias simplesmente tinham que ser substitudas, ento tudo
que dizem nessas cincias no tem uma base totalmente rme, qualquer
momento algo que todos acreditam ser verdade pode ser refutado.
Mas voltando matemtica, se voc considerar "1+1=2" como um teorema,
no importa o quanto a tecnologia avance e o quanto o homem se torne
mais inteligente, isso vai continuar sendo verdade, de fato, qualquer coisa
que venha da matemtica verdade absoluta para sempre!
Mas... porque "1+1=2" verdade ? to bvio a ponto de no precisar ser
provado?
verdade que qualquer criana consegue entender isso como verdade, e praticamente ningum vai achar que tem sentido questionar essa armao to
simples. Tinha uma coisa que os matemticos vinham fazendo desde o m
do sculo XVIII, que era mostrar que tudo o que eles haviam armado antes
era verdade, um sentimento de maior rigor tomava conta deles desde esse
tempo pra frente, e de fato, foi visto que muita coisa que famosos matemticos descobriram antes se baseou na intuio deles, e que a prova que eles
davam para suas descobertas no eram to rigorosas como se pensava, havia
buracos, mas um por um, todos foram tampados. Ento ao m disso (no
m do sculo XIX) os matemticos estavam bem orgulhosos de sua cincia
perfeita e imaculada (e foi nesse ponto da histria que comecei o texto).
Aos poucos, muitos matemticos foram vendo que duas serviriam para "salvar"a matemtica: a Teoria dos Conjuntos (sim, aquela que voc viu no
colgio quando era criana) e a Lgica. Inclusive, essas duas reas j tinham
mostrado seu poder de diversas maneiras, a Teoria dos Conjuntos naquele
tempo era vista como algo divino (por razes, que bvio, no mostram
no colgio porque so avanadas demais), e a Lgica era um mundo totalmente prova de falhas. Muitos perceberam que era possvel derivar
toda a matemtica a partir dessas duas reas apenas, e que juntando elas, a
matemtica estaria nalmente segura.
1

Nesse tempo, houve uma pessoa chamada Bertrand Russel, que hoje
reconhecido como um grande matemtico, lsofo e pacista (no sentido de
lutar pela paz mesmo, no de ser apenas pacco sem agir). Ele logo cedo
percebeu que a matemtica se baseava em fundamentos no provados, que
a matemtica usava denies circulares, entre outros problemas... e nisso
viu que ela precisava ser melhor organizada e ter seus fundamentos assegurados. Ele virou um especialista da Lgica e Teoria dos Conjuntos, e queria
qualquer custo, resolver de vez o problema dos fundamentos da matemtica.
Assim como ele, outros trilhavam o mesmo caminho, e alguns inclusive, estavam "refazendo" todo o conhecimento matemtico em torno da Teoria dos
Conjuntos e Lgica. Parecia que tudo estava indo bem, at que o prprio
Bertrand Russel descobriu um problema na teoria que ele mesmo admirava
e tanto acreditava. Um paradoxo dentro da divina Teoria dos Conjuntos!
Quando ele tornou pblico o paradoxo, o mundo matemtico cou estagnado
por anos, foi quase como o m do mundo (para os matemticos).
Bom, j deu de histria! Achei que tu ia achar legal saber como as coisas
aconteceram, e talvez at se perguntar o que houve depois. A matemtica
pode ser muito interessante, e com certeza tem uma histria interessante.
Mas vamos ao paradoxo em si.

Como a gente conversou naquele dia no metr, existem de fato, conjuntos

que podem conter a si prprios. Vou colocar alguns exemplos de conjuntos
abaixo:
O conjunto das idias uma idia tambm, logo, este um conjunto

que tem a si mesmo como um elemento do conjunto.

O conjunto dos carros no um carro, logo, este um conjunto que

no tem a si mesmo como um elemento do conjunto.

 Aqui vai mais um conjunto, o conjunto dos conjuntos! Este tambm

um conjunto, logo, ele tambm tem a si mesmo como um elemento.

At aqui tudo bem, a prpria denio de conjuntos torna isso possvel.

E foi no meio dessas brincadeiras com conjuntos que Bertrand Russel criou
um conjunto que est totalmente de acordo com a denio de conjuntos,
mas que cria um paradoxo, ou seja, o que deveria ser um dos pilares da
matemtica traz um paradoxo consigo!
Considere agora o conjunto dos conjuntos que no tem a si mesmo como

um elemento do conjunto.

Ainda parece que no h nenhum problema com isso, mas aqui vem uma
pergunta: esse ltimo conjunto um elemento de si mesmo ou no ?
Foi com este conjunto e esta pergunta que Bertrand Russel virou a matemtica
de cabea para baixo. Tente agora descobrir porque.
Abrao!!!