When logic lays down the law

Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz +5

We analyse so-called computable laws, i.e., laws that can be enforced by automatic procedures. These laws should be logically perfect and unambiguous, but sometimes they are not. W…