算術化された安定性定理の応用について(数学基礎論およびその応用)
スポンサーリンク
概要
著者
関連論文
- 2302 設計の最適化過程における設計空間の生成
- 不完全性定理とWKL$_0$(数理論理学とその応用)
- 抽象設計論における機能空間と属性空間の生成過程
- 言語学の設計学への応用に関する研究(第2報) : 意味としての機能とSimonによる人工物の定義
- 言語学の設計学への応用に関する研究(第1報) : 一般設計学の逆理と名詞句としての実体概念の形式化
- 一般設計学と抽象設計論に関する考察 (代数・論理・幾何と情報科学)
- On Buss and Turan's extensions of Haken's results
- 実代数幾何のためのモデル理論入門(実特異点の幾何学的様相)
- 算術化された安定性定理の応用について(数学基礎論およびその応用)
- Berry's paradox and the incompleteness theorem