[JohnBooty]

    Why are we relying on code for controlling 
    Safety-critical system? e.g. Nuclear Reactors

Because humans can't perform calculations quickly enough to compute math millions of times per second?

Computers work well when there are a finite set of fixed, quantitative inputs and outputs: if x < 20, do y

Many parts of law are a lot more complex and can't be reduced to such formulas. Suppose you're suing an employer for wrongful termination. They say your job performance sucked and that's why you were fired. You say it was a hostile workplace, and when you tried to point that out you were fired in retaliation.

Go write some code to evaluate that. Let us know when you're done. Should be pretty exciting. Hopefully we can retain all of the judges and lawyers now that they're not needed any more.