本・コミック: 四色問題/一松信:オンライン書店Honya Club com

在庫状況：在庫あり（1～2日で出荷）

四色問題

価格: 1,078円（本体980円＋税）
発行年月: 2016年05月
判型: 新書
ISBN: 9784062579698

四色問題は本当に解けたといえるのか？　問題解決の過程をたどりつつ、数学証明のあり方を問い直す。未解決問題も人工知能にお任せ？

内容情報
[BOOKデータベースより]

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

第１章　四色問題の誕生―怪物の誕生
第２章　ケンペの研究―最初の研究と早合点
第３章　テイトの研究―華麗なる変身
第４章　ヒーウッドの研究―曲面のほうがやさしい？
第５章　バーコフからルベーグまで―はるかなる登頂路
第６章　ヘーシュの執念―放電法の開発
第７章　ついに解決！―怪物もコンピュータでダウン
第８章　解決の余波―計算機による証明の意義

[日販商品データベースより]

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

数学的証明とは何か

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

この商品をご覧のお客様は、こんな商品もチェックしています。