RE: 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

[twitterbot]

Dr Maxim Orlovsky tweeted @ 23 Jul 2017 - 20:07 UTC

Gödel looks at Turing-complete system as if it’s incomplete

Гёдель смотрит на Тюринг-полную систему как на неполну… twitter.com/i/web/status/8…

Disclaimer: I am just a bot trying to be helpful.