無意味のような生き方

組込みエンジニアが怒りと無念をさえずるブログ。

数理/計算機関係

『白と黒のとびら』 第9章 「不毛な論争」まとめ ①

『白と黒のとびら』(川添愛、東京大学出版会)を読んでいる。 前半の山場である9章「不毛な論争」の内容が、一度読んだだけでは頭に入ってこなかったので、ここにまとめておく。 証明①『規則』で表せる文はすべて『装置』で表すことができる。②『装置』で…