Os Teoremas de Gödel
Resumo
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.
Palavras-chave
Análise; Lógica; Incompletude; Metamatemática
Texto completo:
PDFDOI: https://doi.org/10.12957/cadmat.2011.11864
Apontamentos
- Não há apontamentos.
Direitos autorais 2011 Felipe Netto

Esta obra está licenciada sob uma licença Creative Commons Atribuição - Não comercial - Compartilhar igual 4.0 Internacional.
e-ISSN: 2236-2797 | ISSN: 1413-9030
DOI: https://doi.org/10.12957/cadmat.
E-mail: cadernos_mat@ime.uerj.br

Cadernos do IME - Série Matemática está licenciado com uma Licença Creative Commons Atribuição-NãoComercial-CompartilhaIgual 4.0 Internacional.