Dissertação
- Autor
- MARIA DA PAZ NUNES DE MEDEIROS
- Orientador(a)
- JOSE ALEXANDRE DURRY GUERZONI
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- LOGICA E FILOSOFIA DA CIENCIA
- Grau
- MESTRADO
- Ano
- 1994
1994MARIA DA PAZ NUNES DE MEDEIROS. OS TEOREMAS DE INCOMPLETUDE DE GODEL.. 1994. Dissertação (MESTRADO em LOGICA E FILOSOFIA DA CIENCIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP. Orientador(a): JOSE ALEXANDRE DURRY GUERZONI.1
EM 1931 GODEL APRESENTOU DOIS TEOREMAS DE INCOMPLETUDE QUE INDISCUTIVELMENTE, TOCAM OS RESULTADOS MAIS IMPORTANTES DA LOGICA NO INICIO DESTE SECULO. PRETENDE-SE, NESTE TRABALHO, APRESENTAR UMA DEMONSTRACAO DETA LHADA DO PRIMEIRO TEOREMA, NA QUAL, TODAS AS FORMULAS ENVOLVIDAS SEJAM EXPLICITADAS. ESSA DEMONSTRACAO BASEIA-SE NA IDEIA DE AUTO-REFERENCIA. CONSIDERA-SE SIMULTANEAMENTE UMA TEORIA FORMAL (ARITMETICA DE PEANO) E UMA INTUITIVA (TEORIA INTUITIVA DOS NUMEROS) PARA MOSTRAR, VIA GODELIZACAO QUE AS PROPRIEDADES E OPERACOES DE CUNHA SINTANTICO-MORFOLOGICO DA TEORIAL FORMAL SAO REPRESENTAVEIS NELA PROPRIA GRANTIDA ESSA REPR ERTAS CONDICOES DE DERINABILIDADE.
Palavras-chave: