On Thu, Nov 6, 2008 at 10:09, Elliott Hird
<[EMAIL PROTECTED]> wrote:
> On 6 Nov 2008, at 17:01, Ed Murphy wrote:
>
>> For the purpose of this message, to flip a Credit is to perform
>> the following actions if and only if it would result in a net
>> increase in my Coin holdings:
>>
>>  1) RBoA-withdraw a Credit of that pitch
>>  2) PBA-deposit that Credit
>>  3) RBoA-deposit the minimum number of Coins needed to gain at
>>       least as many Chits as were spent in step 1
>
>
> Unless you can give me a reasonable argument for this to be accepted I'm
> treating it as
> ineffective for not being clearly specified enough because if I allow
> unrestricted
> conditionals that would allow people to condition on turing complete or
> undecidable
> things.
>
I'm in agreement. This is a pain to work out from an automation perspective.

BobTHJ

Reply via email to