You are on page 1of 29

Os Teoremas de Gdel e o

problema da Parada de Turing


Walter Carnielli
CLE e IFCH -UNICAMP

http://www.cle.unicamp.br/prof/carnielli/
Paradoxos, Gdel e a mquina DIN-DIN

A idia de demonstrar que algo "no se pode demonstrar"


fascinante, e em raras ocasies os cienstistas tm oportunidade
de encontrar fenmenos matemticos desse tipo.

Em geral, tais argumentos s ocorrem nas provas de


impossibilidade de soluo dos "problemas clssicos gregos"
(trisseo de ngulo, quadratura do crculo e duplicao do
volume do cubo, usando apenas rgua e compasso).
O fim da Inocncia...

Os teoremas de incompletude de Gdel, de 1931, representam o


fim da idade romntica da Matematica.
Antes de Gdel, fazia parte de um amplo projeto de trabalho
liderado par David Hilbert, conhecido como Programa de Hilbert,
acreditar que todo problema matemtico fosse solvel.
Nas prprias palavras de Hilbert, num congresso em Mnster, em
1925:
"Se existe um problema, ache a soluo; voc pode
encontr-la apenas pensando, pais no h ignorabimus
em matemtica".
Quem foi Kurt Gdel?

Gdel nasceu em 1906, em Brno, Repblica Checa. Estudou


matemtica em Viena e fez parte do Circulo de Viena, um
grupo de matemticos e filsofos iniciadores do positivismo
lgico
Kurt Gdel

Seus famosos teoremas da incompletude revolucionaram a


matemtica, a lgica, a filosofa, a lingstica e a computao, e foram
publicados em 1930 e 31, quando terminava seu doutorado.

Nessa poca deixou Viena em razo do nazismo, e foi professor em


Princeton, at sua morte em 1978.

Gdel era amigo de Einstein, e trabalhou tambm com a Teoria da


Relatividade Geral. Foi o primeiro a mostrar que de acordo com essa
teoria possvel viajar para trs no tempo.
Autista,quem?
Gnios e autistas?

Segundo pesquisadores
ingleses, Einstein e Newton
sofriam de uma sndrome
cerebral
Mais tarde, na Universidade de Princeton, adotou uma rotina
curiosa. Fizesse chuva ou sol, todos os dias, ele e seu nico
amigo (um matemtico neurtico chamado Kurt Gbel)
saam para passear depois de se telefonarem pontualmente
s 11 horas.
VEJA edio 1 802 - 14 de maio
de 2003
O que Hilbert pretendia?

Axiomatizar todo o corpo de conhecimento matemtico


(inclusive com objetivo de provar que todo problema
matemtico fosse solvel).

Provar, por meios estritamente finitrios, que a axiomtica


pretendida fosse consistente.
Tudo aconteceu em Knigsberg

Knigsberg, 7 de setembro de 1930. No dia em que o Brasil


independente completava 108 anos. na mesma lendria cidade
de Knigsberg (hoje Kaliningrado) onde nasceu Immanuel Kant
em 1724

onde Leonhard Euler resolveu em 1736 o famoso "Problema


das 7 Pontes" que deu origem topologia e teoria dos grafos

e onde nasceu Christian Goldbach em 1690, e que numa carta a


Euler em 1742 props um dos mais famosos problemas
irresolvidos da teoria dos nmeros,

os matemticos perderam a inocncia...


A expulso do paraso

Naquele domingo Kurt Gdel timidamente anunciou:

"Pode-se, de fato, exibir sentenas


verdadeiras mas que so indemonstrveis
no sistema formal da matemtica".
O nico dos presentes que imediatamente compreendeu a
revoluo que se iniciava foi Johann von Neumann.
Os matemticos acabavam de ser expulsos do paraso...
Hilbert e a era da inocncia

A preocupao em provar a consistncia da Matemtica com os


mtodos que pareciam mais seguros (isto , finitrios), era
compreensvel aps a crise desencadeada pela descoberta, no
comeo do sculo, de que paradoxos podiam ser expressos
matematicamente. Em particular, o conhecido Paradoxo de
Russell despertou suspeitas sobre os conceitos impredicativos
ou circulares em Matemtica.

Lembremos que Hilbert achava que no existe ignorabimus em


Matemtica!
O Paradoxo de Russell: ser que toda
propriedade define um conjunto?

Bertrand Russell propunha que se toda propriedade define um


