>>20
Lispのラムダ式を使って、自己参照を作るっていうのが本質だから、ラムダ式を自然に使える言語なら同じことができるだろう。

http://www.iba.k.u-tokyo.ac.jp/~yabuki/tip/lisp/unknowable/unknowable.html
に日本語の解説がある。

http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unknowable/index.html
にオリジナルがある。

＞視覚化
「視覚化」っていうのがいまいち何を指しているのか分からん…