You are viewing a single comment's thread from:
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
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…