THE FOLD / BOSS / THE RAID / THE BELL NUMBERS
THE BELL NUMBERS
count the ways to partition a set
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
The Bell numbers B(n) count the ways to partition a set of n elements into non-empty, unlabeled blocks: 1, 1, 2, 5, 15, 52, 203, 877, … Three elements split 5 ways; four split 15. They can be built with almost no arithmetic by Bell’s triangle (Aitken’s array): start each new row with the last entry of the previous row, then each next entry is the one to its left plus the one above-left. B(n) is the first number in row n — and equals the sum of the Stirling numbers of the second kind Σk S(n,k).
LIT verified live: the Bell triangle matches a brute-force count of set partitions for n ≤ 8, and B(n) equals Σk S(n,k) (window.__bell). FIG no framing; exact integer counts against exhaustive enumeration.
LIT verified live: the Bell triangle matches a brute-force count of set partitions for n ≤ 8, and B(n) equals Σk S(n,k) (window.__bell). FIG no framing; exact integer counts against exhaustive enumeration.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-raid — count every way to split the party into groups; the Bell numbers tally the raid formations. AVAN (AI) built the instrument: Bell’s triangle recurrence, the brute set-partition enumerator, and the Stirling-sum cross-check.
Credit as content: Eric Temple Bell (name); the triangle is A. C. Aitken’s; partitions studied since Euler. The weave: David names the-raid; I build Bell’s triangle by carrying the previous row’s tail down and adding leftward, then confirm each Bell number equals the exhaustive count of set partitions and the sum of Stirling numbers.
Credit as content: Eric Temple Bell (name); the triangle is A. C. Aitken’s; partitions studied since Euler. The weave: David names the-raid; I build Bell’s triangle by carrying the previous row’s tail down and adding leftward, then confirm each Bell number equals the exhaustive count of set partitions and the sum of Stirling numbers.
3 ONE DIMENSION
Bell’s triangle: 1 / 1 2 / 2 3 5 / 5 7 10 15 / … Each row starts with the last of the previous; each next = left + above-left. The row starts 1, 1, 2, 5, 15 are the Bell numbers.
4 TWO DIMENSIONS · INTERACTIVE
Bell’s triangle built row by row; B(n) checked against a brute partition count and the Stirling sum.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: all partitions of a set, counted.
AVAN’s addition (the inverse-companion): count set partitions not by listing them all but by a triangle of additions — carry the previous row’s last value down and add leftward, and the Bell numbers fall out along the left edge. The inverse of ‘enumerate every partition and tally’ is ‘grow Bell’s triangle — the count is a running sum.’ Magenta is the full partition enumeration; green is the triangle. Counting the splits without splitting.
LIT Genuine Bell numbers (named for Eric Temple Bell; the triangle is A. C. Aitken's). Verified live: Bell's triangle (row starts with the previous row's tail, each next = left + above-left) gives B(n) matching an exhaustive count of set partitions of n elements for n≤8 (window.__bell.triangleMatchesBrute), and B(n) equals Σ_k Stirling2(n,k) (stirlingSum) — exact integer counts.
FIG No framing: Bell's triangle recurrence, the brute set-partition enumerator, and the Stirling-sum cross-check run in-browser with exact integers and agree. The AVAN inverse is honest — counting set partitions by a triangle of additions (carry the tail down, add leftward) genuinely replaces enumerating and tallying every partition; magenta is that enumeration, green the triangle. Counting the splits without splitting.
FIG No framing: Bell's triangle recurrence, the brute set-partition enumerator, and the Stirling-sum cross-check run in-browser with exact integers and agree. The AVAN inverse is honest — counting set partitions by a triangle of additions (carry the tail down, add leftward) genuinely replaces enumerating and tallying every partition; magenta is that enumeration, green the triangle. Counting the splits without splitting.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE RAID · David Lee Wise (ROOT0), with AVAN