THE BOOK

THE PRIZE
O Teorema da Incompletude de Gdel: A
THE VIDEO
Descoberta Matemtica N 1 do Sculo XX
PZ MYERS DEBATE
8 Comments
THE BLOG
199
Tw eet
Email
ABOUT / CONTACT
LOGIN

Share

Em 1931, Kurt Gdel desferiu um golpe devastador nos matemticos de sua poca
Em 1931, o jovem matemtico Kurt Gdel fez uma descoberta-marco, to poderosa quanto
qualquer coisa que Albert Einstein desenvolveu.
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 era verdade.
Por exemplo: se voc estudou geometria no colgio, voc fez os exerccios onde voc prova
todos os tipos de coisas sobre os tringulos, baseado em uma lista de teoremas.
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 innitamente 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-los.
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 nal.
Uma Teoria de Tudo unicada, que nalmente 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 signica em portugus simples e direto que qualquer um pode entender.

ele signica 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.
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 5 postulados de
Euclides que claramente so verdade mas que no
podem ser provados. Esses 5 postulados esto fora
do livro, fora do crculo.

Expresso em Linguagem Formal:

O teorema de Gdel diz: Qualquer

teoria efetivamente gerada capaz de
expressar aritmtica elementar no
pode ser tanto consistente quanto
completa. Em particular, para qualquer
Voc pode desenhar um crculo ao redor de uma
teoria formal consistente e
bicicleta, mas a existncia dessa bicicleta depende deefetivamente gerada que prova certas
uma fbrica que est fora do crculo. A bicicleta no verdades aritmticas bsicas, existe
pode explicar a si mesma.
uma armao aritmtica que
verdadeira, mas que no pode ser
Gdel provou que h SEMPRE mais coisas que
provada em teoria.
so verdadeiras do que voc pode provar.
Qualquer sistema de lgica ou nmeros que os
A Tese de Church-Turing diz que um
matemticos possam trazer sempre se basear em sistema fsico pode expressar
pelo menos umas poucas suposies que no
aritmtica elementar assim como um
podem ser provadas.
humano pode, e que a aritmtica de
uma Mquina de Turing (um
O Teorema da Incompletude de Gdel no se aplica
computador) no pode ser provado
somente matemtica, mas a tudo que est sujeito
dentro do sistema e igualmente
s leis da lgica. A incompletude verdade na
sujeito incompletude.
matemtica, e igualmente verdade na cincia, na
linguagem ou na losoa.
Qualquer sistema fsico sujeito a
medio capaz de expressar
E, se o Universo matemtico e lgico, a
aritmtica elementar. (Em outras
Incompletude tambm se aplica ao Universo.
palavras, crianas podem fazer
Gdel criou sua prova comeando com o Paradoxo matemtica contando em seus dedos,
uma gua uindo para um balde faz
do Mentiroso que a armao:
integrao e sistemas fsicos sempre
Eu estou mentindo.
do a resposta certa.)
Eu estou mentindo autocontraditria, j que, se Portanto, o Universo capaz de
verdade, eu no sou um mentiroso, e, se falsa, eu expressar aritmtica elementar e, tanto
sou um mentiroso, ento verdade.
como a prpria matemtica e uma
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 armao
requer um observador externo.

mquina de Turing, incompleto.

Silogismo:

1. Todos os sistemas computacionais

no-triviais so incompletos.

Nenhuma armao sozinha pode completamente 2. O Universo um sistema

computacional no-trivial.
provar a si mesma como verdadeira.
3. Portanto, o Universo incompleto.
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 alguma forma ou outra Gdel deveria certamente estar errado.
Ele no estava errado. Era mesmo verdade. Existem mais coisas que so verdade do que voc
pode provar.

pode provar.
Uma teoria de tudo seja na matemtica, na fsica ou na losoa nunca ser encontrada.
Porque impossvel.
OK, o que isso ento realmente signica? Por que isso superimportante, e no apenas um
factoide geek?
Isso o que signica:
F e Razo no so inimigas. Na verdade, o exato oposto verdade! Uma
absolutamente necessria para que a outra exista. Todo o raciocnio ao nal 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 cientcas esto baseadas no raciocnio indutivo. Estas leis apoiamse em uma armao de que o Universo lgico e baseado em leis xas 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 losoa. A cincia est baseada em
suposies loscas que voc no pode provar cienticamente. Realmente, o mtodo
cientco no pode provar, s pode inferir.
(A cincia originalmente surgiu da ideia de que Deus fez um Universo ordenado que observa
leis xas 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 nito matria nita, energia nita, espao
nito e 13,7 bilhes de anos de idade.

nito 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 denio, 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 innita 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 dicilmente 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 car 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!
Interessantemente parte
Se voc visitar o maior website ateu do mundo, Indels, na pgina inicial voc encontrar a
seguinte declarao:
O Naturalismo a hiptese que o mundo natural um sistema fechado, o que
signi ca 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
Indels no pode estar correto. Se o Universo lgico, ele tem uma causa externa.
Assim, o atesmo viola as leis a razo e da lgica.
O Teorema da Incompletude de Gdel prova de nitivamente que a cincia no pode
jamais preencher suas prprias lacunas. Ns no temos escolha a no ser procurar fora da

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, para se
construir um modelo racional e cientco do Universo, a crena em Deus no somente 100%
lgica ela necessria.
Os 5 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 5 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 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)
Sem matemtica ns no podemos penetrar profundamente na loso a.
Sem loso a 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

