I've got Categories for the Working Mathematician by Mac Lane; I will be going through this because I will be giving some talks on category theory to the math club here at my university. I pretty much don't have any logic and I want logic. I have Enderton's A Mathematical introduction to logic which is ok, though I think I want to find a new book. I also have Probability: The Logic of Science that I want to work through. I also want to go through MIRI papers. I am a math undergrad.
I would like to be a part of a study pair or a study group. There seems to be enough people that we can group together. I would like to learn from people, and teach people what I know (mostly pure math: category theory/abstract algebra/algebraic topology and basic calculus/real analysis).
Inspired by: On learning difficult things
In his recent post, user So8res says his number one piece of advice for learning something difficult is to have study partner to learn with you.
Since there is a decent amount of interest here in going through the MIRI course list, it might be worth finding other people here to learn and study this with, and to form pairs or groups.
So here is a space for finding and organizing such partnerships!
Of course, part of the reason I wrote this is because I am interested in learning these books with people. My background: I'm currently a second year Ph.D. student in mathematics (number theory). I'm still pretty new to the type of math emphasized here. I have Probabilistic Graphical Models, Category Theory for Computer Scientists and The Logic of Provability (by George Boolos -- not on the course list, but good to get background for the Robust Cooperation paper and for understanding Loeb's theorem) all lying around. I'm also taking a class on numerical analysis. Part of my problem is that I start lots of projects and then end up fizzling out on them, and I hope having a partner will help with this.
I've already been going through MIRI's publications with a friend from the local LW community, which has been really nice. I'm still interested in finding more partners <insert poly joke here> for going through books on the course list specifically. I'm also willing to explain things I understand, or let someone explain things to me (I've found that explaining things to someone else is a very good way of solidifying your understanding of something) when I have time.
Some things to consider: