数学タグで同率12位（34冊中）。Zenn・Qiitaなどの1記事で紹介（時点）。
- 紹介記事
- 1件
- 媒体別
- Qiita 1
- 初めての紹介
- 最新の紹介
この本を選ぶ前に
- 出版年
- （約10年前）
- タグ内の順位
- 数学タグで同率12位（34冊中・紹介記事数の順）
紹介している記事（1件）
記事ごとの説明は、記事本文のうちこの本に触れた部分をAIが要約したもので、筆者の原文ではありません。
- 私の推薦書３３冊 安全(46) Qiita · Dr. Kiyoshi Ogawa · · いいね 5
この本について
四色問題をめぐる研究の歴史をたどり、計算機を使った証明が数学にもたらした意味を考える本である。平面地図を四色で塗り分けられるという問題の成立から、ケンペやテイトらの研究、解決に向けた試行錯誤を経て、1976年にアッペルとハーケンが計算機による検証を含む証明を示すまでを扱う。後半では、放電法の開発と最終的な解決を取り上げ、その証明が従来の数学的証明とどう異なるのかを検討する。問題の解決史を通して、証明に計算機を用いることの意義や、数学的証明とは何かを学べる。
楽天ブックスの商品説明と紹介記事をもとにAIが要約したものです。原文の転載ではありません。