Can There Be A Proof That Some Unprovable Arithmetic Sentence Is True?

Dialectica 43 (3):289-292 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1111/dltc.1989.43.issue-3

Links

PhilArchive



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

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

Can There be a Proof that an Unprovable Sentence of Arithmetic is True?Philip Hugly & Charles Sayward - 1989 - Dialectica 43 (43):289-292.
Can There Be A Proof That Some Unprovable Arithmetic Sentence Is True?Philip Hugly & Charles Sayward - 1989 - Dialectica 43 (3):289-292.
The diagonalization lemma, Rosser and Tarski.Peter Smith - unknown
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Reflections on Concrete Incompleteness.G. Longo - 2011 - Philosophia Mathematica 19 (3):255-280.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Unprovability and Proving Unprovability.Mingzhong Cai - 2015 - Studia Logica 103 (3):559-578.
Incompleteness and inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.
Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.Gary Ebbs - 2015 - History and Philosophy of Logic 36 (4):346-366.
Frege's unofficial arithmetic.Agustín Rayo - 2002 - Journal of Symbolic Logic 67 (4):1623-1638.
Pointers to truth.Haim Gaifman - 1992 - Journal of Philosophy 89 (5):223-261.
An unexpected separation result in Linearly Bounded Arithmetic.Arnold Beckmann & Jan Johannsen - 2005 - Mathematical Logic Quarterly 51 (2):191-200.
Mathematics and the mind.Michael Redhead - 2004 - British Journal for the Philosophy of Science 55 (4):731-737.
Church's thesis: Prelude to a proof.Janet Folina - 1998 - Philosophia Mathematica 6 (3):302-323.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,443,383)

6 months
3 (#987,746)

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

Formal Logic: Its Scope and Limits.Timothy McCarthy - 1967 - Journal of Symbolic Logic 49 (4):1408-1409.
Elementary Logic.Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):419-420.
Understanding Symbolic Logic.Gerald J. Massey - 1971 - Journal of Symbolic Logic 36 (4):678-679.
Sets, Logic, and Axiomatic Theories.Robert R. Stoll - 1960 - Journal of Symbolic Logic 25 (3):278-279.

Add more references