> we have to build incredibly complex systems out of very basic axioms Yes and this is because our programming languages aren't as advanced as natural language

> we have to build incredibly complex systems out of very basic axioms Yes and this is because our programming languages aren't as advanced as natural languages, not yet. > philosophy Did you just compare computer systems as being as complex as figuring out the meaning of life and the universe? > law Law is written in a way that is unambiguous as possible. Additionally it's a lot more complicated then simply running the same logic over and over when you are dealing with real peoples lives.