Global ETD Search

1	Considerações sobre a demonstração original do teorema da completude de Kurt Gödel Sanctos, Cassia Sampaio 11 May 2015 (has links) Made available in DSpace on 2016-04-27T17:27:11Z (GMT). No. of bitstreams: 1 Cassia Sampaio Sanctos.pdf: 875084 bytes, checksum: 3baa23ce43e41c748fa70bf983f30e20 (MD5) Previous issue date: 2015-05-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / 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 / 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 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::CIENCIAS HUMANAS::FILOSOFIA

Search results

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