>To the extent that applications defining the class to which you believe your behaviour exists and allowing you to test it with a high degree of specificity, yes.
I'm operating on the assumption that you dropped the word "belongs" somewhere in there.
>There have been explicit ventures along this exact path previously in a more limited extent, that being financial products having python based code that would allow the investors to put in a set of assumptions and see what the product model would do under those circumstances.
In the same way that there have been explicit ventures along the path of the axiomatization of mathematics, yes.
>writing clearly delineated code that deals with reality in a concrete fashion
Show me some clearly delineated code that deals with the workings of a single sheet of A4 paper in a concrete fashion, and then we can consider the law. Fairness is not a fuzzy concept, it is a human concept, humans as much a part of the universe as any other. It is not really harder to measure fairness than to measure the electromagnetic interaction.
We spoon-feed our problems to computer systems so that they may analyze the parts which we cannot; your precept of a computerized legal system is assuming a priori the lack of spoon-feeding, since corruption can enter the picture here just as easily as in the old system, cf. LulzSec. Thusfar there are two pieces of secure code in existence: seL4 and qmail, and I'm not sure about the former.
I'm operating on the assumption that you dropped the word "belongs" somewhere in there.
>There have been explicit ventures along this exact path previously in a more limited extent, that being financial products having python based code that would allow the investors to put in a set of assumptions and see what the product model would do under those circumstances.
In the same way that there have been explicit ventures along the path of the axiomatization of mathematics, yes.
>writing clearly delineated code that deals with reality in a concrete fashion
Show me some clearly delineated code that deals with the workings of a single sheet of A4 paper in a concrete fashion, and then we can consider the law. Fairness is not a fuzzy concept, it is a human concept, humans as much a part of the universe as any other. It is not really harder to measure fairness than to measure the electromagnetic interaction.
We spoon-feed our problems to computer systems so that they may analyze the parts which we cannot; your precept of a computerized legal system is assuming a priori the lack of spoon-feeding, since corruption can enter the picture here just as easily as in the old system, cf. LulzSec. Thusfar there are two pieces of secure code in existence: seL4 and qmail, and I'm not sure about the former.