Fix indentation. Prefer ,,Ja`` over \emph{Ja} in text.
Fix phrase. I think this is more understandable.
Rephrasing. I guess this one's more understandable.
Removing another Wikipedia link.
Improve structure of halting problem section.
I already explained this concept in the section of universial TMs.
General review of correctness proof.