Formalismos dedutivos

• Estilos de formalismo dedutivo

• Sistemas dedutivos:

Dedução Natural

Cálculo de Sequentes

Tableaux

Método da Resolução

Para reflexão

• Será possível mecanizar inteiramente a Matemática?
• Como caracterizar o principal objeto de estudos da Teoria das Demonstrações (EN: Proof Theory)?
• Uma questão terminológica: prova ou demonstração? [1] [2] [3] [4]

Veja também

• Introdução Computacional à Lógica Matemática

Links externos

• Teoremas de Incompletabilidade de Gödel