[Snip]
[Snip]
I should probably have been more clear. You mention that these
incomputable elements might be a real constraint for our hypothetical
Turing-complete system. To me this implies that these elements reduce
the complexity of the problem significantly bringing it within our
grasp. If this is the case you are really talking about Oracles, not