@ARTICLE{Cha87a, author = {Chaitin, G.J.}, title = {Incompleteness theorems for random reals}, journal = {Adv. in Appl. Math.}, year = {1987}, volume = {8}, pages = {119--146}, keywords = {bib,cca} }