シュプリンガー数学クラシックス 数学の基礎

ヒルベルト，Ｄ．〈Ｈｉｌｂｅｒｔ，Ｄ．〉/ベルナイス，Ｐ．【著】〈Ｂｅｒｎａｙｓ，Ｐ．〉/吉田 夏彦/渕野 昌【訳】

シュプリンガー・ジャパン（1993/10発売）

• サイズ A5判／ページ数 336p／高さ 22cm
• 商品コード 9784431706540
• NDC分類 410.9
• Cコード C3041

内容説明

数学・哲学・コンピュータサイエンスの各分野で現代的意味を失わない巨匠ヒルベルトの方法論とその思想、初の邦訳版。

目次

第１章　公理論の無矛盾性の問題を論理的な決定問題として扱うこと
第２章　述語計算とそれに関連した形式的体系について
第３章　ヒルベルトのε‐記号による束縛変数の除去
第４章　ε‐定理と関連した手法による数論の証明論的考察
第５章　ε‐記号の論理学的形式的体系の研究への応用
第６章　数論の形式的体系の無矛盾性証明