このページのリンク

利用統計

  • このページへのアクセス:30回

  • 貸出数:1回
    (1年以内の貸出数:0回)

<図書>
数学の基礎
スウガク ノ キソ

責任表示 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 開架 031112009008966 410.8/Sh 99 2007

書誌詳細

別書名 原タイトル: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

類似資料

この資料を借りた人はこんな資料も借りています