• 書名不完全性定理とはなにか　ゲーデルとチューリング　天才はなにを証明したのか　完全版
• 書名ヨミフカンゼンセイテイリトワナニカ

• 著者名竹内／薫∥著
• 著者ヨミタケウチ，カオル

• 叢書名ブルーバックス
• 叢書番号Ｂ－２２７７

• 版完全版

• ISBN9784065362266
• 国名コードJP
• 言語コードjpn

• 出版地東京
• 出版者講談社
• 出版年2024.11
• 出版者・頒布者地域名 東京都　

• ページ277p
• サイズ18cm
• 価格1100

• 件名不完全性定理

• 内容紹介証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。

• 著者紹介マギル大学大学院博士課程修了（高エネルギー物理学理論専攻、理学博士）。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。