In response to Grasshoppers and linear proofs, Avery Andrews said:
Maybe a related question is how much time people do/ought spend on really mastering the proofs of theorems in textbooks, ‘mastering’ being, say, able to explain it in any desired amount of detail at least 2 weeks after last looking at it.
There are two different goals:
- Mastering the proof of a theorem in a textbook so that you can explain it in any desired amount of detail…
- Mastering a proof of the theorem so that you can explain it in any desired amount of detail…
My observation is that most research mathematicians don’t attempt (1); they are satisfied with (2). Trying to understand a written proof in detail can be quite difficult:
- The author may use misleading language.
- The author may jump over a piece of reasoning that to them is obvious but not to you.
- The author may mention a previous step or a theorem that justifies the current step, but get the reference wrong.
And so on.
In my observation the typical mathematician will look at the proof, perhaps getting some idea of the overall strategy of the whole proof or a particular part, and then think about it independently until they come up with a proof or part of it. This may or may not be what the author had in mind. But by thinking through it the reader will solidify their understanding of the proof in a way that reading and rereading step by step is unlikely to do.
When you construct your knowledge like that you are likely to have it in a permanent, well semi-permanent, way.
Send to Kindle
So I would guess that for people with less ability or background knowledge of a particular area, trying to reconstruct proofs from a gist remembered from few months ago would be worthwhile
Hell, I can’t even remember my own proofs from two weeks ago. In three days I am giving a talk based on a paper that I have been writing and editing constantly for the last several months and find I had to keep looking up the proofs. In one case, by not looking it up, I produced a much better proof (simpler, more informative, whatever your concept of better proof).
‘Mastering theorems’ would have been a better title for the original posting, since being able to produce a better proof certainly counts as mastery, and the less pure memory required, the better