I think the "logical probability" problem, of "how do I quantify my beliefs about the trillionth digit of \pi" and whatnot, is probably just an issue of domain-theoretic maximum-entropy distributions: each step of computation can give us more information that can be used to concentrate the measure better, and domain theory says how computational results are built out of other results from computations that may not have finished yet.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.