Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
�ndice
1 Hist�ria
2 Contexto
3 Primeiro teorema da incompletude
3.1 Significado do primeiro teorema da incompletude
3.2 Rela��o com o paradoxo do mentiroso
3.3 Extens�es do resultado original de G�del
4 O segundo teorema da incompletude
4.1 Implica��es para provas de consist�ncia
5 Exemplos de afirma��es indecid�veis
5.1 Afirma��es indecid�veis prov�veis em sistemas maiores
6 Limita��es dos teoremas de G�del
7 Ver tamb�m
8 Refer�ncias
8.1 Artigos de G�del
8.2 Artigos de Outrem
8.3 Livros sobre os teoremas
8.4 Refer�ncias diversas
9 Liga��es externas
Hist�ria
Foto do matem�tico David Hilbert.
Posteriormente, Church e Turing demonstraram que n�o existe nenhum algoritmo capaz
de provar se "uma proposi��o qualquer faz ou n�o parte de uma teoria".
Curiosamente, at� 1963, nem G�del nem qualquer outro matem�tico havia apresentado
alguma proposi��o que ilustrasse os teoremas da indecidibilidade. Somente ent�o o
jovem Paul Cohen, de Stanford, desenvolveu uma t�cnica para teste de proposi��es
indecid�veis. Cohen mostrou que a hip�tese do continuum, justamente uma das
quest�es fundamentais da matem�tica, era indecid�vel.
Contexto
Para cada teoria formal consistente T que possui uma pequena quantidade necess�ria
da teoria dos n�meros, a senten�a de G�del G correspondente afirma: �G n�o pode ser
provada dentro da teoria T�. Essa interpreta��o de G nos leva � seguinte an�lise
informal: se G fosse demonstr�vel sob os axiomas e regras de infer�ncia de T, ent�o
T teria um teorema, G, que efetivamente se contradiz, e ent�o a teoria T seria
inconsistente. Isto significa que se a teoria T � consistente, ent�o G n�o pode ser
provada dentro dela, e assim a teoria T � incompleta. Al�m disso, a alega��o que G
faz sobre sua pr�pria indemonstrabilidade � correta. Nesse sentido, G n�o � somente
indemonstr�vel como tamb�m � verdadeira, e a �demonstrabilidade dentro da teoria T�
n�o � o mesmo que verdade. Essa an�lise informal pode ser formalizada para fazer
uma prova rigorosa do teorema da incompletude. A prova formal revela exatamente a
hip�tese necess�ria para a hip�tese T para que a natureza contradit�ria de G nos
leve a uma genu�na contradi��o.
Cada teoria efetivamente gerada tem sua pr�pria senten�a de G�del. � poss�vel
definir uma teoria T� maior que cont�m T inteira mais G como um axioma adicional.
Isto n�o resultar� numa teoria completa, porque o teorema de G�del tamb�m se
aplicar� a T�, e assim T� n�o pode ser completa. Nesse caso, G � um teorema em T�,
porque � um axioma. Como G somente afirma que n�o � prov�vel em T, nenhuma
contradi��o � apresentada por sua indemonstrabilidade em T�. No entanto, como o
teorema da incompletude se aplica a T�, existir� uma nova afirma��o de G�del, G�,
para T�, mostrando que T� tamb�m � incompleta. G� se diferenciar� de G, pois se
referir� a T� e n�o, a T.
O teorema de G�del mostra que, em teorias que incluem uma pequena parte da teoria
dos n�meros, uma completa e finita lista de axiomas n�o pode nunca ser criada, ou
sequer uma lista infinita que pode ser enumerada por um programa de computador.
Cada vez que uma nova afirma��o � adicionada como um axioma, h� outras afirma��es
verdadeiras que ainda n�o podem ser provadas, mesmo com o novo axioma. Se axiomas
forem sendo adicionados, isso tornar� o sistema completo, com o custo de tornar o
sistema inconsistente.
Existem listas completas e consistentes de axiomas para a aritm�tica que n�o podem
ser enumeradas por programas de computador. Por exemplo, algu�m pode considerar
todas as afirma��es verdadeiras sobre os n�meros naturais como axiomas (e nenhuma
afirma��o falsa), o que d� na teoria conhecida por �aritm�tica verdadeira�. A
dificuldade � que n�o existe uma forma mec�nica de decidir, dado uma afirma��o
sobre os n�meros naturais, se � um axioma da teoria, e assim n�o h� uma forma
efetiva de verificar uma prova formal dessa teoria.
N�o � poss�vel trocar �n�o demonstr�vel� por �falso� numa senten�a de G�del, porque
o predicado �Q � um n�mero de G�del de uma f�rmula falsa� n�o pode ser representado
como uma f�rmula da aritm�tica. Esse resultado, conhecido como teorema de n�o
definibilidade de Tarski, foi descoberto independentemente por G�del (quando
trabalhou na prova do teorema da incompletude) e por Alfred Tarski.
Extens�es do resultado original de G�del
G�del demonstrou a incompletude do Principia Mathematica, uma teoria particular da
aritm�tica, mas uma demonstra��o paralela n�o p�de ser dada por nenhuma teoria
efetiva de certa expressividade. G�del comentou esse fato na introdu��o de seu
artigo, mas restringiu a prova a um sistema para ser mais concreto. Em afirma��es
modernas do teorema, � comum afirmar condi��es efetivas e expressivas como
hip�teses para o teorema da incompletude, ent�o n�o seria limitada a nenhuma teoria
formal particular. A terminologia usada para afirmar essas condi��es n�o tinha sido
desenvolvida em 1931 quando G�del publicou esses resultados.
Como com o primeiro teorema, G�del escreveu em linguagem matem�tica muito t�cnica,
podendo ser parafraseada:
Al�m disso, a prova padr�o do segundo teorema da incompletude assume que ProvA(P)
satisfaz a condi��o de demonstrabilidade de Hilbert-Bernays. Fazendo #(P)
representar o n�mero de G�del da f�rmula P, a condi��o de derivabilidade diz:
Por causa desses dois sentidos da palavra, o termo independente �, �s vezes, usado
no lugar de indecid�vel para o sentido de �nem demonstr�vel nem refut�vel�. O uso
de �independente� tamb�m � amb�guo, contudo. Este sentido pode ser usado como �n�o
demonstr�vel�, deixando aberto se uma afirma��o independente deve ser refutada.
O trabalho conjunto de G�del e Paul Cohen nos deu dois exemplos concretos de
afirma��es indecid�veis (no primeiro sentido do termo): a hip�tese do continuum n�o
pode ser provada nem refutada no conjunto de Zermelo-Fraenkel � ZFC (a axiomiza��o
padr�o da teoria dos conjuntos), e o axioma da escolha n�o pode ser refutado nem
provado na ZF (que s�o todos os axiomas do ZFC exceto o axioma da escolha. Esses
resultados n�o requerem o teorema da incompletude. G�del provou em 1940 que nenhuma
dassas afirma��es podem ser refutadas nas teorias dos conjuntos ZF ou ZFC. Na
d�cada de 1960, Cohen provou que nenhuma afirma��o pode ser provada a partir do ZF,
e a hip�tese do continuum n�o pode ser provada a partir do ZFC.
As conclus�es dos teoremas de G�del s� s�o provadas para as teorias formais que
satisfazem as hip�teses necess�rias. Nem todos os sistemas axiom�ticos satisfazem
essas hip�teses, mesmo quando esses sistemas t�m modelos que incluem os n�meros
naturais como um subconjunto. Por exemplo, existem axiomatiza��es de primeira ordem
da geometria de Euclides, de corpo real fechado, e da aritm�tica na qual a
multiplica��o n�o � demonstravelmente total; nenhum desses atende �s hip�teses dos
teoremas de G�del. O ponto chave � que essas axiomatiza��es n�o s�o expressivas o
suficiente para definir o conjunto dos n�meros naturais ou para desenvolver
propriedades para eles. Em rela��o ao terceiro exemplo, Dan Willard (2001) estudou
muitos sistemas fracos da aritm�tica que n�o satisfazem as hip�teses do segundo
teorema da incompletude, e que s�o consistentes e capazes de provar sua pr�pria
consist�ncia (veja teorias auto-verific�veis).
Refer�ncias
Artigos de G�del
Artigos de Outrem
George Boolos, 1989, "A New Proof of the G�del Incompleteness Theorem", Notices
of the American Mathematical Society v. 36, pp. 388�390 and p. 676, reprinted in
Boolos, 1998, Logic, Logic, and Logic, Harvard Univ. Press. ISBN 0-674-53766-1
Arthur Charlesworth, 1980, "A Proof of Godel's Theorem in Terms of Computer
Programs," Mathematics Magazine, v. 54 n. 3, pp. 109�121. JStor
Martin Davis, "The Incompleteness Theorem", in Notices of the AMS vol. 53 no. 4
(April 2006), p. 414.
Jean van Heijenoort, 1963. "G�del's Theorem" in Edwards, Paul, ed.,
Encyclopedia of Philosophy, Vol. 3. Macmillan: 348-57.
Geoffrey Hellman, How to G�del a Frege-Russell: G�del's Incompleteness Theorems
and Logicism. No�s, Vol. 15, No. 4, Special Issue on Philosophy of Mathematics.
(Nov., 1981), pp. 451�468.
David Hilbert, 1900, "Mathematical Problems." English translation of a lecture
delivered before the International Congress of Mathematicians at Paris, containing
Hilbert's statement of his Second Problem.
Kikuchi, Makoto; Tanaka, Kazuyuki (1994), �On formalization of model-theoretic
proofs of G�del's theorems�, Notre Dame Journal of Formal Logic, ISSN 0029-4527, 35
(3): 403�412, MR 1326122, doi:10.1305/ndjfl/1040511346
Stephen Cole Kleene, 1943, "Recursive predicates and quantifiers," reprinted
from Transactions of the American Mathematical Society, v. 53 n. 1, pp. 41�73 in
Martin Davis 1965, The Undecidable (loc. cit.) pp. 255�287.
John Barkley Rosser, 1936, "Extensions of some theorems of G�del and Church,"
reprinted from the Journal of Symbolic Logic vol. 1 (1936) pp. 87�91, in Martin
Davis 1965, The Undecidable (loc. cit.) pp. 230�235.
John Barkley Rosser, 1939, "An Informal Exposition of proofs of G�del's Theorem
and Church's Theorem", Reprinted from the Journal of Symbolic Logic, vol. 4 (1939)
pp. 53�60, in Martin Davis 1965, The Undecidable (loc. cit.) pp. 223�230
C. Smorynski, "The incompleteness theorems", in J. Barwise, ed., Handbook of
Mathematical Logic, North-Holland 1982 ISBN 978-0-444-86388-1, pp. 821�866.
Dan E. Willard (2001), "Self-Verifying Axiom Systems, the Incompleteness
Theorem and Related Reflection Principles", Journal of Symbolic Logic, v. 66 n. 2,
pp. 536�596. doi:10.2307/2695030
Zach, Richard (2003), �The Practice of Finitism: Epsilon Calculus and
Consistency Proofs in Hilbert's Program� (PDF), Berlin, New York: Springer-Verlag,
Synthese, ISSN 0039-7857, 137 (1): 211�259, doi:10.1023/A:1026247421383
Richard Zach, 2005, "Paper on the incompleteness theorems" in Grattan-Guinness,
I., ed., Landmark Writings in Western Mathematics. Elsevier: 917-25.
Francesco Berto. There's Something about G�del: The Complete Guide to the
Incompleteness Theorem John Wiley and Sons. 2010.
Domeisen, Norbert, 1990. Logik der Antinomien. Bern: Peter Lang. 142 S. 1990.
ISBN 3-261-04214-1. Zentralblatt MATH
Torkel Franz�n, 2005. G�del's Theorem: An Incomplete Guide to its Use and
Abuse. A.K. Peters. ISBN 1-56881-238-8 MR2007d:03001
Douglas Hofstadter, 1979. G�del, Escher, Bach: An Eternal Golden Braid. Vintage
Books. ISBN 0-465-02685-0. 1999 reprint: ISBN 0-465-02656-7. MR80j:03009
Douglas Hofstadter, 2007. I Am a Strange Loop. Basic Books. ISBN 978-0-465-
03078-1. ISBN 0-465-03078-5. MR2008g:00004
Stanley Jaki, OSB, 2005. The drama of the quantities. Real View Books.
Per Lindstr�m, 1997, Aspects of Incompleteness, Lecture Notes in Logic v. 10.
J.R. Lucas, FBA, 1970. The Freedom of the Will. Clarendon Press, Oxford, 1970.
Ernest Nagel, James Roy Newman, Douglas Hofstadter, 2002 (1958). G�del's Proof,
revised ed. ISBN 0-8147-5816-9. MR2002i:03001
Rudy Rucker, 1995 (1982). Infinity and the Mind: The Science and Philosophy of
the Infinite. Princeton Univ. Press. MR84d:03012
Smith, Peter, 2007. An Introduction to G�del's Theorems. Cambridge University
Press. MathSciNet
N. Shankar, 1994. Metamathematics, Machines and G�del's Proof, Volume 38 of
Cambridge tracts in theoretical computer science. ISBN 0-521-58533-3
Raymond Smullyan, 1991. Godel's Incompleteness Theorems. Oxford Univ. Press.
�, 1994. Diagonalization and Self-Reference. Oxford Univ. Press. MR96c:03001
Hao Wang, 1997. A Logical Journey: From G�del to Philosophy. MIT Press. ISBN 0-
262-23189-1 MR97m:01090
Refer�ncias diversas
Liga��es externas
Stanford Encyclopedia of Philosophy: "Kurt G�del" � by Juliette Kennedy.
MacTutor biographies:
Kurt G�del.
Gerhard Gentzen.
What is Mathematics:G�del's Theorem and Around by Karlis Podnieks. An online
free book.