資料詳細

  • 1 件中、 1 件目

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

北田 均/著

現代数学社 2011.5 (双書・大数学者の数学)

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス /410.9/ｷﾀ/ 1109418333 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

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

ページの先頭へ