Completude Diz-se em Vários Sentidos: Completeness can be Said in Several Meanings

Cognitio 5 (2):78-82 (2004)
  Copy   BIBTEX

Abstract

Resumo: A partir de um raciocínio equivocado acerca do significado dos teoremas de completude e incompletude de Gödel, apresentamos alguns importantes conceitos de lógica matemática e, com base em uma análise dos teoremas acima, concluímos mencionando a existência de modelos não standard da Aritmética de Peano.Palavras-chave: Completude. Incompletude. Teoremas de Gödel: From a mistaken reasoning about the completeness and incompleteness Gödel's theorems, we show important concepts of mathematical logic and, based on above theorems, we conclude showing the existence of non standard models for Peano's Arithmetic.Keywords: Completeness. Incompleteness. Gödel's theorems.

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Three theorems of Godel.Andrew Boucher - manuscript
Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.
Gödel's incompleteness theorems.Raymond M. Smullyan - 1992 - New York: Oxford University Press. Edited by Lou Goble.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Gödel's incompleteness theorems and computer science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Lindenbaumologia I: A teoria geral: Lindenbaumology I: The General Theory.Edélcio de Souza - 2001 - Cognitio 2.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Interpreting Gödel: Critical Essays.Juliette Kennedy (ed.) - 2014 - Cambridge: Cambridge University Press.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Comments on some completeness theorems of Urquhart and méndez & Salto.Kenneth Harris & Branden Fitelson - 2001 - Journal of Philosophical Logic 30 (1):51-55.
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).

Analytics

Added to PP
2014-01-18

Downloads
11 (#1,113,583)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references