But here’s why I think we can’t get past the ECA in terms of computer science: the number of production and consumption nodes (u and v) is not certain. These two change all the time: production cycles start and stop on their own schedules free from consideration of consumers (and their demands) and consumers consume free from production cycles (consumption and production are decoupled/independent of each other). Take this and expand it out in terms of combinations (through time) who will produce and who will consume, and when. This makes it a halting problem. When we do know stop producing and when we do know when to stop consuming?
The latter is self-derived, but the former can only be approximated by figuring out the curves for a firm (where MC = MR, and MC is above the ATC curve in an monopolistic competition). These don’t stay the same through time, they always change with the independent factor/variable of consumers. This means producers are always guessing regardless of what system you choose to adopt. The reason why the price system is the best option is because it’s turing recognizable, but it doesn’t attempt to decide when either consumption or production ought to halt. This allows for humans to make this decision with ease, among other goodies it provides (stability in face of uncertainty inherent to Existence, more configurations of Factors of Production, and etc).