Symbolic Logic And Mathematics
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
2. Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos / The foudations of mathematical thought in the twentieth century and the foundational relevance of model theory
The aim of the present Thesis is to bring some light to the question about the status and relevance of Model Theory to a reflection about the mathematical knowledge in the twentieth century. To pursue this target, we will, first of all, try to reach a comprehension of the reflection about the mathematical knowledge, itself, what will be designated as Foundat
Publicado em: 2009
-
3. Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense
Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alices Adventures In Wonderland and its sequel Alice Through The Looking Glass, he eventually created a real and complex universe which uses what we call the
Publicado em: 2007