Godel Kurt 1906 1978
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
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
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012