Mendeley出力
＜図書＞
数学の基礎
スウガク ノ キソ
| 責任表示 | D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳 |
|---|---|
| シリーズ | シュプリンガー数学クラシックス ; 第4巻 |
| データ種別 | 図書 |
| 版 | 復刻版 |
| 出版情報 | 東京 : シュプリンガー・ジャパン , 2007.3 |
| 本文言語 | 日本語 |
| 大きさ | ix, 344p : 挿図 ; 22cm |
| 概要 | 本書は20世紀前半を代表する数学者の1人であるヒルベルト(1862‐1943)が彼の研究協力者ベルナイス(1888‐1977)と著わした不朽の名著“Grundlagen der Mathematik 1,2”第2版(ドイツ語)の主要部分の邦訳である。有限の立場から数学の基礎付けを行う、というヒルベルトのプログラムは、1930年代の初めに出現したゲーデルの不完全性定理により、大きな軌道修正を余儀なく...れた。ヒルベルト学派の研究成果の集大成をなし不完全性定理以降の状況にもいち早く答えている本書から、我々は、ヒルベルトのプログラムの21世紀における意義や可能性を読みとることができるであろう。続きを見る |
| 目次 | 第1章 公理論の無矛盾性の問題を論理的な決定問題として扱うこと 第2章 述語計算とそれに関連した形式的体系について 第3章 ヒルベルトのε‐記号による束縛変数の除去 第4章 ε‐定理と関連した手法による数論の証明論的考察 第5章 ε‐記号の論理学的形式的体系の研究への応用 第6章 数論の形式的体系の無矛盾性証明 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 410.8/Sh 99 | 2007 |
|
031112009008966 |
|
書誌詳細
| 別書名 | 原タイトル:Grundlagen der Mathematik |
|---|---|
| 一般注記 | 初版: 1993年刊 原著I, II第2版 (Berlin : Springer, c1968-1970) の抄訳 |
| 著者標目 | Hilbert, David, 1862-1943 Bernays, Paul, 1888-1977 吉田, 夏彦(1928-) <ヨシダ, ナツヒコ> 渕野, 昌 <フチノ, サカエ> |
| 件 名 | BSH:記号論理学 |
| 分 類 | NDC8:410.96 NDC9:410.96 |
| 書誌ID | 1001415368 |
| ISBN | 9784431712411 |
| NCID | BA81534311 |
| 巻冊次 | ISBN:9784431712411 ; PRICE:3800円 |
| 登録日 | 2010.03.02 |
| 更新日 | 2010.03.02 |