I have a question that I've been thinking about for a long time.
How can you assure yourself that you've fully comprehended a concept or the true meaning of a theorem in mathematics?
I mean how can you realize that you totally get the concept and it's time to move on to the next pages of the book you're reading?
Thanks in advance for your responses.

13$\begingroup$ I'd say one rarely gets a concept or a theorem before many, many, many other pages and books. $\endgroup$ – Mariano SuárezÁlvarez Jun 3 '10 at 19:26

40$\begingroup$ ...so that waiting to get it before moving to the next pages is a self defeating strategy! $\endgroup$ – Mariano SuárezÁlvarez Jun 3 '10 at 19:28

5$\begingroup$ I totally agree with Mariano. "Getting it" (oh it sounds so dirty) is something that matures through time and exposure. $\endgroup$ – Daniel Larsson Jun 3 '10 at 20:07

21$\begingroup$ "Allez en avant, et la foi vous viendra" (Push on, and faith will catch up with you) Jean d'Alembert dixit. $\endgroup$ – Mariano SuárezÁlvarez Jun 3 '10 at 20:12

4$\begingroup$ I read in the Princeton companion to mathematics that propositions are results that should be "expected". I often find that my "understanding" coincides well with "expecting" the proposition which follows. $\endgroup$ – B. Bischof Jun 4 '10 at 4:44
I suppose it is difficult to be completely sure and frequently there are several levels of "comprehending" and various interpretation for the "true meaning" of concepts and results. I can mention a few good signs: a) you swim like a fish in the notations around the concept/theorem, b) you can prove the theorem by yourself without seeing the proof first, or at least you can prove it after seeing the proof. And for a concept: you can come up with the proofs of the basic results about the concept. c) The concept/theorem looks natural to you and you could even see yourself discovering it. d) you can ask and answer (correctly) to yourself easy questions around the concept/result.
Of course, you should be prepared to situations that you think you have a full understanding and then you discover that you don't and you gain it again and lose it again... Having said that there is a certain feeling when it comes to problems/theorems/concepts of "I got it", the phase transition between not or vaguely understanding and a complete or almost complete understanding. You should be able to identify this transition. (And problemsolving can give you a good practice.)
One good advice about this is to interact: compare your understanding with fellow students/colleagues, and don't be shy to ask questions.
(I cannot resist mentioning the story about a professor who complained to a colleague: I taught it once and the student did not understand; I taught it for the second time and they did not understand; Then I taught it for the third time and I understood, but they still did not understand.)

1$\begingroup$ d) is pretty nonconstructive, as judging what questions are "easy" requires a deeper understanding of the subject than answering these easy questions... On the other hand, c) is very hard to obtain. I still cannot see myself discovering homology even though I have been exposed to homological algebra for 34 years... $\endgroup$ – darij grinberg Jun 4 '10 at 10:34

$\begingroup$ On the other hand, I like sign b) very much, particularly with a strengthening: b') You can simplify the proofs you find in books. $\endgroup$ – darij grinberg Jun 4 '10 at 10:35

8

$\begingroup$ I heard that von Neumann once commented that in mathematics, one dopesn't understand, one gets used too. ... $\endgroup$ – kjetil b halvorsen Sep 12 '11 at 2:22

$\begingroup$ I heard the same good story, in which the professor was identified as Israel Moiseevich Gelfand. $\endgroup$ – Margaret Friedland Sep 12 '11 at 16:54
Try to explain the concept to others.
If they understand it also, then you may be sure you have a good grasp of what is going on. If they ask a natural question, and you cannot answer, then it may help you to rethink about the concept in a new way. They can also provide a different view on it, so as to enrich your understanding.
"Ce qui se concoit bien s'enonce clairement et les mots pour le dire viennent aisement" (Boileau)
[whatever is well conceived is clearly said... and the words to say it flow with ease.]

