不完全性定理とはなにか

• タイトルヨミ: フカンゼンセイテイリトワナニカ
• サブタイトル: ゲーデルとチューリングの考えたこと
• サブタイトルヨミ: ゲーデルトチューリングノカンガエタコト
• シリーズ名: ブルーバックス B-1810
• シリーズ名ヨミ: ブルーバックス B-1810
• 著編者等／著者名等: 竹内薫‖著
• 統一著者名: 竹内薫
• 著編者等ヨミ／著者名等ヨミ: タケウチカオル
• 出版者: 講談社
• 出版地: 東京
• 出版年: 2013.4
• 大きさ: 246p
• 件名: 不完全性定理
• 分類: 410.9,410.9 410.9
• ISBN: 978-4-06-257810-3
• マークNo: TRC13022476
• タイトルコード: 1000000647024
• 資料番号: 008437170
• 請求記号: S410.9/ﾀｹ ﾌ
• 内容紹介: 真な命題は必ず証明できるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難題を解決した2人の天才ゲーデルとチューリングの考えと不完全性定理を紐解く。
• 種別: 図書
• 配架場所: 03GK6