Talk:Invariance theorem

From Wikipedia, the free encyclopedia

You have new messages (last change).

Although not problematic to those familiar with the diatype, at its face, the main connective of this formula is ambiguous:

C(x)=C_U(x) \leq C_M(x) + c.

An explanation of the meanings of C(x), C_U(x) and C_M(x) will also be needed. These explanations will likely be found in Li and Vitanyí's book. Since I don't have it handy, can anyone help clarify this theorem?

Also, in my opinion, any math article concerning a theorem should have (1) an informal statement of the theorem, (2) why it is significant, (3) an informal sketch of one of its proofs, and (4) eventually show a more formal proof. Vonkje 14:06, 23 July 2005 (UTC)

[edit] References

Ming Li & Paul Vitanyi (1997). An Introduction to Kolmogorov Complexity and Its Applications -- Second Edition. Heidelberg: Springer Verlag. ISBN 0-387-94868-6. 

Retrieved from "http://en.wikipedia.org../../../i/n/v/Talk%7EInvariance_theorem_fac7.html"