資料詳細

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

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

所蔵

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

所蔵館	所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般	一般資料室	410.9/2011/	00013812847	和書	帯出可	在庫

ページの先頭へ

資料詳細

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

ページの先頭へ