くわしいないよう
不完全性定理とはなにか ゲーデルとチューリング 天才はなにを証明したのか(ブルーバックス Ｂ－２２７７)
- かいたひと 竹内／薫‖著
- しゅっぱん 講談社
- しゅっぱんねん 2024.11
- ないよう 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
ぞうしょ
| ばんごう | かん | ばしょ | きごう | しりょうくぶん | きんたい | しりょうじょうたい |
|---|---|---|---|---|---|---|
| 21193467 | 本館 | 一般③ | 410.9 ﾀ | 一般書 |
よやくのかず
0けん
きほんじょうほう
| タイトル | 不完全性定理とはなにか |
|---|---|
| タイトルヨミ | ﾌｶﾝｾﾞﾝｾｲ/ﾃｲﾘ/ﾄﾜ/ﾅﾆｶ |
| サブタイトル | ゲーデルとチューリング 天才はなにを証明したのか |
| サブタイトルヨミ | ｹﾞｰﾃﾞﾙ/ﾄ/ﾁｭｰﾘﾝｸﾞ/ﾃﾝｻｲ/ﾜ/ﾅﾆ/ｵ/ｼｮｳﾒｲ/ｼﾀ/ﾉｶ |
| 著者 | 竹内／薫‖著 |
| 著者ヨミ | ﾀｹｳﾁ,ｶｵﾙ |
| シリーズ | ブルーバックス |
| シリーズ巻次 | Ｂ－２２７７ |
| 著作 | 不完全性定理とはなにか |
| 出版者 | 講談社 |
| 出版年月 | 2024.11 |
| ページ数等 | 277p |
| 大きさ | 18cm |
| 価格 | ¥1100 |
| ISBN | 978-4-06-536226-6 |
| 内容紹介 | 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。 |
| NDC9版 | 410.9 |
| NDC10版 | 410.9 |
| 利用対象 | 一般（L） |
かいたいひと
|
＜竹内／薫‖著＞
マギル大学大学院博士課程修了（高エネルギー物理学理論専攻、理学博士）。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。
|