$\begingroup$ The translation is not completely accurate. "Concevoir" in this setting means "to understand", but as you wrote it I think one would understand "conceived" as in "designed, built". I would suggest "What is well understood can be stated clearly and the words to say it come easily". $\endgroup$ – Najib Idrissi Dec 13 '17 at 13:35
I like to take a playful attitude towards things. I try out the concept in various elementary or even trivial contexts at first, and see what happens. This is particularly useful when the result disagrees with what I had initially expected for the concept, since it leads me to revise my intuitions about the concept. But when it conforms with my initial expectations, then it lends support to those initial intuitions, building up my understanding. Then I can move on to more substantive examples. Gradually, by exploring the concept in a variety of these more substantive contexts, one arrives at a deeper understanding of the concept.
So eventually, it becomes clear, and you know it.
Nevertheless, I believe also that ultimately, one is never fully certain that a concept is completely understood. Surely we all at times learn new things about concepts that we thought formerly to be completely understood. Perhaps we have unknowingly considered examples only of a certain type, and therefore did not fully appreciate the possibilities and perhaps inadvertently built incorrect intuitions that way. And while this sometimes happens, fortunately, for most of us it is rare.
So press on when you feel that you understand the concept and some principal examples, but be willing to reconsider things from the beginning when strange new examples come to light.
Although we all want to "understand the concepts", I would encourage you to measure how well you are learning mathematics not by whether you "understand a concept" or not (because this is in the end too vaguely defined) but by whether you can use what you have learned to do something useful. For students, this usually means doing the problems at the end of the section or chapter. For those using mathematics as a tool (like Steve Huntsman), it means writing software that uses the mathematics learned. For both students and professionals, it also often means working out the details usually via computations of examples that illustrate what you have just learned. And, of course, if you are or are striving to be a pure mathematician, it can also mean using what you learned to prove other mathematical statements you want or need.
If you are able to do any of these things with what you have just learned, then you should definitely move along to the next thing. Because, as others have already advised you, you might want to move along, even if you can't do anything useful yet. When learning mathematics, you should definitely try to be able to do something useful (e.g., work out examples and/or solve problems) with most of what you are learning. However, everybody runs into things that just don't sink in despite intensive effort. As long as you're learning most of everything else, it is often advisable to just move ahead and return later after you know more and are more experienced. Everything gets easier, if not on the second try, usually by the tenth.
There is a famous quote from John Von Neumann:
“In mathematics you don't understand things. You just get used to them.”
I don't know for sure what this means but, perhaps it means that asking if you understand something is a question that does not really make sense, in fact your question is really asking: What is the definition of understanding. Such a question may be doomed from the start. Even if we could agree on some definition and you were to apply it to some mathematical concept I am sure that at some later time, after you have learned other things, your new perspective will make you feel like you never understood that concept anyway. So my advice is to take your concept and get used to it. Here are some ideas on how.
1)If it's a definition try to think up some examples and nonexamples. The nonexamples are especially useful when your concept is adding an adjective to something you already know; like adding "prime" to "number"
2) I it's a theorem try to identify exactly where the hypotheses are used in the proof, and try to think up counterexamples to the statement as you remove those hypotheses.
3) If there are exercises, ie if you are reading a textbook, try them. Even if you don't get to them all at least read the statements.
4) After you think you are used to your idea try to explain it to someone. This is a really good way to see if you have overlooked something.
5) As to the remark about moving on to the next few pages: Don't expect to go through a book line by line and not have to go back. The stuff later in the book may help.
In short if you work a lot with your concept it will cease to intimidate you. Don't worry about achieving understanding (equivalently seeing the true meaning), This will never happen, which is fine since it's the trying that is important anyway. So keep trying, and have fun doing so!

2$\begingroup$ Don't be concerned that you don't know what von Neumann meant. Just get used to it. ;) $\endgroup$ – Timothy Chow Apr 29 '17 at 21:02

$\begingroup$ The top one, the examples and counterexamples, work best for me. $\endgroup$ – Michael Dec 13 '17 at 16:36

