I think the people that say we don&#x27;t need Turing completeness say that because their models can&#x27;t really accommodate proper reasoning about exactly the kinds of systems I want to reason about. Proving theorems is nice and all but at the end of the day the temporal and dynamic aspects of the system I&#x27;m building are what I really care about. Not some static snapshot of it but the actual evolving gestalt.