Final Project for Computability and Logic Spring 2013