- #36
phoenixthoth
- 1,605
- 2
Nereid said:Can we take this one step at a time please?
Yes.
What is meant by the phrase 'laws of physics'? I'm personally more comfortable with theories ... which as you know come with 'domains of applicability'I rather doubt that you'll find any serious scientist - or serious observer of science - who would claim that anything can be 'proved' in science. Indeed, outside of formal systems (such as math), does anyone claim that 'proof' is possible?
You interpreted my statement how I intended you to. I shall now call them the theories of thermodynamics and Newtons theories and the inverse square theory and the theory of gravity. I said I was uneducated!
Ok so nothing can be proved in science. Do you believe any theory? I know a scientist is supposed to doubt science; indeed, expect it to be wrong (which seems absurd to me but that's just my HO)... But is there any theory you do believe? GR, perhaps? Or Maxwell's equations? How about F=ma (which is not just a definition)? Do you believe that?
And, if you do, withstanding the fact that nothing in science can be proved, what do you call it when you believe something you cannot prove?
If you don't believe anything in science (which I doubt), then why study it? It works! Oh, of course, that tired old cop out answer. Well that's just not rigourous enough for my taste. I am like Berkeley attacking Newton. Calculus works, so why the need for limits? To be more rigorous. By the way, of course Berkeley was only half right because Abraham Robinson, and others, proved that infinitesimals can exist as Newton used them. So Newton was right, in a sense. And I bet science is indeed universal, that it is 'right' like Newton, but it is like Calculus was in the 1600's: not rigorous. Maybe in 400 years it will be, especially if we, as Hilbert suggested 100 years ago, axiomatize physics (see! maybe you folks already have and I'm unaware?).
I must have written this a dozen times now, but the best that I think we can do in science is something like this: "within its stated domain of applicability, is consistent with all the good observational and experimental results; continue to be capable of making specific, concrete, testable (in principle) predictions; should those predictions include new phenomena, so much the better."
What does this have to do with my questions in the last post?
If we take GR as an example, you can (in principle) 'verify' its predictions by a) repeating the experiments that have previously been done, b) devising new experiments and observations to test its predictions, and c) examining the theory for yourself (to verify its internal consistency, for example).
Let's boil this down further; I'll make an analogy between GR and the statement 1+1=2. 1+1=2 is a universal statement. It states that *any* time you add one object to one object you *always* get 2 objects. What I mean by "universal" is implied by what's in the asterisks. In math, this is proved not by observation (for it cannot, which is my point), but by logic.
So let's take Einstein's field equations from GR. Better, E=mc^2. This is an example of what I called (erroneously) a law. Is this equation universal? If so, how is that known?
By universal, I mean that for *any* mass *anywhere* *anytime*, m.
And therefore, I think that even though you avoided answering my question with a yes or no, you'd have to say that science has not been proven to be universal. Domains of applicability, etc.
Ok.
Now that we've established that science is not universal, go back to an earlier paragraph:
If science is not universal, then why study it? It works! Oh, of course, that tired old cop out answer. Well that's just not rigourous enough for my taste. I am like Berkeley attacking Newton. Calculus works, so why the need for limits? To be more rigorous. By the way, of course Berkeley was only half right because Abraham Robinson, and others, proved that infinitesimals can exist as Newton used them. So Newton was right, in a sense. And I bet science is indeed universal, that it is 'right' like Newton, but it is like Calculus was in the 1600's: not rigorous. Maybe in 400 years it will be, especially if we, as Hilbert suggested 100 years ago, axiomatize physics.