[jules]

I never claimed that, in fact I said precisely the opposite:

> Of course this isn't always the most interesting test

[hyperpape]

Substitute non-trivial for interesting. For instance, a calculation of pi to 50 digits will map to the same test as a calculation of pi to 51 digits. But the claims have different content so they should map to different tests!

[jules]

So?

(By the way, they do map to different tests if you view it as a statement in constructive logic, rather than geometry.)

[hyperpape]

They don't map to distinct empirical tests.

And that's the basic requirement for a semantic theory: map distinct statements to distinct contents.