You're conflating (intentionally?) Bitcoin the system vs Bitcoin Script. Nobody claims the Script in a vacuum is Turing complete which is important and by design, including the article which clearly says "Each step in running the Turing machine is triggered by a Bitcoin transaction."
Others have explained this too, so forgive me if your account age combined with Greg's precense, your arguments style, and the very peculiar coincidence that your handle matches a known BSV proponent on Reddit who Greg just happened to tag in connection with this post suggest you are being disingenuous.
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.
> You're conflating (intentionally?) Bitcoin the system vs Bitcoin Script
What is "Bitcoin the system"? What are the parts of this system? You are saying this in a way that implies the existence of widespread and commonly accepted definition of the "Bitcoin the system". What is the name that definition gives to the part of the system that houses assorted external pieces of code that are required to stitch together different transactions in this article? Is it "Bitcoin application server", or "Bitcoin workflow engine", or "Bitcoin process management engine" or something of the sort? Are there guides on programming it? There must be some articles, possibly on wikipedia, that clearly show this component and give it a name. Would it be installed if I were to download the node software (for the Bitcoin or Bitcoin SV - does not matter).
I do not believe that "Bitcoin" implies that "arbitrary code that sends Bitcoin transactions to the network/mempool" is always part of Bitcoin.
> including the article which clearly says "Each step in running the Turing machine is triggered by a Bitcoin transaction."
Let's examine this.
The article opens with:
"We have empirically demonstrated that any Turing machine can be simulated on Bitcoin and thus definitively proven it is Turing-complete¹. We have implemented a Turing machine that recognizes balanced parentheses and deployed it on the Bitcoin blockchain."
And ends with: "Thus, any Turing machine can be simulated on Bitcoin, conclusively proving Bitcoin is Turing-Complete by definition. QED."
The part that you have cited is followed by the statement that you chose to omit. Let me pull a longer citation: "Each step in running the Turing machine is triggered by a Bitcoin transaction. The Turing machines can keep running, unless it enters an accepted state.<end of section>"
I am missing the place where the author has _clearly_ indicated that "The Turing machines can keep running, unless it enters an accepted state" is only possible with the aid of some external mechanism.
Abstract and conclusion are also entierly fail to mention the need for the Turing-complete external component that you have to have to keep the whole thing running.
I'd say that article "clearly says" something that is different entirely from what you claim it says.
> forgive me if your account age combined with Greg's precense, your arguments style, and the very peculiar coincidence that your handle matches a known BSV proponent on Reddit who Greg just happened to tag in connection with this post suggest you are being disingenuous.
FFS, you seem to be very fixated on attacking my personality instead of addressing my arguments, you know? No, I will not forgive you. If you won't stop, I will not respond to you anymore.
Others have explained this too, so forgive me if your account age combined with Greg's precense, your arguments style, and the very peculiar coincidence that your handle matches a known BSV proponent on Reddit who Greg just happened to tag in connection with this post suggest you are being disingenuous.