3/23
時点_ポイント最大2倍
四色問題 どう解かれ何をもたらしたのか/一松信
販売価格
1,078
円 （税込）
送料無料
- 出荷目安：
- 1～3日で発送予定
たまるdポイント（通常） 9
+キャンペーンポイント（期間・用途限定） 最大1倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
一松信
講談社
ブルーバックス B－1969
ISBN：4062579693/9784062579698
発売日:2016年05月
【内容紹介】
埋もれたままの古典的な数学の未解決問題はもはや人工知能に任せるしかないのか?! 物議をよんだ未解決問題は「解決した」と言えるのか? 現代の視点から再考する。
数学的証明とは何か
数学の未解決問題として有名だった四色問題――
平面上の地図は四色で塗り分けられる――は、
1976年の夏、イリノイ大学の二人の数学者、
K・アッペルとW・ハーケンによって解決された。
しかし、それは計算機による膨大な検証という、
従来の数学の証明法とは全く異なるものだった。
四色問題の誕生から最終的解決にいたるまでの
先人たちの苦闘の歴史を踏まえ、
計算機に依存した現代の数学的証明の意義を
あらためて考える
講談社
ブルーバックス B－1969
ISBN：4062579693/9784062579698
発売日:2016年05月
【内容紹介】
埋もれたままの古典的な数学の未解決問題はもはや人工知能に任せるしかないのか?! 物議をよんだ未解決問題は「解決した」と言えるのか? 現代の視点から再考する。
数学的証明とは何か
数学の未解決問題として有名だった四色問題――
平面上の地図は四色で塗り分けられる――は、
1976年の夏、イリノイ大学の二人の数学者、
K・アッペルとW・ハーケンによって解決された。
しかし、それは計算機による膨大な検証という、
従来の数学の証明法とは全く異なるものだった。
四色問題の誕生から最終的解決にいたるまでの
先人たちの苦闘の歴史を踏まえ、
計算機に依存した現代の数学的証明の意義を
あらためて考える
※本データはこの商品が発売された時点の情報です。