ログイン中の会員
ゲストさん
資料の詳細

■資料情報

書名

不完全性定理とはなにか ゲーデルとチューリングの考えたこと

ブルーバックス B-1810

著者 竹内 薫∥著
著者典拠
出版者 講談社
出版年 2013.4
ページ数 246p
大きさ 18cm
ISBN
4062578107, 9784062578103
内容紹介
「証明が不可能である」ことを、どのように証明したのか?「不完全性定理」の内容を、正確に理解するとともに、その証明のためのゲーデル・チューリング2人のアイデアを、できるだけやさしく紹介する。
キーワード ゲーデルの定理
おすすめ本
この本を借りた人は、以下の本も借りています。
フランソワーズ・バリバール∥著、南条 郁子∥訳
別冊宝島編集部∥編
橋本 幸士∥著
帯刀 益夫∥著、杉本 正信∥著
寺阪 英孝∥著
諏訪 邦夫∥著
ダリ
ロバート・ラドフォード∥著、岡村 多佳夫∥訳
左巻 健男∥編著
ジャック・アタリ∥著、林 昌宏∥訳
市川 伸一∥著

 

■蔵書状況

所蔵: 1    予約: 0 件
所蔵館 所蔵場所 請求記号 資料コード 種別 備考
雲の上の図書館 ライブラリー1:自然のすがた - う-3-2:地球のすがた sh/タ 100024215 一般図書
貸出できます
※「(配送中)」の資料については、窓口にてお問い合わせください。