Navegação por Autor "Estivalet, Manuel Bauer"
Resultados 1-1 de 1
-
Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
Estivalet, Manuel Bauer (2012) [Dissertação]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 ...