But sexism or no you cannot deny there are significant differences in the way of thinking between the sexes, so if it is possible this difference has crept into the fundaments of logic and thus programming it's worth investigating at least.
Say wha-
Any logic system is essentially a box of axioms. Applying such a system is putting input through axioms to get output. I'm interpreting the impact of this "difference" to manifest in two possible ways: structure (axiomatic definition) and interpretation (axiomatic understanding).
A difference in axiomatic definition is obvious. If one defines a gender-specific axiom, then
quod erat demonstrandum. But this is obvious. Trivial. Self-apparent and expected. But these are merely different axioms and different people would put different axioms in the box. The system is in no way sexist nor does it even take a stance on gender. Blame that on the person who chose to define the gender-specific axiom, not on the concept of a logic system. The abstract concept itself doesn't give a damn about gender.
A difference in axiomatic understanding is basically: male A thinks the axiom means this, female B thinks it means something else. This merely means the axiom is ambiguous and ill-defined. Which begs the question; where one would find such axioms? No doubt there might be a logic system constructed out there that might have ambiguous axioms but these would rarely find any use in reality.
That said, programming logic is based on the same logic found in mathematics. Formal logic. To imply that there might be gender "differences" in programming logic implies these are also found in formal logic. Specifically in the axioms, of which there are many. Now, I don't know these off-hand but out of the ones I have seen I find their abstraction rule out differences in axiomatic definition. As for axiomatic understanding, given proper abstraction, it would require a difference on such a low level I'd find the existence of such a difference absurd. Almost petty, too.
And no, mangling axioms doesn't count.