Math Notes

University Mathematics

Computability

Computability

Concepts

Turing Machines and Computability Recursive and Computably Enumerable Sets The Arithmetic Hierarchy

Theorems

Undecidability of the Halting Problem Rice's Theorem

Proofs

Proof of the Recursion Theorem

Mathematics Lecture Notes