FOM: sharp boundaries/tameness
amah8857 at fau.edu
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.
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