Could someone point me to an explanation of what is meant by ‘logical uncertainty’?
I’ve actually considered writing a post titled “Drowning in Rationality Problems” to complain about how little we still know about the theory of rationality...
This sounds incredible interesting, I would love to read it!
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”.
Could someone point me to an explanation of what is meant by ‘logical uncertainty’?
This sounds incredible interesting, I would love to read it!
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.