I think the main difference between bitcoin scripts and EVM/solidity is not turing-completeness but…
Yaron Velner
1
Agreed, that statefulness is the key difference. Also agreed that in principle you can express arbitrary circuits with Bitcoin script with the big caveat that the depth is very limited. Statefulness allows you to do continuations.