On Tue, 13 Feb 2018 at 21:54, Cuddle Beam <cuddleb...@gmail.com> wrote:
> I object to that intent :P
I pend the proposal "Paradoxical Contract Obligation Fix" with shinies.
> Another try:
> I create a contract (Cuddlebeam's Cool Contract) by paying 1 shiny to
> Agora, with the following text:
> ~~~~Cuddlebeam's Cool Contract.~~~~
> "This sentence is false."
> The way this contract is destroyed is by announcement, with such
> announcement message being in the form of "I hereby destroy Cuddlebeam's
> Cool Contract. Bipity Bopity X!", where X is the state of the truth-value
> of the statement above in the form of a string (for example "true" or
> I hereby destroy Cuddlebeam's Cool Contract. Bipity Bopity true!
> I free-CFJ the following: That destruction I just did was legal.
Arguments (to this and the follow-up about possibility): first paragraph of
R2524 makes the destruction impossible, therefore both statements are about
something that didn't actually happen and therefore are DISMISS.