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
