Global ETD Search

1	Les limitations imposées par le théorème de Gödel aux machines pensantes Brunet, Alexandre January 2001 (has links) Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. Gödel, Kurt
2	Remarks on formalized arithmetic and subsystems thereof Brink, C January 1975 (has links) In a famous paper of 1931, Gödel proved that any formalization of elementary Arithmetic is incomplete, in the sense that it contains statements which are neither provable nor disprovable. Some two years before this, Presburger proved that a mutilated system of Arithmetic, employing only addition but not multiplication, is complete. This essay is partly an exposition of a system such as Presburger's, and partly an attempt to gain insight into the source of the incompleteness of Arithmetic, by linking Presburger's result with Gödel's. Gödel, Kurt Logic, Symbolic and mathematical Semantics (Philosophy) Arithmetic -- Foundations Number theory
3	Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel Estivalet, Manuel Bauer January 2012 (has links) 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 e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las. Gödel, Kurt, 1906-1978 Hilbert, David Lógica matemática Lógica formal Filosofia da lógica Teorema de Gödel Dedução (Lógica) Demonstração (Lógica) Hipóteses Metalingüística
4	Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel Estivalet, Manuel Bauer January 2012 (has links) 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 e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las. Gödel, Kurt, 1906-1978 Hilbert, David Lógica matemática Lógica formal Filosofia da lógica Teorema Dedução (Lógica) Demonstração (Lógica) Hipóteses Metalingüística
5	Estudo sobre a Demonstração do segundo teorema de incompletude de Gödel Estivalet, Manuel Bauer January 2012 (has links) 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 e Bernays no Grundlagen der Mathematik. Como resultado, obtém-se uma análise das condições de derivabilidade e considerações sobre como é possível demonstrá-las. Gödel, Kurt, 1906-1978 Hilbert, David Lógica matemática Lógica formal Filosofia da lógica Teorema de Gödel Teorema da incompletude Dedução (Lógica) Demonstração (Lógica) Hipóteses Metalingüística

1

Page generated in 0.0595 seconds