検索結果 562 件
紙記録メディアデジタル図書障害者向け資料あり
国立国会図書館全国の図書館
- 典拠情報(件名/「を見よ」参照)自由至上主義 完全自由主義 Libertarianism
紙図書
国立国会図書館全国の図書館
- 目次・記事...乗に基づくペアノ算術における不完全性 I. 公理体系P.E. §......系P.E.におけるゲーデルの不完全性定理 第IV章 べき乗に基づ....... 公理体系P.A.における不完全性定理 §1. 基礎概念 §2...... §6. ペアノ算術における不完全性定理 II. Σ_1関係 第......基づくゲーデルの証明 I. 不完全性定理の抽象形式 §1. 不完全性定理の基礎 §2. ω無矛盾性の補助定理 II. Σ_0完全性 §3. 基礎概念 §4. ペアノ算術におけるΣ_0完全な部分系 §5. 体系P.A.における不完全性 §6. 体系P.A.のω不完全性定理 第VI章 ロッサー体系 §1. ロッサーの不完全性定理の抽象形式 §2. 一般......ァードソンの表現定理 §2. 完全分離ロッサー体系 §3. ロッ......と対角化 §1. 定義可能性と完全表現可能性 §2. 体系Sにお......理 II. 一般状況における不完全性定理 III. G型体系 IV. 様相体系 参考文献 監訳...
- 要約等『ゲーデルの不完全性定理』(高橋昌一郎訳,丸善,1996年)の改訳版。訳文に加...
- 典拠情報(件名/「を見よ」参照)不完全性定理 Godel's theorem Incomplete...
紙記録メディアデジタル図書障害者向け資料あり
国立国会図書館全国の図書館
- 典拠情報(件名/「を見よ」参照)自由至上主義 完全自由主義 Libertarianism