Material Details
不完全性定理とはなにか ゲーデルとチューリング 天才はなにを証明したのか(ブルーバックス Ｂ－２２７７)
- Author 竹内／薫‖著
- Publisher 講談社
- Publication Year 2024.11
- Content Introduction 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
Collection Information
| Registration Number | Library | Book Place | Call Number | Category | Restriction | Status |
|---|---|---|---|---|---|---|
| 21193467 | Showa | 一般③ | 410.9 ﾀ | General Books |
Reservation Count
0
Basic Information
| Title | 不完全性定理とはなにか |
|---|---|
| Title (Reading) | ﾌｶﾝｾﾞﾝｾｲ/ﾃｲﾘ/ﾄﾜ/ﾅﾆｶ |
| Subtitle | ゲーデルとチューリング 天才はなにを証明したのか |
| Subtitle (Reading) | ｹﾞｰﾃﾞﾙ/ﾄ/ﾁｭｰﾘﾝｸﾞ/ﾃﾝｻｲ/ﾜ/ﾅﾆ/ｵ/ｼｮｳﾒｲ/ｼﾀ/ﾉｶ |
| Author | 竹内／薫‖著 |
| Author (Reading) | ﾀｹｳﾁ,ｶｵﾙ |
| Series | ブルーバックス |
| シリーズ巻次 | Ｂ－２２７７ |
| 著作 | 不完全性定理とはなにか |
| Publisher | 講談社 |
| Publication Date | 2024.11 |
| Number of Pages, etc. | 277p |
| Dimensions | 18cm |
| Price | ¥1100 |
| ISBN | 978-4-06-536226-6 |
| Content Description | 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。 |
| NDC 9 | 410.9 |
| NDC 10 | 410.9 |
| Intended Audience | 一般(L) |
Author Introduction
|
＜竹内／薫‖著＞
マギル大学大学院博士課程修了（高エネルギー物理学理論専攻、理学博士）。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。
|