= 27d567bc2d48d9f40e9ccc20ea370b15)
XiXiDu comments on What we're losing - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (77)
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.