Have you ever written enterprise software? Multiply that by everything.
> It has been tried. Many times. And they have all failed.
See in the most general cases the Cartesian rationalism of the French Revolution and its latter offspring the Russian Revolution. In the less ambitious case, the civil laws of Europe.
You seem to be confusing phenotypic complexity with actual complexity. Software engineering is the quintessential form of complexity reduction, code is never infinite in length. In machine learning you don't even need to come up with the rules, let the machine learn by itself.
Descartes loved reducing the "complex" world to math; Written law has been with humanity since times immemorial in fact being of the fundamentals of society, how is that failure?
You seem to imply that an automated judicial system would be immutable; i don't think anyone argues that laws should never change.
Have you ever written enterprise software? Multiply that by everything.
> It has been tried. Many times. And they have all failed.
See in the most general cases the Cartesian rationalism of the French Revolution and its latter offspring the Russian Revolution. In the less ambitious case, the civil laws of Europe.