3 ms·
I'm a big fan of that book, but there were a few too many important proofs "left as exercise for reader" for my taste.
by imh 12y ago
I'm a big fan of that book, but there were a few too many important proofs "left as exercise for reader" for my taste.
- ch0wn 12y agoI found "Categories and Computer Science" by R. F. C. Walters to be the perfect complement to Chapter 0 as it's almost entirely proof and example driven.
- ColinWright 12y agoFrom my experience, if you don't work through those proofs that are "left as exercise for reader" then you won't ever really come to understand the material. It's working on proofs that gives you the mastery. It's like learning music theory without ever composing and performing. It's like being a eunuchs in a harem; knowing how it's done, seeing it done, but unable to actually do it.[0] You need to do it to gain any real understanding and/or ability. It's like reading about programming, but never actually writing programs. [0] http://www.goodreads.com/quotes/33229-critics-are-like-eunuchs-in-a-harem-they-know-how http://www.goodreads.com/quotes/33229-critics-are-like-eunuc...