Primeiro teorema de incompletude de Gödel

Teoremas de incompletude de Gödel

P : Sejam n o número de Gödel de alguma seqüência de
expressões e1, . . . , en e m o número de Gödel de uma
Elaine Pimentel expressão bem formada e. Definimos o predicado P nm
como sendo verdadeiro se e1, . . . , en ` e. Dizemos que P
prova o par hn, mi.
Q : Seja Qx uma expressão bem formada que possui uma
única variável livre x e seja n o seu número de Gödel.
Representamos por Qn a expressão bem formada
1o Semestre - 2005 (fechada) formada a partir de Qx instanciando todas
as ocorrências de x por n. Uma vez que Qn possui um
número de Gödel, definimos o predicado Qxy que diz
que y é o número de Gödel de Qx.

Primeiro teorema de incompletude de Gödel

Primeiro teorema de incompletude de Gödel

• Com o predicado P xy, podemos também

• Qn significa que algum número n possui a dizer que uma expressão bem formada A não
propriedade n. é um teorema, ou não pode ser provada em
• Mas Qn também diz que a expressão bem S.
formada com número de Gödel n (a saber, • De fato, seja a o número de Gödel de A.
Qx), possui a propriedade Q, uma vez que n
é apenas a referência a Qx. • Então a expressão
• Ou seja, n cria um tipo de auto-referência ¬(∃x.P xa)
indireta. Observe que predicados que fazem diz que não existe seqüência que prova A, ou
referênca a si próprios correspondem a simplesmente:
funções recursivas. ¬(` A)
 G
• O segundo passo para provar o teorema de
Gödel consiste em construir a sentença bem
formulada F de S:
F : ¬(∃x.∃y.P xy ∧ Qzy)
• Em palavras, F diz que não existe uma prova
do par hx, yi onde y é o número de Gödel de
Qz. Ou seja, Qz não pode ser provado em S.
• Para fazer F falar de si próprio, instanciamos
a única variável livre de F , z, ao número f
de Gödel de F :
G : ¬(∃x.∃y.P xy ∧ Qf y)
Alguns comentários sobre G
iv. Mas a negação de G também não pode ser
provada em S. De fato, suponha que ¬G seja
provável em S. Ou seja,
` ¬G
Como G é o mesmo que a proposição ¬(` G),
obtemos
` ¬G ≡ ` ¬(¬(` G))
≡ `G
o que contraria a nossa hipótese.
v. Desta forma, dizemos que G é indecidı́vel em
S, ou seja, nem G nem a sua negação podem
ser provados em S.
Alguns comentários sobre G
i. G = Qf , ou seja, G é a auto referência de F .
ii. G diz que não existe prova do par hx, yi, onde
y é o número de Gödel de Qf . Mas Qf é G.
iii. Ou seja, G diz que não existe prova em S de
G:
G ≡ ¬(` G)
Observações finais
• O comentário v acima já é suficiente para provar a
incompletude de S e, portanto, provar o primeiro
teorema de incompletude de Gödel para S.
• Mas o fato mais extraordinário sobre G é que ele é
verdadeiro! De fato, G diz que não existe prova de G
em S e isso nós acabamos de ver que é verdadeiro.
Observe que nós “provamos” que G é verdadeiro
através de uma meta-análise, não dentro de S.
• Ou seja, não obstante existem expressões bem
formadas que não podem ser provadas em S, existem
teoremas que não podem ser provados.
 Incompletude omega Dilema da incompletude

• Uma pergunta interessante que surge é: o que
acontece se adicionarmos G ao conjunto de axiomas
de S? O sistema resultante seria completo?
• A resposta é não. De fato, chamemos S’ a união de S
e G. Gödel provou que podemos sempre construir
uma outra expressão bem formada G0 que não pode
ser provada em S’. Claro, podemos adicionar G0 a S’ e
assim por diante.
• Através do uso abstrato do método de diagnalização,
Gödel provou que todos os sistemas dessa forma são
incompletos. Esse tipo de incompletude é chamado
incompletude omega.
• O teorema de Gödel não se aplica a todos os
sistemas de aritmética: só aos
suficientemente fortes.
• Isso cria o dilema da incompletude: ou o
sistema é incompleto porque é muito fraco,
ou ele é forte mas ainda incompleto pelo
teorema de Gödel.
• Moral da estória: se a matemática é
consistente (e todos acreditamos que sim!),
ela é incompleta.

Segundo teorema de incompletude de Gödel

• O segundo teorema de incompletude de

Gödel é tão revolucionário quanto o Segundo teorema de incompletude de Gödel
primeiro.
• Em poucas palavras, o segundo teorema diz
que nenhum sistema (suficientemente forte)
pode provar a sua própria consistência, a não 1. SC ⇒ G provado no primeiro teorema
ser que o sistema em si seja inconsistente. 2. (` SC) ⇒ (` G) (1) e meta-argumentação
• A expressão bem formada utilizada para 3. ¬(` G) provado no primeiro teorema
provar esse teorema é: 4. ¬(` SC) (2), (3) e modus tollens

SC : {S é consistente}
Segundo teorema de incompletude de Gödel
• O resultado do segundo teorema implica que,
para provar a consistência de um sistema A,
devemos fazê-lo ou informalmente, ou
através de argumentação em um sistema B.
• Desta forma, obtemos apenas uma
consistência relativa para A, uma vez que a
consistência de A agora depende da
consistência de B.
• Mas, por sua vez, a consistência de B deve
ser provada através da argumentação em um
sistema C, e assim por diante.
Gödel
• O primeiro teorema de Gödel provou que
sistemas que contém a aritmética não podem
ser completos, e que alguns teoremas de
teoria de números nunca poderão se
provadas verdadeiras ou falsas, não importa
o esforço que façamos.
• O segundo teorema mostra que a confiança
que temos na aritmética não pode nunca ser
perfeita.
• Ou seja, Gödel conseguiu, com uma tacada
só, destruir dois ideais da matemática, e o
fez em 1931, aos 25 anos de idade.