A prova de godel:

Na história da Lógica e da Matemática, o trabalho publicado em 1931, por Kurt Gödel, tem um lugar à parte por seu efeito revolucionário na crítica de idéias sobre os fundamentos das duas citadas disciplinas. Mas a sua exposição em termos específicos é extremamente complexa e de difícil acompanhamento, o presente livro de Ernest Nagel e James R. Newman - que a Editora Perspectiva publicou pela primeira vez em língua portuguesa e agora reedita para atender repetidas solicitações de professores e alunos interessados - conduz o leitor, com mão segura, pelos meandros do problema em causa e da prova desenvolvida, bem como de suas raízes e seu contexto, aclarando em todos os sentidos a sua compreensão.