Who hasn't proposed smart contracts decades ago? We used to talk about formalizing the legal system so it could be processed by computer while sitting around th

Who hasn't proposed smart contracts decades ago? We used to talk about formalizing the legal system so it could be processed by computer while sitting around the undergrad common room. You can't read, e.g. Asimov, without being exposed to such ideas. Not to mention the numerous times such an idea came up on usenet, slashdot, or here whenever some corrupt human-in-authority abused some legal system. Every one of those discussions, however, ended with the lightbulb that, unless you have AI that can comprehend intent, it is as impossible to write a smart contract as it is to write code without bugs. And if you have an AI, then laws written in English are all you need anyway. Coming up with the idea of smart contracts isn't a sign of unrecognized genius, but believing it to be a valid solution is a definite disqualification.