On Mon 2003-01-27T18:21:02 +0000, Ed Davies hath writ: > It can reasonably be argued that GPS should have used TAI but that's > rather beside the point as it would still have had a rather odd and > varying relationship to civil time.
Steve Allen replied: # GPS did choose TAI. # For all practical purposes GPS = TAI - 19 s. (GPS = TAI - 19) & (x != x - 19) => (GPS != TAI) # For precise purposes it is important to recognize that GPS time varies # from this -- recently by only plus or minus about 50 ns, but # historically by more than that. # # This error alone taints all of the rest of the arguments in this note. Um, I don't think you've shown that I made an error but, even if I did, I hope most readers would consider each of the other arguments on their own merits or otherwise. Ed Davies.
