A closer look at program based UDT

post by agilecaveman · 2015-07-23T02:46:23.000Z · LW · GW · 1 comments

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

1 comments

Comments sorted by top scores.

comment by orthonormal · 2015-07-23T00:09:25.000Z · LW(p) · GW(p)

What about using a reflective probabilistic oracle to decide whether programs halt, including programs that call on the same oracle?