[throwaway082729]

Can legal agreements be expressed as an algorithm?

[tomrod]

When logically consistent, but the written contract is not always the final word. Example: lack of consideration (https://www.nolo.com/legal-encyclopedia/consideration-every-...)

[plankers]

If they could in all cases then we wouldn't need courts.

[throwaway082729]

Not to replace courts but to understand legal agreements better. If you could express it as an algorithm, perhaps, you could rewrite in simpler english or answer questions about it?

[AnimalMuppet]

You'd still run into the halting problem. And you'd have lawyers wanting to write legal agreements that run into that, so that nobody can determine what they really mean, so that nobody can prove what a scam they are.

[User23]

Options contracts are exactly this.