Use este identificador para citar ou linkar para este item:
https://repositorio.pucsp.br/jspui/handle/handle/11683| Tipo: | Tese |
| Título: | Considerações sobre a demonstração original do teorema da completude de Kurt Gödel |
| Autor(es): | Sanctos, Cassia Sampaio |
| Primeiro Orientador: | Porta, Mario Ariel González |
| Resumo: | 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 |
| Abstract: | 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 |
| Palavras-chave: | 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 Kurt Gödel Completeness First order logic Predicate calculus Functional restricted calculus FOL Formalism Axiomatic method Hilbert´s program |
| CNPq: | CNPQ::CIENCIAS HUMANAS::FILOSOFIA |
| Idioma: | por |
| País: | BR |
| Editor: | Pontifícia Universidade Católica de São Paulo |
| Sigla da Instituição: | PUC-SP |
| metadata.dc.publisher.department: | Filosofia |
| metadata.dc.publisher.program: | Programa de Estudos Pós-Graduados em Filosofia |
| Citação: | Sanctos, Cassia Sampaio. Considerações sobre a demonstração original do teorema da completude de Kurt Gödel. 2015. 74 f. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica de São Paulo, São Paulo, 2015. |
| Tipo de Acesso: | Acesso Aberto |
| URI: | https://tede2.pucsp.br/handle/handle/11683 |
| Data do documento: | 11-Mai-2015 |
| Aparece nas coleções: | Programa de Pós-Graduação em Filosofia |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| Cassia Sampaio Sanctos.pdf | 854,57 kB | Adobe PDF |  Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.