bn:02668929n
Noun Concept
Categories: Teoremas de matemática
PT
Teorema da Aceleração de Gödel
PT
Em matemática, o Teorema de Aceleração de Gödel, provado por Kurt Gödel, demonstra que existem teoremas cujas provas podem ser drasticamente reduzidas ao se trabalhar em sistemas axiomáticos mais fortes. Wikipedia
Definitions
Relations
Sources
PT
Em matemática, o Teorema de Aceleração de Gödel, provado por Kurt Gödel, demonstra que existem teoremas cujas provas podem ser drasticamente reduzidas ao se trabalhar em sistemas axiomáticos mais fortes. Wikipedia
IS A
NAMED AFTER