Re: Does the Calculus rest on Euclid?



David C. Ullrich wrote:

Glancing over Weyl's _The Continuum;/A Critical Examination of the
Foundation of Analysis/_ has convinced me that I do not have time to delve
too deeply into this matter. My conviction is that we innately believe it
is meaningful to transcend the concept of discrete partitions as these
partitions become infinitesimal, but the concept of continuity cannot be
constructed from arguments which begin with the whole numbers.

You're entitled to your conviction. But it's incorrect.

Alas it does take some time to explain exactly _how_ we
get from the integers to the continuous. But it doesn't
require innate belief, nothing but simple logic.

Care to provide a reference to this alleged proof? I know that in 1917 Weyl
attempted to present such a proof, and in 1932 he basically retracted his
endorsement in the preface to the second printing of his work.
--
Nil conscire sibi
.