Turing complete language allows the creation of programs that may not halt (terminate). In Bitcoin, it's crucial to know that scripts will always terminate to prevent blockchain congestion & ensure network stability.. Confers 'infinite memory'!
Turing completeness could introduce non-deterministic behaviors, leading to inconsistencies in verifying transactions, why ??? Simply, because Bitcoin's consensus relies on all nodes executing same set of rules in a 'deterministic manner'. (Bitcoin's design ensures manageable & finite transaction chains). nostr:note1w6h4l2na23uzjlk5spwlj0tws4khymwh4a9w9q6n0vxle5nxxfrsl4azqx