The primary purpose of this thesis is to show the unsolvability of the Halting problem. To do this, an introduction of the Turing machine and some basic examples using the Turing machine are given. Primitive recursion, ...