Material Details

Home Page > Find Materials > Material Details

Material Details - All Items

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

Registration Number	Library	Book Place	Call Number	Category	Restriction	Status
181139619	Tamaho	一般新書①	415 ﾋ	General Books

Reservation Count 0

Title	四色問題
Title (Reading)	ﾖﾝｼｮｸ/ﾓﾝﾀﾞｲ
Subtitle	どう解かれ何をもたらしたのか
Subtitle (Reading)	ﾄﾞｳ/ﾄｶﾚ/ﾅﾆ/ｵ/ﾓﾀﾗｼﾀ/ﾉｶ
Author	一松／信∥著
Author (Reading)	ﾋﾄﾂﾏﾂ,ｼﾝ
Publisher	講談社
Publisher (Reading)	ｺｳﾀﾞﾝｼｬ
Base Price	\980
ISBN	978-4-06-257969-8
Number of Pages, etc.	265p
Dimensions	18cm
NDC	415.7
Content Description	四色問題は本当に解けたといえるのか？　人工知能があらゆる数学の難問を解決する時代が来るのか？　四色問題の誕生から最終的解決にいたるまでの歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。

Important Points

Please note that due to copyright restrictions, some materials may not be available for loan.
Please also be aware that the latest issue of magazines cannot be borrowed until the next issue is received.
To make reservations via the homepage, you need to complete user registration at the library and register your password and email address.
You can reserve up to five items per person using the online reservation service.
However, for assigned reading books, the limit is two items. Audiovisual materials (videos, CDs, DVDs) cannot be reserved.

中央市立図書館