Laurent Bienvenu Rod Downey Kolmogorov Complexity and Solovay Functions http://arxiv.org/abs/0902.1041 2009 CoRR abs/0902.1041 db/journals/corr/corr0902.html#abs-0902-1041 informal publication