Cascavel, 02 de novembro de 2012

Kurt Gdel e o Teorema da Incompletude: A descoberta Matemtica N 1 do Sculo XX e suas relaes com f e razo
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 apoiam-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 ideia 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 a 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 ________ Leitura adicional: Incompleteness: The Proof and Paradox of Kurt Gdel (em ingls) por Rebecca Goldstein biografia 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 CoffeehouseTheology.com (em ingls) Teoria da Informao: If you can read this, I can prove God exists (em ingls)
FONTE: http://blogdo.yurivieira.com/2012/06/teorema-godel-fe-razao/