2 ms·
> because bitcoin script is not turing-complete This is not what the article claims to show. It shows that the system bitcoin is turing complete. Added to thi
by shilch 5y ago
> because bitcoin script is not turing-complete
This is not what the article claims to show. It shows that the system bitcoin is turing complete.
Added to this, having an "external driver" and the system being turing-complete are not mutually exclusive.
- truth_machine 5y agoWhat is "bitcoin system"?
- shilch 5y agoI might write an article that explains it (if I find the time to do so). The thread form of back and forth is fruitless since it appears that we don't have a common understanding of what makes bitcoin turing complete. Let me know how I can reach you back if I have written such article (and you're interested).
- truth_machine 5y agoIf you have written such an article and it is sound, I would imagine that I would hear it all during your Alan Turing award lecture :) But you can just post it in the comment here, I will see it
- shilch 5y agoHere you go: https://shilch.me/bitcoin-turing-complete/ https://shilch.me/bitcoin-turing-complete/
- CrackheadWright 5y ago> having an "external driver" and the system being turing-complete are not mutually exclusive. In many cases, they are. For instance, if you tack on an already-Turing-complete component to the existing "system", then it's disingenuous to call the existing system Turing complete. Further, this "covenant"-style system isn't really what Turing had in mind when he spoke of an "automatic machine". Further further, this has nothing to do with Craig Wright, who famously called Script itself Turing complete in a plagiarized paper, and said that the "alt stack" is critical for it to be Turing complete. Nonsense.