Considerações sobre a demonstração original do teorema da completude de Kurt Gödel

• Ano de defesa: 2015
• Autor(a) principal: Sanctos, Cassia Sampaio
• Orientador(a): González Porta, Mário Ariel
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Pontifícia Universidade Católica de São Paulo
• Programa de Pós-Graduação: Programa de Estudos Pós-Graduados em Filosofia
• Departamento: Filosofia
• País: BR
• Palavras-chave em Português: Kurt Gödel; Completude; Lógica de primeira ordem; LPO; Cálculo de predicados; Cálculo funcional restrito; Formalismo; Método axiomático; Programa de Hilbert
• Palavras-chave em Inglês: Kurt Gödel; Completeness; First order logic; Predicate calculus; Functional restricted calculus; FOL; Formalism; Axiomatic method; Hilbert´s program
• Área do conhecimento CNPq: CNPQ::CIENCIAS HUMANAS::FILOSOFIA
• Link de acesso: https://tede2.pucsp.br/handle/handle/11683

The thesis constitutes a critical review of Gödel´s doctoral dissertation which presents a proof for the completeness of first order logic. The introduction addresses the concepts of formalism, axiomatic method and completeness, thus the proof can be contextualized. The language for the restricted functional calculus is defined, with the corresponding syntax and semantics, and the original Gödel´s demonstration is updated. The appendix contains a translation of the referred dissertation, which is unprecedented in Portuguese