Computer science is a branch of math. And while it has applications in software, most developers do not interact with it, only using existing implementations of CS results.

Correspondence is quite a weak relation. Very far from one being another.

Proofs can be represented as programs, not the other way around. Also, USA allows for algorithm parents, and algorithms are maths. While I agree with you, your reasoning is not correct.

She can’t compete with women. You were missing an important word there. The problem here is that her results are not even that competitive, and it leaves this unfairness feeling. We need solid criteria for allowing transgender women to participate on women support. I’m sure it is ok to allow some of them, but definitely not all of them. Compare it to certain phisique enhancing drugs. They are banned at sports. Now, imagine someone who used such drugs the whole life competing against people who did not. It makes sense to ban them as well. But we have half of population like that, so instead of banning we have divisions.