不完全性定理とWKL$_0$(数理論理学とその応用)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 田中 一之

  東北大学理学部

• 菊池 誠

  神戸大学工学部情報知能工学科

• 菊池 誠

  東京工業大学理学部,東北大学理学部

• 田中 一之

  東北大学教養学部

• 菊地 誠

  神戸大 工

関連論文

• 2302 設計の最適化過程における設計空間の生成
• A non-standard proof of the Peano existence theorem in WKL$_0$(Mathematical Incompleteness in Arithmetic)
• 5. 逆数学と最近の数学基礎論 ( 逆計算: 計算の理論における逆問題)
• 2階算術の諸体系:モデル論的手法による分析 その2(証明論と逆数学)
• 不完全性定理とWKL$_0$(数理論理学とその応用)
• 2階算術の諸体系 : モデル論的手法による分析(順序数の基本列と組合せ的原理の関係)
• 抽象設計論における機能空間と属性空間の生成過程
• 言語学の設計学への応用に関する研究(第2報) : 意味としての機能とSimonによる人工物の定義
• 言語学の設計学への応用に関する研究(第1報) : 一般設計学の逆理と名詞句としての実体概念の形式化
• 一般設計学と抽象設計論に関する考察 (代数・論理・幾何と情報科学)
• On Buss and Turan's extensions of Haken's results
• 実代数幾何のためのモデル理論入門(実特異点の幾何学的様相)
• 算術化された安定性定理の応用について(数学基礎論およびその応用)
• Berry's paradox and the incompleteness theorem

もっと見る 閉じる

スポンサーリンク