Re:Categories: An implementation of category theory in Coq
by delish on Monday April 11, 2016 @10:40PM
(#11476843)
To my fellow self-taught mathematicians and computer scientists:
When I was starting out, I'd learn from what was too-dense-for-me (Mac Lane, Awodey, Spivak). When I didn't understand, I'd get frustrated, then go learn something else.
There are two differences between me-then, and me-now. First, I spend a lot more time choosing books to read. I find books that meet me where I am. I need all the help I can get. Second, when I don't understand, I skip being frustrated, and go learn something else.
I agree though with dkurai when it comes to math I'm already familiar with. If I'm reading what I already know, it's usually foundational to something I'm about to learn. Then, I need rigor and concision, to avoid being misled.
When I was starting out, I'd learn from what was too-dense-for-me (Mac Lane, Awodey, Spivak). When I didn't understand, I'd get frustrated, then go learn something else.
There are two differences between me-then, and me-now. First, I spend a lot more time choosing books to read. I find books that meet me where I am. I need all the help I can get. Second, when I don't understand, I skip being frustrated, and go learn something else.
I agree though with dkurai when it comes to math I'm already familiar with. If I'm reading what I already know, it's usually foundational to something I'm about to learn. Then, I need rigor and concision, to avoid being misled.