Return to search

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

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.

Identiferoai:union.ndltd.org:IBICT/oai:lume.ufrgs.br:10183/61217
Date January 2012
CreatorsEstivalet, Manuel Bauer
ContributorsGuerzoni, Jose Alexandre Durry
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações da UFRGS, instname:Universidade Federal do Rio Grande do Sul, instacron:UFRGS
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0022 seconds