検索結果書誌詳細

内容紹介

四色問題は本当に解けたといえるのか? 人工知能があらゆる数学の難問を解決する時代が来るのか? 四色問題の誕生から最終的解決にいたるまでの歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。

＋ 追加情報を見る

タイトルコード

1000040599269

書誌種別

図書

著者名

一松 信／著

著者名ヨミ

ヒトツマツ シン

出版者

講談社

出版年月

2016.5

ページ数・枚数

265p

大きさ・形態

18cm

ISBN

4-06-257969-8

分類記号

415.7

書名

四色問題 どう解かれ何をもたらしたのか ブルーバックス B-1969

書名ヨミ

ヨンショク モンダイ ドウ トカレ ナニ オ モタラシタ ノカ ブルー バックス B-1969

副書名

どう解かれ何をもたらしたのか

副書名ヨミ

ドウ トカレ ナニ オ モタラシタ ノカ

著者紹介

1926年東京生まれ。東京大学理学部数学科卒。京都大学名誉教授。理博。専攻は数値解析。2015年度日本数学会出版賞受賞。

件名1

グラフ理論

件名2

証明(数学)

叢書名

ブルーバックス