Re:You are committing a crime right now
by anigbrowl on Thursday November 22, 2012 @04:28AM
(#4818116)
Right now, our body of law is vast, complex, opaque and uncertain.
So's our society. Roman law was quite a bit simpler, but justice in ancient Rome was extremely unpredictable.
By contrast, yes, the knowability and certitude afforded by a hypothetical-but-impossible legal system based on mathematics would be preferable. This is really not a complicated idea.
As HL Mencken said, 'For every complex problem there is an answer that is clear, simple, and wrong.' Godel's theorem tells us that in any sufficiently expressive formal system (such as mathematics), you can have consistency or completeness, but not both. A hypothetical mathematically-precise legal system would thus yield cases that either couldn't be judged because there was no prescription for such a situation (a div zero problem, if you will), or else would yield contradictory results on the same facts at different times.
So's our society. Roman law was quite a bit simpler, but justice in ancient Rome was extremely unpredictable.
By contrast, yes, the knowability and certitude afforded by a hypothetical-but-impossible legal system based on mathematics would be preferable. This is really not a complicated idea.
As HL Mencken said, 'For every complex problem there is an answer that is clear, simple, and wrong.' Godel's theorem tells us that in any sufficiently expressive formal system (such as mathematics), you can have consistency or completeness, but not both. A hypothetical mathematically-precise legal system would thus yield cases that either couldn't be judged because there was no prescription for such a situation (a div zero problem, if you will), or else would yield contradictory results on the same facts at different times.