Re: [s-d] [s-b] Paradoxical registration

["Jamie Dallaire" <bad.leprechaun@xxxxxxxxx>]

I think what makes the transaction fail is that there is absolutely no way
of assessing, "at the time it occurs within the list", whether or not the
Transaction fails. It has not yet failed or succeeded. Therefore the
assertion is either false or indeterminate (definitely not true), and
therefore the transaction does fail (in the future).

BP

On Fri, Sep 5, 2008 at 1:06 PM, Tyler <wisety@xxxxxxxxx> wrote:

> Huh? Why isn't it legal again for him to register? Is it because he has
> been
> a player recently? No, that can't be it. I don't get that your logic, Hose.
>
> On 9/4/08, Mike McGann <mike.mcgann@xxxxxxxxx> wrote:
> >
> > Fails.
> >
> > Rule 12 states:
> > "If it would be legal for the Outsider to take each Game Action within
> the
> > Transaction exactly as specified, and each assertion would be true at the
> > time it occurs within the list if the Game Actions were so taken, then
> the
> > Transaction is said to Succeed. Otherwise, the Transaction is said to
> > Fail."
> >
> > No matter what the assertion says, it is not legal to take the Game
> Action
> > as specified by Rule 4:
> >
> > "Any Human External Force who is not already a Player and who has not
> been
> > a
> > player in the current or previous nweek can become a Player by posting a
> > message to a Public Forum containing a request to become a Player and a
> > uniquely identifying name that e wishes to be known by."
> >
> > BEGIN TRANSACTION
> > Action: I request to register, under the name Hose.
> > Assertion: The Red Sox win the 2042 World Series.
> > END TRANSACTION
> >
> > - Hose
> > _______________________________________________
> > spoon-discuss mailing list
> > spoon-discuss@xxxxxxxxx
> > http://lists.ellipsis.cx/mailman/listinfo/spoon-discuss
> >
>
>
>
> --
>   -Tyler
> _______________________________________________
> 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