Você está na página 1de 7

Kurt Gdel e o Teorema da Incompletude: A descoberta Matemtica N 1 do

Sculo XX e suas relaes com f e razo


Kurt Gdel
Este artigo de Perry Marshall (traduzido ao portugus por Mateus Scherer
Cardoso) me causou um deslumbramento to grande que decidi public-lo
aqui por inteiro. Eu o encontrei durante um intervalo da leitura do artigo
Science and the Restoration of Culture, de Wolfgang Smith, que cita Gdel e
que me deixou com vontade de me aprofundar mais no tema. No perdi
meu tempo. (Claro, primeiro tive de quebrar a cabea aqui e aqui. E, por
fim, tambm sugeri Gdel para a galeria Cearenses Internacionais.)
O Teorema da Incompletude de Gdel:
A Descoberta Matemtica N 1 do Sculo XX
Em 1931, o jovem matemtico Kurt Gdel fez uma descoberta-marco to
poderosa quanto qualquer coisa que Albert Einstein desenvolveu, desferindo
um golpe devastador nos matemticos de sua poca.
A descoberta de Gdel no se aplica somente matemtica, mas
literalmente a todos os ramos da cincia, lgica e conhecimento humano.
Ela tem verdadeiramente implicaes que abalam a Terra.
Estranhamente, poucas pessoas sabem qualquer coisa sobre ela.
Permita-me contar-lhe a histria.
Os matemticos adoram provas. Eles estavam furiosos e chateados por
sculos, porque eles eram incapazes de PROVAR algumas das coisas que
eles sabiam que eram verdade.
Por exemplo: se voc estudou geometria no colgio, voc fez os exerccios
nos quais voc, baseado em uma lista de teoremas, prova todos os tipos de
coisas sobre os tringulos.
Aquele livro de geometria do colgio feito sobre os cinco postulados de
Euclides. Todos sabem que os postulados so verdadeiros, mas em 2500
anos ningum imaginou um meio de prov-los.
Sim, parece sim perfeitamente razovel que uma linha possa ser estendida
infinitamente em ambas as direes, mas ningum tem sido capaz de
PROVAR isso. Ns s podemos demonstrar que eles so um conjunto de 5
suposies razoveis e de fato necessrias.
Grandes gnios matemticos estavam frustrados por mais de 2000 anos
porque eles no podiam provar todos os seus teoremas. Havia muitas coisas
que eram obviamente verdade, mas ningum conseguia imaginar um
meio de prov-las.

No incio dos anos 1900, entretanto, um tremendo senso de otimismo


comeou a crescer nos crculos matemticos. Os matemticos mais
brilhantes do mundo (como Bertrand Russell, David Hilbert e Ludwig
Wittgenstein) estavam convencidos que estavam rapidamente se
aproximando de uma sntese final.
Uma Teoria de Tudo unificada, que finalmente amarraria todos os pontos
soltos. A matemtica seria completa, prova de balas, hermtica,
triunfante.
Em 1931, este jovem matemtico austraco, Kurt Gdel, publicou um artigo
que de uma vez por todas PROVOU que uma nica Teoria de Tudo
realmente impossvel.
A descoberta de Gdel foi chamada de O Teorema da Incompletude.
Se voc me der alguns minutos, eu lhe explicarei o que ele diz, como Gdel
o descobriu e o que ele significa em portugus simples e direto que
qualquer um pode entender.
O Teorema da Incompletude de Gdel diz:
Qualquer coisa em que voc pode desenhar um crculo ao redor no pode
ser explicada por si mesma sem se referir a algo fora do crculo algo que
voc tem que assumir mas no pode provar.
Expresso em Linguagem Formal:
O teorema de Gdel diz: Qualquer teoria efetivamente gerada capaz de
expressar aritmtica elementar no pode ser simultaneamente consistente
e completa. Em particular, para qualquer teoria formal consistente e
efetivamente gerada, que prova certas verdades aritmticas bsicas, existe
uma afirmao aritmtica que verdadeira, mas que no pode ser provada
em teoria.
A Tese de Church-Turing diz que um sistema fsico pode expressar aritmtica
elementar assim como um humano pode, e que a aritmtica de uma
Mquina de Turing (um computador) no pode ser provada dentro do
sistema e igualmente sujeita incompletude.
Qualquer sistema fsico sujeito a medio capaz de expressar aritmtica
elementar. (Em outras palavras, crianas podem fazer matemtica contando
em seus dedos, a gua fluindo para um balde faz integrao, e sistemas
fsicos sempre do a resposta certa.)
Portanto, o Universo capaz de expressar aritmtica elementar e, tanto
como a prpria matemtica e uma mquina de Turing, incompleto.
Silogismo:
1. Todos os sistemas computacionais no-triviais so incompletos.

