精霊の箱 下: チューリングマシンをめぐる冒険作者: 川添愛出版社/メーカー: 東京大学出版会発売日: 2016/10/26メディア: 単行本この商品を含むブログ (4件) を見る ☆☆☆ 62頁からの『究極の万能装置』と『装置が止まるかどうかを判断する装置』の非存在証明…

精霊の箱 上: チューリングマシンをめぐる冒険作者: 川添愛出版社/メーカー: 東京大学出版会発売日: 2016/10/26メディア: 単行本この商品を含むブログ (4件) を見る ☆☆☆ 何が書いてあったか チューリングマシンの計算に関する側面とコンピュータとの関係 「…