Chrystyan Byrnes

I am not claiming to solve the Halting Problem. The narrower claim is that one particular shape inside the diagonal argument is worth isolating: a system consumes a prediction about its own current execution, then uses that prediction to control that same execution. In symbols: execution -> prediction about that...