ランダムを評価する方法は複雑すぎて有限長記号列では表記できない。
あるいは無限長記号列でも表記できないかもしれない。そこはよくわからない。
そもそもランダム性を真に理解しているわけではない。すまない。

ところでこんなことを考えている。
チューリングマシンで計算不能なルールがあるということは有限長記号列で記述出来ないほど複雑なルールがあるということだ。
では無限長記号列でルールを記述できるとしたらどうだろう。
チューリングマシンの停止問題を解く手順を具体的に表記できるかもしれない。
さらにその無限長記号列ですら記述できないほど複雑なルールはあるだろうか。
また、そのようなルールを解く手順を具体的に表記するにはどれだけのスペースが要るだろうか