Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications

&
Complexity 1 (3):40-55 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/cplx.6130010312

Links

PhilArchive



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

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

Arithmetic and Logic Incompleteness: the Link.Laureano Luna & Alex Blum - 2008 - The Reasoner 2 (3):6.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Gödel's incompleteness theorems and computer science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).
On the Difficulty of Writing Out formal Proofs in Arithmetic.Ryo Kashima & Takeshi Yamaguchi - 1997 - Mathematical Logic Quarterly 43 (3):328-332.
Three theorems of Godel.Andrew Boucher - manuscript
Incompleteness and undecidability.Peter Smith - unknown
Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Socrates did it before Gödel.Josef Wolfgang Degen - 2011 - Logic and Logical Philosophy 20 (3):205-214.
Incompleteness and inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript
Uniform self-reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.

Analytics

Added to PP
2014-01-20

Downloads
13 (#1,006,512)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Da Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553 - 568.
The incompleteness of theories of games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.

Add more citations

References found in this work

No references found.

Add more references