I like to try and disprove results I am trying to understand.
Sometimes I'll give it a good month I start by constructing perverse sequences and little heuristic arguments when I'm onto something good I'll pursue it 'til it's rigorous: more often than not it turns out to be precisely the case disallowed by the theorem's assumptions.
After a while I start to paint my counterarguments in generalities "An A is not a B if A has perversity X" and I look for the exact line in the proof where 'perversity X' is (perhaps implicitly) dealt with and debunked. Sooner or later I start to see what every line in the proof is for, moreover I start to see why it must be true.
It may not be the fastest way to learn, but it's certainly entertaining if you're having trouble sleeping!
One can also apply the same trick to definitions and constructions by trying to prove that they are useless/degenerate.

$\begingroup$ interesting idea... I guess I have never tried to do this. $\endgroup$ – Konrad Voelkel Jun 17 '10 at 14:31
I usually feel that I best understand a construction (versus a proof) when I can successfully implement it in code (note that this is not to say the converse: that I wouldn't understand something I hadn't coded). I have found in practice that programming causes you to confront details and highlights phenomena that would often otherwise be quite obscure or even "deep". The best things about this are the lack of ambiguity about whether or not code works and the ability to isolate bugs and highlight areas of the construction that are still (perhaps unexpectedly) unclear.
You cannot, because you never will. There is always more to understand about any given topic.

$\begingroup$ Depends on how completely you want to understand a topic or specific concept,Theo. $\endgroup$ – The Mathemagician Jun 4 '10 at 2:51

1

1$\begingroup$ This is not an instance of Zeno's paradox. The same investment of time gives less and less return in understanding after a while. Understanding as a function of time probably has a horizontal asymptote. OTOH my understanding of basic arithmetic has increased a great deal this year, and had been stagnant since about 5th grade beforehand... $\endgroup$ – Steven Gubkin Jun 4 '10 at 14:45

3$\begingroup$ @Mariano: see math.wayne.edu/~isaksen/Expository/carrying.pdf for "a cohomological viewpoint on elementary school arithmetic." $\endgroup$ – Steven Sivek Jun 4 '10 at 17:28

1$\begingroup$ Did you know that if you write the basic addition and multiplication algorithms in base 2 as polynomials (i. e., the $n$th digit of the sum as a polynomial of the first $n$ digits of the summands, and the same for the product; of course everything is in $\mathbb F_2$), then you get the Witt addition/multiplication polynomials for $p=2$? (This comes from $W_{p^n}\cong \mathbb Z\diagup p^n\mathbb Z$  however, only for $p=2$ this isomorphism is really trivial to write down.) $\endgroup$ – darij grinberg Jun 4 '10 at 18:01
By "understanding" a piece of mathematics, do you mean:
 anticipating consequences of definitions and theorems?
 being able to determine the truth/falsehood of 'naturalsounding' propositions?
 being able to recognize when a result applies to a given problem?
 being able to apply results to practical problems?
