User loginNavigation 
What is the dual of { } ?I have a question for the logicians and category/set theorists among LtU readers. Background: I'm currently dealing with a simple matching algorithm for strings. One can create a search pattern either by building a set of admissible characters {a, b, c, ... } from the empty set {} or a search pattern from matching basically any character ( like using a . operator in regexps ) and withdraws a set of characters that shall not be matched: ANY  {a, b, c, ... } For disambiguation purposes I'm interested in making all those sets disjoint. It shall not be really significant in the discussion that characters are matched. This is just an implementation detail. The question is about the status of ANY? As it seems the full ZF set theory would be far too much specification. It entirely suffices that each of those sets S can be finally constructed or finally deconstructed as for ANY  S. In one case one starts with a "set of no entities" and in the other case with a "set of all entities". The latter clearly violates the principle that the set is constructed after the elements. I know ANY isn't entirely insane because I have a working implementation with the usual relations like union, difference, subset and intersection. What I'd like to know is about a more in depth treatment of ANY in the literature. I expect more interest from computing scientists given the above motivation than from classical mathematics. By Kay Schluehr at 20090204 18:23  LtU Forum  previous forum topic  next forum topic  other blogs  6408 reads

Browse archivesActive forum topics 
Recent comments
10 hours 37 min ago
10 hours 51 min ago
11 hours 3 min ago
11 hours 36 min ago
11 hours 55 min ago
13 hours 26 min ago
1 day 11 hours ago
1 day 18 hours ago
2 days 5 hours ago
2 days 6 hours ago