gwern comments on Applications of logical uncertainty