Comments by "Harry Mills" (@harrymills2770) on "why bad activists suck" video.

None of this makes sense until "Brother makes mistake" implies "Brother is a bad person." There's some hidden/unspoken axiomatics built in, which is why all mathematicians can program but not all programmers can do math.
15
@ihavenoson3384 Let me help you. In the current context, "axioms" are the set of beliefs that people hold to be self-evident and exist without proof. The point about mathematicians being good programmers isn't about "proving" anything. It's about seeing the logical holes and potential blow-ups in the code. It's about understanding EXACTLY what you're telling the computer to do. Programmers/mathematicians alike are still prone to misinterpretations of what a program is actually doing or its reliability as a predictive tool, because the program only knows the "axioms" that the programmers gave it. Einstein had a quote that I'm going to butcher: "Inasmuch as we are certain, the model does not reflect reality. Inasmuch as the model reflects reality, we are not certain." The math and the programs are 100% internally consistent. Whether they bear any relation to the real world is something that is always up for debate.
1