Os Teoremas de Gödel

Felipe Netto

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:

PDF


DOI: https://doi.org/10.12957/cadmat.2011.11864

Apontamentos

  • Não há apontamentos.


Direitos autorais 2011 Felipe Netto

Licença Creative Commons
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    


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