You seem to be confusing phenotypic complexity with actual complexity. Software engineering is the quintessential form of complexity reduction, code is never in

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.