See chapter 8, Section 8.2 "Unsolvability of the Halting Problem."
Xem chương 8, phần 8.2 "The Unsolvability of the Halting Problem."