2017-04-22 精霊の箱 下: チューリングマシンをめぐる冒険 ☆☆☆ か行の著者 日本文学 文芸作品 文学・評論 一般 数学 科学・テクノロジー 東京大学出版会 精霊の箱 下: チューリングマシンをめぐる冒険作者: 川添愛出版社/メーカー: 東京大学出版会発売日: 2016/10/26メディア: 単行本この商品を含むブログ (4件) を見る ☆☆☆ 62頁からの『究極の万能装置』と『装置が止まるかどうかを判断する装置』の非存在証明が楽しい. 著者の本は,数学(論理)と哲学の結びつきが自然に書かれていておもしろいし,共感する. 正気であり続けるのは難しい.