By that logic, you shouldn't believe in black holes / GR at all, right? In practice, we can always replace infinities with some arbitrarily large numbers that don't grow all the way to infinity because of yet-unknown physics (probably quantum gravity, in the case of black holes).
> But again, even if MM couldn't have been performed, Einstein still would have had good theoretical reasons (consistency with Maxwell's equations) to posit SR. And indeed, this was the path the discovery seems to have actually taken.
I don't think this would have been promising if the MM experiment seemed a hundred years away, and in general I don't think SR would have been as compelling in that case. I suspect we would have still had arguments about an aether if experiments on the speed of light in different inertial frames had remained beyond reach.
> Sure, but this is a difference in degree, not in kind. You accept that theoretical arguments for new phenomena that are not directly testable (at present) are acceptable if they're convincing enough. The question about BHILP under this view (which I agree with) is then about how convincing the theoretical arguments are.
Sure, it's a difference in degree in the end. The plausibility of having an experiment "soon" is the degree here. I don't think that Hossenfelder would argue that if an experiment is only possible 2 years from now, or maybe even 20 years from now, you shouldn't work on some theoretical subject. But, when that time horizon stretches well beyond your lifetime and the lifetime of your students, it's perhaps time to reconsider.
I also know for sure she doesn't have a problem with doing theoretical research where you don't yet know how something would be testable, as long as you plan to define an experiment as well. She explains this in some detail when discussing her own work on superdeterminism - where she plans to first define a concrete model, and then come up with experiments which could invalidate that particular model - instead of giving up a priori because "there's no known way to test such a theory".