Order said:
In this thread I have been trying to make paradoxes to see if the laws of physics violates logic. FunkHaus went the other way around. He stated logic propositions and, from them, tried to deduce the laws of physics.
Actually Order, I think we were kind of doing the same thing!
You were asking things like, is the definition
KE = \frac{1}{2}mv^2
consistent with the "intuitive" idea that the change in kinetic energy is invariant with respect to different reference frames (ie invariant with respect to boosts), etc. What I was doing was saying that basically, the definition follows precisely because of reasons like that.
But here's the key thing to keep in mind--in order to understand where math ends and physics begins, you must in a way part with the idea of "intuition". In fact, invariance with respect to inertial reference frames is not intuitive; well, I guess it depends on your definition of "intuitive". But the point is that complex and interesting worlds that do not exhibit this phenomenon could and do easily exist (I know, I've been to some of them)--we simply find experimentally that
our world has this property.
In classical mechanics all we have is a set of world lines of particles, or if you will, a single curve in a set \Re^{3N} (N is the number of particles, 3 is the dimension of space) which contains an amount of information equivalent to that which we believe our universe to contain. This an "almost" purely general
mathematical statement about the containment of every piece of
information in our world. Physics is, in the most basic sense, the application of mathematical
constraints to this curve, or this set. Well, at least that's how I think about it (hopefully none of my profs. are reading this thinking I'm crazy).
When I talked of symmetries, I was talking of constraints. Basically, they're the same thing. None of these symmetries are "logical". Logic deals with the validity of mathematical theorems. Physics is different. It is, to a mathematician, totally arbitrary. That is to say, the constraints are arbitrary. When I say that (classical) boost invariance, and spatial homogeneity are symmetries, I mean that we determine
empirically that they are constraints as to what may happen in our
specific world.
The truth, at least as I've found, is that there are not many good classical mechnics textbooks that actually start from the ground up with a basic set and use nothing but pure empirical symmetries to reveal "why" the theorems of physics are as they are. Most books take stuff for granted. In fact, most books (Goldstein is a good example) just start off by saying
\frac{d \vec p}{dt} = \vec F
is the equation of motion. OK, except what is momentum? Mass times velocity? OK, what is mass? Seems like some sort of extra empirically determined parameter. "Well if that's the case, then tell me about it!", I say. But most books don't. They just kind of take it for granted. Which is in my opinion, kind of a bummer.
But, I found this one great book with a whole different (and rather mathematically formal) perspective--V.I. Arnold's "Mathematical Methods of Classical Mechanics". Check it out! It goes through basically some of the same symmetry arguments I've laid down above.
Anyway, I'd love to talk about this more with you. I must say, you've started up quite a good thread. (Also, speaking of CM books, I've been working on a rather brief book of my own. It definitely won't cover all the theorems about rigid body motion and perturbation theory and all that other stuff, but it will (hopefully) take a fresh perspective).
--funkhaus