資料詳細

詳細蔵書検索

ゲーデルに挑む

田中一之／著 -- 東京大学出版会 -- ２０１２．４ -- 410.9

所蔵

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

所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般資料	4109/T8/3	1108428135	一般	貸出可	在庫

ページの先頭へ

資料詳細

種別	図書
タイトルコード	1110050124
タイトル	ゲーデルに挑む
タイトルカナ	ゲーデル　ニ　イドム
副書名	証明不可能なことの証明
著者	田中一之／著
著者カナ	タナカ　カズユキ
出版地	東京
出版者	東京大学出版会
出版年	２０１２．４
ページ数	１７７ｐ
大きさ	２１ｃｍ
一般件名	ゲーデルの定理
NDC分類(8版)	410.9
ISBN13桁	978-4-13-063900-2
定価	２６００円
内容紹介	「不完全性定理」を完全に理解したい読者のために、原論文の日本語訳とともにその内容について徹底解説。ロジック初心者にも配慮し、記号の定義などの基本から、ていねいに説明をする。
著者紹介	１９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。現在、東北大学大学院理学研究科教授。主要著書「数学基礎論講義」「逆数学と２階算術」「数の体系と超準モデル」「数学のロジックと集合論」「ゲーデルと２０世紀の論理学」他。

ページの先頭へ