4 Some concepts related to complexity
This measure has more to do with the amount of information in an expression than its complexity. For example it has been shown  that you can not prove that expressions are (much) more complex than the original axioms in a formal system, despite the fact that there is no intuitive limit to the complexity of possible theorems in the system. This reading is confirmed by the close connection of this with other (entropic) measures of information like Shannon's . Expressions with little information will be limited in their complexity, but that is not to say that all expressions with a high information content are complex; one can surely imagine a situation in which you are given a lot of information, but where most of it is unrelated, so that the whole is incompressible and large but ultimately simple. In fact the more interrelations there are, the more compressible the expression is likely to be, but this would also tend to make it more rather than less complex.
Generated with CERN WebMaker