For example, many of the moral dilemmas that get tossed around as interesting become trivial to answer once you give a mathematically rigorous definition to wor

For example, many of the moral dilemmas that get tossed around as interesting become trivial to answer once you give a mathematically rigorous definition to words like "good", "moral", "utilitarian" or whatever. Yes, but the while the conclusions become trivial, actually coming up with those rigorous definitions is not. I'm not going to provide examples because they are likely to start a flamewar. But if you search for words like "normative" or "core principle" in my comment history, you can see how difficult it is to actually come up with those rigorous definitions. The problem is that when you do, you either come up with unsatisfying arbitrary definitions, or else you wind up implying peripherally related conclusions you probably dislike. Yes, I am definitively guilty of being "highly mathematical" (and also highly economical and philosophical), and it pushes me to recognize incoherence in mainstream "thought".