I'm almost afraid to ask if they think there needs to be a "feminist mathematics" as well. Because, really, the division between "mathematical notation" and "pr

I'm almost afraid to ask if they think there needs to be a "feminist mathematics" as well. Because, really, the division between "mathematical notation" and "programming language" is somewhat arbitrary, especially with languages such as Prolog and Metamath. http://us.metamath.org/ http://us.metamath.org/