> For mathematics, logic is the world, as the copula makes no distinction between substance and existence.

No. There are truths about the subject not captured in any single formal system. Which is why objects are studied form many perspectives.

> Computer scientists are mathematicians.

Some are and some aren’t.