A closer look at program based UDT

[agilecaveman]

Link post

[orthonormal]

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