Dissertações
CONSIDERAÇÕES SOBRE A DEMONSTRAÇÃO ORIGINAL DO TEOREMA DA COMPLETUDE DE KURT GÖDEL
CASSIA SAMPAIO SANCTOS
Dissertação
Ver fonte original- Autor
- CASSIA SAMPAIO SANCTOS
- Orientador(a)
- MARIO ARIEL GONZALEZ PORTA
- Universidade
- PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO — PUC/SP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 2015
2015CASSIA SAMPAIO SANCTOS. CONSIDERAÇÕES SOBRE A DEMONSTRAÇÃO ORIGINAL DO TEOREMA DA COMPLETUDE DE KURT GÖDEL. 2015. Dissertação (MESTRADO em FILOSOFIA) — PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO, SP. Orientador(a): MARIO ARIEL GONZALEZ PORTA.3
O TRABALHO CONSTITUI UM COMENTÁRIO CRÍTICO DA DISSERTAÇÃO DE DOUTORADO DE GÖDEL QUE APRESENTA UMA PROVA DE COMPLETUDE DA LÓGICA DE PRIMEIRA ORDEM. A INTRODUÇÃO TRATA DOS CONCEITOS DE FORMALISMO, MÉTODO AXIOMÁTICO E COMPLETUDE, PARA QUE SEJA POSSÍVEL CONTEXTUALIZAR A PROVA. A LINGUAGEM PARA O CÁLCULO FUNCIONAL RESTRITO É DEFINIDA, COM SUA SINTAXE E SEMÂNTICA, E A DEMONSTRAÇÃO ORIGINAL DE GÖDEL É ATUALIZADA. O APÊNDICE CONTÉM A TRADUÇÃO DA REFERIDA DISSERTAÇÃO, QUE É INÉDITA EM LÍNGUA PORTUGUESA
Palavras-chave: