21
$\begingroup$

When reading proofs, I often get confused and need to devise my own examples to understand what's going on. Is this practice ok or should I train myself to think in abstract terms?

As an example, here's something that I'd need a sketch on paper to understand.

enter image description here

$\endgroup$
3
  • 19
    $\begingroup$ No, it is NOT bad $\endgroup$ Jun 20, 2020 at 4:58
  • 7
    $\begingroup$ I think that the bold statement by @kjetil does not give enough emphasis. It is absolutely a great idea to perform numerical tests. Both when learning and when seeking new truths. Also in contest-math. Almost everywhere. $\endgroup$ Jun 20, 2020 at 7:43
  • $\begingroup$ I believe it is more than necessary. I have been studying maths for a while and it is the only, I believe, to fully understand what is being presented. Yes, abstraction is compact and elegant but it must work when going down to the "ground level" i.e. with numerical examples with sketch. $\endgroup$ Jun 23, 2020 at 19:07

2 Answers 2

28
$\begingroup$

That's perfectly normal. I do the same thing, and I've heard it strictly encouraged to solidify your understanding with examples. Like, you can bet the author looked at tons of examples before they even came up with the correct statement of the theorem they're proving. :)

$\endgroup$
2
  • 1
    $\begingroup$ Yeah that's the thing. Proofs without examples always seem to say something along the line of "this is self-evident". $\endgroup$ Jun 19, 2020 at 19:21
  • 2
    $\begingroup$ @JoshNg "this is self-evident" or "this is obvious." Yeah, that's a disparaging thing many mathematicians say. They certainly shouldn't, but, maybe it's understandable? Thinking back to some math you learned years and years ago, like how to add fractions or something, that's obvious to you now, right? All math is self-evident, but only after you understand it $\endgroup$ Jun 20, 2020 at 21:43
12
$\begingroup$

I would say that, not only is it normal, it is recommended and also something that some people have to be taught to do. John Conway said that he worked out numerous examples with physical tokens when he was inventing his game of Life, and I got the sense he thought that kind of concreteness was important in other more conventional mathematical contexts too.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .