Graduate studies at Western
|Abstract||It is not yet clear just what the most illuminating ways of rigorously stating the Incompleteness Theorems are. This is particularly true of the Second. Also I believe that there are more illuminating proofs of the Second that have yet to be uncovered.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Richard Tieszen (1994). Mathematical Realism and Gödel's Incompleteness Theorems. Philosophia Mathematica 2 (3):177-201.
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.
John Bell (2008). Incompleteness in a General Setting (Vol 13, Pg 21, 2007). Bulletin of Symbolic Logic 14 (1):21 - 30.
Paolo Mancosu (1999). Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems. History and Philosophy of Logic 20 (1):33-45.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
Carlo Cellucci (1993). From Closed to Open Systems. In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.
Roman Murawski (1997). Gödel's Incompleteness Theorems and Computer Science. Foundations of Science 2 (1):123-135.
Added to index2009-01-28
Total downloads16 ( #81,883 of 739,631 )
Recent downloads (6 months)1 ( #61,778 of 739,631 )
How can I increase my downloads?