A complexity theoretic approach to logical uncertainty (Draft)

post by Vanessa Kosoy (vanessa-kosoy) · 2015-05-11T20:04:28.000Z · LW · GW · 2 comments

This is a link post for https://www.overleaf.com/read/hbfghyjtpgtn

2 comments

Comments sorted by top scores.

comment by orthonormal · 2015-05-22T19:40:27.000Z · LW(p) · GW(p)

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.

Replies from: vanessa-kosoy
↑ comment by Vanessa Kosoy (vanessa-kosoy) · 2015-05-23T16:11:22.000Z · LW(p) · GW(p)

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.