Halting Theorem and Reducibility