Browsing Humanities by Subject "Lógica matemática"
Now showing items 1-2 of 2
-
Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel
(2012) [Dissertation]A presente dissertação consiste em um estudo de apresentações da demonstração do Segundo Teorema de Incompletude de Gödel. Considera, com especial atenção, aquelas feitas por Shoefield no Mathematical Logic e por Hilbert ... -
A lógica do Tractatus e o operador N : decidibilidade e capacidade expressiva
(2017) [Dissertation]O presente trabalho tem como objeto de estudo o primeiro e único livro publicado por Wittgensein, seu Tractatus Logico-Philosophicus. Nosso tópico consiste nas dificuldades envolvidas em uma de suas teses mais centrais: a ...
