Turing and Chaitin's results on algorithmic information theory show that the descriptive complexity ...