2. O Universo um sistema computacional no-trivial.


3. Portanto, o Universo incompleto.
Voc pode desenhar um crculo ao redor de todos os conceitos no seu livro
de geometria do colgio. Mas eles so todos feitos sobre os cinco postulados
de Euclides, que claramente so verdadeiros mas que no podem ser
provados. Esses cinco postulados esto fora do livro, fora do crculo.
Voc pode desenhar um crculo ao redor de uma bicicleta, mas a existncia
dessa bicicleta depende de uma fbrica que est fora do crculo. A bicicleta
no pode explicar a si mesma.
Gdel provou que h SEMPRE mais coisas que so verdadeiras do que voc
pode provar. Qualquer sistema de lgica ou nmeros que os matemticos
possam desenvolver sempre se basear em pelo menos umas poucas
suposies que no podem ser provadas.
O Teorema da Incompletude de Gdel no se aplica somente matemtica,
mas a tudo que est sujeito s leis da lgica. A incompletude uma verdade
na matemtica, e igualmente verdadeira na cincia, na linguagem ou na
filosofia.
E, se o Universo matemtico e lgico, a Incompletude tambm se aplica
ao Universo.
Gdel criou sua prova comeando com o Paradoxo do Mentiroso que a
afirmao:
Eu estou mentindo.
Eu estou mentindo autocontraditria, j que, se verdade, eu no sou
um mentiroso, e, se falsa, eu sou um mentiroso, ento verdade.
Ento Gdel, em um dos movimentos mais engenhosos da histria da
matemtica, converteu o Paradoxo do Mentiroso em uma frmula
matemtica. Ele provou que qualquer afirmao requer um observador
externo.
Nenhuma afirmao sozinha pode completamente provar a si mesma como
verdadeira.
O seu Teorema da Incompletude foi um golpe devastador no positivismo
da poca. Gdel provou o seu teorema preto no branco, e ningum podia
discutir com a sua lgica.
Ainda assim, alguns de seus amigos matemticos foram para o tmulo
negando, acreditando que, de uma forma ou outra, Gdel certamente
estaria errado.
Ele no estava errado. Era mesmo verdade. Existem mais coisas que so
verdade do que voc pode provar.

Uma teoria de tudo seja na matemtica, na fsica ou na filosofia nunca


ser encontrada. Porque impossvel.
OK, o que isso ento realmente significa? Por que isso superimportante, e
no apenas um factide geek?
Isso o que significa:
F e Razo no so inimigas. Na verdade, o exato oposto verdade! Uma
absolutamente necessria para que a outra exista. Todo o raciocnio ao final
leva de volta f em algo que voc no pode provar.
Todos os sistemas fechados dependem de algo fora do sistema.
Voc pode sempre desenhar um crculo maior, mas existir sempre algo fora
do crculo.
O raciocnio de um crculo maior para um menor raciocnio dedutivo.
Exemplo de um raciocnio dedutivo:
1. Todos os homens so mortais
2. Scrates um homem
3. Portanto, Scrates mortal
O raciocnio de um crculo menor para um maior raciocnio indutivo.
Exemplos de raciocnio indutivo:
1. Todos os homens que conheo so mortais
2. Portanto, todos os homens so mortais
1. Quando eu largo objetos, eles caem
2. Portanto, h uma lei da gravidade que governa objetos de caem
Note que quando voc se move do crculo menor para o maior, voc tem
que fazer suposies que no pode provar 100%.
Por exemplo: voc no pode PROVAR que a gravidade sempre ser
consistente todas as vezes. Voc s pode observar que ela
consistentemente verdadeira toda vez. Voc no pode provar que o
Universo racional. Voc s pode observar que frmulas matemticas como
E = mc parecem, sim, descrever perfeitamente o que o Universo faz.
Praticamente todas as leis cientficas esto baseadas no raciocnio indutivo.
Estas leis apiam-se em uma afirmao de que o Universo lgico e
baseado em leis fixas que podem ser descobertas.
Voc no pode PROVAR isto. (Voc no pode provar que o Sol vir amanh
de manh tambm.) Voc literalmente tem que usar a f. Na verdade, a

maioria das pessoas no sabem que alm do crculo da cincia existe um


crculo da filosofia. A cincia est baseada em suposies filosficas que
voc no pode provar cientificamente. Realmente, o mtodo cientfico no
pode provar, s pode inferir.
(A cincia originalmente surgiu da idia de que Deus fez um Universo
ordenado que observa leis fixas e que podem ser descobertas.)

Agora, por favor, considere o que acontece quando desenhamos o maior


