I think the concept I mentioned, apparent uncertainty, can be formalized by referencing efficient algorithms. Something like "no efficient algorithm can tell ap

I think the concept I mentioned, apparent uncertainty, can be formalized by referencing efficient algorithms. Something like "no efficient algorithm can tell apparent uncertainty and actual uncertainty apart".