Turing Jumps Through Provability | Publicación