Listar Filosofía por tema "Lógica formal"
Mostrando ítems 1-1 de 1
-
Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
(2012) [Tesis de maestría]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 ...