Re: DIS: Re: BUS: [IADoP] Assessor election

2008-06-12 Thread Ian Kelly
On Thu, Jun 12, 2008 at 7:06 PM, Ben Caplan <[EMAIL PROTECTED]> wrote: > The probability that an random integer of length N contains a given > 9-digit sequence is no less than 1-((1-(1/10^9))^(N/9)). Assuming that the digits are randomly distributed, of course. > Given that > xkcd is ungodly larg

Re: DIS: Re: BUS: [IADoP] Assessor election

2008-06-12 Thread Ben Caplan
> >> I rather doubt that can be "reasonably determined...from information > >> published within the voting period." > > > > I disagree. > > Care to demonstrate? The probability that an random integer of length N contains a given 9-digit sequence is no less than 1-((1-(1/10^9))^(N/9)). Given that

Re: DIS: Re: BUS: [IADoP] Assessor election

2008-06-12 Thread Geoffrey Spear
On Thu, Jun 12, 2008 at 8:36 PM, Elliott Hird <[EMAIL PROTECTED]> wrote: > 2008/6/13 Ian Kelly <[EMAIL PROTECTED]>: >> I rather doubt that can be "reasonably determined...from information >> published within the voting period." >> >> -root >> > > I disagree. > > ehird I nominate ehird as IADoP, as

Re: DIS: Re: BUS: [IADoP] Assessor election

2008-06-12 Thread Ian Kelly
On Thu, Jun 12, 2008 at 6:36 PM, Elliott Hird <[EMAIL PROTECTED]> wrote: > 2008/6/13 Ian Kelly <[EMAIL PROTECTED]>: >> I rather doubt that can be "reasonably determined...from information >> published within the voting period." >> >> -root >> > > I disagree. Care to demonstrate? -root

DIS: Re: BUS: [IADoP] Assessor election

2008-06-12 Thread Charles Reiss
On Wed, Jun 11, 2008 at 9:39 AM, Geoffrey Spear <[EMAIL PROTECTED]> wrote: > This (very late and overlooked; my apologies) message initiates the > Agoran Decision to choose the holder of the Assessor office. The > valid options are ROOT and MURPHY, the eligible voters are the active > players, and

Re: DIS: Re: BUS: [IADoP] Assessor election

2008-06-12 Thread Elliott Hird
2008/6/13 Ian Kelly <[EMAIL PROTECTED]>: > I rather doubt that can be "reasonably determined...from information > published within the voting period." > > -root > I disagree. ehird

DIS: Re: BUS: [IADoP] Assessor election

2008-06-12 Thread Ian Kelly
On Thu, Jun 12, 2008 at 5:48 PM, Elliott Hird <[EMAIL PROTECTED]> wrote: > For the purposes of this message, 'xkcd' means A(g_64,g_64), where A > is the Ackermann function > (http://en.wikipedia.org/wiki/Ackermann_function) and g_64 is Graham's > number (http://en.wikipedia.org/wiki/Graham%27s_numb

DIS: Re: BUS: [IADoP] Assessor election

2008-06-11 Thread Benjamin Schultz
On Jun 11, 2008, at 11:39 AM, Geoffrey Spear wrote: This (very late and overlooked; my apologies) message initiates the Agoran Decision to choose the holder of the Assessor office. The valid options are ROOT and MURPHY, the eligible voters are the active players, and the vote collector is the I