What is Kolmogorov Complexity

Kolmogorov complexity is usually introduced as: