The second type of structure I deployed was information structure—a way of capturing the results of my hard focus in a useful form. I started by building a proof map that captured the dependencies between the different pieces of the proof. This was hard, but not too hard, and it got me warmed up in my efforts to understand the result. I then advanced from the maps to short self-administered quizzes that forced me to memorize the key definitions the proof used. Again, this was a relatively easy task, but it still took concentration, and the result was an understanding that was crucial for
...more
