Daniel Lepage on Mon, 16 Jan 2012 15:06:59 -0700 (MST)


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

Re: [s-d] Game over?


Hmmm.

I assume this is the combination of "Pending events and deadlines with
absolute dates and times do not occur" and "the Pause is increased by
one each day at 00:00:00 UTC"?

For what it's worth, I would argue that within a rule, more specific
text takes precedence over more general text. So deadlines with
absolute timestamps don't happen during the Procedure, but the Pause
is exempt from this because r0 specifically says that happens during
the Procedure. I'm pretty sure that was the interpretation used when
r0 was created, at least.

-- 
Wonko


On Mon, Jan 16, 2012 at 3:44 PM, Craig Daniel <teucer@xxxxxxxxx> wrote:
> On Mon, Jan 16, 2012 at 3:17 PM, Alex Smith <ais523@xxxxxxxxxx> wrote:
>> On Mon, 2012-01-16 at 15:11 -0500, Daniel Lepage wrote:
>>> On Mon, Jan 16, 2012 at 9:12 AM, Craig Daniel <teucer@xxxxxxxxx> wrote:
>>> > On Mon, Jan 16, 2012 at 9:03 AM, Daniel Lepage <dplepage@xxxxxxxxx> wrote:
>>> >> I check in on B Nomic every few months; did it die while I wasn't
>>> >> looking? That'd be sad, especially since last month was the decade
>>> >> anniversary of the founding
>>> >
>>> > It died a very long time ago, in a platonic sense. Then it got very
>>> > platonist, and then somebody figured out that this meant it had been
>>> > dead for many years, and it took its platonism seriously enough that
>>> > it was not able to recover from this news.
>>>
>>> That's a pity. What killed it?
>>
>> The first Emergency's time-stopping rule also stopped the passage of
>> time as seen by the Emergency, so it's impossible for the Emergency
>> resolution process to get anywhere, and also impossible to end it.
>
> Alternately, an excess of Platonism.
> _______________________________________________
> spoon-discuss mailing list
> spoon-discuss@xxxxxxxxx
> http://lists.ellipsis.cx/mailman/listinfo/spoon-discuss
_______________________________________________
spoon-discuss mailing list
spoon-discuss@xxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/spoon-discuss