2-タグシステムでレジスタマシンを作る

お題

循環タグシステム→タグシステムはウィキペディアに載っているけど、肝心のタグシステムのチューリング完全性はどうなっているんだろう
…と思ったので。

小さい止まらないチューリングマシン

最も小さい（？）万能チューリングマシンと言われている、ウルフラムの2, 3-チューリングマシンがどういう方法で計算しているのかを調べたことがあったが、ちゃんとメモをしていなかったので、だいぶ忘れてしまった。仕方ないので、覚えている範囲でメモをしておこう
…という話

（このチューリングマシンが、万能チューリングマシンと呼べるかどうかについてはここでは棚上げします）

経験主義の第三のドグマって何だっけ？と思ったので、多少まとめる。

前に、晩年のポール・ファイヤアーベントの読書メモっぽいものを書いた。

が、そんなものよりもずっと良いであろう文書を見かけたので、それを読んで思ったことを補足的に書いてみる。

不動点入りの型付きラムダ計算を含む推論を眺める。

合っているかどうかは、知識が無いので知らない。

特に理由も無く、S式を使用します。

ミル『自由論』の第４章には、道徳的な非難の対象となるような行為や性格についての記述があります。

では、どのような行為や性格が道徳的な非難の対象となるのでしょうか。

フィクションの影響についてどう考えればいいのか分からない
･･･という話