[kisoron-ml] Computability Theory and Foundations of Mathematics 2014