[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: April 17th Draft of the Voting GR

>> On Sat, 19 Apr 2003 12:44:56 +1000,
>> Anthony Towns <aj@azure.humbug.org.au> said: 

 > On Fri, Apr 18, 2003 at 09:29:57PM -0400, moth@magenta.com wrote:
 >> On Sat, Apr 19, 2003 at 09:56:03AM +1000, Anthony Towns wrote:
 >> >On Fri, Apr 18, 2003 at 04:05:06PM -0500, Manoj Srivastava wrote:
 >> > > >> Raul Miller <moth@magenta.com> said: 
 >> > >  > I've also made explicit that only undropped defeats are used in
 >> > >  > determining the schwartz set.
 >> > > 	Whoa there. I think A transitively defeats option C if a
 >> > >  defeats B and B defeats C, whether or not the defeat is dropped.
 >> > > 
 >> > It doesn't. Once defeats are dropped, they are *entirely*
 >> > irrelevant to the vote, and it's utterly useless to have terms
 >> > that refer to them.

	I was not aware I was doing so. My sense is that defeats, and
 transitive defeats, are concepts that exist outside of the mechanism
 for determining a winner.

 >> However, it may be that Manoj is concerned that once the
 >> transitive defeat is gone the reason for dropping the defeat is
 >> gone.

	I had actually not thought of that; I am not sure I even
 follow the logic.

 > No, I think you'll find Manoj is saying that "transitive defeat"
 > doesn't include the word "undropped" so should just refer to the
 > obvious and logical thing, applying any defeat that exists,
 > transitively. Just as a a cleanliness of terminology thing.

 >> Refering to the message with id
 >> <[🔎] 87smsf3ewg.fsf@glaurung.green-gryphon.com>, you still have the
 >> potential ambiguity that "transitive defeat" is defined in terms
 >> of "defeats" not in terms of "the list of undropped defeats".

	How does the version in the message with Message-ID:
 <[🔎] 87fzof1m69.fsf@glaurung.green-gryphon.com> look?
Three may keep a secret, if two of them are dead. Benjamin Franklin
Manoj Srivastava   <srivasta@debian.org>  <http://www.debian.org/%7Esrivasta/>
1024R/C7261095 print CB D9 F4 12 68 07 E4 05  CC 2D 27 12 1D F5 E8 6E
1024D/BF24424C print 4966 F272 D093 B493 410B  924B 21BA DABB BF24 424C

Reply to: