Of course we can enumerate all possible theories, in principle. This is a trivial corollary of the fact that we can enumerate all Turing machines. It's not pra

Of course we can enumerate all possible theories, in principle. This is a trivial corollary of the fact that we can enumerate all Turing machines. It's not practical but that's not the point. The point is that if we are free enough to enumerate all possible theories in a deterministic universe, then science can be conducted. Clearly we can enumerate all possible theories, therefore even if our universe is deterministic, we can do science.