Re: Does the Calculus rest on Euclid?


Virgil wrote:

I note that Dededkind and Cauchy, whose names were invoked in this
discussion, preceded Weyl.

Weyl died in 1955. Presumably the work cited above was published before
that so that there has been over half a century of progress since.

Weyl was one of those philosophical gloomy gusses who worried about
impredicative definitions. Then he got into Intuitionism. These days
people of that sort are likely to embrace Constructivism. Most
mathematicians think mathematics is hard enough without artificially
making it harder because of unconvincing philsophical qualms, but
pissing and moaning like Hatto does has a long tradition behind it. Why
types don't solve his problem I don't know.

.

Quantcast