Material Details

Home Page > Find Materials > Material Details

Material Details - All Items

Content Introduction 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。

Registration Number	Library	Book Place	Call Number	Category	Restriction	Status
181175147	Tamaho	一般新書①	410 ﾀ	General Books

Reservation Count 0

Title	不完全性定理とはなにか
Title (Reading)	ﾌｶﾝｾﾞﾝｾｲ/ﾃｲﾘ/ﾄﾜ/ﾅﾆｶ
Subtitle	ゲーデルとチューリング　天才はなにを証明したのか
Subtitle (Reading)	ｹﾞｰﾃﾞﾙ/ﾄ/ﾁｭｰﾘﾝｸﾞ/ﾃﾝｻｲ/ﾜ/ﾅﾆ/ｵ/ｼｮｳﾒｲ/ｼﾀ/ﾉｶ
Author	竹内／薫∥著
Author (Reading)	ﾀｹｳﾁ,ｶｵﾙ
Publisher	講談社
Publisher (Reading)	ｺｳﾀﾞﾝｼｬ
Base Price	\1100
ISBN	978-4-06-536226-6
Number of Pages, etc.	277p
Dimensions	18cm
NDC	410.9
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.

中央市立図書館