freyar said:
Interesting link, Umbran. I can see the distinction you want to make between empirical and formal sciences, but I'm not sure if the distinction between "formal" and "natural" sciences is really as clear as that Wikipedia article implies.
Well, of course not - it is Wikipedia not "The Authoritative Source for Everything". It got the basics down. The subtleties are left as an exercise for the reader
Regarding math, I think we may have to agree to disagree. Self-consistency is an extremely important test, though maybe not an empirical one. Math is accurate (ignoring human error); what might be inaccurate is a given mathematical model proposed to describe some phenomenon.
Um, I think we may be talking past each other here. To me, this is a matter of definition - calling math an empirical science is like calling an orange a poodle.
Empirical science compares a theory to collected real-world data as a check of the accuracy of the model. Mathematics cannot do this, as mathematics itself makes no claims on what real-world data it should be checked against.
A theory in a formal system can be proved or disproved with respect to that formal system, and that's all. There is no experiment, no taking of data, no observation of reality is required, or even called for. It is thus not possible for it to be empirical, by definition of the word "empirical".
As most-likely the only string theorist in the room, I also think I need to mention a couple of things. First off, self-consistency and consistency with empirically correct models are very difficult to achieve in modeling any fundamental theory of physics.
Just so you know - my thesis work was on computer modeling of spin propagation in high-energy jet formation. I know whereof you speak here.
It still remains - if the theory does not make predictions that can be tested, it does not sit in the realm of empirical science. It may sit outside for practical reasons ("Sorry, the technology to make the measurements you want doe snot yet exist"), or it may sit outside for more fundamental reasons. But if it cannot be falsified, it isn't empirical science, because what folks call the scientific method cannot be applied.
That doesn't make it unimportant. Or easy. Or fake. It doesn't make the people who do it any less hard-working. It may be that some version of string theory will, in time, come into the empirical realm. But as far as I'm aware, none of them are there yet. As far as I'm aware, they're all still in the formal realm - a formal realm that's informed by empirical theories, but not yet emerged to the measurable.
That's okay - the same was true for General Relativity once upon a time.