Chapter XIII ("Computable Functions") includes a discussion of the unsolvability of the halting problem for Turing machines.
Chương XIII ("Computable Functions") thảo luận về việc bài toán dừng không giải được trên máy Turing.