[FOM] 605: Integer and Real Functions

[George McNulty]

On 9/3/2015 9:37 PM, WILLIAM TAIT wrote:
> On Sep 3, 2015, at 8:22 AM, John Baldwin <jbaldwin at uic.edu> wrote:\
>
>> Hilbert proved that in any Euclidean field one can define a
>> multiplication by similarity of triangle that distributes over
>> addition. Thus he defines a field of line segments.
>> but it has fallen into disuse, for good reason.)
> Isn’t the construction Descartes?
>
> Bill
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom


HIlbert did prove it, but maybe it is in Book V of Euclid and maybe even 
Eudoxus did it.

George McNulty