竹内 薫/著 -- 講談社 -- 2013.4 -- 410.9

所蔵

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

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

資料詳細

タイトル 不完全性定理とはなにか ,
書名ヨミ フカンゼンセイ テイリ トワ ナニカ
副書名 ゲーデルとチューリングの考えたこと
叢書名 ブルーバックス
著者 竹内 薫 /著  
著者名ヨミ タケウチ,カオル
出版者 講談社
出版年 2013.4
ページ数, 大きさ 246p, 18cm
NDC10版 410.9
NDC8版 410.9
一般件名 不完全性定理
ISBN 978-4-06-257810-3 国立国会図書館 カーリル GoogleBooks WebcatPlus
著者紹介 1960年東京生まれ。カナダ・マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「熱とはなんだろう」「超ひも理論とはなにか」など。
内容紹介 真な命題は必ず証明できるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難題を解決した2人の天才ゲーデルとチューリングの考えと不完全性定理を紐解く。