[FOM] 605: Integer and Real Functions

WILLIAM TAIT williamtait at mac.com
Thu Sep 3 21:37:50 EDT 2015


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



More information about the FOM mailing list