Os Teoremas de Gödel

Authors

  • Felipe Netto

DOI:

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

Keywords:

Análise, Lógica, Incompletude, Metamatemática

Abstract

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.

Published

2011-12-01

How to Cite

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

Issue

Section

Disclosure Articles