四色問題―どう解かれ何をもたらしたのか(ブルーバックス) [新書]

四色問題―どう解かれ何をもたらしたのか(ブルーバックス) の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次

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

• 出版社からのコメント

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

• 内容紹介

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  一松 信(ヒトツマツ シン)
  １９２６年、東京に生まれる。東京大学理学部数学科卒。同大助教授、立教大学教授、京都大学教授、東京電機大学教授を経て、京都大学名誉教授。理博。専攻は数値解析。太平洋戦争末期の学徒動員で暗号解読に携わり、以降、計算機と整数論との関連で公開鍵暗号に深い関心をもつようになる。海外との交流をはじめ、数学の啓蒙活動にも熱心で、専門家向け、一般向けを問わず著訳書多数。２０１５年度日本数学会出版賞受賞

• 著者について

  一松 信 (ヒトツマツ シン)
  1926年、東京に生まれる。東京大学理学部数学科卒業。東大助教授、立教大学教授、京都大学教授、東京電機大学教授を経て、現在、京都大学名誉教授。理博士。専攻は数学、とくに数値解析。太平洋戦争末期の学徒動員で暗号の解読に携わり、以来、計算機と整数論との関連で公開鍵暗号に関心をもつようになる。著書に『暗号の数理』（ブルーバックス）他多数。

四色問題―どう解かれ何をもたらしたのか(ブルーバックス) の商品スペック