書籍
書籍

四色問題 どう解かれ何をもたらしたのか

0.0

販売価格

¥
1,078
税込
還元ポイント
9pt

販売中

お取り寄せ
発送目安
2日～14日

お取り寄せの商品となります

入荷の見込みがないことが確認された場合や、ご注文後40日前後を経過しても入荷がない場合は、取り寄せ手配を終了し、この商品をキャンセルとさせていただきます。

在庫表示と発送目安について
この商品を出品する
店舗取り置きサービスについて
この商品のコレクション情報を確認する
コレクション機能とは？
フォーマット 書籍
発売日 2016年05月20日
国内/輸入 国内
出版社講談社
構成数 1
パッケージ仕様 新書
SKU 9784062579698
ページ数 276
判型 新書

構成数 : 1枚

はしがき
初版はしがき
第一章 四色問題の誕生──怪物の誕生
第二章 ケンペの研究──最初の研究と早合点
第三章 テイトの研究──華麗なる変身
第四章 ヒーウッドの研究──曲面のほうがやさしい?
第五章 バーコフからルベーグまで──はるかなる登頂路
第六章 ヘーシュの執念──放電法の開発
第七章 ついに解決!──怪物もコンピュータでダウン
第八章 解決の余波──計算機による証明の意義
参考文献

  1. 1.[書籍]

埋もれたままの古典的な数学の未解決問題はもはや人工知能に任せるしかないのか?! 物議をよんだ未解決問題は「解決した」と言えるのか? 現代の視点から再考する。


数学的証明とは何か

数学の未解決問題として有名だった四色問題――
平面上の地図は四色で塗り分けられる――は、
1976年の夏、イリノイ大学の二人の数学者、
K・アッペルとW・ハーケンによって解決された。
しかし、それは計算機による膨大な検証という、
従来の数学の証明法とは全く異なるものだった。
四色問題の誕生から最終的解決にいたるまでの
先人たちの苦闘の歴史を踏まえ、
計算機に依存した現代の数学的証明の意義を
あらためて考える

作品の情報

メイン
著者： 一松信

メンバーズレビュー

レビューを書いてみませんか？

読み込み中にエラーが発生しました。

画面をリロードして、再読み込みしてください。