Title: The undecidable
Subjects: Gödel's theorem, Recursive functions, Turning machines, Turing machines, Computable functions, Unsolvability (Mathematical logic)