lukeprog comments on Logical uncertainty reading list