EPISODE · Oct 1, 2025 · 5 MIN
OEIS A000372: Dedekind numbers
from Intellectually Curious · host Mike Breault
We explore Dedekind numbers, also known as M2, and their surprising equivalences to monotone Boolean functions, antichains and Sperner families. We'll trace the history of exact values (known up to n = 9), the computational hurdles that make n = 10 intractable, and the sharp asymptotic picture in which most antichains cluster around the middle layer of the Boolean lattice.Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information.Sponsored by Embersilk LLC
What this episode covers
We explore Dedekind numbers, also known as M2, and their surprising equivalences to monotone Boolean functions, antichains and Sperner families. We'll trace the history of exact values (known up to n = 9), the computational hurdles that make n = 10 intractable, and the sharp asymptotic picture in which most antichains cluster around the middle layer of the Boolean lattice. Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical in...
NOW PLAYING
OEIS A000372: Dedekind numbers
No transcript for this episode yet
Similar Episodes
No similar episodes found.