Hacker News new | ask | show | jobs
by QuesnayJr 2253 days ago
I think negations usually don't prove interesting, and mathematicians essentially use "non-" to mean "not necessarily". So the theory of "noncommutative rings" includes the theory of "commutative rings" as an easy special case.