How much information can there be in a real number?Gregory Chaitin2007International Journal of Bifurcation and Chaos