Repositório Digital

A- A A+

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

.

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

Mostrar registro completo

Estatísticas

Título Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
Autor Estivalet, Manuel Bauer
Orientador Guerzoni, Jose Alexandre Durry
Data 2012
Nível Mestrado
Instituição Universidade Federal do Rio Grande do Sul. Instituto de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia.
Assunto Dedução (Lógica)
Demonstração (Lógica)
Filosofia da lógica
Gödel, Kurt, 1906-1978
Hilbert, David
Hipóteses
Lógica formal
Lógica matemática
Metalingüística
Teorema
Resumo 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.
Tipo Dissertação
URI http://hdl.handle.net/10183/61217
Arquivos Descrição Formato
000862812.pdf (860.5Kb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.