数学の基礎

著者

• Hilbert, David
• Bernays, Paul
• 吉田, 夏彦 ヨシダ, ナツヒコ
• 渕野, 昌 フチノ, サカエ

書誌事項

数学の基礎

D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳

（シュプリンガー数学クラシックス, 第4巻）

シュプリンガー・ジャパン, 2007.3

復刻版

タイトル別名

Grundlagen der Mathematik

タイトル読み

スウガク ノ キソ

注記

初版: 1993年刊

原著I, II第2版 (Berlin : Springer, c1968-1970) の抄訳

内容説明・目次

内容説明

本書は２０世紀前半を代表する数学者の１人であるヒルベルト（１８６２‐１９４３）が彼の研究協力者ベルナイス（１８８８‐１９７７）と著わした不朽の名著“Ｇｒｕｎｄｌａｇｅｎ　ｄｅｒ　Ｍａｔｈｅｍａｔｉｋ　１，２”第２版（ドイツ語）の主要部分の邦訳である。有限の立場から数学の基礎付けを行う、というヒルベルトのプログラムは、１９３０年代の初めに出現したゲーデルの不完全性定理により、大きな軌道修正を余儀なくされた。ヒルベルト学派の研究成果の集大成をなし不完全性定理以降の状況にもいち早く答えている本書から、我々は、ヒルベルトのプログラムの２１世紀における意義や可能性を読みとることができるであろう。

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA81534311
• ISBN:
  • 9784431712411
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: ger
• 出版地: 東京
• ページ数/冊数: ix, 344p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学
• 親書誌ID:
  • BA69919871