Actually, I wouldn't tell the mathematicians how to write proofs; I would tell them how to write code. I'm not a math guy, but I've at least seen math proofs.

Actually, I wouldn't tell the mathematicians how to write proofs; I would tell them how to write code. I'm not a math guy, but I've at least seen math proofs. It's remarkable how much English is there. It's like there's a paragraph or two explaining what they're after, and then there's a mathematical equation. After the equation, there's more text, explaining some more, and then another equation. A math proof is replete with English. But then you get some of these guys writing code and it's like, "Great! No English!" There's not a comment to be found. Or, take variables. "Let i represent column and j represent row" -- because, you know, it would simply just aggravate their carpal tunnel syndrome to have to type out c-o-l-u-m-n and r-o-w. A real math he-man doesn't bother with descriptive variable names! That's for liberal arts majors! I just don't get it.