一覧へもどる
書誌詳細
不完全性定理とはなにか ゲーデルとチューリング 天才はなにを証明したのか 完全版
- 著者名竹内/薫∥著
- 出版者講談社
- 出版年2024.11
所蔵事項
- 登録番号5006681
- 請求記号410.9-タ
- 貸出区分通常
- 蔵書区分図書
- 所蔵館本館
- 配架場所
J-④ブルー・B(数学・情報生活)
- 所蔵状態所蔵
書誌事項
- 書名不完全性定理とはなにか ゲーデルとチューリング 天才はなにを証明したのか 完全版
- 書名ヨミフカンゼンセイテイリトワナニカ
- ISBN9784065362266
- 国名コードJP
- 言語コードjpn
- 出版地東京
- 出版者講談社
- 出版年2024.11
- 出版者・頒布者地域名
東京都
資料コード
表現種別 | 機器種別 | キャリア種別 | 付属のキャリア種別 |
テキスト | 機器不用 | 冊子 | |
- 内容紹介証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
- 著者紹介マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。
著作アクセスポイント
漢字形 | カタカナ形 | カタカナ形(第二タイトル) | アルファベット含むカナ形 | 付記事項、部編、補遺等 | 原語タイトル |
不完全性定理とはなにか | フカンゼンセイ/テイリ/トワ/ナニカ | | | | |
一覧へもどる