不完全性定理とはなにか

• タイトルヨミ: フカンゼンセイテイリトワナニカ
• サブタイトル: ゲーデルとチューリング 天才はなにを証明したのか
• サブタイトルヨミ: ゲーデルトチューリングテンサイワナニオショウメイシタノカ
• シリーズ名: ブルーバックス B-2277
• シリーズ名ヨミ: ブルーバックス B-2277
• 著編者等／著者名等: 竹内薫‖著
• 統一著者名: 竹内薫
• 著編者等ヨミ／著者名等ヨミ: タケウチカオル
• 出版者: 講談社
• 出版地: 東京
• 出版年: 2024.11
• 大きさ: 277p
• 件名: 不完全性定理
• 分類: 410.9,410.9
• ISBN: 978-4-06-536226-6
• マークNo: TRC24044255
• タイトルコード: 1000001711888
• 資料番号: 010804607
• 請求記号: S410.9/ﾀｹ ﾌ
• 内容紹介: 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
• 種別: 図書
• 配架場所: 03GF1