[formal-methods] Conceptual Mathematics, I.1.6

[d p chang]

Josh Myer <josh at joshisanerd.com> writes:

> (Warning, contains spoilers!  I've talked about this with nigh on half
> the list, so it was time to just continue the discussion there.)
>
> On Sat, Jun 13, 2009 at 07:11:51PM -0700, Jason Dusek wrote:
>
>>     sum with `c` ranging from 0 to `|A|` of:
>> 
>>       (|A| choose c) * (c ^ (|A| - c))
>> 
>
> That's exactly where I got, and where I realized "Hot damn, that's a
> lot of entries, and it's one ugly-assed formula."

wow, my hand-wavy 'constants + identity' s a lot more complicated than i
thought it would be. thanks for the grok-able post (for non-math majors :-)

\p
---
The first myth of management is that it exists. The second myth of
management is that success equals skill. - Robert Heller