Os Teoremas de Gödel
DOI:
https://doi.org/10.12957/cadmat.2011.11864Palabras clave:
Análise, Lógica, Incompletude, MetamatemáticaResumen
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.Descargas
Publicado
2011-12-01
Cómo 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
Número
Sección
Artículos de divulgación
Licencia
Los derechos de autor de los artículos publicados en la revista Cadernos do IME - Série Matemática pertenecen a los respectivos autores, con los derechos de primera publicación asignados a la revista.
Cadernos do IME - Série Matemática está licenciado com uma Licença Creative Commons Atribuição-NãoComercial-CompartilhaIgual 4.0 Internacional.