数学の基礎

Author(s)

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

Bibliographic Information

数学の基礎

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

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

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

Other Title

Grundlagen der Mathematik I, II

Title Transcription

スウガク ノ キソ

Access to Electronic Resource 1 items

• 数学の基礎

  1993

  NDL Digital Collections

  Limited

Note

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

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BN09713279
• ISBN:
  • 4431706542
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: ger
• Place of Publication: 東京
• Pages/Volumes: xiii, 336p
• Size: 22cm
• Classification:
  • NDC8 : 410.96
  • NDLC : MA41
• Subject Headings:
  • NDLSH : 記号論理学
• Parent Bibliography ID:
  • BN06178565