My statement was conceptual. Boolos himself suggests that we ask if X is random to get to a solution (though in a more complex iff statement). But being able to ask if a source is random seems unreasonable, though without that capability I can't say if there is a solution.
No comments yet.