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

Estivalet, Manuel Bauer

dc.contributor.advisor	Guerzoni, Jose Alexandre Durry	pt_BR
dc.contributor.author	Estivalet, Manuel Bauer	pt_BR
dc.date.accessioned	2012-11-21T01:51:16Z	pt_BR
dc.date.issued	2012	pt_BR
dc.identifier.uri	http://hdl.handle.net/10183/61217	pt_BR
dc.description.abstract	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.	pt
dc.format.mimetype	application/pdf	pt_BR
dc.language.iso	por	pt_BR
dc.rights	Open Access	en
dc.subject	Gödel, Kurt, 1906-1978	pt_BR
dc.subject	Hilbert, David	pt_BR
dc.subject	Lógica matemática	pt_BR
dc.subject	Lógica formal	pt_BR
dc.subject	Filosofia da lógica	pt_BR
dc.subject	Teorema de Gödel	pt_BR
dc.subject	Teorema da incompletude	pt_BR
dc.subject	Dedução (Lógica)	pt_BR
dc.subject	Demonstração (Lógica)	pt_BR
dc.subject	Hipóteses	pt_BR
dc.subject	Metalingüística	pt_BR
dc.title	Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel	pt_BR
dc.type	Dissertação	pt_BR
dc.identifier.nrb	000862812	pt_BR
dc.degree.grantor	Universidade Federal do Rio Grande do Sul	pt_BR
dc.degree.department	Instituto de Filosofia e Ciências Humanas	pt_BR
dc.degree.program	Programa de Pós-Graduação em Filosofia	pt_BR
dc.degree.local	Porto Alegre, BR-RS	pt_BR
dc.degree.date	2012	pt_BR
dc.degree.level	mestrado	pt_BR

Nome:: 000862812.pdf
Tamanho:: 840.3Kb
Formato:: PDF
Descrição:: Texto completo

Visualizar/abrir

Este item está licenciado na Creative Commons License

Ciências Humanas (7540)

Filosofia (243)

Mostrar registro simples