Crossposted from the AI Alignment Forum. May contain more technical jargon than usual.
This is a linkpost for https://www.overleaf.com/read/hbfghyjtpgtn
This is an impressive amount of work on logical uncertainty! I have to admit it's tough to see at first where all the definitions are heading. Could you expand the introductory section and give a heuristic example or two there?
Also, I worry about the possibility that might not contain any nontrivial problems of interest. Is there anything akin to calculating digits of pi which is known to lie in ?
P.S. Sorry for the delay in reading and responding; Nate, Benja and I were all at a conference overseas.
Hi Patrick, thx for reading the paper and commenting!
I agree that the introduction section should be expanded.
Regarding examples of problems in , see section 7.