3 ms·
I think all three problems are really one problem under the hood: Are these two things actually the same thing, or they separate?
by et1337 5mo ago
I think all three problems are really one problem under the hood:
Are these two things actually the same thing, or they separate?
- tikhonj 5mo agoReminds me of my favorite math essay: "When is one thing equal to some other thing?" It's a great question, much deeper and more interesting than it seems. The essay suggests thinking in terms of isomorphisms (relative to the structure you care about) rather than equality in some absolute sense, and I've found a fuzzy version of that to be a really useful perspective even in areas that can't be fully formalized. https://people.math.osu.edu/cogdell.1/6112-Mazur-www.pdf https://people.math.osu.edu/cogdell.1/6112-Mazur-www.pdf
- card_zero 5mo agoMathematics is all just explanations for why this is really that. If it didn't have to respect its human audience, and their failure to grasp similarities, the whole edifice could be one implicit statement. (After all, since this is really that, there is no this or that.) So mathematics is about people.
- moi2388 5mo agoYes, I found the same and was very pleasantly surprised when I first learned about the ideas of cubical type theory.
- tonetheman 5mo ago[dead]
- aleksiy123 5mo agoOr non binary. How much are these the same and how.
- hackthemack 5mo agoI jumped to a similar conclusion right away and popped over here to comment only to find you have beaten me to the punch. I use to keep a work wiki page of common problems the team encounters over and over again. Years ago, I stumbled upon the "idea" was already debated in other fields long before programming. Lumpers and Splitters. https://en.wikipedia.org/wiki/Lumpers_and_splitters https://en.wikipedia.org/wiki/Lumpers_and_splitters
- et1337 5mo agoWow, thanks for that, TIL! I’m definitely a code lumper.
- hexasquid 5mo ago"Ambiguity is the enemy", as a rule of thumb, has helped me