Kurt Gödel (Essays for His Centennial) || On the question of absolute undecidability
- 作者Feferman, Solomon; Parsons, Charles; Simpson, Stephen G.
- 文件大小324.04KB
- 发表时间2010
- DOI10.1017/cbo9780511750762.012
- 页码189-226
Kurt Gödel (Essays for His Centennial) || IntroductionFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Gödel and CarnapFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Gödel and set theoryFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || On the question of absolute undecidabilityFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Gödel's conceptual realismFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Future tasks for Gödel scholarsFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Gödel and the metamathematical traditionFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || The Gödel hierarchy and reverse mathematicsFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010