Crossposted from the AI Alignment Forum. May contain more technical jargon than usual.
This is a linkpost for https://www.overleaf.com/read/hbtmcwdbmhqt
What about using a reflective probabilistic oracle to decide whether programs halt, including programs that call on the same oracle?