Wednesday, May 24, 2006
22:22
Well, I've got a system for counting the number of topologies on a given finite set of points that is much faster than listing them all, but it's still a long way from being a formula. However, it looks like it might eventually turn into a recursive formula. The trouble is that the recursion could be nested any number of levels deep.