525
edits
Changes
Jump to navigation
Jump to search
Formalismos dedutivos (view source)
Revision as of 16:36, 12 September 2020
, 16:36, 12 September 2020acrescentando video
* '''Estilos''' de formalismo dedutivo<!--
--><p>[VIDEO]{{#ev:youtube|SouCz7oIRk4}}</p>
== 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]
== Links externos ==
*[[https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Teoremas de Incompletabilidade de Gödel]]
