[kmill]

The author really does mean memorize. To engage with pure mathematics, you must know the definitions, since the definitions are the bedrock of the subject. If you don't know the axioms of a topology, how can you check for yourself whether something forms a topological space? Or without knowing the exact definition of continuous, how can you know whether a proof of continuity is correct? Without knowing the definitions, you can't really know mathematics.

To be clear, this does not mean memorizing all the theorems. Getting to know the theorems (and solving problems) is what helps you internalize the subject. Math is the art of what's certain, and knowing exactly what the objects of the subject are is necessary for that. Theorems are derived from the definitions, but definitions can't be derived.

In my experience with a math (undergrad and PhD), I realized I had to know definitions to feel competent at all. In my teaching, it's hard to convince students to actually memorize any definitions — so many times students carry around misconceptions (like that "linearly independent" just means that no vector is a scale multiple of any other vector), but if they just had it memorized, they might realize that the misconception doesn't hold up. Math is weird in that the definitions are actually the exact truth (by definition! tautologically so), so it does take some time to get used to the fact that they're essential.

[xanderlewis]

> the definitions are actually the exact truth (by definition! tautologically so)

It’s easy to forget that non-math people find this — the idea that the definition is its own ‘model’ rather than an approximation of something more ‘real’ — somewhat hard to stomach. Outside of pure mathematics the idea is that mathematics is a tool for (usually lossy) modelling of reality, not a collection of already perfectly well-motivated objects to be studied in their own right.

[gowld]

More generally and symmetrically:

When you are studying science and technology, and the math theorem doesn't match experiment, the theory is probably wrong (or incomplete, missing factors), so you can discard it or try to improve it.

When you are studying math, and the intuition doesn't match the theorem, the intuition is probably wrong (or incomplete).

[kmill]

Things get a bit messier once you're doing research mathematics — definitions don't just come from nothing, and a good definition is one that serves its theorems. Definitions can be "wrong" (they might be generalizable, they might have unexpected pathological examples, etc.), and it's the result of lots of hard work by lots of mathematicians throughout history that we have the definitions we enjoy the use of today.

But yeah, while studying math, I think it's similar to learning programming — don't blame the compiler for your mistakes, it's a well-tested piece of software.

[xanderlewis]

Yes. It’s slightly disingenuous of me to suggest that any definition is as valid and ‘real’ as any other. Obviously, mathematicians care about some ideas more than others.

[kmill]

Yeah, during department teas you can hear mutters of "interesting" as ideas are exchanged and evaluated.

But, in my last comment I was just trying to temper my previous comment's claim about how important definitions are. At some point you get so used to a definition that even if you don't know a particular formulation word for word, you could still write a textbook on the subject because you know how the theory is supposed to go.

[wheelinsupial]

For what little it’s worth, the thing that finally made it click for me was a series of comments on HN that were discussing musical scales.

I don’t have any musical training, but I related it back to the practice and warm up sessions we had before we’d play an actual game in the sports I played as a kid.

Perhaps some explanation like that will get it to click with someone.

I also learned of the existence of soft question tags on Math Overflow and Math Stack Exchange that contained an incredible amount of guidance that I think was never possible in lectures. Sharing links to those websites in the syllabus may be helpful for the odd student that actually looks at the syllabus.

[kmill]

I'm teaching discrete math in January — I'll try the analogy, wish me luck!

As someone who's gone through the mathematical ringer, the analogy doesn't ring true to me, but it does sound pedagogically useful still (my students will be CS majors, so the math will be for training rather than an end). Even at the highest levels the definitions are of prime importance, though I suppose once you get to "stage 3" in Terry Tao's classification (see elsewhere in the thread) definitions can start to feel inevitable, since you know what the theory is about, and the definitions need to be what they are to support the theory.

Personal aside: In my own math research, something that's really slowed me down was feeling like I needed everything to feel inevitable. It always bugged me reading papers that gave definitions where I'm wondering "why this definition, why not something else", but the paper never really answers it. Now I'm wondering if my standards have just been too high, and incremental progress means being OK with unsatisfactory definitions... After all, it's what the authors managed to discover.

[wheelinsupial]

Yeah, sorry if I wasn't clear. I 100% agree with definitions, theorems, counterexamples, and proof techniques being incredibly important. Those are the "warm ups" or "scales" or things that need to be repeatedly drilled in my mind before trying to jump into the "game," which, to me, is solving problems.