Counterpoint: I am a trans woman in CS and I am incompetent

Maybe taking estrogen will elevate your rank.

Same! :)

I think that would be a contrapositive, as the truth table is the same; unlike a converse or an inverse where the truth tables would be opposite

But we're also working with inductive logic here, so maybe truth tables aren't the right tool to use anyway

People who use templates and types to achieve absurd outcomes that just work, maybe?

I have seen a few haskell magic.

Godel has a vibe. Don't be so sure.

Cantor is the infinity guy, so clearly he/it's a mind-breaking eldritch abomination with tentacles. (Also, mostly 19th century)

I don't know Frege.

what about alan turing?

They grew up in an oppressed environment and couldn't develop their own personal preferences (what did I just write?)

What about them? Listing a few brilliant straight people doesn't negate the other commenter's claim.