`(12+144+20+3 sqrt(4))/7 + 5*11 = (3^2)^2 + 0`
A dozen, a gross, and a score,
plus three times the square root of four,
divided by seven,
plus five-times-eleven,
is three squared resquared and no more.
From here:
As we approached the Aleph Inn and tried to park our car,
They noticed there was one of us for every point in `RR`;
Their room-list had the wrong transfinite cardinality,
Alas — for it was `aleph_0` and our bunch was 𝔠.So we're banned from Aleph, almost all,
Banned from Aleph -- their hotel's just a little small.
We may be only `aleph_1` (or `{::}_12` or `{::}_54`)
But Aleph has no room for any more.
And a recurrence relation, for later:
`p(j,k,n) = sum_{i=1}^oo p(j-1,i+k-1,n-i)`
No comments:
Post a Comment