Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
AUTOR(ES)
Manuel Bauer Estivalet
FONTE
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia
DATA DE PUBLICAÇÃO
2012
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.
ASSUNTO(S)
gödel, kurt, 1906-1978 hilbert, david lógica matemática lógica formal filosofia da lógica teorema dedução demonstração hipóteses metalingüística
ACESSO AO ARTIGO
http://hdl.handle.net/10183/61217Documentos Relacionados
- Os teoremas de incompletude de Godel
- Uma demonstração do teorema da singularidade de Hawking
- Teorias formais &informais : a noção de prova e os teoremas de incompletude de Godel
- Um estudo sobre argumentação e prova envolvendo o teorema de Pitágoras
- Uma investigação sobre a aprendizagem do teorema fundamental do cálculo