show/hide this revision's text 2 edited tags
show/hide this revision's text 1

How are mathematical objects defined from an ultrafinitist perspective?

I remember attending a lecture given by an ultrafinitist who denied that curves are a set of points, he would only say that any particular point may or not be on the curve. Similarly for algebraic or analytic objects, the only way I know how to define them is as a set with operations on the elements of that set. Since ultrafinitists cannot use definitions with infinite sets, what sort of definitions do they use?