Kevin T. Kelly: Uncomputability: the problem of induction internalized. Theor. Comput. Sci. 317(1-3): 227-249 (2004)