Difference between revisions of "Formalismos dedutivos"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
(acrescentando video) Tag: 2017 source edit |
||
| Line 1: | Line 1: | ||
* '''Estilos''' de formalismo dedutivo<!-- | * '''Estilos''' de formalismo dedutivo<!-- | ||
| − | --><p> | + | --><p>{{#ev:youtube|SouCz7oIRk4}}</p> |
== Para reflexão == | == Para reflexão == | ||
| + | * É possível ''mecanizar'' inteiramente a Matemática? | ||
* 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] | * 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] | ||
| Line 15: | Line 16: | ||
== Links externos == | == Links externos == | ||
| − | * | + | * [[https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Teoremas de Incompletabilidade de Gödel]] |
