The thing i never understand is the people who act like the ability to have "code as law" is new. The reason code hasn't been law since the time of hammurabi isn't because of lack of capability to precisely and logically express conditions, or even executing them reliably. It's because society didn't want it. I haven't seen much that says this changed today.

Even today, the reason contracts today haven't been written in symbolic logic and enforced rigidly isn't because we lack the capability or some legal hurdle. It's because, often, the result of negotiation on a specific point is very deliberately "let's worry about this later" (IE in court). It allows agreement on the major things while putting off the improbable events to a time when they actually happen, and gives a resolution mechanism when that occurs.