Turing, Gödel and Chaos in Smart Contracts: why bugs are inevitable and why it is a much bigger problem for Ethereum than for any other computer
While developing Turing-complete smart contracts it is always hard to assure the absence of significant bugs and errors. Decades of software development in mode...


