30 Jan
2009
30 Jan
'09
9:52 p.m.
On Friday 30 January 2009 08:18:39 Galchin, Vasili wrote:
Here is a definition of Cantor dust .... http://en.wikipedia.org/wiki/Cantor_set.
My question is from a constructivist viewpoint does this set really exist and if so, why?
Yes, it exists. In fact, it is a continuous image of 2^N. It is Bishop compact, fan-like and compact overt (choose your taste of constructivism). Bas