資料詳細

  • NEW

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

  • 総合評価
    5段階評価の0.0
    (0)
  

所蔵

所蔵は 1 件です。予約は 1 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
中央 閲B K/410.9/たけ/イ 180448622Z 一般書 可能 予別

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
中央 1 1 0

資料詳細

タイトル 不完全性定理とはなにか
副書名 ゲーデルとチューリング 天才はなにを証明したのか
シリーズ ブルーバックス
著者名 竹内 薫 /著  
出版者 講談社
出版年 2024.11
ページ数等 277p
大きさ 18cm
分類(9版) 410.9  
分類(10版) 410.9  
版表示 完全版
内容紹介 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
著者紹介 マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。 
テーマ 不完全性定理  
ISBN 4-06-536226-6 国立国会図書館 カーリル GoogleBooks WebcatPlus
本体価格 ¥1100
特定資料種別 図書
URL https://www.library.city.hiroshima.jp/winj/opac/switch-detail.do?bibid=1110789608