1次元セルオートマトンのRule 110がTuring完全と聞いて。 Tag system まずCocke, John, and Marvin Minsky. "Universality of tag systems with P=2." Journal of the ACM (JACM) 11.1 (1964): 15-20.を読んだ。そもそも，tag systemとは，文字列書き換え規…

ナイーブには自分に自由意志はあると思う。 唯物論を信じている。 唯物論を仮定すると誰にも自由意志はないと結論できるような気がする。 これらは矛盾するように見えがちだけど，そうでもないよね。「『自分が信じている世界』の中にいる自分」は対象化され…