4 ms·

It is absolutely not clear to me that ethics and mathematics have nothing to do with each other. Let me give just one example. In statistics, there is a great d

It is absolutely not clear to me that ethics and mathematics have nothing to do with each other. Let me give just one example. In statistics, there is a great debate about Bayesian methods vs frequentist methods. People in other fields using Frequentist vs Bayesian has real world consequences. For instance, medical scientists using frequentist statisics abuse the methods to publish cures that will not cure or help any sick people. This is not to say that the same scientists using Bayesian statistics would not attempt to abuse the system, but my belief (which could be wrong), is that the abuse will be less with Bayesian statistics. So for me the math professor, who teaches pre-medical students frequentist statistics or the mathematician who creates yet another adhoc frequentist test for some specific situation, is doing something bad according to my ethics. They are making the world a worse place because of the particular kind of mathematics they choose to do.

crimsonalucard 7y ago
I'm talking about the categorization of ethics with mathematics. You can tell some story putting them both together it doesn't make the category make any sense. I think the bayesian way is more beautiful. Does that mean now I have to insert beauty into the description? No.
- dogcomplex 7y ago
  If you want to make an arbitrary categorization of what is mathematics (or computer science) to divorce it of perspectives of ethics, beauty, etc, then go for it. But those perspectives are there (and valid), and good luck coming up with a robust definition that successfully divides them without dramatically limiting your ability to say things about math/csc. (e.g. you may not be able to favor any representation of one formula/program over another without creating a definition of beauty, which leads you down the rabbit hole again). Point being: categorization is fuzzy. Ethics, beauty, etc are fuzzy but foundational and applicable to pretty much everything - like any other perspective. Denying them a place in CSC/Math/etc because they're seen as too "hard science" is a dead end road, because meeting your own bar of using only logical truth while still expressing anything useful about a subject is (probably) impossible - which is the general consensus in modern philosophy (as I understand it).
  - crimsonalucard 7y ago
    Philosophy is the arbitrary categorization. Usefulness has nothing to do logic or mathematics. Math and logic is statements, axioms and theorems. Usefulness is an arbitrary judgement that depends on context. It's "fuzzy" like you say. Math and logic aren't fuzzy, ever. Categorizing things that are fuzzy and aren't makes sense.
    - dogcomplex 7y ago
      Even if math and logic were fundamentally without fuzziness, their applicability to the rest of the world is inherently fuzzy. Their invention has inescapable, inevitable repercussions which have ethical consequences - so yeah, those need to be considered by someone. But I wouldn't even be that generous. The amount of inherently human decisions that go into the design, representation, learning, educating, and yes - categorization of math is far from a perfect un-fuzzy logical utopia. We inherently add our own human ideals of what we consider a beautiful (elegant, easily understandable) formula/proof/concept/whatever, and every time we do we affect the perception of subsequent discoveries. Any computer scientist who has developed a sufficiently complex system knows that it is is impossible to make something "purely rational" without making arbitrary categorizations, which another programmer might do completely differently to produce a similar result with far-reaching effects down the line. Likewise, Math as we know it is taught the way it is because of the specific way it formed historically and the way it's best understood by its human students. The fuzziness runs deep. Maybe you want to escape to fundamental concepts with rigorous self-consistent definitions only, with no applicability to the real world. Just cold hard formulas - the "real math". 1+1=2. Well then I hate to break it to you, but unless you have mathematical definitions of elegance and complexity to replace the human ones, you have no choice but to treat every tautology the same. Even selecting which proofs and axioms we care about is inherently human. So 1=1 and 46332688=3+211+7774+... Oh, and forget base 10... Or for that matter, why we even choose to define particular operators... Or explaining the proofs of any of this in english without some self-bootstrapping rigorous definition of the proof language... My point is just that to completely remove the human fuzziness you have to cut out a LOT. You have to sacrifice understandability, brevity, and conceptual usefulness, amongst many others. And even if you could make a perfect self-bootstrapping logic box (something famously proven to be impossible by Godel Esher Bach - no system can perfectly define itself, it can only be defined by its parent) then there's still the problem that whatever the discoveries of your self-contained system are, they'll still have an impact on the rest of the world - which we then judge the effects of through Ethics. Sorry, but truly escaping the fuzzy swamp of human culture is pretty damn tough. Maybe it can be done, but I doubt it. All language is fuzzy, all understanding is fuzzy, representation is fuzzy, the choice to define one thing and not another is fuzzy, Mathematics and Computer Science as educational subjects are very fuzzy still (even as much as they believe they aren't). Fuzziness is the baseline, and the study of that fuzziness is Philosophy. Maybe there exists some pure kernel that is strictly without human fuzziness, but that remains to be seen, and even if it was - it would be very different from the subjects of Math and Computer Science as we understand them today.

crimsonalucard 7y ago

I'm talking about the categorization of ethics with mathematics. You can tell some story putting them both together it doesn't make the category make any sense. I think the bayesian way is more beautiful. Does that mean now I have to insert beauty into the description? No.

dogcomplex 7y ago
If you want to make an arbitrary categorization of what is mathematics (or computer science) to divorce it of perspectives of ethics, beauty, etc, then go for it. But those perspectives are there (and valid), and good luck coming up with a robust definition that successfully divides them without dramatically limiting your ability to say things about math/csc. (e.g. you may not be able to favor any representation of one formula/program over another without creating a definition of beauty, which leads you down the rabbit hole again). Point being: categorization is fuzzy. Ethics, beauty, etc are fuzzy but foundational and applicable to pretty much everything - like any other perspective. Denying them a place in CSC/Math/etc because they're seen as too "hard science" is a dead end road, because meeting your own bar of using only logical truth while still expressing anything useful about a subject is (probably) impossible - which is the general consensus in modern philosophy (as I understand it).
- crimsonalucard 7y ago
  Philosophy is the arbitrary categorization. Usefulness has nothing to do logic or mathematics. Math and logic is statements, axioms and theorems. Usefulness is an arbitrary judgement that depends on context. It's "fuzzy" like you say. Math and logic aren't fuzzy, ever. Categorizing things that are fuzzy and aren't makes sense.
  - dogcomplex 7y ago
    Even if math and logic were fundamentally without fuzziness, their applicability to the rest of the world is inherently fuzzy. Their invention has inescapable, inevitable repercussions which have ethical consequences - so yeah, those need to be considered by someone. But I wouldn't even be that generous. The amount of inherently human decisions that go into the design, representation, learning, educating, and yes - categorization of math is far from a perfect un-fuzzy logical utopia. We inherently add our own human ideals of what we consider a beautiful (elegant, easily understandable) formula/proof/concept/whatever, and every time we do we affect the perception of subsequent discoveries. Any computer scientist who has developed a sufficiently complex system knows that it is is impossible to make something "purely rational" without making arbitrary categorizations, which another programmer might do completely differently to produce a similar result with far-reaching effects down the line. Likewise, Math as we know it is taught the way it is because of the specific way it formed historically and the way it's best understood by its human students. The fuzziness runs deep. Maybe you want to escape to fundamental concepts with rigorous self-consistent definitions only, with no applicability to the real world. Just cold hard formulas - the "real math". 1+1=2. Well then I hate to break it to you, but unless you have mathematical definitions of elegance and complexity to replace the human ones, you have no choice but to treat every tautology the same. Even selecting which proofs and axioms we care about is inherently human. So 1=1 and 46332688=3+211+7774+... Oh, and forget base 10... Or for that matter, why we even choose to define particular operators... Or explaining the proofs of any of this in english without some self-bootstrapping rigorous definition of the proof language... My point is just that to completely remove the human fuzziness you have to cut out a LOT. You have to sacrifice understandability, brevity, and conceptual usefulness, amongst many others. And even if you could make a perfect self-bootstrapping logic box (something famously proven to be impossible by Godel Esher Bach - no system can perfectly define itself, it can only be defined by its parent) then there's still the problem that whatever the discoveries of your self-contained system are, they'll still have an impact on the rest of the world - which we then judge the effects of through Ethics. Sorry, but truly escaping the fuzzy swamp of human culture is pretty damn tough. Maybe it can be done, but I doubt it. All language is fuzzy, all understanding is fuzzy, representation is fuzzy, the choice to define one thing and not another is fuzzy, Mathematics and Computer Science as educational subjects are very fuzzy still (even as much as they believe they aren't). Fuzziness is the baseline, and the study of that fuzziness is Philosophy. Maybe there exists some pure kernel that is strictly without human fuzziness, but that remains to be seen, and even if it was - it would be very different from the subjects of Math and Computer Science as we understand them today.