Another thing I’d suggest, if you’re interested in all this Turing/Gödel/logic stuff, is Gödel, Escher, Bach by Hofstadter (http://en.wikipedia.org/wiki/Gödel,_Escher,_Bach). Long read, but very worth it. It’s winter break after all 🙂

]]>I see you have a penchant for journaling your class experience. There’s nothing stopping you from doing the same here. Remember that we highly encourage you to solve problems that weren’t necessarily presented in class, so look through Prof. Heap’s recommendations or Google until you find something that interests you. Work through it, analyse it, try to solve it; the end result isn’t nearly as important as thinking about it. That’s what the course is about, use it to your best advantage.

]]>