Logical uncertainty is uncertainty about the unknown outputs of known computations. For example, if you have a program for computing the digits of pi but don’t have enough time to run it, you have logical uncertainty about the billionth digit. You can express it with probabilities or maybe use some other representation. The mystery is how to formulate a decision process that makes provably “nice” decisions under logical uncertainty, and to precisely define the meaning of “nice”.
Logical uncertainty is uncertainty about the unknown outputs of known computations. For example, if you have a program for computing the digits of pi but don’t have enough time to run it, you have logical uncertainty about the billionth digit. You can express it with probabilities or maybe use some other representation. The mystery is how to formulate a decision process that makes provably “nice” decisions under logical uncertainty, and to precisely define the meaning of “nice”.
So basically the stuff you don’t know because you don’t have logical omniscience.