数学の基礎
著者
書誌事項
数学の基礎
(シュプリンガー数学クラシックス)
シュプリンガー・フェアラーク東京, 1993.10
- タイトル別名
-
Grundlagen der Mathematik I, II
- タイトル読み
-
スウガク ノ キソ
大学図書館所蔵 件 / 全152件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
原著第2版(New York: Springer-Verlag, 1968-1970)の抄訳
内容説明・目次
内容説明
数学・哲学・コンピュータサイエンスの各分野で現代的意味を失わない巨匠ヒルベルトの方法論とその思想、初の邦訳版。
目次
- 第1章 公理論の無矛盾性の問題を論理的な決定問題として扱うこと
- 第2章 述語計算とそれに関連した形式的体系について
- 第3章 ヒルベルトのε‐記号による束縛変数の除去
- 第4章 ε‐定理と関連した手法による数論の証明論的考察
- 第5章 ε‐記号の論理学的形式的体系の研究への応用
- 第6章 数論の形式的体系の無矛盾性証明
「BOOKデータベース」 より