ようこそ ゲスト様
不完全性定理と算術の体系
1~2日で出荷、新刊の場合、発売日以降のお届けになります
2つの不完全性定理に現代的な証明を与えるとともに、「逆数学プログラム」について、新しい研究成果を踏まえて解説。さらに、ダイアレクティカ解釈によるペアノ算術の無矛盾性証明について、多角的な視点から解説。
よく利用するジャンルを設定できます。
≫ 設定
「+」ボタンからジャンル(検索条件)を絞って検索してください。 表示の並び替えができます。