crculo possvel ao redor de todo o Universo. (Se existem mltiplos
universos, ns estamos desenhando um crculo ao redor deles todos
tambm.):
Tem que existir algo fora desse crculo. Algo que ns temos que assumir
mas no podemos provar.
O Universo como ns conhecemos finito matria finita, energia finita,
espao finito e 13,7 bilhes de anos de idade.
O Universo matemtico. Qualquer sistema fsico sujeito a medio executa
a aritmtica. (Voc no precisa conhecer matemtica para fazer uma adio
voc pode usar um baco em vez disso e ele lhe dar a resposta certa
todas as vezes.)
O Universo (toda a matria, energia, espao e tempo) no pode explicar a si
mesmo.
O que quer que esteja fora do maior crculo no tem limites.Por definio,
no possvel desenhar um crculo ao redor dele.
Se desenharmos um crculo ao redor de toda a matria, energia, espao e
tempo e aplicar o teorema de Gdel, ento saberemos que o que est fora
desse crculo no matria, no energia, no espao e no tempo.
imaterial.
O que quer que esteja fora do maior crculo no um sistema i.e. no
um conjunto de partes. De outra forma poderamos desenhar um crculo ao
redor delas. A coisa fora do maior crculo indivisvel.
O que quer que esteja fora do maior crculo uma causa no-causada,
porque voc sempre pode desenhar um crculo ao redor de um efeito.
Ns podemos aplicar o mesmo raciocnio indutivo origem da informao:
Na histria do Universo, ns tambm podemos ver a introduo da
informao, cerca de 3,5 bilhes de anos atrs. Ela veio na forma do cdigo
gentico, que simblico e imaterial.
A informao teve que vir de fora, j que a informao no conhecida por
ser uma propriedade inerente da matria, energia, espao ou tempo.

Todos os cdigos cuja origem conhecemos so projetados por seres


conscientes.
Portanto, o que quer que esteja fora do crculo maior um ser consciente.
Em outras palavras, quando adicionamos a informao equao,
conclumos que a coisa fora do maior crculo no s infinita e imaterial,
como tambm consciente.
No interessante como todas estas coisas soam suspeitamente similar a
como os telogos tm descrito Deus por milhares de anos?
Ento dificilmente surpreendente que entre 80 e 90% das pessoas do
mundo acreditam em algum conceito de Deus. Sim, intuitivo para a
maioria do pessoal. Mas o teorema de Gdel indica que tambm
supremamente lgico. De fato, a nica posio que algum pode tomar e
ainda assim permanecer nos domnios da razo e da lgica.
A pessoa que orgulhosamente proclama Voc um homem da f, mas eu
sou um homem da cincia no entende as razes da cincia e a natureza
do conhecimento!
Um aparte interessante
Se voc visitar o maior website ateu do mundo, Infidels, na pgina inicial
voc encontrar a seguinte declarao:
O Naturalismo a hiptese segundo a qual o mundo natural um sistema
fechado, o que significa que nada que no seja parte do mundo natural o
afeta.
Se voc conhece o teorema de Gdel, voc sabe que todos os sistemas
lgicos devem contar com algo fora do sistema. Ento, de acordo com o
Teorema da Incompletude de Gdel, o Infidels no pode estar correto. Se o
Universo lgico, ele tem uma causa externa.
Assim, o atesmo viola as leis da razo e da lgica.
O Teorema da Incompletude de Gdel prova definitivamente que a cincia
no pode jamais preencher suas prprias lacunas. Ns no temos escolha a
no ser procurar fora da cincia por respostas.
A Incompletude do Universo no a prova que Deus existe. Mas a prova
de que, para se construir um modelo racional e cientfico do Universo, a
crena em Deus no somente 100% lgica ela tambm necessria.
Os cinco postulados de Euclides no podem ser formalmente provados e
Deus tambm no pode ser formalmente provado. Mas assim como voc
no pode construir um sistema coerente de geometria sem os cinco
postulados de Euclides, voc tambm no pode construir uma descrio
coerente do Universo sem uma Primeira Causa e uma Fonte de ordem.

Assim, f e cincia no so inimigas, mas aliadas. Tem sido verdade por


centenas de anos, mas em 1931 este jovem magricelo matemtico
austraco chamado Kurt Gdel o provou.
Em nenhuma poca na histria da humanidade a f em Deus tem sido mais
razovel, mais lgica ou mais amplamente apoiada pela cincia e pela
matemtica.
________
Perry Marshall (traduzido para o portugus por Mateus Scherer Cardoso)
Fonte: Cosmic Finger Prints.
________
Sem matemtica ns no podemos penetrar profundamente na filosofia.
Sem filosofia ns no podemos penetrar profundamente na matemtica.
Sem ambas ns no podemos penetrar profundamente em nada.
Leibniz
A matemtica a linguagem pela qual Deus escreveu o Universo.
Galileu
- See more at: http://blogdo.yurivieira.com/2012/06/teorema-godel-ferazao/#sthash.L8sLo2iy.dpuf