Ok so here is a little context, this academic year I've been applying to graduate schools for a PhD in mathematics, particularly in logic. So far I have places in Cornell, CUNY and Illinois at Chicago and the deadline for picking places is coming up quickly.
Now my tutor informs me that Cornell is very strong in computability theory so if I wanted to do that I should go there. The problem is that I almost entirely unfamiliar with computability theory, to fix this my final year project is on Tennenbaum's theorem and I am almost done. However there a supplemental smaller project which my tutor also advised I did on some more pure recursion theory namely Kleene's Second Recursion Theorem and I need some filler for the essay. Thus I have two questions.
1) What is the significance of the recursion theorems (philosophical or mathematical)? In particular things which are important for someone which little familiarity with the subject matter.
2) More broadly do any of you know about the three schools above and could give a general description of any experiences you have with them? (Oh, I am British and therefore don't know much about the US)