conjunto, ento a propriedade de "no pertencer a si mesmo",
definiria um conjunto R, a saber, o "conjunto de todos os
conjuntos que no pertencem a si mesmos". Como R um
conjunto, se ele pertence a si mesmo, isto , se R R, ento no
um elemento de R, isto , R R. Analogamente se R R,
ento R R, o que significa:
R R se e somente se R R, uma contradio.
Os famosos Teoremas da Incompletude de
Gdel
1o Teorema de Incompletude: Em todo sistema formal
consistente S, com um mnimo de Aritmtica, possvel
formalizar uma sentena U tal que U possa ser interpretada
intuitivamente como a afirmao de que ela prpria
indemonstrvel em S.

Essa sentena U formalmente indemonstrvel em S, e portanto


ela expressa um fato verdadeiro. Contrariando o que Hilbert
acreditava, U constitui um legtimo ignorabimus em
Matemtica! Em segundo lugar, Gdel mostrou tambm que:
Os famosos Teoremas da Incompletude de
Gdel: o segundo Teorema

2o Teorema da Incompletude: A prova da consistncia para


sistemas formais (envolvendo um pouco de Artimtica, nas
condies que Hilbert queria) no pode ser formalizada
dentro do prprio sistema.
Uma contribuio do Malufismo
Lgica e Matemtica

Um exemplo que ilustra a idia de Gdel (no 1o Teorema de


Incompletude) o seguinte:

Um conhecido poltico que havia mentido durante toda sua vida


pblica, antes de retirar-se da carreira poltica, afirmou o
seguinte, tentando salvar sua memria:

"Eu sempre menti em toda minha carreira, e


esse um fato que pode ser provado".
Seus adversrios quiseram provar que ele realmente havia
mentido a vida toda. No entanto, depararam-se com um
problema: se inclusive essa ltima frase fosse mentira, ou ele
no havia mentido a vida toda, ou esse fato no poderia ser
provado.

Seus comparsas, por outro lado, tentando argumentar que ele no


havia mentido a vida toda, encontraram um problema
semelhante: sabendo que M. era mentiroso, a nica esperana
era argumentar que a ltima frase fosse verdadeira, o que seria
admitir que se poderia provar que ele realmente mentiu sempre.
Um fato verdadeiro, mas indemonstrvel

Portanto o fato U:

"M. sempre mentiu"

tal que nem U e nem ~U (onde "~" significa "negao") podem


ser provados, mas contudo verdadeiro, porque ele sempre
mentiu, inclusive ao afirmar que U poderia ser provado!
A dia da prova de Gdel: A mquina DIN-DIN

A mquina DIN-DIN imprime, numa fita, combinaes arbitrrias


dos smbolos
D, I, N e -.
( D= dobro, I= imprimvel , N= no )
Algumas combinaes especiais so chamadas sentenas: so
estas quaisquer seqncias do tipo I-X, ID-X, NI-X e NID-X,
onde X uma seqncia arbitrria
Como funciona a mquina DIN-DIN

O mecanismo que faz DIN-DIN imprimir seqncias na fita um


sistema formal.

Por outro lado, uma interpretao (ou um modelo) do sistema


formal consiste em atribuir um sentido s sentenas e um valor-
verdade ("verdadeiro" ou "falso") a tal sentido, da seguinte
maneira:
1) I-X significa "X imprimvel", e verdadeira se e somente se
X aparece (mais cedo ou mais tarde) impresso na fita.
2) ID-X significa "X-X imprimvel" (isto , o dobro de X
imprimvel) e verdadeira sse X-X aparece (mais cedo ou mais
tarde) impresso na fita.
3) NI-X significa "X no e imprimvel", e verdadeira sse X
nunca aparece impressa na fita.
4) NID-X significa "X-X no imprimvel", e verdadeira sse X-
X nunca aparece impresso na fita.
Filosofando sobre a mquina...

Pode-se ver a que a interpretao (que associa "imprimvel" a I,


"dobro" a D, e "no" a N) uma propriedade fora da mquina,
que "fala sobre" a mquina, ao contrrio da noo de sistema
formal, que de certa forma " a prpria" mquina. Fazemos
ainda uma hiptese adicional ao sistema formal

Hiptese de correo: Quando DIN-DIN imprime sentenas,


essas sentenas so verdadeiras. Isso no significa que DIN-
DIN imprime somente sentenas, nem que ela imprime todas
as sentenas verdadeiras possveis, mas apenas que DIN-
DIN no imprime sentenas falsas.
A sentena NID-NID o 1. Teorema de Gdel!


