Sunday, January 18, 2015

What is it Like to Understand Advanced Mathematics?

What a question (on Quora) !! And the answers were phenomenal to say the least. Great insights, read the whole chain of answers and save this link "A Map of the Tricki" for life:
  • You can answer many seemingly difficult questions quickly. But you are not very impressed by what can look like magic, because you know the trick. The trick is that your brain can quickly decide if question is answerable by one of a few powerful general purpose "machines"  (e.g., continuity arguments, the correspondences between geometric and algebraic objects, linear algebra, ways to reduce the infinite to the finite through various forms of compactness) combined with specific facts you have learned about your area. The number of fundamental ideas and techniques that people use to solve problems is, perhaps surprisingly, pretty small -- see http://www.tricki.org/tricki/map for a partial list, maintained by Timothy Gowers.
  • You are comfortable with feeling like you have no deep understanding of the problem you are studying. Indeed, when you do have a deep understanding, you have solved the problem and it is time to do something else. This makes the total time you spend in life reveling in your mastery of something quite brief. One of the main skills of research scientists of any type is knowing how to work comfortably and productively in a state of confusion. More on this in the next few bullets.
  • Your intuitive thinking about a problem is productive and usefully structured, wasting little time on being aimlessly puzzled. For example, when answering a question about a high-dimensional space (e.g., whether a certain kind of rotation of a five-dimensional object has a "fixed point" which does not move during the rotation), you do not spend much time straining to visualize those things that do not have obvious analogues in two and three dimensions. (Violating this principle is a huge source of frustration for beginning maths students who don't know that they shouldn't be straining to visualize things for which they don't seem to have the visualizing machinery.) Instead...
  • When trying to understand a new thing, you automatically focus on very simple examples that are easy to think about, and then you leverage intuition about the examples into more impressive insights. For example, you might imagine two- and three-dimensional rotations that are analogous to the one you really care about, and think about whether they clearly do or don't have the desired property. Then you think about what was important to the examples and try to distill those ideas into symbols. Often, you see that the key idea in the symbolic manipulations doesn't depend on anything about two or three dimensions, and you know how to answer your hard question. 
  • As you get more mathematically advanced, the examples you consider easy are actually complex insights built up from many easier examples; the "simple case" you think about now took you two years to become comfortable with. But at any given stage, you do not strain to obtain a magical illumination about something intractable; you work to reduce it to the things that feel friendly.
  • To me, the biggest misconception that non-mathematicians have about how mathematicians work is that there is some mysterious mental faculty that is used to crack a research problem all at once. It's true that sometimes you can solve a problem by pattern-matching, where you see the standard tool that will work; the first bullet above is about that phenomenon. This is nice, but not fundamentally more impressive than other confluences of memory and intuition that occur in normal life, as when you remember a trick to use for hanging a picture frame or notice that you once saw a painting of the street you're now looking at. In any case, by the time a problem gets to be a research problem, it's almost guaranteed that simple pattern matching won't finish it. So in one's professional work, the process is piecemeal: you think a few moves ahead, trying out possible attacks from your arsenal on simple examples relating to the problem, trying to establish partial results, or looking to make analogies with other ideas you understand. This is the same way that you solve difficult problems in your first real maths courses in university and in competitions. What happens as you get more advanced is simply that the arsenal grows larger, the thinking gets somewhat faster due to practice, and you have more examples to try. Sometimes, during this process, a sudden insight comes, but it would not be possible without the painstaking groundwork. 

No comments: