At Columbia there are numerous women in the mathematics department. They do not seem to be doing any worse than their male peers at handling complex work. I'm

At Columbia there are numerous women in the mathematics department. They do not seem to be doing any worse than their male peers at handling complex work. I'm inclined to say that women probably aren't interested in formal systems in exactly the same way as men, but that lack of interest doesn't somehow mean they can't handle it or find their own way to it.