池上 高志

生命とは何か。意識とは、言語とは、音楽とは...。「諸科学の王」物理学を出自とする著者が、科学による還元論では解きえない根源的問題に挑むため選んだのが、コンピュータ・シミュレーションを駆使する「構成論的アプローチ」すなわち複雑系の科学。科学界のみならず芸術の世界でも注目を浴びはじめた、この方法と最新成果を、初めて一般に向け紹介する。

内容詳細

動きが生命をつくる―生命と意識への構成論的アプローチ

橋本 治

江戸にフランス革命を!

照井一成

数学の完全なシステムを構築しようとしたヒルベルト。
その「不可能性」を明らかにしてしまったゲーデルやチューリング。
一方で、その「可能性」の限界に挑んだもう1人の天才ゲンツェン・・・・・。
彼らの格闘は、現代のコンピュータ科学でも再演される。

「不完全性定理」「無矛盾性証明」「P対NP問題」など、
現代数学の核心を最新アップデートしたうえで徹底解説、
さらには近年注目の人工知能の話題にまで架橋する野心作。

内容紹介

「計算」や「論理」がいかにして現実を変革するのか?ヒルベルト、ゲーデル、チューリング、ゲンツェンら天才たちの挑戦は、いまコンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」「P対NP問題」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版!

内容（「BOOK」データベースより）

照井/一成
1971年生まれ。慶應義塾大学大学院文学研究科修了。国立情報学研究所助手・助教授などを経て、京都大学数理解析研究所准教授。専門は数理論理学(本データはこの書籍が刊行された当時に掲載されていたものです)

出版社：青土社の検索結果

動きが生命をつくる―生命と意識への構成論的アプローチ

江戸にフランス革命を!

コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-