pikhq wrote:
From playing B Nomic, I've seen one potentially useful idea: transactions. I'm
not sure if everyone wants them, but let's see:
Proto: Transactions (power=3?)
Create a rule titled "Transactions" with the following text:
A transaction is a method of announcing actions, contained entirely
within "BEGIN TRANSACTION" and "END TRANSACTION". A transaction may have a
list of assertions and may have a list of actions. If any assertion made
within the transaction is not true at the time of the transaction or,
alternatively, the time specified within the assertion, then none of the
actions in the transaction take effect. If any action made within the
transaction fails, then none of the actions in the transaction take effect.
You're missing this bit:
"If it cannot be determined with finality and certainty whether or
not a Transaction Succeeds, then the Transaction Fails."
which avoids paradoxes due to asserting e.g. Goldbach's conjecture.
I would also leave out this bit:
"or, alternatively, the time specified within the assertion"
and just have assertions specify time periods directly when needed, e.g.
"X was the Y at some point during November 2007."
