検索条件

• 著者

  高村徳人

• 一覧へ戻る

• 1 件中、 1 件目

ゲーデル不完全性発見への道 貸出可

北田 均／著 -- 現代数学社 -- 2011.5 -- 410.9 ／410.9

https://www2.tosyo-saga.jp/kentosyo2/opac/switch-detail.do?bibid=1101423573

• • 予約かごへ
• • 本棚へ

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
県立（本館）	新庫２層	/410.9/KI62/	115005027	交付金	利用可	在架

ページの先頭へ

資料詳細

タイトル	ゲーデル不完全性発見への道
叢書名	双書・大数学者の数学
著者	北田 均 ／著
出版者	現代数学社
出版年	2011.5
ページ数	5,179p
大きさ	19cm
一般件名	不完全性定理
NDC分類	410.9 ／ 410.9
内容紹介	ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。
ISBN	978-4-7687-0391-5

ページの先頭へ

所蔵場所が「大和書庫」（所蔵場所の名称が、「大和講堂」、「大和研修」、
「大和新１」、「大和新２」、「大和新３」）の本については、遠方に保管
しているため、お取り寄せに１０日程度かかる場合がありますので、
ご了承ください。（貸出中の場合は、返却後となります。）
なお、「大和書庫」の本は、あらかじめ予約をお願いいたします。

状態が「市町巡回貸出」の本については、市町図書館支援のため優先貸出中です。
当館での提供開始までに最長3か月程度かかりますので、ご了承ください。