Turing jumps through provability | Publicación