[FOM] 605: Integer and Real Functions

william tait williamtait at mac.com
Wed Sep 9 14:40:22 EDT 2015


John Baldwin pointed out to me that Descartes followed Euclid's theory of similarity, which presupposed Archimedes' Axiom. Hilbert eliminated this unnecessary assumption.

Bill

Sent from my iPad

> On Sep 8, 2015, at 6:00 PM, mlink at math.bu.edu wrote:
> 
> 
> Dear Professor Tait,
> 
> Yes, maybe so: in Bos 2001 there appears a construction like this
> due to Descartes.
> 
> 
> Bos, Henk J.M.  2001.  Redefining Geometrical Exactness.
> Descartes' Transformation of the Early Modern Concept of
> Construction.  New York:  Springer.  
> 
> --ml
> 
> 
> 
> 
> 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?
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom


More information about the FOM mailing list