Theory of Computation (Fall 2013): History of Numbers, Number Theory Factoids, Primitive Recursiveness of Computing Prime Numbers
Theory of Computation (Fall 2013): More Number Theory Factoids, Pairing Functions, Godel Numbers
Theory of Computation (Fall 2014): Euclid's Gift to Computer Science