Re: DIS: Re: BUS: [Promise] Legislating [attn. Treasuror]
On 1/20/21 2:59 PM, Aris Merchant via agora-business wrote:
> On Wed, Jan 20, 2021 at 11:54 AM ais523 via agora-discussion
> wrote:
>> On Wed, 2021-01-20 at 14:47 -0500, Jason Cobb via agora-business wrote:
>>> On 1/20/21 2:15 PM, Aris Merchant via agora-business wrote:
I grant the Library the following promise:
{
If I am the bearer of this promise, I can cash it at any time and it
has no effect. Otherwise, the bearer can cash it if, by the end of the
message in which e cashes it, I will receive 5 pendants.
I transfer the bearer two legislative cards.
}
>>> I have two legislative cards, one from the reset and one from Trigon.
>>>
>>> Aris has two legislative cards, one from the reset and one from
>>> Cuddle Beam.
>>>
>>> I take the above promise and cash it.
>>>
>>> I pay a fee of four Legislative cards as a set to earn 10 pendants.
>>>
>>> If I have at least 10 pendants, I transfer Aris 5 pendants.
>> If the cashing condition had been negated, this message would be a
>> trivial paradox. I think most people would rule that that sort of thing
>> doesn't work.
>>
>> Putting the cashing condition the other way round, there are two
>> internally consistent timelines for what happened (either everything
>> succeeded or everything failed). I think logically, it should fail for
>> the same reason as the paradox fails.
> Fair enough. Let's converge this.
>
> If the promise I made above is owned by the Library, I take it from
> the Library and cash it.
>
> If I have two legislative cards, I transfer them to Jason.
>
> -Aris
If I have four legislative cards, I perform the following actions:
{
I pay four legislative cards as a set.
I transfer 5 pendants to Aris.
}
--
Jason Cobb
Assessor, Rulekeepor, Stonemason
Re: DIS: Re: BUS: [Promise] Legislating [attn. Treasuror]
On Wed, Jan 20, 2021 at 11:54 AM ais523 via agora-discussion
wrote:
>
> On Wed, 2021-01-20 at 14:47 -0500, Jason Cobb via agora-business wrote:
> > On 1/20/21 2:15 PM, Aris Merchant via agora-business wrote:
> > > I grant the Library the following promise:
> > >
> > > {
> > >
> > > If I am the bearer of this promise, I can cash it at any time and it
> > > has no effect. Otherwise, the bearer can cash it if, by the end of the
> > > message in which e cashes it, I will receive 5 pendants.
> > >
> > > I transfer the bearer two legislative cards.
> > > }
> >
> > I have two legislative cards, one from the reset and one from Trigon.
> >
> > Aris has two legislative cards, one from the reset and one from
> > Cuddle Beam.
> >
> > I take the above promise and cash it.
> >
> > I pay a fee of four Legislative cards as a set to earn 10 pendants.
> >
> > If I have at least 10 pendants, I transfer Aris 5 pendants.
>
> If the cashing condition had been negated, this message would be a
> trivial paradox. I think most people would rule that that sort of thing
> doesn't work.
>
> Putting the cashing condition the other way round, there are two
> internally consistent timelines for what happened (either everything
> succeeded or everything failed). I think logically, it should fail for
> the same reason as the paradox fails.
Fair enough. Let's converge this.
If the promise I made above is owned by the Library, I take it from
the Library and cash it.
If I have two legislative cards, I transfer them to Jason.
-Aris
Re: BUS: [Promise] Legislating [attn. Treasuror]
On 1/20/21 2:15 PM, Aris Merchant via agora-business wrote:
> I grant the Library the following promise:
>
> {
>
> If I am the bearer of this promise, I can cash it at any time and it
> has no effect. Otherwise, the bearer can cash it if, by the end of the
> message in which e cashes it, I will receive 5 pendants.
>
> I transfer the bearer two legislative cards.
> }
I have two legislative cards, one from the reset and one from Trigon.
Aris has two legislative cards, one from the reset and one from Cuddle Beam.
I take the above promise and cash it.
I pay a fee of four Legislative cards as a set to earn 10 pendants.
If I have at least 10 pendants, I transfer Aris 5 pendants.
--
Jason Cobb
Assessor, Rulekeepor, Stonemason
