O que os teoremas da incompletude de Gödel provam realmente
Não tornam a matemática incerta: os teoremas de Gödel estabelecem um limite preciso para os sistemas formais suficientemente poderosos para descrever a aritmética.
L’actualité, les repères et les regards de la rédaction.
Não tornam a matemática incerta: os teoremas de Gödel estabelecem um limite preciso para os sistemas formais suficientemente poderosos para descrever a aritmética.