構造と乱数列

昨夜『ゲーデル・エッシャー・バッハ』を読みながら、 「ループや自己言及は、無限を有限でとらえようとする試みである」 ことについて思いを馳せる。

無限を有限でとらえるためには構造が必要になる。 だから、真の乱数列をプログラムで生成することができないのだろう。