I think the best thing we can do at this point is to agree to disagree, especially as we are disagreeing over a hypothetical set of measurements and a calculation that neither of us can specify.
I would say yes to this except for your parenthetical there. Reading that, I think we're finally on the same page.
> unless it merely duplicates a set of measurements that could just as well have been made locally, in which case the excercise would have been pointless
Yes, it does duplicate the measurements that could have been made locally. But to whoever is writing the proof it's easier to use them in the 'remote galaxy' form. So it's not pointless. It's a critical part of that particular proof.
So with that noted down, I think everything is resolved?
Let's posit that we're taking local measurements and using them to determine UEIS/UEOS.
We know it's possible to do a whole bunch of abstract math and get an answer, without involving remote galaxies.
But maybe that's hard math to do.
What if it's easier to extrapolate our measurements to a remote galaxy?
So we calculate what telescopes would show in a remote galaxy as an intermediate step.
And from that we actually determine UEIS/UEOS.
That would be a non-circular argument, in which the deduced remote measurements are a necessary step.
It's not the only argument we could have made, but it's a useful and valid one.
Is that hypothetical argument detailed enough to satisfy you? It's something that should apply to just about any measurements. There's an unlimited number of ways to prove anything. There's no reason "deduced remote telescope measurements" can't be an intermediate step for all sorts of proofs that look at stars for data.
> Update: Let's look at it from the other direction: if your deduced remote measurements do not differ depending on whether you assume UEIS or UEOS, then how are they going to resolve the issue? This is what makes Swebs' argument an invalid one.
I know that my local measurements will differ based on UEIS/UEOS. But I don't know specifically how. Just looking at my local measurements by themselves, I have no idea which one they support. And in the process of deducing the remote measurements, I don't assume either one. I just plug in the numbers.
If you want a math analogy, then uhhh think of the local measurements as a composite number, and factoring it to deduce the remote measurements? And the question we ultimately want to answer can easily be solved with the prime factors.
It would be possible to calculate the answer without factoring, but much harder.
And factoring does not depend on assuming the answer. It's just factoring. It depends only on the composite number.