| 登録番号 | 所蔵館 | 所蔵場所 | 請求記号 | 資料区分 | 禁帯区分 | 資料状態 |
|---|---|---|---|---|---|---|
| 51115117 | 上野原 | 講談・中公 | 410 ﾌ | 一般書 |
| タイトル | 不完全性定理とはなにか |
|---|---|
| タイトルヨミ | ﾌｶﾝｾﾞﾝｾｲ/ﾃｲﾘ/ﾄﾜ/ﾅﾆｶ |
| サブタイトル | ゲーデルとチューリング 天才はなにを証明したのか |
| サブタイトルヨミ | ｹﾞｰﾃﾞﾙ/ﾄ/ﾁｭｰﾘﾝｸﾞ/ﾃﾝｻｲ/ﾜ/ﾅﾆ/ｵ/ｼｮｳﾒｲ/ｼﾀ/ﾉｶ |
| 著者 | 竹内／薫‖著 |
| 著者ヨミ | ﾀｹｳﾁ,ｶｵﾙ |
| シリーズ | ブルーバックス |
| シリーズ巻次 | B-2277 |
| 著作 | 不完全性定理とはなにか |
| 出版者 | 講談社 |
| 出版年月 | 2024.11 |
| ページ数等 | 277p |
| 大きさ | 18cm |
| 価格 | ¥1100 |
| ISBN | 978-4-06-536226-6 |
| 内容紹介 | 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。 |
| NDC9版 | 410.9 |
| NDC10版 | 410.9 |
| 利用対象 | 一般（L） |
|
＜竹内／薫‖著＞
マギル大学大学院博士課程修了（高エネルギー物理学理論専攻、理学博士）。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。
|
