Theory of Computation (Fall 2013): Access Functions for Gödel Numbers Lengths of Natural Numbers Formal Foundations of Program Compilation & Interpretation/Execution: Gödel Coder
Theory of Computation (Fall 2013): More Number Theory Factoids, Pairing Functions, Godel Numbers
Theor of Computation (Fall 2014): Godel Numbers
Theory of Computation (Fall 2014): Bezout's Identity, Euclid's 1st Theorem, Unique Factorization Theorem, Pairing Functions