> I think one of the problems of set-theory and applications is that it doesn't lend itself very well to computers. I might be misunderstanding what you mean h

> I think one of the problems of set-theory and applications is that it doesn't lend itself very well to computers. I might be misunderstanding what you mean here, but I'm confused by this statement. Set theory is used very often in computer science. Relational databases are essentially applied set theory.