Escher
Sobre o teorema da incompletude...
Teorema 1: "Qualquer teoria axiomática recursivamente enumerável e capaz de expressar algumas verdades básicas de aritmética não pode ser, ao mesmo tempo, completa e consistente. Ou seja, sempre há em uma teoria consistente proposições verdadeiras que nao podem ser demonstradas nem negadas."
Teorema 2: "Uma teoria, recursivamente enumerável e capaz de expressar verdades básicas da aritmética e algumas verdades de probabilidade formal, pode provar sua própria consistência se, e somente se, for inconsistente.".
Sem comentários:
Enviar um comentário