FOM: sharp boundaries/tameness

[Ayan Mahalanobis]

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,
Ayan


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?"
>