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).
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).