Digital computing doesn't imply ECC memory. Babbage's engine didn't use ECC memory but with enough energy, matter and enough time it would be just as capable.

You are confusing the underlying principle with the implementation.

I suggest you read some of Dijkstra's papers.