資料詳細

  • 1 件中、 1 件目

四色問題   貸出可

一松信／著 -- 講談社 -- ２０１６．５ -- 415.7  (ブル－バックス Ｂ‐１９６９)

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
科学産業 /415/Ｈ７７/ 0010016337751 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ 四色問題 
副タイトル１ どう解かれ何をもたらしたのか
著者１ 一松信 ／著  
出版年 ２０１６．５
出版者 講談社
シリーズ名 ブル－バックス  Ｂ‐１９６９
一般件名 グラフ理論 , 証明（数学）
ページ数 ２６５ｐ
大きさ １８ｃｍ
ISBN 4-06-257969-8
NDC分類(10版) 415.7
内容紹介 四色問題は本当に解けたといえるのか？　人工知能があらゆる数学の難問を解決する時代が来るのか？　四色問題の誕生から最終的解決にいたるまでの歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。

ページの先頭へ

著者紹介

著者紹介１－１ １９２６年東京生まれ。東京大学理学部数学科卒。京都大学名誉教授。理博。専攻は数値解析。２０１５年度日本数学会出版賞受賞。