Earlier quoted context omitted.
By that logic, nothing can ever exist without some way to measure it, yet we know of things like emotions and attractiveness. Would you then say that "hatred" or "love" cannot exist because there isn't a hatred/love-measuring machine? Just because you have not seen it does not mean it doesn't exist. I don't have any experience with higher mathematics, but let's take programming. Would the existence of a women-centric…
Your examples are things that can be measured. Also, if you don't need evidence, then I can say anything.
I know this isn't what a lot of HNers like to hear, but discrimination exists whether you can measure it with a ruler or not. This is one of those things where you have to piece together anecdotal evidence with an empirical lack of women to get the answer.