Академический Документы
Профессиональный Документы
Культура Документы
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.
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!!!