essa sentena verdadeira sse o dobro de NID, isto , NID-
NID, nunca aparece impresso na fita, ou, em outras palavras, a
sentena NID-NID afirma que ela prpria verdadeira sse no
imprimvel.

Temos ento que, ou ela falsa e imprimvel, ou verdadeira e


no imprimvel. O primeiro caso no pode ocorrer, pela
Hiptese de correo; portanto NID-NID um exemplo de
sentena verdadeira que, diz eu no sou imprimvel, e qua
mquina de fato no pode imprimir!
Indecidibilidade do
Problema da Parada

Alan Turing demonstrou em 1936 que no existe um programa


(algoritmo) geral que possa ter qualquer outro programa + uma
entrada, como entrada , e e decidir se isso vai para ou no.

Turing ainda resolveu o chamado Entscheidungsproblem


(indecidibilidade da lgica de primeira ordem). Este mesmo
resultado foi independentemente obtido por Alonzo Church ainda
em 1936.
A Batalha Entre Hrcules e a Hidra
Um exemplo concreto de incompletude na Aritmtica de Peano
(PA) que uma contrapartida Matemtica de um episdio
mitolgico.

A Hidra era uma criatura de nove cabeas, contra a qual todos os


heris fracassavam, porque de cada cabea cortada brotavam
outras duas. Coube a Hrcules, filho de Zeus, a tarefa de
derrotar a Hidra como um dos seus doze trabalhos, os quais,
realizados, lhe deram o dom da imortalidade.
A Super-Hidra

Suponhamos que por alguma razo olmpica, Hrcules, agora j


imortal, seja incumbido de combater uma outra Hidra, mais perigosa
que a primeira.

A Super-Hidra agora um monstro finito, em forma de rvore,


constituda de uma raiz e de um nmero finito de pescoos (ou ns).
Os ns superiores so as cabeas. Hrcules deve venc-la cortando
todos os ns, at cortar a raiz.
Como a Super-Hidra se regenera

Essa Hidra, contudo, tem propriedades regenerativas


surpreendentes: se denotamos por (c) o (nico) predecessor
de um n c, e por ( (c)) o predecessor de (c), a Hidra tem a
seguinte propriedade:

Para qualquer n c, ela pode gerar em ( (c)) um nmero


arbitrrio de cpias do que sobrou a partir de (c), caso (
(c)) no seja a raiz.

Caso ( (c)) ou (c) seja a raiz, no h possibilidade de


regenerao.
Como pode Hrcules venc-la?

Pode-se demonstrar que a Hidra perde sempre, independente de


qualquer estratgia que Hrcules utilize, mas tal fato no pode
ser demonstrado em PA!

Uma prova sinttica, que deixa claro todo o processo


combinatrio envolvido, pode ser feita atribuindo-se ordinais s
Hidras, e mostrando-se que a assero "Hrcules vence contra
qualquer Hidra" equivale induo transfinita sobre o ordinal o
As ms interpretaes dos Teoremas de
Gdel
Os teoremas de Gdel mostram que o conhecimento absoluto
impossvel

Ser que algum j pretendeu o "conhecimento absoluto"?

Muitas questes em matemtica no podem ser demonstrados.


Isso conseqncia dos teoremas de Gdel.

Isso nada tem a ver com Gdel. A incomensurabilidade da raiz


quadrada de 2, a quadratura do crculo, a trisseco do ngulo
com rgua e compasso, etc., foram mostrados ser
indemonstrveis independentemente dos teoremas de Gdel

"Gdel mostrou que a inteligncia humana ser sempre superior


s teorias formais, e portanto sempre superior s mquinas"

Ningum jamais formalizou a inteligncia humana...


Referncias

Walter Carnielli e Richard L. Epstein.


Computabilidade, funes computveis, lgica e os fundamentos da
matemtica. Editora da UNESP, 2006.

Torkel Franzn. Gdels Theorem: An Incomplete Guide to Its Use


and Abuse. Wellesley, MA: AK Peters, 2005.

Torkel Franzn. The Popular Impact of Gdels Incompleteness


Theorem. Notices of the AMS, 53, No. 4 (April 2006), 440443.

Douglas R Hofstadter. Godel, Escher e Bach: Um Entrelaamento de


Genios Brilhantes Editora: IMESP-Imprensa Oficial SP, 2001.