Re: [LEAPSECS] what should a time standard encompass?

From: Ed Davies <ls_at_edavies.nildram.co.uk>
Date: Mon, 27 Jan 2003 21:48:54 +0000

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.
Received on Mon Jan 27 2003 - 13:51:26 PST