Kevin T. Kelly and Schulte Oliver. The computable testability of theories making uncomputable predictions. Erkenntnis , vol. 43 (1995), pp. 29–66.