Wright himself has claimed many times that Script itself is turing complete-- in fact that is the thesis of the almost entirely plagiarized “A Proof of Turing Completeness in Bitcoin Script”, an analysis of which is linked in my long comment here. Certainly the article linked here appears to try to cause the reader to believe the same thing.
> The concept of a Turing machine has been well defined. It would be sufficient to show that Bitcoin uses a dual-stack architecture that acts as a dual counter machine. Such systems have already been demonstrated as being Turing complete.
Or in another article he wrote:
> We demonstrate that the Bitcoin Script language allows not only for primitive recursion, but in the deployment of an Ackerman function and hence the ability to simply recurse in Bitcoin script, we show that the script system is Turing complete.
> Bitcoin is a Turing-complete system even in script
(But we shouldn't be too surprised, since we know that Craig failed Theory of Computation-- https://twitter.com/Zectro1/status/1124185673110622208 which was arguably the only real computer science course he took in school, the rest being IT trade classes)
The truthful claim he could have made instead is that script implements a universal circuit of fixed size which you can use to verify steps in transcripts of programs in TC languages... but while true, that's not novel or interesting and and been pointed out by other Bitcoiners long before Craig discovered Bitcoin.
I can confirm that I don't know anything about Truth_machine here and I was initially confused by why an account name used by a well known dishonest BSV promoter to evade bans was being truthful for a change.
I don't post anywhere about Bitcoin related stuff except under accounts clearly identified as me. The claim that I'm operating other accounts here isn't just unfounded, it's malicious defamation intended to protect and enable an organized campaign of fraud. Unfortunately, Wright's absurd vexatious litigation against parties that expose his fraud has caused some people to make their comments in the public interest anonymously, to reduce the risk that they are hit with a $6 billion dollar SLAPP suit (as I have been).
But since you're interested in coincidences, Luke Rohenaz, perhaps you'd like to discuss with us the fact that you're here promoting BSV while being funded by Calvin Ayre a former (?) drug smuggler and indicted money launderer who spent ten years on the DHS most wanted list, and spent 20 years under a trading and director/officer ban due to operating pump&dump schemes, and whom has invested at least $300 million dollars (by his own reporting) into promoting BSV and Wright's fraud and is financing Wright's litigation in exchange for being promised a share of Bitcoin holdings which wright doesn't have access to (and never had access to).
> The claim that I'm operating other accounts here isn't just unfounded, it's malicious defamation
Actually you have been caught at least once in sockpuppeting, so it's not a defamation rather a possible and realistic scenario which shouldn't be dismissed.
That claim is utterly false. All you're effectively doing is saying that someone has maliciously defamed me before and so it's okay to write more of it. It's not. Cut it out.
The person that page accuses of being me is a well known, highly respected community member with a decade long extremely high volume history who is utterly distinct from me-- and whos interest don't overlap mine significantly (outside of Bitcoin and the Craig Wright scam). Moreover, Wright previously admitted that contrarian__ is not me.
[Aside, mpapec is an account Craig Wright has previously used to evade his ban on HN: https://news.ycombinator.com/item?id=21978954 --- perhaps Wright out spend some time responding to his pathetic lawsuit against me instead of delaying his response and harassing me online.]
Here is CSW's original claim that Bitcoin is Turing complete that took many by surprise including Nick Szabo. They heard it as you did, specifically addressing Bitcoin Script.
He immediately corrects them:
"The difference is that the SCRIPT ITSELF ISN'T, what you can do is..."
So there you go. Clearly not what you're claiming here, and if he said anything similar casually I'm sure this is exactly what he means, as he has stated many times, as the article states, as others have stated, as I understand it, and as can be observed.
You knew this already. Also, Craig's defending the claim using statements about Forth-likeness, which is the same thing he insists Bitcoin script is because magic-of-a-second-stack. Additionally, he re-iterated the exact claim that Bitcoin script itself is Turing complete with the assistance of Ian Grigg. Ian references often a paper asserting it is so, which I and two or three others completely refuted as nonsense, since the paper itself actually references another blockchain entirely which itself has looping constructs, but then Ian, Craig et al make the absurd claim that because it this other blockchain's script is "Bitcoin-like" then Bitcoin itself is therefore also Turing complete.
But then he also wrote a paper asserting that Bitcoin script is Turing complete:
In other words, it's layers of bullshit all the way down.
By the way, just for fun, Craig Wright also made the absurd assertion that the second stack can be used to create constructs that can't be implemented with a single stack, so he's stupid in that sense, too, as I demonstrated with a single sequence of single-stack opcodes which accomplishes the exact same thing he stupidly asserted couldn't be done.
> The concept of a Turing machine has been well defined. It would be sufficient to show that Bitcoin uses a dual-stack architecture that acts as a dual counter machine. Such systems have already been demonstrated as being Turing complete.
Or in another article he wrote:
> We demonstrate that the Bitcoin Script language allows not only for primitive recursion, but in the deployment of an Ackerman function and hence the ability to simply recurse in Bitcoin script, we show that the script system is Turing complete.
Or, just a week ago, Wright wrote (https://archive.is/qztvz):
> Bitcoin is a Turing-complete system even in script
(But we shouldn't be too surprised, since we know that Craig failed Theory of Computation-- https://twitter.com/Zectro1/status/1124185673110622208 which was arguably the only real computer science course he took in school, the rest being IT trade classes)
The truthful claim he could have made instead is that script implements a universal circuit of fixed size which you can use to verify steps in transcripts of programs in TC languages... but while true, that's not novel or interesting and and been pointed out by other Bitcoiners long before Craig discovered Bitcoin.
I can confirm that I don't know anything about Truth_machine here and I was initially confused by why an account name used by a well known dishonest BSV promoter to evade bans was being truthful for a change.
I don't post anywhere about Bitcoin related stuff except under accounts clearly identified as me. The claim that I'm operating other accounts here isn't just unfounded, it's malicious defamation intended to protect and enable an organized campaign of fraud. Unfortunately, Wright's absurd vexatious litigation against parties that expose his fraud has caused some people to make their comments in the public interest anonymously, to reduce the risk that they are hit with a $6 billion dollar SLAPP suit (as I have been).
But since you're interested in coincidences, Luke Rohenaz, perhaps you'd like to discuss with us the fact that you're here promoting BSV while being funded by Calvin Ayre a former (?) drug smuggler and indicted money launderer who spent ten years on the DHS most wanted list, and spent 20 years under a trading and director/officer ban due to operating pump&dump schemes, and whom has invested at least $300 million dollars (by his own reporting) into promoting BSV and Wright's fraud and is financing Wright's litigation in exchange for being promised a share of Bitcoin holdings which wright doesn't have access to (and never had access to).