Multisets
6/9/202657 min
Why does traditional mathematics refuse to believe in duplicates, and how did a "rebel" data structure save modern computing? In this episode of the Math Deep Dive Podcast, we explore the fascinating world of multisets (often called "bags"), the mathematical structures that embrace repetition and prove that quantity is just as vital as identity.Whether you are a data scientist, a math enthusiast, or just curious about how your bank account actually tracks deposits, this episode uncovers why the axiom of extensionality nearly erased the physical reality of "two of a kind" from formal logic. We trace the multiset’s journey from 12th-century Indian combinatorics to the foundational "crisis" of 20th-century mathematics and its triumphant return via the digital revolution and Donald Knuth.Key topics covered in this deep dive:
-
- The Grocery Store Paradox: Why classical set theory would technically let you shoplift duplicates.
- The Bourbaki Ban: Why a secret society of French mathematicians decided to exile multisets to prioritize "abstract purity" over practical counting.
- Box Theory & LOM: How N.J. Wildberger builds the entire number system from scratch using nothing but empty cardboard boxes.
- The "Bag of Words": Why modern AI, SQL databases, and NLP models would instantly collapse without multiset algebra.
- The Quantum Connection: A look at how Bose-Einstein statistics suggests our physical universe might actually be a giant multiset of indistinguishable particles.
From the visual elegance of "stars and bars" to the philosophical tension between identity and equality, we reveal how relaxing one simple rule unlocked the tools needed to decode the messy, repetitive nature of reality.
Clips
Transcript preview
First 90 secondsSpeaker 1· Host0:00
So imagine you walk out of a grocery store, right? And you get two apples and, um, one banana in your bag.
Speaker 2· Guest0:06
Okay, a pretty standard shopping trip.
Speaker 1· Host0:08
Right. But then the mathematician at the cash register rings you up, and they only charge you for an apple and a banana- Mm-hmm ... because, well, they just don't fundamentally believe in duplicates.
Speaker 2· Guest0:18
I mean, if you're trying to save money, that sounds great.
Speaker 1· Host0:20
Yeah. You're basically shoplifting at that point.
Speaker 2· Guest0:22
Yeah.
Speaker 1· Host0:23
But, you know, it sounds completely absurd in the real world.
Speaker 2· Guest0:26
Oh, absolutely.
Speaker 1· Host0:27
But if you apply the strictest rules of traditional mathematical set theory to your shopping basket- Yeah ... that is literally exactly what happens. The quanti- ju- it just disappears.
Speaker 2· Guest0:37
Yeah.
Speaker 1· Host0:37
The repetition is entirely erased from existence.
Speaker 2· Guest0:40
It's wild, right. It is this ultimate foundational blind spot in classical math.
Speaker 1· Host0:46
Yeah.
Speaker 2· Guest0:46
You're left with a structural framework that looks incredibly elegant on a chalkboard, but it's, um, it's completely incapable of handling the physical reality of just having two of the exact same thing.
Speaker 1· Host0:58
W- which is exactly why we are plunging into this today. Welcome to the Deep Dig, everyone.
Speaker 2· Guest1:03
Glad to be here for this one.
Speaker 1· Host1:04
So you sent us this truly fascinating s- stack of notes and historical papers. Uh, it spans from twelfth century Indian mathematics all the way up to, like, modern AI sorting algorithms.
Speaker 2· Guest1:17
Yeah. It covers a lot of ground.
Speaker 1· Host1:18
It really does.
Speaker 2· Guest1:19
Yeah.
Speaker 1· Host1:19
And you're basically asking this one very specific question through all these sources, which is, why do computer science and traditional math seemingly completely disagree on how to count things?
Speaker 2· Guest1:29
Right.