資料詳細

  • 1 件中、 1 件目

数学の基礎 利用可

Ｄ．ヒルベルト／著 -- シュプリンガー・フェアラーク東京 -- 199310 -- 4109

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾋﾙﾍ/一般Ｈ 114868098 一般 利用可

ページの先頭へ

資料詳細

タイトル 数学の基礎
書名ヨミ スウガク　ノ　キソ
シリーズ名 シュプリンガー数学クラシックス
著者名 Ｄ．ヒルベルト ／著, Ｐ．ベルナイス ／著, 吉田夏彦 ／訳, 淵野昌 ／訳  
著者ヨミ ヒルベルト，Ｄ． , ベルナイス，Ｐ． , ヨシダ，ナツヒコ , フチノ，サカエ  
出版者 シュプリンガー・フェアラーク東京  
出版年 199310
ページ数等 ３３６ｐ
大きさ ２２㎝
原書名 Ｇｒｕｎｄｌａｎｇｅｎ　ｄｅｒ　Ｍａｔｈｅｍａｔｉｋ．２．Ａｕｆｌ．
一般件名 数学基礎論  
ISBN 4-431-70654-2
問合わせ番号（書誌番号） 1100148785
NDC8版 4109
内容紹介 数学・哲学・コンピュータサイエンスの各分野で現代的意味を失わない巨匠ヒルベルトの方法論とその思想、初の邦訳版。

ページの先頭へ

内容一覧

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

ページの先頭へ