1
Podemos agora enunciar o teorema da incompletude de Gödel.
2
Isso é chamado de teorema da incompletude de Gödel.
3
Teorema da incompletude de Gödel -Uma prova de que o décimo problema de Hilbert não pode ser solucionado.
4
Ele já enfrentara a computabilidade abstrata do teorema da incompletude de Gödel, que formava a base de sua tese.
5
Cinco anos depois, já se sentiu confiante para anunciar uma série de palestras sobre o teorema da incompletude de Gödel.
6
De fato, em sua formulação mais profunda, o teorema da incompletude de Gödel mostra que não podemos reduzir a matemática a uma linguagem formal.
rus
espanyol