index ac04213..0118fe8 100644
@@ -15,7 +15,7 @@ but most real-world ordering isn't total. it's **partial**. consider prioritizin
- "finish essay" is more important than "do laundry"
- but is "study for exam" more important than "finish essay"? depends on deadlines, weight, your energy level
-you can't always compare. some things are just... incomparable. and that's fine — partial orders are a legitimate mathematical structure, not a failure of decision-making.
+you can't always compare. some things are just... incomparable. and that's fine — partial orders are a legitimate mathematical structure, not a failure of decision-making. partial orders are sets with a specific relation — which makes them a [[structural/set-theory-as-thinking|set theory]] concept at heart.
## the hidden math in sorting
@@ -41,6 +41,8 @@ comparison requires a notion of "how much better." this leads to **metrics** —
these seem obvious, but many real-world "distances" violate them. travel time isn't symmetric (one-way streets). perceived similarity isn't symmetric (people say "north korea is like china" more than "china is like north korea"). whenever you're comparing things, it's worth asking: does my comparison method actually behave like a real metric?
+metrics are deeply connected to [[structural/topology-as-thinking|topology]] — every metric defines a topology, and the topological properties (connectedness, compactness) determine what kinds of ordering and comparison are possible in a space.
+
this connects to [linear algebra as thinking](/wiki/structural/linear-algebra-as-thinking) — when you embed things as vectors, the distance between them (cosine similarity, euclidean distance) gives you a metric that enables meaningful comparison in high-dimensional spaces.
## ordering in practice
@@ -59,4 +61,4 @@ this is the mathematical way of saying "it depends on what you value." ordering
## the deep point
-ordering feels like common sense, not math. but the math of orders reveals why ranking is so hard: transitivity failures, incomparable options, multiple dimensions, and the fundamental impossibility results of social choice theory. understanding this doesn't make decisions easier, but it does make you stop expecting a "correct" ranking where none exists.
\ No newline at end of file
+ordering feels like common sense, not math. but the math of orders reveals why ranking is so hard: transitivity failures, incomparable options, multiple dimensions, and the fundamental impossibility results of social choice theory. understanding this doesn't make decisions easier, but it does make you stop expecting a "correct" ranking where none exists. and comparison always rests on [[immediate/counting-and-measurement|measurement]] — what you can order depends on what you can measure.
\ No newline at end of file