資料詳細

【図書】 数学の基礎

シュプリンガー数学クラシックス --
Ｄ．ヒルベルト，Ｐ．ベルナイス／著, 吉田夏彦，淵野昌／訳, 　 , 　 , 　 , 　 -- シュプリンガー・フェアラーク東京 -- １９９３．１０ -- ２２ｃｍ -- ３３６ｐ

タイトル	数学の基礎
シリーズ名	シュプリンガー数学クラシックス
著者名等	Ｄ．ヒルベルト，Ｐ．ベルナイス／著, 吉田夏彦，淵野昌／訳, 　 , 　 , 　 ,
出版	シュプリンガー・フェアラーク東京１９９３．１０
大きさ等	２２ｃｍ３３６ｐ
分類	410.9
件名	数学基礎論
注記	Ｇｒｕｎｄｌａｎｇｅｎ　ｄｅｒ　Ｍａｔｈｅｍａｔｉｋ．２．Ａｕｆｌ．／の翻訳
要旨	数学・哲学・コンピュータサイエンスの各分野で現代的意味を失わない巨匠ヒルベルトの方法論とその思想、初の邦訳版。
目次	第１章　公理論の無矛盾性の問題を論理的な決定問題として扱うこと；第２章　述語計算とそれに関連した形式的体系について；第３章　ヒルベルトのε‐記号による束縛変数の除去；第４章　ε‐定理と関連した手法による数論の証明論的考察；第５章　ε‐記号の論理学的形式的体系の研究への応用；第６章　数論の形式的体系の無矛盾性証明
ISBN(13)、ISBN	4-431-70654-2
書誌番号	1193047517
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1193047517

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		410.9/144	一般書	利用可	-	0007285477