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

Detalhes bibliográficos
Autor(a) principal: Sanctos, Cassia Sampaio
Data de Publicação: 2015
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da PUC_SP
Texto Completo: https://tede2.pucsp.br/handle/handle/11683
Resumo: 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
id PUC_SP-1_e1e9bcbf237dbda93433c8213059431c
oai_identifier_str oai:repositorio.pucsp.br:handle/11683
network_acronym_str PUC_SP-1
network_name_str Biblioteca Digital de Teses e Dissertações da PUC_SP
repository_id_str
spelling Porta, Mario Ariel Gonzálezhttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4469958Z1Sanctos, Cassia Sampaio2016-04-27T17:27:11Z2015-05-292015-05-11Sanctos, 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.https://tede2.pucsp.br/handle/handle/11683The 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 PortugueseO 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 portuguesaCoordenação de Aperfeiçoamento de Pessoal de Nível Superiorapplication/pdfhttp://tede2.pucsp.br/tede/retrieve/23949/Cassia%20Sampaio%20Sanctos.pdf.jpgporPontifícia Universidade Católica de São PauloPrograma de Estudos Pós-Graduados em FilosofiaPUC-SPBRFilosofiaKurt GödelCompletudeLógica de primeira ordemLPOCálculo de predicadosCálculo funcional restritoFormalismoMétodo axiomáticoPrograma de HilbertKurt GödelCompletenessFirst order logicPredicate calculusFunctional restricted calculusFOLFormalismAxiomatic methodHilbert´s programCNPQ::CIENCIAS HUMANAS::FILOSOFIAConsiderações sobre a demonstração original do teorema da completude de Kurt Gödelinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da PUC_SPinstname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPTEXTCassia Sampaio Sanctos.pdf.txtCassia Sampaio Sanctos.pdf.txtExtracted texttext/plain108493https://repositorio.pucsp.br/xmlui/bitstream/handle/11683/3/Cassia%20Sampaio%20Sanctos.pdf.txtb816278140e5fe030598ac62965d8f9aMD53ORIGINALCassia Sampaio Sanctos.pdfapplication/pdf875084https://repositorio.pucsp.br/xmlui/bitstream/handle/11683/1/Cassia%20Sampaio%20Sanctos.pdf3baa23ce43e41c748fa70bf983f30e20MD51THUMBNAILCassia Sampaio Sanctos.pdf.jpgCassia Sampaio Sanctos.pdf.jpgGenerated Thumbnailimage/jpeg1943https://repositorio.pucsp.br/xmlui/bitstream/handle/11683/2/Cassia%20Sampaio%20Sanctos.pdf.jpgcc73c4c239a4c332d642ba1e7c7a9fb2MD52handle/116832022-04-28 06:57:06.237oai:repositorio.pucsp.br:handle/11683Biblioteca Digital de Teses e Dissertaçõeshttps://sapientia.pucsp.br/https://sapientia.pucsp.br/oai/requestbngkatende@pucsp.br||rapassi@pucsp.bropendoar:2022-04-28T09:57:06Biblioteca Digital de Teses e Dissertações da PUC_SP - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.por.fl_str_mv Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
title Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
spellingShingle Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
Sanctos, Cassia Sampaio
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
title_short Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
title_full Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
title_fullStr Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
title_full_unstemmed Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
title_sort Considerações sobre a demonstração original do teorema da completude de Kurt Gödel
author Sanctos, Cassia Sampaio
author_facet Sanctos, Cassia Sampaio
author_role author
dc.contributor.advisor1.fl_str_mv Porta, Mario Ariel González
dc.contributor.authorLattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4469958Z1
dc.contributor.author.fl_str_mv Sanctos, Cassia Sampaio
contributor_str_mv Porta, Mario Ariel González
dc.subject.por.fl_str_mv 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
topic 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
dc.subject.eng.fl_str_mv Kurt Gödel
Completeness
First order logic
Predicate calculus
Functional restricted calculus
FOL
Formalism
Axiomatic method
Hilbert´s program
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS HUMANAS::FILOSOFIA
description 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
publishDate 2015
dc.date.available.fl_str_mv 2015-05-29
dc.date.issued.fl_str_mv 2015-05-11
dc.date.accessioned.fl_str_mv 2016-04-27T17:27:11Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv 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.
dc.identifier.uri.fl_str_mv https://tede2.pucsp.br/handle/handle/11683
identifier_str_mv 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.
url https://tede2.pucsp.br/handle/handle/11683
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.publisher.program.fl_str_mv Programa de Estudos Pós-Graduados em Filosofia
dc.publisher.initials.fl_str_mv PUC-SP
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Filosofia
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da PUC_SP
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Biblioteca Digital de Teses e Dissertações da PUC_SP
collection Biblioteca Digital de Teses e Dissertações da PUC_SP
bitstream.url.fl_str_mv https://repositorio.pucsp.br/xmlui/bitstream/handle/11683/3/Cassia%20Sampaio%20Sanctos.pdf.txt
https://repositorio.pucsp.br/xmlui/bitstream/handle/11683/1/Cassia%20Sampaio%20Sanctos.pdf
https://repositorio.pucsp.br/xmlui/bitstream/handle/11683/2/Cassia%20Sampaio%20Sanctos.pdf.jpg
bitstream.checksum.fl_str_mv b816278140e5fe030598ac62965d8f9a
3baa23ce43e41c748fa70bf983f30e20
cc73c4c239a4c332d642ba1e7c7a9fb2
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da PUC_SP - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv bngkatende@pucsp.br||rapassi@pucsp.br
_version_ 1809277978848264192

Registros relacionados