資料詳細

  • 1 件中、 1 件目

四色問題 ( ブルーバックス B-1969 ) 貸出可

一松 信／著 -- 講談社 -- 2016.5 -- 415.7

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
本館(和歌山市) 閲覧室 /415.7/ﾋﾄ/ 323390625 一般 在庫
紀南(田辺市) 閲覧室 /415.7/ﾋﾄ/ 323008276 一般 在庫

ページの先頭へ

資料詳細

タイトル 四色問題 
副書名 どう解かれ何をもたらしたのか
叢書名 ブルーバックス
言語 日本語
著者 一松 信 ／著  
出版者 講談社
出版年 2016.5
ページ数 265p
大きさ 18cm
一般件名 グラフ理論 , 証明(数学)
NDC分類(9版) 415.7
内容紹介 四色問題は本当に解けたといえるのか? 人工知能があらゆる数学の難問を解決する時代が来るのか? 四色問題の誕生から最終的解決にいたるまでの歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。
ISBN 4-06-257969-8
ISBN13桁 978-4-06-257969-8
著者紹介 1926年東京生まれ。東京大学理学部数学科卒。京都大学名誉教授。理博。専攻は数値解析。2015年度日本数学会出版賞受賞。

ページの先頭へ