Yes, it’s true that the theorem doesn’t show that there’s anything exciting that’s interestingly different from a universal mixture, just that AFAIK we can’t disprove that, and the theorem forces us to come up with a non-trivial notion of ‘interestingly different’ if we want to.
Yes, it’s true that the theorem doesn’t show that there’s anything exciting that’s interestingly different from a universal mixture, just that AFAIK we can’t disprove that, and the theorem forces us to come up with a non-trivial notion of ‘interestingly different’ if we want to.