Os Teoremas de Gödel
DOI:
https://doi.org/10.12957/cadmat.2011.11864Palavras-chave:
Análise, Lógica, Incompletude, MetamatemáticaResumo
O presente trabalho trata dos teoremas de incompletude de Gödel, que falam da impossibilidade de uma teoria com certas características ser ao mesmo tempo consistente e completa, uma vez que, sendo consistente, não se pode provar sua consistência.Downloads
Publicado
2011-12-01
Como Citar
Netto, F. (2011). Os Teoremas de Gödel. Cadernos Do IME - Série Matemática, 5(23). https://doi.org/10.12957/cadmat.2011.11864
Edição
Seção
Artigos de Divulgação
Licença
Os Direitos Autorais dos artigos publicados no periódico Cadernos do IME - Série Matemática pertencem ao(s) seu(s) respectivo(s) autor(es), com os direitos de primeira publicação cedidos ao periódico.Cadernos do IME - Série Matemática está licenciado com uma Licença Creative Commons Atribuição-NãoComercial-CompartilhaIgual 4.0 Internacional.