> the tools from computer science were useful for deciphering the more complex laws and regulations. I've sometimes thought that certain aspects of law (e.g. c

> the tools from computer science were useful for deciphering the more complex laws and regulations. I've sometimes thought that certain aspects of law (e.g. contracts) are very similar to the strict rule-based thinking required in programming, and that the same basic logical thinking is required. It's just that some concepts have been formalised differently between the fields, and also that law has inherent fuzziness due to incomplete specification of its programs, the ambiguity of some language/phrasing, and the changing societal environment. With programs, the computer interprets the rules deterministically (generally speaking), and we programmers are forced to draft our regulations accordingly or we'll get unwanted results. Whereas contracts are a bit less deterministically interpreted, and human incentives and potential interpretations have to be considered in drafting.