27 Nov
2013
27 Nov
'13
4:34 p.m.
GarethM> On 27/11/2013 21:30, Bill Gosper wrote: If your developers are leery of GCD[1,π]→0, I think I can muster authoritative corroborators, if not corroborative literature. Motivation: The gcd of two real quantities is the largest quantity that goes into each a whole number of times. I'm unconvinced. In this context (multiplicative rather than additive) 0 is *larger* than everything else, not *smaller*, no? Well, we *are* looking for the "greatest".-) Do you propose a different answer, or deny there is one? And 0 emphatically doesn't "go into" anything "a whole number of times". -- g Touché. New wording: GCD(a,b):= the limit of the Euclidean process of iteratively subtracting the smaller from the larger. --rwg