Khashishi said:
we can take the limit as speed approaches the speed of light, and then time dilation goes to infinity--proper time stops
You can't just say "take the limit"; you have to specify
what you are taking the limit of.
In the case of proper time, you are taking the limit of arc length between two distinct points on a curve. But changing the "speed" means
changing the curve; and making the speed approach the speed of light means changing the curve from a timelike curve into a null curve. Physically, this doesn't make sense. So while you might be able to mathematically formalize such a limit, that doesn't guarantee that it means anything physically.
Physically, the key difference between timelike curves and null curves is that, for timelike curves, arc length (proper time) is an affine parameter, whereas for null curves, it isn't (since the arc length is zero between any two distinct points). In other words, we can use proper time (arc length) to distinguish points on a timelike curve, and our entire concept of "proper time" is based on being able to do this. But we can't use arc length to distinguish points on a null curve, so our whole conceptual scheme for proper time breaks down for null curves.
So when we say that the concept of "proper time" doesn't make sense for photons, we're saying something stronger than just "proper time is zero for null curves, but we can still take limits and draw analogies with timelike curves"; we're saying "applying the concept of proper time at all to photons is not valid, because null curves are fundamentally different from timelike curves".
Khashishi said:
It's not so bad to think this way
Given the umpteen number of threads here on PF based on misconceptions arising from this way of thinking, I strongly disagree.
Khashishi said:
It makes it clear why neutrino oscillation implies that neutrinos have mass. If they had no mass, they would travel at the speed of light, and they couldn't oscillate, since they have no proper time.
This is not a valid argument; if it were true, it would prove that photons can't oscillate either. But they can. You can have oscillatory variations of fields along null curves just as you can along timelike curves (or spacelike curves, for that matter). You just can't parameterize the oscillations along null curves by arc length.
Just for the record, what neutrino oscillations imply is not that all three neutrino species must have mass, but that the three species must have
different masses. This means that at least two of them must have nonzero mass; but it still allows one to have zero mass. (The current belief is that all three have nonzero mass, but that's based on much more detailed experiments that attempt to measure matrix elements for various reactions involving the three neutrino species; it's not based on the simple fact of neutrino oscillations.)