Leitura adicional:
Incompleteness: The Proof and Paradox of Kurt Gdel (em ingls) por Rebecca Goldstein
biograa fantstica e uma grande leitura
Uma coleo de citaes e notas sobre a prova de Gdels da Miskatonic University Press (em
ingls)
A descrio formal do Teorema da Incompletude de Gdels na Wikipdia (em ingls)
Cincia vs. F na CoeehouseTheology.com (em ingls)
Teoria da Informao: If you can read this, I can prove God exists (em ingls)
Share

199

Tw eet

Email

8 Responses
Kurt Gdel e o Teorema da Incompletude: A descoberta
Matemtica N 1 do Sculo XX e suas relaes com f e razo Blog do Yuri says:
June 11, 2012 at 3:37 pm
[] 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 []

Reply

Kurt Gdel Thales Faggiano says:

January 31, 2015 at 9:01 pm
[] O Teorema da Incompletude de Gdel: A Descoberta
Matemtica N 1 do Sculo XX []
Reply

Ienlov K. says:
December 18, 2015 at 4:49 pm
No entendi a necessidade de Deus, anal, para que ele seja o
circulo maior, alguma coisa dentro do circulo menor precisa dele
se forma a se demonstrar. Seu raciocinio est sendo indutivo e
no dedutivo aqui.
O qu, dentro de um circulo menor e sabidamente verdadeiro
precisaria de Deus para ser demonstrado?
Reply

Marcos says:
December 20, 2015 at 1:49 pm
acho que este Ateu no entendeu nada do texto quando diz
sobre informaes inteligentes.
Reply

Hermes Milani says:

January 4, 2016 at 12:40 pm
Grande parte dos que se dizem Crentes, demonstram
preconceito contra os Ateus. O Marcos do post acima um
exemplo disso. O discriminado do 3. post entendeu, sim, e muito
bem. Kurt Gdel de formao intensamente Crist e para ele
seria difcil pensar alm da sua fonte. Todos ns temos pleno

seria difcil pensar alm da sua fonte. Todos ns temos pleno

direito de acreditarmos ou no em Deus. Meu pai, que j viveu
mais do que Gdel 5 anos; me disse do alto dos seus 76 anos:
Considero que tenho boa erudio, mas nunca vi, li ou ouvi
algum que superasse o Papa Francisco ! Ele disse a pouco que o
Ateu el, sincero sua prpria conscincia, ser bem vindo ao
Reino dos Cus.
>>
Kurt Friedrich Gdel
Born: April 28, 1906 Died: January 14, 1978 (aged 71)
Princeton, New Jersey, U.S
>>
Antes de seu uso moderno, Alma mater era um ttulo honorco
em latim para vrias deusas-mes, especialmente Ceres ou
Cybele, [3] e, posteriormente, no catolicismo para a Virgem Maria.
A fonte de seu uso atual o lema Alma Mater Studiorum (me
carinho de estudos) da universidade mais antiga do mundo
ocidental em funcionamento contnuo: a Universidade de
Bologna, fundada em 1088.
Reply

Lucas says:
February 13, 2016 at 7:12 am
O Teorema de Gdel se levado como verdade, serve pra provar a
existncia de qualquer coisa exterior ao universo. De um a
mltiplo deuses quaisquer, imaginados de qualquer forma, que
se pensados da forma como voc explica nesse artigo,
constituem verdade em igual proporo armao da
existncia de um deus cristo.
O mesmo acontece pra um postulado. Se uma teoria postula algo
que no pode ser provado mas d base s teorias, mesmo as que
dizem respeito ao prprio Universo, essa teoria explica o
universo de forma favorvel, sem a necessidade de uma entidade
exterior ao universo para explic-lo (a informao qual no
podemos provar uma informao exterior ao universo
tambm, por denio. Se isso no verdade, ento o fato de um
deus qualquer -denido sendo exterior ao universo- ser capaz de
mexer no universo -como as crenas crists e evanglicas, e
meio que todas as outras. supem- o torna parte do universo
por causar efeitos no sistema que o universo- e assim, o deus
deixa de ser algo externo ao universo, passando a ser algo cuja
prova discutvel).

Ento se quiser supor que seu deus existe, pelo teorema de

Gdel, deve aceitar que uma informao qualquer qual
supomos ser a base de tudo no universo e que no podemos
provar, sendo um deus ou no, to verdadeiro quanto (se no
mais que) a sua f.
Reply

Lucas says:
February 13, 2016 at 7:15 am
Alem disso, o teorema de Gdel resulta da forma que ele
escolheu pra resolver o paradoxo. Existem outras formas de
soluo. Isso torna o Teorema de Gdel algo que no uma
verdade universal, que funciona pra qualquer sistema e tal. Mas
enm. Boa tentativa
Reply

Luis Otvio says:

April 24, 2016 at 2:33 pm
os teoremas referem-se a sistemas operacionais quantitativos e
no ao conceito de Deus ou Deuses encontrado em nossas
religies. primeiro que para nenhuma religio existe um Deus ou
Deuses solidrios, ou compartilhavel. quer dizer que nenhuma
religio concede seu ideal de Deus a outra religio. o Deus de
uma anti-Deus na outra.e isso muito claro para o religioso.
Quem concebe esse Deus compartilhado o cientista.que para a
religio parece um inel, erege ou ateu.
Reply

Leave a Reply
Your email address will not be published. Required elds are marked *
Comment