Godelの不完全性定理を巡る三つの断章

スポンサーリンク

概要

• 論文の詳細を見る

• We describe three short stories around Godel's incompleteness theorems. Firstly, we show that the second incompleteness theorem is derivable by formalizing Yablo's paradox. Then, we prove a version of the incompleteness theorem which is not formalizable. Finally, we discuss the theorems of arithmetic in nonstandard models of arithmetic and the definability of truth in models of arithmetic within other models.

• 2011-05-15

著者

• 菊池 誠

  神戸大学大学院システム情報学研究科

• 倉橋 太志

  神戸大学大学院システム情報学研究科

関連論文

• 2302 設計の最適化過程における設計空間の生成
• 実代数幾何のためのモデル理論入門(実特異点の幾何学的様相)
• 類包含推論の認知構造の多様性の数学的側面について
• Godelの不完全性定理を巡る三つの断章
• 学術出版の今後 - 科研費変革
• P.Buser:Geometry and Spectra of Compact Riemann Surfaces

スポンサーリンク