コルモゴロフ複雑性
このプログラムは GenerateComplexString() をサブルーチンとして呼び出すが、その際 "n"0 という任意の変数を引き渡す。このプログラムは コルモゴロフ複雑性が少なくとも "n"0 以上であるような文字列 "s" を出力する。このとき、"n"0 を適切に選ぶと矛盾を導くことができる。この値を選ぶに当っては、"s" が GenerateParadoxicalString() というプログラムによって生成される点に着目すると良い。このプログラムの長さは、たかだか