6 ms·

Can legal agreements be expressed as an algorithm?

• plankers 7y ago
  If they could in all cases then we wouldn't need courts.
  • throwaway082729 7y ago
    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?
• tomrod 7y ago
  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-contract-needs-33361.html https://www.nolo.com/legal-encyclopedia/consideration-every-...)
• AnimalMuppet 7y ago
  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 7y ago
  Options contracts are exactly this.