Review: , Incompleteness Theorems and $S^i2$ versus $S^{i+1}2$ ; Gaisi Takeuti, Gödel Sentences of Bounded Arithmetic
Bulletin of Symbolic Logic 8 (3):433-435 (2002)
| 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,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesGaisi Takeuti (2000). Gödel Sentences of Bounded Arithmetic. Journal of Symbolic Logic 65 (3):1338-1346.
Neil Thompson (2012). Arithmetic Proof and Open Sentences. Philosophy Study 2 (1):43-50.
Gaisi Takeuti & Masahiro Yasumoto (1998). Forcing on Bounded Arithmetic II. Journal of Symbolic Logic 63 (3):860-868.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Laureano Luna & Alex Blum (2008). Arithmetic and Logic Incompleteness: The Link. The Reasoner 2 (3):6.
Roman Murawski (1997). Gödel's Incompleteness Theorems and Computer Science. Foundations of Science 2 (1):123-135.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Stewart Shapiro (2002). Incompleteness and Inconsistency. Mind 111 (444):817-832.
Richard Tieszen (1994). Mathematical Realism and Gödel's Incompleteness Theorems. Philosophia Mathematica 2 (3):177-201.
Francesco Berto (2009). The Gödel Paradox and Wittgenstein's Reasons. Philosophia Mathematica 17 (2):208-219.
Paolo Mancosu (1999). Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems. History and Philosophy of Logic 20 (1):33-45.
Shoji Maehara & Gaisi Takeuti (1971). Two Interpolation Theorems for a Π11 Predicate Calculus. Journal of Symbolic Logic 36 (2):262 - 270.
Robert F. Hadley (2008). Consistency, Turing Computability and Gödel's First Incompleteness Theorem. Minds and Machines 18 (1).
Cezary Cieśliński (2001). Arytmetyka i intensjonalność. Filozofia Nauki 4.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-30Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
