数学の基礎

著者

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

書誌事項

数学の基礎

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

（シュプリンガー数学クラシックス）

シュプリンガー・フェアラーク東京, 1993.10

タイトル別名

Grundlagen der Mathematik I, II

タイトル読み

スウガク ノ キソ

注記

原著第2版(New York: Springer-Verlag, 1968-1970)の抄訳

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN09713279
• ISBN:
  • 4431706542
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: ger
• 出版地: 東京
• ページ数/冊数: xiii, 336p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.96
  • NDLC : MA41
• 件名:
  • NDLSH : 記号論理学
• 親書誌ID:
  • BN06178565