DIS: Re: BUS: Re: OFF: Search parties give up

2011-11-06 Thread Pavitra
On 11/06/2011 03:19 PM, Sean Hunt wrote: On Sun, Nov 6, 2011 at 15:44, ais523 callforjudgem...@yahoo.co.uk wrote: On Wed, 2011-10-26 at 13:40 -0700, Kerim Aydin wrote: With 2 Support I do so. I announce the start of Delve 4 with these (same) Rules selected: Rule 2335 (Judge Points)

DIS: Re: BUS: Re: OFF: Search parties give up

2011-11-06 Thread Pavitra
On 11/06/2011 03:19 PM, Sean Hunt wrote: The actions in this post constitute a Delve. I create a Promise with the following text, and then cash it: {{I cash this Promise. This Promise is not destroyed by being cashed.}} I CFJ {Agora is stuck in an infinite loop.} I intend, without

Re: DIS: Re: BUS: Re: OFF: Search parties give up

2011-11-06 Thread ais523
On Sun, 2011-11-06 at 17:22 -0500, Tanner Swett wrote: On Sun, Nov 6, 2011 at 4:19 PM, Sean Hunt scsh...@csclub.uwaterloo.ca wrote: I create a Promise with the following text, and then cash it: {{I cash this Promise. This Promise is not destroyed by being cashed.}} I CFJ {Agora is stuck

Re: BUS: Re: DIS: On the Mister Snuggles cases

2011-11-06 Thread omd
On Sun, Nov 6, 2011 at 8:28 AM, Kerim Aydin ke...@u.washington.edu wrote: I announce my intent to deputize for the cotc to recuse yally from cfjs 3105 and 3106, and to assign those cfjs to myself (G.) thus limiting ambiguity to date-of-assignment.  Or Murphy can do this first of course; won't

Re: DIS: Re: BUS: Re: OFF: Search parties give up

2011-11-06 Thread Tanner Swett
On Sun, Nov 6, 2011 at 5:24 PM, ais523 callforjudgem...@yahoo.co.uk wrote: ehird, I have a mission for you. Are non-self-destroying Promises, plus Promise transfer, Turing-complete? I submit the following promise, which will be called S: {{I submit the following promise, where X is the promise

Re: DIS: Re: BUS: Re: OFF: Search parties give up

2011-11-06 Thread Pavitra
This entire thing is hypothetical because it was posted to a-d. Tanner L. Swett wrote: I submit the following promise, which will be called S: {{C I submit the following promise, where X is the promise specified: {{D I submit the following promise, where Y is the promise specified:

Re: DIS: Re: BUS: Re: OFF: Search parties give up

2011-11-06 Thread Tanner Swett
On Sun, Nov 6, 2011 at 8:41 PM, Pavitra celestialcognit...@gmail.com wrote: I cash promise S, specifying promise I. Call the resulting promise C. This submits a second copy of S, and assigns C as a synonym for S. (Note that promises with the same text, author, and conditions are fungible.)

Re: DIS: Re: BUS: Re: OFF: Search parties give up

2011-11-06 Thread Pavitra
On 11/06/2011 08:27 PM, Tanner Swett wrote: On Sun, Nov 6, 2011 at 8:41 PM, Pavitra celestialcognit...@gmail.com wrote: I cash promise S, specifying promise I. Call the resulting promise C. This submits a second copy of S, and assigns C as a synonym for S. (Note that promises with the same

Re: DIS: Re: BUS: Re: OFF: Search parties give up

2011-11-06 Thread comexk
In general I think a better question is whether you can evaluate complex expressions with promises without requiring complicated naming schemes or complicated individual messages that could be thrown out as unclear, relying instead on emergent behavior from a series of individually simple

DIS: Re: BUS: Proposal

2011-11-06 Thread Aaron Goldfein
On Sun, Nov 6, 2011 at 23:11, omd c.ome...@gmail.com wrote: Proposal: okay, this has gotten silly (AI=3) Repeal Rule 2339 (Intention). Repeal Rule 2351 (Agora, Adult). Against. Veto. Exile!