Spelling suggestions: "subject:"_programa dde hilbert"" "subject:"_programa dde gilbert""
1 |
Considerações sobre a demonstração original do teorema da completude de Kurt GödelSanctos, 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
|
Page generated in 0.3503 seconds