Changes

* '''Estilos''' de formalismo dedutivo<!----><p>{{#ev:youtube|SouCz7oIRk4}}</p>[VIDEO]* '''Sistemas dedutivos''' particulares:: * no estilo da [[Dedução Natural]]: * no estilo do [[Cálculo de Sequentes]] [AGUARDE!]: * no estilo dos [[Tableaux]] [AGUARDE!]: * no estilo do [[Método da Resolução]] [AGUARDE!]

* 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''? [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/S-9hikoKNQs/hiKu9O0-EQAJ] [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/-AgRQtppdNQ/-A31IoAKL40J] [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/1PKaK3WzMT0/MU00E9xe8xsJ] [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/PPDpTxuVUWY/3d7cDt6uCXIJ]

* [[Introdução Computacional à Lógica Matemática]]

*[http://pt.wikipedia.org/wiki/Sistema_dedutivo Sistema dedutivo]* [http://pt.wikipedia.org/wiki/Regra_de_infer%C3%AAncia Regra de inferência]* [http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]* [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Teoremas de Incompletabilidade de Gödel]