If you said 'yes' to one or more of the above, then your interpretation of the activity of "understanding mathematics"  and yes, it is an activity  has a lot in common with, and may in fact be identical to, the enterprise of mathematical research. That is: mathematical research is no more or less than the attempt to better 'understand' our own mathematical ideas, and how they may be fruitfully applied: both to others of our mathematical ideas, and to more "empiricallyinclined" situations.
Furthermore, Turing and Gödel demonstrated that this endeavor is sufficently complicated that it cannot be grasped by any algorithmic approach (at least as we currently understand the concept of an 'algorithm'), and the independence of various 'interesting' propositions from our favourite axiomsystems entail that it is openended, i.e. it requires creativity and aesthetic taste on our part as to what mathematical ideas are interesting.
Understanding mathematics is the limit of an unbounded process; it doesn't 'happen', and it cannot 'happen'. The best you can do is to simply engage in the activity.
I am going to address an aspect of your question that most other respondents seem to have overlooked. It sounds to me that you're asking, how do I know that I've understood a particular concept well enough to be able to turn the page and keep reading?
I know some students who get bogged down when reading mathematics because they feel they have to understand each line thoroughly before they can proceed to the next line. While this style works for some people, for most people, this is usually not the best way to absorb a piece of new mathematics.
When I am trying to learn a new piece of mathematics, I usually start by latching onto an important theorem and making it a goal to understand that theorem. The theorem might not be stated right at the beginning, but I will turn ahead to see what the theorem says. If the theorem uses terminology that I am not familiar with, then I will go back and look for the definitions of those terms. Sometimes, to understand the definitions, I have to understand some preliminary lemmas, so I will turn to those lemmas and iterate the process. So instead of reading forwards, I often read backwards. On this pass, I will also usually skip the proofs. Only when I have a good sense of the overall structure of the paper or the book chapter, and know where I'm heading, will I then start reading linebyline.
If you adopt this method of reading, then it will usually be clear when you're ready to move on to the next step, because you'll be reading with a purpose.
Here is a strategy that has worked well for me.
Take a result you want to understand and try to prove it on your own.
If you succeed, great! If not, peek at the beginning of the proof and close the proof the moment you reach an insight you weren't able to think up on your own. Try to prove this insight, and try to complete the proof with this insight at hand.
If you succeed, great! If not, repeat.
In my experience, trying and failing to prove a result gives you a good appreciation of the proofs that do work. Constructions which might otherwise seem artificial often make sense as overcoming some barrier or other that you stumbled upon.

3$\begingroup$ I am not sure that the true meaning of a theorem lies in its proof. Sometimes, the theorem is there because it should be true, and the proof is simply the test that you finally nailed down the right definitions for the framework you're interested in. $\endgroup$ – Thierry Zell Sep 11 '11 at 21:11
Charles Sanders Peirce gave the following advice for increasing the clarity of one's concepts:
Consider what effects that might conceivably have practical bearings you conceive the objects of your conception to have. Then, your conception of those effects is the whole of your conception of the object.
This is called the Pragmatic Maxim or the Maxim of Pragmatism and there came to be a school of philosophy founded on it. Variations on the same theme and a bit of exposition can be found here.
Mathematically speaking, this is a maximally general form of representation principle. A less comprehensive form of it leads to the principle of operational definition that began to exert some influence in science beginning most prominently with Percy Bridgman.
If you have a colleague to hand who doesn't know about the idea you're trying to understand but has the appropriate background, then that's brilliant, because you can test your understanding by trying to explain it to them. Similarly, when I've had occasion to write up brief expositions or notes for a talk on a topic, I find it allows me to efficiently identify and dispel many of the little uncertainties and misunderstandings that pop up in great numbers when you first learn about something. It may be overkill, but if you can do that kind of thing rigorously and thoroughly without your intuitions changing, then you can certainly congratulate yourself on knowing what you're talking about.
I usually consider myself understanding something, if I can implement it on a computer. I do algebraic combinatorics, so it is fairly easy to verify identities and bijections.
Basically, if I can teach my computer a concept  I must be understanding it myself.

$\begingroup$ Not me. I implemented a bunch of things on a computer without understanding what I was doing. Basically rewriting the algorithm or a formula from a book or a paper in C++. Understanding would come sometimes later when tuning the algorithm and running different inputs though it and seeing how things react to the input changes. $\endgroup$ – Michael Dec 13 '17 at 16:33
I think I understand a theorem if I can reconstruct the hypotheses remembering only the conclusion. Likewise, I think I understand a theory if the axioms all seem reasonable and obvious.
However, you can't really get this on a first reading. I usually allow myself to proceed if the proof of the theorem catches my interest enough to read the details, or seems too trivial to bother with. If I don't think I could do it but don't care to learn, then I obviously don't appreciate enough of what I have been reading to seriously try reading more.
Perhaps the ultimate test is if you can use said theorem for something.

1$\begingroup$ that sounds a little bit like you consider only reverse mathematics really understanding mathematics. :) $\endgroup$ – Konrad Voelkel Jun 17 '10 at 14:30