Livro - A Prova de Gödel

Mais informações sobre o produto

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

Sumário:

Agradecimentos ... 11

1. Introdução ... 13
2. O Problema da Consistência ... 17
3. Provas Absolutas de Consistência ... 31
4. O Sistema de Codificação da Lógica Formal ... 39
5. Um Exemplo de uma Bem-sucedida Prova Absoluta
de Consistência ... 45
6. A Idéia de Mapeamento e o Seu Uso na Matemática ... 55
7. A Prova de Gödel ... 63
A. A Numeração de Gödel ... 63
B. A Aritmetização de Metamatemáticas ... 69
C. O Cerne do Argumento de Gödel ... 74
8. Reflexões Finais ... 85

Apêndices ... 89

Bibliografia Sumária ... 99