A Prova de Gödel

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 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.