evand comments on Three questions about source code uncertainty

[evand]

I strongly suspect “computable” is being used in the mathematical sense here, not in the sense of “tractable on a reasonable computer”.