The origins of the halting problem | Publicación