諸概念の迷宮（Things got frantic）

最初に食いついたのは「仮想化（virtualization）」がらみの部分。 不完全性定理とかの話で出てくる「算術の算術化」、昔は全然イメージが湧かなかったんですが、最近は「人間（メタメタレベル）がコンピュータ（メタレベル）の中で仮想機械（対象レベル）を動かしているんだ」と説明できるようになったのでとっても楽です…