On Jan 8, 2007, at 22:57, Steve Allen wrote:

GPS is not (TAI - 19)

What is GPS time, anyway? I had assumed someone had simply defined
GPS to be TAI - 19, and made the goal of the satellites to
approximate GPS time, i.e. that GPS and TAI are the same (up to
isomorphism in some "category of measurements"). But apparently not?
Are the satellite clocks allowed to drift, or do they get corrected?

Ashley Yakeley

Reply via email to