I mean... you can abuse language and math notation in ways that you can't do for computer code. Math notation is actually terribly and surprisingly informal com

I mean... you can abuse language and math notation in ways that you can't do for computer code. Math notation is actually terribly and surprisingly informal compared to code. I'd just argue that many[*] of these "social disagreements" would go away within a computational framework. I think the future of mathematics is in computer proofs. [*] Note that the claim is "many" (ie.: a subset), not "all".