Some Rambling on Order Theory and Logic
This is a followup to yesterday's rambling: Freya Holmér - Why Can't You Multiply Vectors?
In abstract algebra, a partially ordered group is a group (G, +) equipped with a partial order "≤" that is translation-invariant; in other words, "≤" has the property that, for all a, b, and g in G, if a ≤ b then a + g ≤ b + g and g + a ≤ g + b.
It's not a Sugar Pine. I don't know where I got that idea from. California, probably.
On Euclid's use of Common Notions, see Guerilla Logic Page 7:
See Local hidden-variable theory for an idea of what a non-local hidden-variable theory isn't.
I checked and the rain started at 11:55 AM.
See Order isomorphism, Galois connection and Freya Holmér - Vectors and Dot Product (Math for Game Devs Part I). Or just skip to the rocket game if you're not interested in knowing anything about it!
Comments
Post a Comment