Math: Textbooks and the DTP pipeline
post by Andrew Quinn (andrew-quinn) · 2018-07-09T15:09:56.817Z · LW · GW · 3 commentsContents
3 comments
Epistemic status: Half-certain, half-skeptical. This mental model feels a bit too compressed to me to be maximally useful.
I've spent a surprising (=non-zero) number of hours studying mathematics during my summer break, and noticed an interesting pattern in undergraduate textbooks.
With a certain amount of remarks, exercises, and concrete examples thrown in and seasoned to taste, most traditional mathematics textbooks will start out with some rigorous definitions, then state some theorems that use those definitions, and finally prove those theorems. Then the process starts all over again - the "Definition → Theorem → Proof" pipeline, as it's often called by pure mathematicians.*
I think this lens is very obvious when pointed out, but I've also found it useful to structure my thinking around my newfound hobby. Let's see if it pays out.
First, how do we most effectively deal with each step of the core pipeline? Here are some things I've found useful, although YMMV:
- Definitions are usually the easiest step, but it's easy to get windshield-wiper eyes when reading a technical work (=reading, understanding it in the moment, but not retaining it once the book closes), so I recommend constructing simple examples [LW · GW] of whatever is being defined. Of special value is trying to construct objects that break one and only one interesting parameter of the definition if it has multiple different conditions.
- What counts as an interesting parameter is a matter of your own taste. For example, the set-theoretic definition of a topological space had 4 important parameters for me to tweak before I felt like I had a handle on it.
- Ditto for theorems. Usually, a good theorem shows me something at least a little surprising, so I'm more motivated to find an example (and to try to find a counter example) than definitions. More useful than that, however, is to take a minute and try to strategize about how you might prove it for a minute or two. Actually writing a proof out for a new theorem is likely more trouble than it's worth, not least because your plan is often not going to pan out perfectly, but doing this gets your brain into the right gear for the next part of the pipeline.
- Proofs are where you spend the bulk of your mental energy when doing higher mathematics. Proofs are hardcore applications of definitions and theorems in service of a goal, and the arguments can easily get involved and subtle, so expect them to take much more time to grok.
- When the going gets tough in a proof, it is very easy to get windshield-wiper eyes and just gloss over the rest of the proof. One piece of advice I have found routinely helpful in combating this is to "[read] in multiple overlapping passes [LW · GW]", because with each new pass you can clear a new mental roadblock towards full understanding of the proof.
One big advantage I see with the DTP pipeline is that, since mathematics is remarkably conservative with its definitions and theorems, someone who's read one book on subject X can often blaze* through significant portions of another book on subject X. The time cost on the duplicating part of the reading is lower than one would expect.
If you've already taken a course on Real Analysis, but you used the easier Understanding Analysis by Abbott instead of Principles of Mathematical Analysis by Rudin, for example, you are still probably going to find Rudin's works much easier to go through because of that background. This, combined with a generally increased ability to read mathematics works thanks to practice [LW · GW], makes the experience more enjoyable, and makes you more likely to stick with it.
----
*Axioms are kind of halfway between theorems and definitions. They also show up very infrequently, since they're supposed to be foundational to everything, so I don't include them explicitly.
*Relatively speaking. Blazing through a math textbook is still going to feel like a snail's pace compared to blazing through the HPMOR archives. :)
3 comments
Comments sorted by top scores.
comment by johnswentworth · 2018-07-09T22:20:29.609Z · LW(p) · GW(p)
From the wording of this post it sounds like you made up the term "Definition-Theorem-Proof"? That would be quite amusing, because that's the standard term used for this style of textbooks.
There is a great schism in mathematics between mathematical physicists/applied mathematicians/intuitionists, and pure mathematicians/Bourbaki. The DTP style is strongly characteristic of the latter, and much-bemoaned by the former.
Replies from: andrew-quinn↑ comment by Andrew Quinn (andrew-quinn) · 2018-07-10T01:33:01.658Z · LW(p) · GW(p)
Originally, I did make it up! Lol, my bad. Thanks for letting me know, let me adjust the wording above.
comment by daozaich · 2018-07-10T14:26:38.824Z · LW(p) · GW(p)
The Definition-Theorem-Proof style is just a way of compressing communication. In reality, heuristic / proof-outline comes first; then, you do some work to fill the technical gaps and match to the existing canon, in order to improve readability and conform to academic standards.
Imho, this is also the proper way of reading maths papers / books: Zoom in on the meat. Once you understood the core argument, it is often unnecessary too read definitions or theorems at all (Definition: Whatever is needed for the core argument to work. Theorem: Whatever the core argument shows). Due to the perennial mismatch between historic definitions and theorems and the specific core arguments this also leaves you with stronger results than are stated in the paper / book, which is quite important: You are standing on the shoulders of giants, but the giants could not foresee where you want to go.