四色問題

• タイトルヨミ: ヨンショクモンダイ
• サブタイトル: どう解かれ何をもたらしたのか
• サブタイトルヨミ: ドウトカレナニオモタラシタノカ
• シリーズ名: ブルーバックス／B-1969
• シリーズ名ヨミ: ブルーバックスB-1969
• 著編者等／著者名等: 一松信‖著
• 統一著者名: 一松信
• 著編者等ヨミ／著者名等ヨミ: ヒトツマツシン
• 出版者: 講談社
• 出版地: 東京
• 出版年: 2016.5
• 大きさ: 265p
• 件名: グラフ理論 証明(数学)
• 分類: 415.7,415.7 415.7
• ISBN: 978-4-06-257969-8
• マークNo: TRC000000016026687
• タイトルコード: 1000000951519
• 資料番号: 00000000000009077553
• 請求記号: S415.7/ﾋﾄ ﾖ
• 一般注記: 1978年刊の改訂
• 内容紹介: 四色問題は本当に解けたといえるのか? 人工知能があらゆる数学の難問を解決する時代が来るのか? 四色問題の誕生から最終的解決にいたるまでの歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。
• 種別: 図書
• 配架場所: 03GK6