4 ms·

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 cl

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 11y ago
So? (By the way, they do map to different tests if you view it as a statement in constructive logic, rather than geometry.)
- hyperpape 11y ago
  They don't map to distinct empirical tests. And that's the basic requirement for a semantic theory: map distinct statements to distinct contents.