コルモゴロフ複雑性
Uncomputability of Kolmogorov complexity.