Redundancies in the Hilbert-Bernays derivability conditions for gödel's second incompleteness theorem
Journal of Symbolic Logic 38 (3):359-367 (1973)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesYi-Zhuang Chen (2004). Edgar Morin's Paradigm of Complexity and Gödel's Incompleteness Theorem. World Futures 60 (5 & 6):421 – 431.
Zofia Adamowicz & Teresa Bigorajska (2001). Existentially Closed Structures and Gödel's Second Incompleteness Theorem. Journal of Symbolic Logic 66 (1):349-356.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
Michael Detlefsen (2001). What Does Gödel's Second Theorem Say. Philosophia Mathematica 9 (1).
John Bell (2007). Incompleteness in a General Setting. The Bulletin of Symbolic Logic 13 (1):21 - 30.
Solomon Feferman (2008). Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on Finitism, Constructivity and Hilbert's Program. Dialectica 62 (2: Table of Contents"/> Select):179–203.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads23 ( #53,914 of 549,625 )Recent downloads (6 months)2 ( #37,418 of 549,625 )How can I increase my downloads? |
My notes
Discussion
