FOM: sharp boundaries/tameness

Ayan Mahalanobis amah8857 at
Fri Feb 15 12:11:23 EST 2002

In constructive mathemathematics this kind of vagueness is frequent. For
example one can't say if a real number (as defined in bridges-bishop) is
zero or non-zero.

I was wondering if you could comment on that.

Best Regards,

On Wed, 13 Feb 2002, Harvey Friedman wrote:
> > 2. In their "completely rigorous" mode - the normal polished professional
> > mode - mathematicians insist on using only concepts with sharp or precise
> > or absolute boundaries. Infinitesmals fail on this account because of such
> > questions as "which reals are infinitesmal and which are not infinitesmal?"

More information about the FOM mailing list