Kurt Gödel (Essays for His Centennial) || Gödel and set theory
- 作者Feferman, Solomon; Parsons, Charles; Simpson, Stephen G.
- 文件大小312.25KB
- 发表时间2010
- DOI10.1017/cbo9780511750762.010
- 页码145-180
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