Equivalence of Halting Problem to Convergence of Power Series. - Antonio Joaquim Fernandes (CoRR, 2025)