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
