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

＜図書＞
ゲーデル不完全性発見への道
ゲーデルフカンゼンセイハッケンエノミチ

責任表示	北田均著
シリーズ	大数学者の数学 ; 6
データ種別	図書
出版情報	京都 : 現代数学社 , 2011.5
本文言語	日本語
大きさ	v, 179p, 図版 [1] 枚 ; 19cm
目次	不完全性定理とは何か形式的自然数論命題計算の無矛盾性命題計算の完全性述語計算の無矛盾性述語計算の完全性ゲーデルナンバリング証明の再帰性証明の数値的表現ゲーデル述語数学は矛盾している? 自己言及と矛盾性続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図1F 開架	410.8/D 27	2011		031112011011457		予約・取寄			予約・取寄