4 ms·
"All" as the way it is _because_ it's an implementation of the following logical statement: For all x in X, P(x) It's not arbitrary, and understanding formal
by empath75 3y ago
"All" as the way it is _because_ it's an implementation of the following logical statement:
For all x in X, P(x)
It's not arbitrary, and understanding formal logic and the history of formal logic is a good basis for understanding a great many things in computer science.
- ajross 3y agoAnd I sigh for a third time. This is emphatically not about "formal logic", it's philosophy. If you want to argue from programming language type theory about the best/right/proper/whatever way to implement set theoretic predicates in python, I'm here for it. If you want to do it by citing Aristotle, my eyes start rolling.