Escolar Documentos
Profissional Documentos
Cultura Documentos
A Matematica de Kurt Goedel
A Matematica de Kurt Goedel
Fernando Ferreira
Universidade de Lisboa
Introduc
ao
Epis
odio relatado por John Dawson na p. 266 de [6].
Um dos artigos de 1933 e uma reimpressao dum artigo publicado um ano antes na
revista Anzeiger der Akademie der Wissenschaften in Wien.
3
O teorema da completude
do calculo de predicados, se ela e valida sera que entao e formalmente dedutvel?4 A resposta e afirmativa, como mostrou Godel na sua dissertacao
de doutoramento submetida `a Universidade de Viena em Outubro de 1929 e
defendida em Fevereiro de 1930 (uma reformulacao da tese foi publicada em
[10]). John Dawson, biografo de Godel, reporta que muito provavelmente
Godel escolheu o topico de dissertacao sozinho e que a completou antes de
a mostrar ao seu supervisor, Hans Hahn (cf. [6], p. 54 e tambem nota 2 de
[43]).
As formulas do calculo de predicados obtem-se formalmente a partir de
smbolos relacionais R, Q, etc. e de variaveis individuais x, y, etc. por
meio da construcao de formulas atomicas, do genero R(x, y), e da aplicacao
de conectivos proposicionais (negacao, condicional, etc.) e quantificacoes
universais e existenciais.5 Quando todas as variaveis duma formula ocorrem
caso da formula
quantificadas (mudas), diz-se que e uma formula fechada. E
yxR(x, y) xyR(x, y). Uma interpretacao desta formula consiste num
conjunto nao vazio X (o domnio da interpretacao) e numa relacao binaria
U X X (a interpretacao do smbolo relacional binario R). Quando
X e N e U e a relacao menor ou igual, a formula acima e verdadeira
nesta interpretacao, enquanto que se se modificar a interpretacao mantendo
o domnio N mas tomando U como sendo o conjunto diagonal de N N,
entao a formula em apreco e falsa. Uma formula fechada diz-se v
alida se for
6
verdadeira em todas as interpretacoes. A formula acima nao e valida, mas
ja o e a formula xyR(x, y) yxR(x, y).
Fruto do labor do programa logicista de Gottlob Frege, Bertrand Russell
et al., nos anos vinte do passado seculo a logica ja se encontrava axiomatizada
4
O problema an
alogo para o calculo proposicional (toda a tautologia e formalmente
dedutvel) fora solucionado afirmativamente por Bernays em 1926. Emil Post ja tinha
antecipado uma soluc
ao em 1921.
5
N
ao se incluem nem smbolos constantes, nem smbolos funcionais nem o sinal de
igualdade (o c
alculo de predicados puro). Porem, Godel tambem trata o caso com o
smbolo de igualdade e a presenca de smbolos constantes e funcionais nao levanta quaisquer
fundamental para se ter o resultado de completude que n
problemas. E
ao se permitam
quantificac
oes de smbolos relacionais (nem funcionais). Godel e enfatico a respeito deste
ponto na nota 3 de [10].
6
A terminologia das interpretacoes nao e de Godel. Em 1929 Alfred Tarski ainda nao
tinha publicado o seu tratamento matematico da nocao de formula (fechada) verdadeira
sob uma dada interpretac
ao. Mas, claramente, a nocao de validade era bem compreendida
informalmente o leitor certamente compreende-a o que e suficiente para se poder
enunciar e demonstrar o teorema da completude.
Nesta axiomatizac
ao, os smbolos logicos primitivos sao a negacao, a disjuncao e a
quantificac
ao universal. O condicional A B abrevia A B.
8
O leitor com estudos de l
ogica observara que este resultado incorpora o resultado de
Leopold L
owenheim de 1915 segundo o qual uma formula satisfazvel e satisfazvel numa
estrutura de domnio N. No c
alculo de predicados com igualdade tem tambem que se
prever o caso da f
ormula ser satisfazvel somente em domnios finitos.
9
Skolem mostrou como associar a cada formula F uma formula S (a sua forma normal
de Skolem) com a forma acima de tal modo que uma e satisfazvel num dado domnio se,
e somente se, a outra tambem o for. Para obter a sua reducao, Godel argumenta que se
S se deduz, ent
ao F tambem se deduz.
10
O fecho existencial duma f
ormula obtem-se prefixando-a com quantificadores existenciais de modo a obter uma f
ormula fechada. Mutatis mutandis para o fecho universal.
11
Dado que as f
ormulas Fn n
ao tem quantificadores, podemo-las considerar formulas do
Godel generaliza ainda o resultado da completude a um conjunto numeravel de formulas: dado um conjunto numeravel de formulas, ou bem
que elas sao simultaneamente satisfazveis ou, entao, a negacao duma conjuncao finita delas ja se deduz formalmente. Deste enunciado Godel retira
o seguinte resultado de compacidade: para que um conjunto numeravel de
formulas seja satisfazvel e condicao necessaria e suficiente que todo o seu
subconjunto finito seja satisfazvel.12 Mais tarde, em 1936, Anatolii Maltsev
generaliza a compacidade para conjuntos nao numeraveis. O proprio Godel
estabeleceu em 1932 (cf. [13]) uma especie de resultado de compacidade para
o caso nao numeravel no ambito do calculo proposicional.13 Na parte final
da sua tese, Godel demonstra ainda a independencia da axiomatica usada
por Hilbert e Ackermann.
Como
e que G
odel chegou `
a incompletude?
A compacidade parece ter-lhe ocorrido mais tarde, pois nao aparece na dissertacao.
Hoje em dia geralmente demonstra-se o teorema da completude usando o metodo das
testemunhas de Henkin. Este metodo e muito flexvel e aplica-se directamente ao caso
nao numer
avel, ao contr
ario do argumento de Godel. Qualquer livro moderno de logica
matem
atica explica o metodo (e.g., [40]).
13
Na nota [14], G
odel d
a uma apresentacao mais geral dos teoremas da incompletude
usando a linguagem da aritmetica em vez da linguagem da teoria dos tipos ou da teoria
dos conjuntos.
de Tarski sobre este assunto ainda estava um bom par de anos no futuro.15
Naturalmente, Godel substitui a nocao de verdade por uma nocao sintactica
no seu artigo sobre a incompletude [11]. Depois de esbocar a demonstracao
da incompletude na parte final da primeira seccao do seu glorioso artigo,
Godel e elucidativo:
O metodo de demonstracao que se utilizou pode obviamente ser
aplicado a qualquer sistema formal que, em primeiro lugar, possua meios de expressao suficientes para que, quando interpretado
intuitivamente, defina os conceitos (em especial o de formula dedutvel) que ocorrem no argumento que desenvolvemos acima; em
segundo lugar tem que ser um sistema no qual qualquer formula
dedutvel seja verdadeira. Na execucao detalhada da nossa demonstracao, que vem a seguir, substituiremos a segunda destas
hipoteses por uma mais fraca e puramente formal.
As cautelas de Godel tiveram a consequencia imediata de tornar mais forte o
enunciado do primeiro teorema da incompletude. Em particular, desde que
se suponha que a aritmetica seja formalmente consistente, a assercao autoreferencial esta assercao nao se deduz nao se deduz.16 Agora, com mais um
15
E interessante inquirir se G
odel sentiu a necessidade de formalizar matematicamente
a noc
ao de verdade para f
ormulas (fechadas) duma linguagem formal sob uma dada interpretac
ao. O seguinte e certo. Em primeiro lugar, determinadas afirmacoes de Godel
necessitam da definic
ao formal de verdade para serem substanciadas rigorosamente. Um
exemplo de tal afirmac
ao e a seguinte em [14]:
Se imaginarmos o sistema Z [da aritmetica] a ser sucessivamente alargado
pela introduc
ao de vari
aveis para classes de n
umeros, classes de classes de
n
umeros, etc., juntamente com correspondentes axiomas de compreensao,
obtemos uma sequencia (prolongavel no transfinito) de sistemas formais (...),
tendo-se que a consistencia (...) de cada um destes sistemas se demonstra
em todos os sistemas subsequentes.
Em segundo lugar, G
odel sabia que a nocao de verdade aritmetica nao se define na linguagem formal da aritmetica (uma antecipacao do teorema da indefinibilidade da verdade
de Tarski), como mostra uma carta de Godel a Ernst Zermelo em 1931 (cf. p. 427 de
[30]).
16
O primeiro teorema da incompletude, tal como enunciado por Godel no Teorema VI
de [11], tem duas partes. Esta e uma das partes e, como e patente, usa apenas como
hipotese a noc
ao sint
actica de consistencia (formal). Para a outra parte, Godel utiliza a
nocao mais forte de -consistencia. Sao estas nocoes que substituem a nocao de verdade
no enunciado de G
odel.
Outros trabalhos l
ogicos
10
11
12
No original, G
odel considera sistemas semi-formais porque inclue na axiomatica todas as asserc
oes universais finitisticamente demonstraveis. Isto nao e essencial para a
interpretac
ao.
23
A interpretac
ao de G
odel foi parcialmente antecipada por Andrei Kolmogorov em
1925 num artigo escrito em russo e desconhecido de Godel. O resultado tambem foi
demonstrado independentemente por Gerhard Gentzen que, ao tomar conhecimento do
trabalho de G
odel, num acto de grande elegancia retirou o seu artigo quando este ja
estava na fase das provas tipogr
aficas.
13
O universo construtvel
A hipotese do contnuo diz que qualquer subconjunto infinito de R, nao numeravel, esta em bijeccao com R. Este era o primeiro problema da celebre
lista de problemas de David Hilbert na sua comunicacao ao Congresso Internacional de Matematica em Paris em 1900. Na publicacao [22] de 1938, Godel
anuncia que o axioma da escolha e a hipotese do contnuo sao consistentes
com os restantes axiomas da teoria dos conjuntos e, no ano seguinte, publica
em [23] uma demonstracao densa, directa e concisa deste resutado. Hilbert
nao teria tido em mente este genero de solucao. A solucao de Godel so e
possvel dado os avancos da logica entretanto realizados, em que evidentemente se inclui a formalizacao precisa da axiomatica da teoria dos conjuntos
no calculo de predicados com igualdade. Godel baseia-se na axiomatica de
Ernst Zermelo de 1908, complementada pelo axioma da substituicao.24 Esta
axiomatizacao ficou conhecida pela sigla ZF (Zermelo-Fraenkel).25 A teoria ZF C obtem-se de ZF adicionando-lhe o axioma da escolha. Tanto a
linguagem de ZF como a de ZF C tem apenas um u
nico smbolo relacional
primitivo: o smbolo de pertenca. Nao ha espaco neste trabalho para
fazer a exposicao da axiomatica. Chamo apenas a atencao para o axioma da
substituicao,26 proposto por Abraham Fraenkel em 1922. Sem este axioma
nao e possvel, por exemplo, formar o conjunto {N, P(N), P(P(N)), . . .}. Em
geral, nao e possvel efectuar definicoes por recursao transfinita.
O resultado de Godel e um teorema de consistencia relativa. Godel mostra
que se a teoria ZF for consistente entao a teoria ZF C juntamente com a
hipotese generalizada27 do contnuo tambem e consistente. O metodo de
24
A axiom
atica de Zermelo usa logica de segunda-ordem, ao inves da logica de primeiraordem (ou c
alculo de predicados) usada hoje em dia. A logica de segunda-ordem nao e
formal sendo por isso inadequada para estudos logico-matematicos.
25
ZF tambem inclui o axioma da fundacao que, e.g., impede a existencia de conjuntos
patol
ogicos que satisfacam a equacao x = {x}. Importantemente, este axioma garante
que todos os conjuntos estejam no universo cumulativo (ver nota 30 adiante e discussao
precedente). G
odel n
ao faz uso deste axioma em [23].
26
Recomendo o manual de Kenneth Kunen [37] como referencia para a axiomatica de
ZF C e outrossim para o resultado de consistencia de Godel. O segundo captulo do
manual, sobre combinat
oria infinita, nao e necessario para os resultados de consistencia.
27
Georg Cantor, o criador da teoria dos conjuntos, mostrou que a cardinalidade dum
conjunto x e sempre estritamente inferior `a cardinalidade do conjunto P(x) dos subconjuntos de x. A hip
otese generalizada do contnuo diz que, para todo o conjunto infinito x,
nao existe nenhum conjunto cuja cardinalidade se situa estritamente entre x e P(x).
14
15
=
= P(V )
= < V , para ordinais limite .
=
= Def(L )
= < L , para ordinais limite .
16
Modernamente, a verificac
ao do axioma da separacao usa um princpio de reflexao.
Veja-se [37] para terminologia e detalhes. Godel segue um caminho diferente que parece
exigir a presenca dum cardinal inacessvel. Contudo, no final do artigo, Godel menciona
slight modifications. O argumento do Teorema II usa tecnicas baseadas em resultados
de L
owenheim e Skolem e antecipa o teorema do colapso de Mostowski. Na sua monografia
de [24], G
odel apresenta todos os detalhes mas trabalha com uma teoria com variaveis para
conjuntos e para classes (a teoria dos conjuntos BG de Bernays-Godel). Ao contrario da
primeira demonstrac
ao, a nova demonstracao e pouco conceptual e a definicao do universo
construtvel e ad hoc. De acordo com o relatado por Kleene em [34], o proprio Godel
considerava a sua primeira demonstracao como a mais sugestiva.
33
Li pela primeira vez as cinco paginas do artigo [23] de Godel ha pouco tempo para
preparar o presente trabalho. Se bem que ja conhecesse a demonstracao de consistencia
desde os meus tempos de estudante de pos-graduacao, a concisao e direiteza do artigo de
Godel constituiram para mim tambem um prazer estetico de primeira classe (cf. citacao
de von Neumann no incio do artigo).
34
Os universos V e L tem os mesmos ordinais, mas certos ordinais podem ser cardinais
em L sem o ser em V (ver nota 29).
17
A interpretac
ao Dialectica
De acordo com Georg Kreisel (p. 104 de [36]), as origens do artigo de Godel da
revista Dialectica em 1958 remontam ao incio da decada de quarenta quando
Godel se debrucava sobre a forma de tornar explcito o caracter construtivo
35
No seu an
uncio em [22], G
odel tambem enuncia a consistencia de duas assercoes sobre
a estrutura de certas classes de subconjuntos de R. Este resultado e consequencia das
asserc
oes serem verdadeiras no universo construtvel e apoia-se no facto de existir uma
boa-ordem definvel (o que origina uma boa-ordem definvel em R). Para mais informacoes
sobre este assunto, consulte-se a introducao de Robert Solovay aos artigos de Godel em
[28].
36
Porem, os tipos os ordinais, neste caso sao objectos da propria teoria dos conjuntos . . .
37
Em 1963, Paul Cohen mostra que a negacao da hipotese do contnuo e consistente
com ZF C. G
odel, porem, j
a tinha admitido esta possibilidade em [25] e defendido que, a
dar-se, ela n
ao encerraria a quest
ao do contnuo.
38
Para o incio duma recolha de informacao sobre os mais recentes desenvolvimentos em
teoria dos conjuntos aflorados acima, recomendo os artigos [9] e [44].
18
19
20
Notas finais
References
[1] J. Avigad e S. Feferman. Godels functional (Dialectica) interpretation. In S. R. Buss, organizador, Handbook of proof theory, volume 137,
pages 337405. North Holland, Amsterdam, 1998.
41
Esta u
ltima nota est
a traduzida para portugues na contribuicao de A. J. Franco de
Oliveira neste n
umero do Boletim.
42
Consulte-se [37] para terminologia e explicacoes.
43
Na sua introduc
ao `
a correspondencia entre Godel e von Neumann em [30].
21
[2] Paul Benacerraf e Hilary Putnam, organizadores. Philosophy of Mathematics: Selected Readings. Prentice-Hall, 1964. Segunda edicao em
1983.
[3] Paul Bernays. Hilbert, David. In Paul Edwards, organizador, The Encyclopedia of Philosophy. Macmillan and the Free Press, 1967.
[4] Martin Davis, organizador. The Undecidable. Raven Press, New York,
1965.
[5] John Dawson Jr. Discussion of the foundations of mathematics. History
and Philosophy of Logic, 5:111129, 1984.
[6] John Dawson Jr. Logical Dilemmas: the Life and Work of Kurt G
odel.
A K Peters, Wellesley, Massachusetts, 1997.
[7] Burton Dreben e Warren Goldfarb. The Decision Problem: Solvable
Classes of Quantificational Formulas. Addison-Wesley, 1979.
[8] Solomon Feferman. Kurt Godel: conviction and caution. In S. G.
Shanker, organizador, G
odels Theorem in Focus, pages 96114. Routledge, 1988. Primeiramente publicado em 1984 na revista Philosophia
Naturalis.
[9] Fernando Ferreira. Teoria dos conjuntos: uma vista. Boletim da Sociedade Portuguesa da Matem
atica, 38:2947, 1998. Versao corrigida
em http://www.ciul.ul.pt/~ferferr/vistacorr.pdf.
[10] Kurt Godel. Die Vollstandigkeit der Axiome des logischen Funktionenkalk
uls. Monatshefte f
ur Mathematik und Physik, 37:349360, 1930.
Traduzido para ingles com o ttulo On the completeness of the calculus
of logic em [27].
22
[12] Kurt Godel. Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. Ergebnisse eines mathematischen Kolloquiums, 2:2728,
1932. Traduzido para ingles com o ttulo A special case of the decision
problem for theoretical logic em [27].
[13] Kurt Godel.
Eine Eigenschaft der Realisierungen des Aussagenkalk
uls. Ergebnisse eines mathematischen Kolloquiums, 3:2021,
1932. Traduzido para ingles com o ttulo A property of the realizations
of the propositional calculus em [27].
Traduzido para ingles com o ttulo On the decision problem for the
functional calculus of logic em [27].
[21] Kurt Godel. Zum intuitionistishen Aussagenkalk
ul. Ergebnisse eines
mathematischen Kolloquiums, 4:40, 1933. Reimpressao de [15] com comentario adicional.
[22] Kurt Godel. The consistency of the axiom of choice and the generalized
continuum hypothesis. Proceedings of the National Academy of Sciences,
U.S.A., 24:556557, 1938. Tambem em [28].
[23] Kurt Godel. Consistency proof for the generalized continuum hypothesis. Proceedings of the National Academy of Sciences, U.S.A., 25:220
224, 1939. Tambem em [28].
[24] Kurt Godel. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory, volume 3
of Annals of Mathematics Studies. Princeton University Press, 1940.
Tambem em [28].
[25] Kurt Godel. What is Cantors continuum problem? American Mathematical Monthly, 54:515525, 1947. Errata, 55, 151. Uma versao revista
e alargada foi publicada em [2]. Esta versao encontra-se traduzida para
portug
ues com o ttulo O que e o problema do contnuo de Cantor?
em [31]. Tambem publicado em [28].
24
[43] Hao Wang. Some facts about Kurt Godel. The Journal of Symbolic
Logic, 46:653659, 1981.
[44] W. Hugh Woodin. The continuum hypothesis, Part I. Notices of the
American Mathematical Society, 41:567576, 2001.
26