3 ms·
Even attempting to implement such a rule could have benefits. We could end up with formalized proofs of how those are are objectively contradictory, which in tu
by thirdtruck 12y ago
Even attempting to implement such a rule could have benefits. We could end up with formalized proofs of how those are are objectively contradictory, which in turn could be factored into the design of future laws as a preventative measure. Imagine "test-driven legislation," if you will.
- pnathan 12y agoIANAL, but you'll find that laws tend to be nuanced and written with human judgment in mind. Such efforts are at cross purposes with formalization into a software system.
- thirdtruck 12y agoClosing that gap is the point of the exercise. :)
- niels_olson 12y ago> test-driven legislation I had a conversation with my brother, an attorney, about this at one point. I vaguely recall him asserting there have been some steps in this direction, but the lawyers always give up. Please make this a thing!