Global ETD Search

1	Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel Estivalet, Manuel Bauer January 2012 (has links) 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. Gödel, Kurt, 1906-1978 Hilbert, David Lógica matemática Lógica formal Filosofia da lógica Teorema de Gödel Dedução (Lógica) Demonstração (Lógica) Hipóteses Metalingüística
2	Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel Estivalet, Manuel Bauer January 2012 (has links) 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. Gödel, Kurt, 1906-1978 Hilbert, David Lógica matemática Lógica formal Filosofia da lógica Teorema Dedução (Lógica) Demonstração (Lógica) Hipóteses Metalingüística
3	Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel Estivalet, Manuel Bauer January 2012 (has links) 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. 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

1

Page generated in 0.0481 seconds