Can one write a computer program to decide whether two given rings are isomorphic? Or whether a given group is the trivial group? Or whether a given CW complex is a sphere? These are questions on the inteface of logic, theoretical computer science, and mathematics with fascinating results and open problems. Projects will involve reading (and explaining to me) some of this work, or surveying the current state of the art.