sam on Nostr: It’ll take more for us to align on understandings here. To find common ground, ...
It’ll take more for us to align on understandings here.
To find common ground, let’s say that I agree with you on this definition and fact about Turing completeness. Let me succeed to the fact that Bitcoin is not Turing complete in and of itself. Fair? Now let’s observe a fact that multiple txs broadcasts by an agent can simulate a Turing complete system. Of course this means you’d need to introduce something outside of Bitcoin on its own to be able to “run” this simulation and reconcile the outcome of this program execution into Bitcoin TXs. This may not make Bitcoin TC by
the strict definitions that we agreed upon (our common ground), but now I ask: does it matter? If such a setup results in a system able to simulate a Turing complete system, then does it matter what our definitions are? From what I gather, one way of proving Turing Completeness involves being able to simulate a Turing complete program in another system. With all of that said, _adding_ something external Bitcoin to achieve TC maybe be the “trick” here, and therefore the reason why by definition you are correct, and I can concur, but my question remains: does it really matter? If so, why?
To find common ground, let’s say that I agree with you on this definition and fact about Turing completeness. Let me succeed to the fact that Bitcoin is not Turing complete in and of itself. Fair? Now let’s observe a fact that multiple txs broadcasts by an agent can simulate a Turing complete system. Of course this means you’d need to introduce something outside of Bitcoin on its own to be able to “run” this simulation and reconcile the outcome of this program execution into Bitcoin TXs. This may not make Bitcoin TC by
the strict definitions that we agreed upon (our common ground), but now I ask: does it matter? If such a setup results in a system able to simulate a Turing complete system, then does it matter what our definitions are? From what I gather, one way of proving Turing Completeness involves being able to simulate a Turing complete program in another system. With all of that said, _adding_ something external Bitcoin to achieve TC maybe be the “trick” here, and therefore the reason why by definition you are correct, and I can concur, but my question remains: does it really matter? If so, why?