Difference between revisions of "Formalismos dedutivos"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
Tag: 2017 source edit
 
(19 intermediate revisions by 2 users not shown)
Line 1: Line 1:
* Estilos
+
* '''Estilos''' de formalismo dedutivo<!--
[VIDEO]
+
--><p>{{#ev:youtube|SouCz7oIRk4}}</p>
 
+
* '''Sistemas dedutivos''' particulares:
* [[Dedução Natural]]
+
:* no estilo da [[Dedução Natural]]
* [[Cálculo de Sequentes]]
+
:* no estilo do [[Cálculo de Sequentes]] [AGUARDE!]
 +
:* no estilo dos [[Tableaux]] [AGUARDE!]
 +
:* no estilo do [[Método da Resolução]] [AGUARDE!]
  
 
== Para reflexã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''? [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]
  
 
== Veja também ==
 
== Veja também ==
  
*  
+
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==
  
*
+
* [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]

Latest revision as of 20:49, 15 October 2020

  • Estilos de formalismo dedutivo

  • Sistemas dedutivos particulares:

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

Links externos