Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel

Detalhes bibliográficos
Autor(a) principal: Estivalet, Manuel Bauer
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/61217
Resumo: A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las.
id URGS_5398fe78b81fa91996b006529033a625
oai_identifier_str oai:www.lume.ufrgs.br:10183/61217
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Estivalet, Manuel BauerGuerzoni, Jose Alexandre Durry2012-11-21T01:51:16Z2012http://hdl.handle.net/10183/61217000862812A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las.application/pdfporGödel, Kurt, 1906-1978Hilbert, DavidLógica matemáticaLógica formalFilosofia da lógicaTeorema de GödelTeorema da incompletudeDedução (Lógica)Demonstração (Lógica)HipótesesMetalingüísticaEstudo sobre a Demonstração do segundo teorema de incompletude de Gödelinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaPorto Alegre, BR-RS2012mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000862812.pdf.txt000862812.pdf.txtExtracted Texttext/plain209142http://www.lume.ufrgs.br/bitstream/10183/61217/2/000862812.pdf.txt398f457df4120819f238e4bc57201e60MD52ORIGINAL000862812.pdf000862812.pdfTexto completoapplication/pdf860547http://www.lume.ufrgs.br/bitstream/10183/61217/1/000862812.pdfd5aaa69070e3ea5bcc585e4333a0b322MD51THUMBNAIL000862812.pdf.jpg000862812.pdf.jpgGenerated Thumbnailimage/jpeg1142http://www.lume.ufrgs.br/bitstream/10183/61217/3/000862812.pdf.jpg2e20b67fdfdc79747d77f24a50b3aa2eMD5310183/612172018-11-23 02:44:39.953906oai:www.lume.ufrgs.br:10183/61217Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-11-23T04:44:39Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
title Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
spellingShingle Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
Estivalet, Manuel Bauer
Gödel, Kurt, 1906-1978
Hilbert, David
Lógica matemática
Lógica formal
Filosofia da lógica
Teorema de Gödel
Teorema da incompletude
Dedução (Lógica)
Demonstração (Lógica)
Hipóteses
Metalingüística
title_short Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
title_full Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
title_fullStr Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
title_full_unstemmed Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
title_sort Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
author Estivalet, Manuel Bauer
author_facet Estivalet, Manuel Bauer
author_role author
dc.contributor.author.fl_str_mv Estivalet, Manuel Bauer
dc.contributor.advisor1.fl_str_mv Guerzoni, Jose Alexandre Durry
contributor_str_mv Guerzoni, Jose Alexandre Durry
dc.subject.por.fl_str_mv Gödel, Kurt, 1906-1978
Hilbert, David
Lógica matemática
Lógica formal
Filosofia da lógica
Teorema de Gödel
Teorema da incompletude
Dedução (Lógica)
Demonstração (Lógica)
Hipóteses
Metalingüística
topic Gödel, Kurt, 1906-1978
Hilbert, David
Lógica matemática
Lógica formal
Filosofia da lógica
Teorema de Gödel
Teorema da incompletude
Dedução (Lógica)
Demonstração (Lógica)
Hipóteses
Metalingüística
description A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las.
publishDate 2012
dc.date.accessioned.fl_str_mv 2012-11-21T01:51:16Z
dc.date.issued.fl_str_mv 2012
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/61217
dc.identifier.nrb.pt_BR.fl_str_mv 000862812
url http://hdl.handle.net/10183/61217
identifier_str_mv 000862812
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.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/61217/2/000862812.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/61217/1/000862812.pdf
http://www.lume.ufrgs.br/bitstream/10183/61217/3/000862812.pdf.jpg
bitstream.checksum.fl_str_mv 398f457df4120819f238e4bc57201e60
d5aaa69070e3ea5bcc585e4333a0b322
2e20b67fdfdc79747d77f24a50b3aa2e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810085243784265728

Registros relacionados