| M P Darke on Mon, 14 Jun 2010 13:42:08 -0700 (MST) |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
| Re: [s-b] CFI - The nature of shadows. |
I object to this answer. If I changed my name to Rule 203, I would still not be a rule.
--- On Fri, 11/6/10, Ed Murphy <emurphy42@xxxxxxxxxxxx> wrote:
From: Ed Murphy <emurphy42@xxxxxxxxxxxx>
Subject: Re: [s-b] CFI - The nature of shadows.
To: "B Nomic Business" <spoon-business@xxxxxxxxx>
Date: Friday, 11 June, 2010, 16:39
0x44 wrote:
> I usurp the Oracle specifying a reward of 9.
> This is CFI 112. I assign it to Judge Murphy.
>
> On Jun 10, 2010, at 12:37 PM, 0x44 wrote:
>
>> I CFI on "Rule 10 is a Rule."
>> Arguments: It is an entity named "Rule 10".
If this assignment is valid, then I judge True. In general, in the
apparent absence of an explicit definition of "rule", common sense
suggests the definition "entity created according to a B-defined
mechanism and clearly labeled as being a rule".
_______________________________________________
spoon-business mailing list
spoon-business@xxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/spoon-business
_______________________________________________
spoon-business mailing list
spoon-business@xxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/spoon-business