On Sat, 2017-05-27 at 11:10 +0200, Martin Rönsch wrote: > If that's not valid (which I don't think it is, but I'm new, so I know > nothing) then you'd have to somehow reconstruct Agora's logical calculus > from all the rules, CFJs etc. in order to see whether Explosion is > necessary to make it work. > This seems like an almost impossible task to me. Has anyone ever tried > to something like this in a thesis?
This thesis of mine was about a scam attempt using Curry's Paradox: <http://www.mail-archive.com/agora-official@agoranomic.org/msg07043.html> In particular, it talks about how there's no way to use Curry's Paradox to create a gamestate change under Agoran law (rather, it ends up being treated like an Epimenedes paradox, which is just a straightforward DISMISS if done in a CFJ statement due to the undecidability/circularity). -- ais523
