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

Autor:	Estivalet, Manuel Bauer
Jazyk:	portugalština
Rok vydání:	2012
Předmět:	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
Zdroj:	Biblioteca Digital de Teses e Dissertações da UFRGSUniversidade Federal do Rio Grande do SulUFRGS.
Druh dokumentu:	masterThesis
Popis:	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.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://hdl.handle.net/10183/61217 Zobrazit plný text záznamu