資料詳細

  • 1 件中、 1 件目

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

北田均／著 -- 現代数学社 -- ２０１１．５ -- 410.9  (双書・大数学者の数学 ６)

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
科学産業 /410/Ｋｉ６２/ 0010016317688 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ ゲ－デル不完全性発見への道 
著者１ 北田均 ／著  
出版年 ２０１１．５
出版者 現代数学社
シリーズ名 双書・大数学者の数学  ６
一般件名 不完全性定理
ページ数 ５，１７９ｐ
大きさ １９ｃｍ
ISBN 4-7687-0391-5
NDC分類(10版) 410.9
内容紹介 ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲ－デルの不完全性定理の証明を述べ、ゲ－デルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。

ページの先頭へ