The history of every major galactic civilization tends to pass through three distinct and recognizable phases, those of Survival, Inquiry and Sophistication, otherwise known as the How, Why, and Where phases. For instance, the first phase is characterized by the question ‘How can we eat?’, the second by the question ‘Why do we eat?’ and the third by the question, ‘Where shall we have lunch?’(Douglas Adams, “The Hitchhiker’s Guide to the Galaxy“)

One can roughly divide mathematical education into three stages:

- The “pre-rigorous” stage, in which mathematics is taught in an informal, intuitive manner, based on examples, fuzzy notions, and hand-waving. (For instance, calculus is usually first introduced in terms of slopes, areas, rates of change, and so forth.) The emphasis is more on computation than on theory. This stage generally lasts until the early undergraduate years.
- The “rigorous” stage, in which one is now taught that in order to do maths “properly”, one needs to work and think in a much more precise and formal manner (e.g. re-doing calculus by using epsilons and deltas all over the place). The emphasis is now primarily on theory; and one is expected to be able to comfortably manipulate abstract mathematical objects without focusing too much on what such objects actually “mean”. This stage usually occupies the later undergraduate and early graduate years.
- The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.

The transition from the first stage to the second is well known to be rather traumatic, with the dreaded “proof-type questions” being the bane of many a maths undergraduate. (See also “There’s more to maths than grades and exams and methods“.) But the transition from the second to the third is equally important, and should not be forgotten.

It is of course vitally important that you know how to think rigorously, as this gives you the discipline to avoid many common errors and purge many misconceptions. Unfortunately, this has the unintended consequence that “fuzzier” or “intuitive” thinking (such as heuristic reasoning, judicious extrapolation from examples, or analogies with other contexts such as physics) gets deprecated as “non-rigorous”. All too often, one ends up discarding one’s initial intuition and is only able to process mathematics at a formal level, thus getting stalled at the second stage of one’s mathematical education. (Among other things, this can impact one’s ability to read mathematical papers; an overly literal mindset can lead to “compilation errors” when one encounters even a single typo or ambiguity in such a paper.)

The point of rigour is *not* to destroy all intuition; instead, it should be used to destroy *bad* intuition while clarifying and elevating *good* intuition. It is only with a combination of both rigorous formalism and good intuition that one can tackle complex mathematical problems; one needs the former to correctly deal with the fine details, and the latter to correctly deal with the big picture. Without one or the other, you will spend a lot of time blundering around in the dark (which can be instructive, but is highly inefficient). So once you are fully comfortable with rigorous mathematical thinking, you should revisit your intuitions on the subject and use your new thinking skills to test and refine these intuitions rather than discard them. One way to do this is to ask yourself dumb questions; another is to relearn your field.

The ideal state to reach is when every heuristic argument naturally suggests its rigorous counterpart, and vice versa. Then you will be able to tackle maths problems by using both halves of your brain at once – i.e. the same way you already tackle problems in “real life”.

See also:

- Bill Thurston’s article “On proof and progress in mathematics“;
- Henri Poincare’s “Intuition and logic in mathematics“;
- this speech by Stephen Fry on the analogous phenomenon that there is more to language than grammar and spelling; and
- Kohlberg’s stages of moral development (which indicate (among other things) that there is more to morality than customs and social approval).

Added later: It is perhaps worth noting that mathematicians at all three of the above stages of mathematical development can still make formal mistakes in their mathematical writing. However, the *nature* of these mistakes tends to be rather different, depending on what stage one is at:

- Mathematicians at the pre-rigorous stage of development often make formal errors because they are
*unable*to understand how the rigorous mathematical formalism actually works, and are instead applying formal rules or heuristics blindly. It can often be quite difficult for such mathematicians to appreciate and correct these errors even when those errors are explicitly pointed out to them. - Mathematicians at the rigorous stage of development can still make formal errors because they have not yet perfected their formal understanding, or are unable to perform enough “sanity checks” against intuition or other rules of thumb to catch, say, a sign error, or a failure to correctly verify a crucial hypothesis in a tool. However, such errors can usually be detected (and often repaired) once they are pointed out to them.
- Mathematicians at the post-rigorous stage of development are not infallible, and are still capable of making formal errors in their writing. But this is often because they
*no longer need*the formalism in order to perform high-level mathematical reasoning, and are actually proceeding largely through intuition, which is then translated (possibly incorrectly) into formal mathematical language.

The distinction between the three types of errors can lead to the phenomenon (which can often be quite puzzling to readers at earlier stages of mathematical development) of a mathematical argument by a post-rigorous mathematician which locally contains a number of typos and other formal errors, but is globally quite sound, with the local errors propagating for a while before being cancelled out by other local errors. (In contrast, when unchecked by a solid intuition, once an error is introduced in an argument by a pre-rigorous or rigorous mathematician, it is possible for the error to propagate out of control until one is left with complete nonsense at the end of the argument.) See this post for some further discussion of such errors, and how to read papers to compensate for them.

## 85 comments

Comments feed for this article

19 February, 2009 at 9:32 pm

A Math StudentVery nice article, Dr. Tao….

I have a short question; Whenever I try to explain, or discuss math with my friends, I always end up confusing myself… are there any ways to fix it?? is it because i haven’t learned the material correctly ??

21 January, 2010 at 1:39 am

Tim vBTo be able to explain something is the ultimate proof that you understand it. You should constantly explain what you try to understand, to your friends or to yourself, to check if you have any questions.

Feeling confused is a good thing, it proves that you notice that you have questions – try to formulate them as precise as possible. Everyone who tries to learn math is confused from time to time, and has to work hard to overcome it, even someone like Gauss was and had to.

1 October, 2011 at 7:25 am

Akram HassanMr. Tim , had Gauss ever been confused ? Is it mentioned anywhere that he had been confused as he worked with mathematics ?

By confusion i mean what happens with “A Math Student” (and me) that at some point i doubt what i thought before that i understood !

thanks

10 December, 2011 at 12:12 am

John BaezI’m sure Gauss was confused, but he was notoriously reluctant to write up ideas before they were ready – “few but ripe” was his motto – so I don’t think we have much record of him being confused.

It is, however, lots of fun to read his different attempts to prove the fundamental theorem of algebra. I wouldn’t say they’re confused, but since some necessary bits of topology hadn’t been invented yet, they’re a bit informal at points – and it seems like he realized this, because he tried a few different approaches.

17 September, 2012 at 10:24 am

AnonymousIt may not be that you haven’t learned the material correctly but it just be that you need to practice teaching it to others. This is an important and undervalued skill in itself containing several distinct processes: You must be able to mentally switch back and forth quickly between the formal and informal, the “rigour” and “pre-rigour” modes of thinking. The back-and-forth happens as you check constantly with yourself to be sure that the informal truth you are speaking lines up with the formal. Not only are you switching between these levels of abstraction (which uses up a lot of processing power anyway) but physically communicating at the same time while monitoring them closely for feedback to ensure they understand what you are saying. This takes up even more of your available processing power. This combination of intra- and extra-dialogue is very taxing on the brain (this would have at one time been called “multi-tasking” but I prefer the term “mental switching” as “multi-tasking” isn’t strictly accurate for what brain does and is actually capable of doing).

Not everyone is able to do this well and for many it takes a lot of practice. Without practising and developing this skill, the brain can become easily overwhelmed and just “give up”. This may explain some of the “confusion” you feel rather than a lack of understanding of the topic. You can know this is the case if you were just studying the topic on your own, or explaining it in writing, if you do not get confused. This can only be overcome with practice so keep on explaining things to your friends. Do this as often as possible and you will improve and begin to experience less “brain freezing”.

Without this skill knowledge about a subject will eventually die out along with all the things that depend on it. Kudos to you for playing a part in preventing this! :-)

4 March, 2009 at 3:37 am

muraiiHi, A Math Student,

From my experience, I’d recommend you continue trying to explain and discuss math. My wife is not mathematically inclined, but I have found that talking through a problem with her provides me grounding, and uses parts of the brain quiet introspection doesn’t. It’s a different means of metabolizing the problem and its foundations.

Continuing to discuss math should therefore aid you in fixing the confusion.

Cheers,

Daniel

4 June, 2009 at 12:32 pm

Some context « Annoying Precision[...] generalize technical arguments in non-technical but still enlightening ways. Once I learned that there’s more to mathematics than rigor, I realized that what Tao and Gowers do mentally is something like an enormous feat of compression. [...]

19 June, 2009 at 12:21 pm

HamiltonCould you guide us toward books that can help people with the transitions from 1-2 and 2-3?

21 January, 2010 at 3:57 am

Tim vBIMHO it’s unlikely that you can learn this from books, this is a skill that you can only learn by interaction with others, e.g. your advisors.

1-2 will happen by solving the proof-type excercises that Terry mentions in his posts, 2-3 will happen during the diskussions that you have in class or outside of class with other graduates or professors (the “why should we care”, “what is the big picture”, “how can we use this in a different context”, “how can we generalize that and what does it tell us if we can or can’t” – type of questions).

27 June, 2009 at 1:11 pm

I hate axioms « Annoying Precision[...] an excessively stifling way to look at mathematics. As Terence Tao points out in his career advice, there’s more to mathematics than rigour and proofs: It is of course vitally important that you know how to think rigorously, as this gives you the [...]

20 January, 2010 at 2:50 pm

ChrisI’d call pre-rigorous the “cargo cult” stage. You’re not doing mathematics, you’re merely performing a very close approximation to it using rote learned rules. It was this sort of mathematics taught in the first year of the undergraduate curriculum at my university which caused me to take physics as my major.

Physicists and engineers call the third type of mathematics you propose a “back of the envelope” calculation. I suspect the less pretentious mathematicians do also. It is the step you use to flesh out a hypothesis before you apply rigour.

20 January, 2010 at 7:11 pm

Terence TaoHmm. I think perhaps I would classify the “back of the envelope” calculations as a fourth stage, let’s call it the “heuristic” stage, in the following, almost commuting square:

pre-rigorous —> rigorous

| ……………………….|

v ……………………….v

heuristic —> post-rigorous

As I discussed in the post, mathematicians tend to proceed through the upper route, but I do see the point that physicists and engineers tend to proceed through the lower route. Though, as I said, the diagram doesn’t quite commute; there are some significant cultural differences in doing mathematics that depend on which route one took to achieve the post-rigorous stage.

The distinction between heuristic and post-rigorous is that in the latter, one uses intuition and rigour in an integrated fashion; one knows how to justify one’s intuition and convert it to rigorous arguments, and conversely one knows how to take rigorous arguments and extract an intuitive explanation. For instance, one could convert arguments involving infinitesimals into rigorous epsilon-delta arguments whenever required, and vice versa. At the heuristic level, one could argue accurately with infinitesimals, but might not be able to convert them into a rigorous argument.

Just as mathematicians sometimes get stuck at the rigorous stage, unable to fully develop their intuition, I would imagine that the converse problem can happen to people educated using the physicist/engineer approach, who then miss out on the stereoscopic view that one gets from using both rigour and intuition simultaneously.

30 July, 2012 at 5:20 am

lienad216Just a question about the difference between the physicist/engineer’s approach and the mathematician’s approach: are these two so separated that attempting to take both paths (i.e. a physics and math double major) would create problems for the student? Also, would taking both paths allow for better intuition and at the same time a stereioscopic view?

8 July, 2013 at 10:12 am

Aaron CartaI am in the final stages of a Physics and Mathematics BS. While the math has served me well in Physics, and vice versa, the two fields seem to have a “friendly rivalry”; my math friends scoff at the often “heuristic” nature of physics, and my physics friends can’t understand why you’d learn any math you can’t immediately apply. The truth seems to be that while higher mathematics and physics have an inherent cognitive disconnect, they have a very symbiotic relationship.

7 February, 2014 at 10:17 am

SteveWTaking both paths is positive, constructive and reinforcing; insights from one path almost always provide insights for the other. Edward Frenkel has noted that there is little to differentiate between pure math and the cutting edge of theoretical physics; one merges into the other. (See his book “Love and Math”.) I myself have a PhD in and have worked over half a century in experimental, theoretical and computational physics, but I consider myself an applied mathematician.

21 January, 2010 at 12:32 am

Santosh BhaskarabhatlaProfessor Tao,

Thank you so much for your article! The post-rigorous mindset is a transcendental state that I currently crave. As you have said:

“pre-rigorous —> rigorous

| ……………………….|

v ……………………….v

heuristic —> post-rigorous

…

the diagram doesn’t quite commute; there are some significant cultural differences in doing mathematics that depend on which route one took to achieve the post-rigorous stage.”

I feel this academic/cultural problem is quite serious, because it really hinders so many scientists from becoming better mathematical thinkers. I suffer from it myself. I see it every day amongst my peers, colleagues, and even some professors.

Your article provides me with a map of what I need to do to get towards the post-rigorous thinking: in other words, I should get rigorous mathematical training before it’s too late. I’ve always loved mathematics, and I still do. The only problem is that I have not had the opportunity to study it rigorously and patiently, because I have been focused on other things, namely life sciences. Therefore I have been bogged down with only “heuristics” in my toolbox.

For people in this situation, how can we facilitate the path to the post-rigorous state?

Is the path of the physicist/engineer going to result in a completely different type of post-rigorous state?

For example, Ramanajun is someone who probably did not get sufficient “rigorous” training, but was able to achieve great mathematical success. Are there other potential Ramanujans that may not have the genius to overcome educational limitations?

I feel this is an issue that is particularly important at the frontiers of physics and mathematics, such as the holy grail of a quantum theory of gravity.

Sorry for so many questions. In short, aren’t these two paths to post-rigorous causing a lot of problems? shouldn’t we try to figure out one path for both the future mathematicians and physicists, at least at the undergraduate/early graduate level?

Naively and humbly,

Santosh

(Biochemical Sciences, Harvard College ’10)

21 January, 2010 at 6:14 am

AKEThe transition from stage one to stage two is often discussed, lamented, justified, lambasted, defended, …. But I haven’t seen anyone isolate and express the equally important transition from stage two to three. Very nice article!

21 January, 2010 at 10:05 am

Teaching Mathematics “in Tunic” « Mathematical Science & Technologies[...] Terence Tao. There’s more to mathematics than rigour and proofs. Available online from the author’s website. [...]

21 January, 2010 at 10:51 pm

solrizeHeh, that is pretty neat, a commutative diagram for reaching post-rigor.

22 January, 2010 at 7:36 am

biologizewhy doesn’t the progress from step 2 to 3 for physicists vs mathematicians commute as nicely as your diagram on paper?

22 January, 2010 at 9:54 am

Terence TaoPeople who learn (say) English as their native tongue, and French as a second language, are usually somewhat distinguishable from those who learned these languages in the other order, even after acquiring fluency in both languages.

1 February, 2010 at 11:18 am

Good mathematical technique reduces the need for insight « Mathematical Science & Technologies[...] Medalist Terence Tao has written a short piece that describes the role of rigor and the value of mathematical technique in the training of a mathematician. In the online discussion of this article, he adds two particularly interesting remarks: the first [...]

1 February, 2010 at 12:00 pm

Jonathan Vos Post“People who learn (say) English as their native tongue, and French as a second language, are usually somewhat distinguishable from those who learned these languages in the other order.” Yes, the sociolinguistics and fMRI studies both show this noncommutivity. See also that Hoijer was also the first to use the term “Sapir-Whorf hypothesis” about the complex of ideas about linguistic relativity. The Strong version

http://www.mnsu.edu/emuseum/cultural/language/whorf.html

is out of style. But fun to explore in science fiction, the best being such as:

The Languages of Pao, a novel by Jack Vance, first published in 1958, in which the Sapir-Whorf hypothesis is a central theme. This novel centers on a fictional experiment in modeling a civilization by perturbing its language. As the mad scientist behind this experiment, Lord Palafox, says in chapter 9: “We must alter the mental framework of the Paonese people, which is most easily achieved by altering the language.”

3 April, 2010 at 5:21 am

Terence Tao’s 3 Stages of Mathematics Education « Mathematics Expressions[...] What I need is to move from my current pre-rigorous stage to the rigorous stage as described in this post on Terence Tao’s blog. I am unable to compute, and can only use results proven by other [...]

6 April, 2010 at 6:38 am

The Education of Mathematics Interpreters « Mathematics Expressions[...] Apr 2010 colinwytan Leave a comment Go to comments I refer to Terence Tao’s blog entry on mathematics education again. The three stages pre-rigorous, rigorous and post-rigorous refer actually to the education of [...]

9 May, 2010 at 11:57 pm

数学比严格重要，兼论关于数学的三个境界 | 念敏[...] Posted on 2010/05, 10 by nianmin 译自陶哲轩的博客 三个境界： 前严格，大学低年级之前 严格，大学高年级到研究生低年级 [...]

10 May, 2010 at 12:18 am

数学比严格重要，兼论关于数学的三个境界 | 念敏[...] Posted on 2010/05, 10 by nianmin 译自陶哲轩的博客 三个境界： 前严格，大学低年级之前 严格，大学高年级到研究生低年级 [...]

24 October, 2010 at 12:01 pm

.Mathematics is to make oneself poor. I believe only a chosen few should be left to pursue mathematics. In the regular apart from a few specialized design people in research, no one uses math even in engineering. A liking for math may infact be a curse.

26 October, 2010 at 11:27 pm

ManjunathVery nice articles which clearly unleash the learning stages. Transition from 1-2 is done by most of the people. But from 2-3 requires a lot, which also decides your field of interest.

Transition from 2-3 involves ‘Analysis’, patience really matters here.

Considering a simple example finding an area.

At rigorous stage is just applying the regular method to get the result.

In post-rigourous it’s more like how result is gonna change with change in the shape of the curve.

Heuristic is just an educated guess, to say whether its gonna increase or decrease based on the shape change….

Manjunath

27 October, 2010 at 11:11 pm

AMS Graduate Student Blog » Blog Archive » Beyond Rigor[...] By Kareem Carr At first, I saw mountains as mountains and rivers as rivers. Then, I saw mountains were not mountain… [...]

28 February, 2011 at 10:08 pm

AnonymousHi, Terence Tao. I always loved physics and mathematics, and I am an aspiring primary and secondary education mathematics teacher in Brazil. I’m studying plane geometry from a text book that uses Hilbert’s axioms. I can follow the given proofs I read, and sometimes even find alternative proofs with a similar strategy of the one I read. But often I study a chapter and five days after I can’t prove the theorems I studied the proofs, and then eventually I give up and look at the book. I never had this problem when my “proofs” where just intuitive arguments to convince me, because once I found one I would always remember it, at least slight and could reconstruct it at any time. I was really eager to learn how to really prove all those things, and because of that, I feel pathetic, because I know this is the basic of the basic of the basic in mathematics, and not even near the advanced stuff and if I become a teacher maybe I won’t use that kind of proofs. Because of that I would really like to know your opinion about this, because I don’t feel I’m advancing. Sorry about my English.

6 March, 2011 at 7:31 pm

AnonymousWell, I think I solved my problem. It was that I was only just focusing on each step in a mechanical way but I wasn’t trying to find the general idea behind the proof. It seems it’s easy to reconstruct a proof after you find it. Maybe kind off-topic, sorry.

And this text is amazing, thanks for it.

10 December, 2011 at 12:20 am

John BaezYes, the key is to remember not the steps of the proof but the “idea” (or ideas) of the proof, which are the crucial non-obvious insights contained in the proof. If you get good at the mechanical aspects of proving things, you can fill in the details of the proof as long as you remember the idea.

The detailed steps of a proof can actually be quite distracting when you’re trying to see the idea – especially when someone writes a proof in more detail than you need. So when I read a proof, I first try to skim it, ignoring everything that looks boring, and try to spot the key ideas. Once I know these I can often fill in the details myself. (At least this is true for fairly easy theorems.)

15 March, 2011 at 11:05 am

AnonymousIf one restricts Spinoza’s three types of knowledge to the mathematical realm, does one obtain the three kinds of mathematical thinking described above?

3 April, 2011 at 7:59 pm

Toby BartelsI’m reminded of the Zen koan (best known as paraphrased by folk singer Donovan Leitch): ‘First there is a mountain, then there is no mountain, then there is.’ This pictorial explanation http://www.beingyoga.com/mountains-not_mountains.gif seems to fit best.

3 April, 2011 at 8:04 pm

Toby Bartels@ Anonymous from three or four back: It’s completely on topic! You were focusing too much on the rigour. Stand back and let mountains be mountains again (let lines and planes be lines and planes for a while, instead of tables and beer mugs), before you decompose them into logical fundamentals for the proof.

8 September, 2011 at 11:03 am

MingI’m a first-year university student who is taking the real analysis course. Like a lot of students in my class, I find this course very hard compared to other courses such as abstract algebra. Is the main goal of real analysis course teaching us how to prove theorems rigorously? Can anyone give me some advices about studying analysis?

Thanks a lot!

8 September, 2011 at 12:29 pm

Toby Bartels>Is the main goal of real analysis course teaching us how to prove theorems rigorously?

Perhaps not the *main* goal, but I think that this certainly does happen, to a large degree, in this course. Probably there should be a course specifically on proving theorems, but usually there isn’t, so you have to pick it up along the way, and real analysis is a good place to do that.

By the way, my link (3 comments back) to a picture has gone away, but here it is again: http://web.archive.org/web/20060621134626/http://beingyoga.com/mountains-not_mountains.gif

19 September, 2011 at 8:58 am

Does 0.999… Really Equal 1? | Girls' Angle[...] There’s really no point in arguing about whether two things are the same before the things being compared are clearly defined. Understanding this can save a lot of time and not just in math. I wish Girls’ Angle could have a penny for every hour that was lost by people arguing over things that were never clearly defined. Finally, one warning: while rigorous proof settles the question, this is not the same as saying that understanding is equivalent to rigorous proof. For more, see Terence Tao’s There’s more to mathematics than rigour and proofs. [...]

2 October, 2011 at 7:03 am

Akram HassanGreat article Dr.Tao , i have an engineering degree and did many math undergraduate courses such as multivariable calculus , differential equations and linear algebra (all with per-rigorous approach) , i am considering graduate studies in mathematics , I’m really interested in the word “rigor” , my question is : how does that transition from one stage to another really happen ?

do the math schools revisit the same topic time after time with different approaches to achieve that transition ? i mean do the students first study calculus in terms of slopes, areas, rates of change, and so forth then when they reach the next level they study the same topic in terms of epsilons and deltas ?

or is it a personal responsibility of the student to revisit the subject to emphasize the new level of understanding ?

thank you

10 December, 2011 at 11:44 pm

paramanandsUnfortunately I haven’t had the chance to go beyond stage 2, but I had pretty good experience with transition from stage 1 to stage 2 and I wish that these stages coexisted simultaneously in a curriculum. The real excitement in mathematics comes when all the mysteries of stage 1 are finally explained in stage 2. Frankly speaking I have been unable to understand why mathematics educators try very hard to separate the computational aspects from the theoretical foundations. As an example in case of calculus all the mystery (i.e. gap between stage 1 and 2) rests on the theory of real numbers which is only slightly harder than the a theory of rational numbers if taught the right way (see 1st chapter of Hardy’s Pure Mathematics).

14 December, 2011 at 2:51 pm

“La matemática es más que rigor y demostraciones” | blocdemat[...] Una sección que es una joya de leer es la de “career advice“. Hay una entrada en particular que me encanta, que es esta: There’s more to mathematics than rigor and proofs. [...]

15 December, 2011 at 10:59 pm

QuoraWhat is it like to have an understanding of very advanced mathematics?…* You can answer many seemingly difficult questions very 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 small number…

23 December, 2011 at 8:00 am

Mathematics by samadhi - Pearltrees[...] The “pre-rigorous” stage, in which mathematics is taught in an informal, intuitive manner, based on examples, fuzzy notions, and hand-waving. (For instance, calculus is usually first introduced in terms of slopes, areas, rates of change, and so forth.) The emphasis is more on computation than on theory. This stage generally lasts until the early undergraduate years. The “rigorous” stage, in which one is now taught that in order to do maths “properly”, one needs to work and think in a much more precise and formal manner (e.g. re-doing calculus by using epsilons and deltas all over the place). The emphasis is now primarily on theory; and one is expected to be able to comfortably manipulate abstract mathematical objects without focusing too much on what such objects actually “mean”. There’s more to mathematics than rigour and proofs « What’s new [...]

19 November, 2012 at 3:30 am

Ronnie BrownIn reference to “doing calculus with epsilns and deltas all over the place”: sometimes mathematics develops methods which are far from intuition and then it is test of skill to do it that way. But part of maths is to develop language and modes of expression which make difficult things easy and intuitive, to model the “handwaving”, so that students react with “oh yes!”

28 December, 2011 at 9:45 am

Dan SchmidtThis is very analogous to the progression of stages that chess players go through. Roughly, beginners are in stage 1, strong amateurs are in stage 2, and professional players are in stage 3.

20 January, 2012 at 4:08 pm

Researching and Rediscovering Mathematics | Ivan Wangsa C.L.[...] Saya teringat blog post dari Terrence Tao. Buat yang nggak tau, Terrence Tao itu peraih medali emas termuda di IMO, pada umur 13 tahun, di IMO 1988, Australia. Sekarang beliau menjadi professor di UCLA, California. Beliau bilang, kalau pembelajaran matematika itu bisa dibagi menjadi 3 fase: [...]

15 April, 2012 at 5:57 am

Postulates, Proofs, and Obviousness | Girls' Angle[...] also suggest reading Terrence Tao’s blog post There’s more to mathematics than rigour and proof and the references within. Your question also implicitly asks about the relationship between [...]

19 July, 2012 at 9:07 pm

QuoraHow does one develop intuitive learning? And what are the key differences between intuition based learning and learning by proof? And which one do you prefer?…You need to have both intuition and rigor to really do well in mathematics. Instead of me trying to answer this, one of the best mathematician in the world, Terrence Tao (http://en.wikipedia.org/wiki/Terence_Tao) has once blogged about it. So you can r…

25 September, 2012 at 9:53 am

Một số bài viết về việc học Toán, sưu tầm trên mạng | Toán Đại học[...] 4. Bài viết của Terence Tao http://terrytao.wordpress.com/career-advice/there%E2%80%99s-more-to-mathematics-than-rigour-and-proo… nói về 3 quá trình học Toán. 5. Một bài viết giải thích vì sao sách Toán [...]

2 October, 2012 at 1:28 am

Ronnie BrownRelevant to these arguments is the notion of context. See our paper

“What should be the _context_ of an adequate specialist undergraduate education in mathematics?”, The De Morgan Journal 2 no. 1, (2012) 411–67.http://education.lms.ac.uk/wp-content/uploads/2012/02/Brown_and_Porter.pdf

A mathematics education should not just be about learning to write neat answers to exam questions!

More discussion is on my popularisation and teaching page.

http://www.bangor.ac.uk/r.brown/publar.html

23 October, 2012 at 12:55 am

QuoraWhat are some good books to help me “get” math?…First, I’d like to state it’s not really clear what OP means by “getting math”. I see most of the answers here have been recommending AOPs and problem solving books. It’s important to realize that competitive/academic Olympiad style mathematics is…

3 November, 2012 at 7:01 am

Rigor « Log24[...] the mathematician Terence Tao has written, math study has three stages: the 'pre-rigorous,' in which basic rules are learned, the [...]

3 November, 2012 at 10:40 am

¿Por qué las y los escritores deberían aprender matemáticas? « :: ZTFNews.org[...] el matemático Terence Tao [There’s more to mathematics than rigour and proofs], el estudio de las matemáticas tiene tres etapas: la pre-rigurosa en la que la matemática se [...]

4 November, 2012 at 8:58 pm

In the name of creativity, do not let the rules of mathematics impede your intuition. | rantingmath[...] point of rigour is not to destroy all intuition; instead, it should be used to destroy bad intuition while [...]

4 November, 2012 at 10:01 pm

math intuition vs artistic intuition | rantingmath[...] to make logic flow and fit in the neatest possible sense. It is only with a combination of both rigorous formalism and good intuition that one can tackle complex mathematical problems; one needs the former to correctly deal with the [...]

11 November, 2012 at 3:40 am

There’s more to mathematics than rigour and proofs | My Daily Feeds[...] via Hacker News http://terrytao.wordpress.com/career-advice/there%E2%80%99s-more-to-mathematics-than-rigour-and-proo… [...]

11 November, 2012 at 11:39 am

JohannThere’s another aspect to the stages of learning mathematics that happens in parallel, and that’s the gradual connection to people:

1. When you first learn mathematics, it’s presented as concepts that exist independent of the people who developed them. You *can* do that, and it shortens the lessons, so why not? If Euclid or Newton is mentioned, it’s in a textbook’s sidebar and won’t be on the test.

2. Over time, you gradually get a sense that *people* were involved in creating all this stuff! There are concepts and theorems named after people throughout mathematics. You might hear a few stories, e.g. about the Pythagoreans or Newton vs. Leibniz.

For many people, that’s where it ends.

3. Some more precocious students might read about the history of mathematics on the side, not because it’s required, but because it’s *interesting*! But anyone who gets into upper-level mathematics inevitably begins meeting other people in their field, seeing the human side of mathematics, and learning the history of mathematics, or at least their corner of it.

In the end, one learns that mathematics is a deeply human endeavor, full of interesting people, many of whom are still alive! Some mathematicians even have blogs!

The sad thing, to me, is that the human element of mathematics, the historical anecdotes, the fun of talking about mathematical ideas with other people… are all but stripped out in the early stages of modern math education. Why?

14 November, 2012 at 2:59 am

Maths and Writing | Creative Culture Kenya[...] the mathematician Terence Tao has written, math study has three stages: the “pre-rigorous,” in which basic rules are learned, the [...]

11 December, 2012 at 1:13 am

[Skills] Làm việc chăm chỉ – GS Terrence Tao | Nguyen Hoai Tuong[...] short, there is no royal road to mathematics; to get to the “post-rigorous” stage in which your intuition matches well with what one can establish rigorously, one has to [...]

14 January, 2013 at 7:07 am

AnonymousWe discover via inductive thinking and prove via deductive, is that it?

I always wondered how people discovered/conjectured the Pythagorean theorem. Was it by empirically measuring the sides of many right triangles?

Or how can someone conjecture the inscribed square problem “Does every plane simple closed curve contain all four vertices of some square?”? I can’t get how people discover those things…

Also, the axioms themselves are experimental facts, why can’t I start with the Pythagorean theorem as an axiom? Or use other axioms?

Or, are transformational proofs in geometry also considered synthetic geometry? (like the one in http://www.google.ru/books?id=qwyBPybT4oMC&printsec=frontcover&redir_esc=y#v=onepage&q=%22examine%20the%20midpoint%22&f=false ,pg 101)

4 February, 2013 at 12:04 pm

PrometheanPlanet[...] I have taken the quote below from Professor Tao's article There's More to Mathematics than Rigour and Proofs: [...]

12 March, 2013 at 12:40 pm

Catarina Dutilh NovaesMy (philosophical!) two cents:

http://m-phi.blogspot.nl/2013/03/terry-tao-on-rigor-in-mathematics.html

19 August, 2013 at 4:04 am

CalmariusI’m good at maths. I won several math and physics competitions on primary and high school. Although finally I’m become a programmer, I’m still interested in physics and maths, and I try to understand things mainly in physics.

The problem I see is that many things in papers and lecture notes are described in very terse, plain rigorous way. Even the maths lecture at the college was presented in this way. I often had the feeling that the lecturer is ‘showing off’, and I often thought they are playing a game of telling everything to a students in a way they have no chance to understand it.

In constrant with this, when something is described by examples, problems, analogies, intuition and induction or by telling the patterns, even understanding the most sophisticated concept becomes easy.

After the intuitive foundations are built then we can generalize to N, other fields, etc, and discover the corner cases and gotchas, and backtrack towards the axioms (or towards the desired level).

But in real life I see that things are explained the other way around: axioms, definition, definition, definition, definition, definition, theorem, proof, theorem, proof, theorem, proof, theorem, proof, definition, definition, definition, definition, definition, theorem, proof, theorem, proof, theorem, proof, theorem, proof. It’s very easy to get lost at the very beginning. Because all look like meaningless symbol folding.

It’s very easy to get lost in this. All that’s missing is: what is this all about? What can I do with this?

For me this’s something like deciphering what does a program do by starting from the silicon and learning how to build an x86 CPU, then reading the machine code.

While you can do the same by reading the nicely commented source code, without even knowing anything about the gory details of the hardware.

Personally I cannot think of differentiation without visualizing the slope or thinking of a rate of change; also I cannot think of integration without visualizing the area under the graph, or thinking of summation. Visualizing matrix determinant as an area of a parallelogram (2×2) or a parallelepiped (3×3) was a great eye opener, now I know why the determinant of 0 is so special.

I’ve also found saying ‘x and y have the same sign’ in plain Enlish much easier to understand than simply writing down ‘xy > 0′.

I like maths, I like puzzles, I like solving problems, I like understanding world. I can prove many theorems. I can use mathematical tools when I need to. But excess rigor is not for me.

Probably I’m thinking this way because I’m an engineer, and I use maths, not inventing it. But heck I discovered, reinvented many things way before I learned about it.

19 August, 2013 at 6:17 am

DanielI’m not sure that analogy to CPU hardware is accurate, although it does illustrate the point. Maybe if it were drawn to understanding the fundamentals of machine language (I mean code the computer actually understands, not sure if I’m using the right term), it would be more accurate. Because the fundamental definitions, theorems, etc are just one step away from the topics discussed, whereas hardware and software need some bridging. In any case, the analogy it’s still true.

I think one reason why the rigor is necessary is to ensure that one knows what it might be used for and, secondly, to demonstrate the manner in which one establishes a concept. This, I think, would allow the student perhaps replicate this rigorous path with a different concept (perhaps a new one). It seems this is the difference between a math student and a engineering/physics student, the former focused on the concept and the later on usage. Rigor remains just as impenetrable for us as for you, though after a while one gets used to it. It does, admittedly, have that magic trick effect (when you produce some useful result).

27 November, 2013 at 11:18 am

chris“I think one reason why the rigor is necessary is to ensure that one knows what it might be used for and, secondly, to demonstrate the manner in which one establishes a concept. ”

I think it’s quite the opposite: most “hardcore” mathematicians that put a lot of emphasis on formalism and rigor, have a hard time relating to real world concepts and show extremely poor skills at properly using math in a different fields like programming when it comes to real world software production. Actually most mathematicians make very poor programmers and engineers. Also, typical math proofs are not required in real world applications(sometimes proofs can actually be misleading), it’s real world testing that does the validation.

19 September, 2013 at 8:57 am

Three quarters | subOptimal[…] I found this little gem whilst surfing this magnificent blog: Link […]

24 October, 2013 at 9:48 am

Terry Tao: On Hard Work | Fahad's Academy[…] short, there is no royal road to mathematics; to get to the “post-rigorous” stage in which your intuition matches well with what one can establish rigorously, one has to […]

10 January, 2014 at 12:01 pm

whaaales | Principled memorization[…] ideal student is thus drawn into a (physically, if not mathematically) “post-rigorous stage” where conceptual fluency isn’t impeded by a need to build things up from the beginning every […]

19 January, 2014 at 7:34 pm

xingeThere is also a speech given by Atiyah about the style of Mathematics, in witch he talked about the intuitive mathematician.

20 January, 2014 at 2:12 am

Ronnie BrownOne analogy I like is that between describing a route to the station in terms of the landscape (e.g. turn tight at the oak tree and left at the traffic lights) and in terms of listing all the cracks in the pavement. One task in mathematics is to build language and notation in which to describe the “landscape”, i,e, the structures which arise and help to guide our understanding. Of course, Grothendieck was a master at this. And of course the modern language for discussing mathematical structures is category theory. Sometimes also one “knows” that something is true because it fits with so many things. I also spent 9 years on an “idea for a proof in search of a theorem”: what was lacking was a gadget (a homotopy double groupoid) to realise the idea.

I also feel there is not enough discussion about methodology. See the article: http://pages.bangor.ac.uk/~mas010/methmat.html . “The methodology of mathematics” . which has been published variously.

20 January, 2014 at 11:13 am

Tre niveauer af matematisk præcision | hanshuttel.dk[…] amerikanske matematiker Terence Tao har (som så ofte før) et interessant blogindlæg om netop dét. Det, han hæfter sig ved, er hvor svært (og nødvendigt) at nå til det tredje, post-rigorous […]

22 January, 2014 at 3:56 pm

themathmasterI always wished I was better at proofs. If I had been I may have pursued further graduate work.

Great write up.

18 February, 2014 at 10:55 pm

Bruce SmithThe link “this post” seems broken, in “See this post for some further discussion of such errors, and how to read papers to compensate for them.”

[Corrected, thanks - T.]28 February, 2014 at 2:13 pm

dy/dan » Blog Archive » [Confab] Circle-Square[…] Terrence Tao writes about that continuum here. […]

7 April, 2014 at 7:37 pm

Chapter 1: Dimension | Complex Analytic[…] My hope is that by starting the year by considering higher dimensions will help with both of these issues. I used this idea in the middle of the semester last year and the students were fascinated with the idea. (End-of-semester surveys generally had it as one of their favorite topics and one they wanted to learn more about). Furthermore many of the students bought into the idea that in order to explore an arena like higher dimensions, where we lacked a great deal of intuition, it would be necessary to think more carefully and try to formalize some of our intuition from lower dimensions. (This incidentally is what I think of when I think about mathematical rigor.) […]

25 May, 2014 at 11:38 am

SemiografoNice article. Even better for mentioning Poincaré. The Value of Science is a very influential reading to me. I always found myself a bit loser for being somewhat stuck at the stage 1 of mathematical reasoning. Poincaré gave me a little hope when saying that both theoretical and intuitive minds are important to science. Obviously there are ones that reach the stage 3, but they’re pretty rare I guess.

17 June, 2014 at 9:08 am

QuoraHow should we treat/interpret the relation between intuition and rigor in mathematical proofs?http://terrytao.wordpress.com/career-advice/there%E2%80%99s-more-to-mathematics-than-rigour-and-proofs/

4 July, 2014 at 6:28 pm

Vivek KaulHi Terry,

Should formalism be introduced strongly at the middle school and high school level? Or only people in graduate or advanced undergraduate should be introduced to formalism. I am asking as a person wanting to teach mathematics to middle school and high school students.

Vivek

14 July, 2014 at 12:04 pm

tjzagerI would love to cite this piece in a book I’m writing, but am having trouble finding the publication date. I’d appreciate any help.

[This article is not currently published other than on this blog. -T.]11 August, 2014 at 9:36 am

Toward an Understanding of Mathematics | Empathic Dynamics[…] There is some literature on various ways that students begin to understand maths. Here, I am more interested in advanced undergraduate and graduate learning rather than earlier concepts that a lot of the education literature is focused on. An example would be Terence Tao’s discussion of three stages of mathematical development. […]

14 August, 2014 at 3:36 am

How to study math to really understand it and have a healthy lifestyle with free time? | Crescent Yemen[…] stages of mathematics education to be particularly relevant for me. It sounds relevant to you, too: terrytao.wordpress.com/career-advice/… – Jesse Madnick Jun 11 ’11 at […]

30 August, 2014 at 12:32 pm

Why Do We Think The Way We Do? - My blog[…] Thought seems to be related to this sort of mental simulation, this considering of consequences and verification of intuition. Indeed, we might think of intuitive, unconscious thought as a sort of tennis partner with slower, conscious reasoning — a back and forth. The intuition provides material to the conscious mind and the conscious mind processes that information, which sculpts and corrects the intuition. […]

11 September, 2014 at 7:28 pm

David MW PowersThis is an excellent way of looking at the way we treat mathematics, but different individuals will have different areas of expertise and be in different corners for different areas of mathematics or different application areas. For those that aren’t professional mathematicians, or those that specialize in particular areas of mathematics, some facility either in formal manipulation or intuitive understanding will be either never be gained or will fall away with disuse. Weaning ourselves away from grounded applications, to developing more general understandings, models and formalisms, is key to the power of mathematics, and often means navigating uncharted waters without the benefit of intuition, but ideally will lead to develop better deeper intuitions that in pure mathematics can go beyond real world applicability.

But being able to read and write the formalism is not very useful if it can’t be tested and applied against our intuitions. Having intuitions or ownership of a model is difficult if you are not the originator and don’t have access to the originator’s intuitions. One of the biggest problems I find with other people’s papers in applied areas (Engineering, Computing, Neuroscience, …), is the tendency to reproduce and even extend formal models without understanding either the assumptions or the intuitions that underlie them. At conferences, authors who are challenged on the appropriateness and applicability of a model often show that they are unaware or unmindful of the assumptions and only understand the model in the formal mechanical sense of being able to manipulate equations, verify derivations and produce proofs within the bounds of the model. This perhaps characterizes the dangers of an applied hybrid of heuristic and rigorous approaches and pinches the square into a figure eight as these are brought together in the same individual, or even the ubiquitous paradigm of an entire field.

I mean that an individual has sufficient rigour to go through the motions at a the model level, but is applying canned heuristics at the application level, without either pre- or post-rigour intuition being in evidence, without addressing satisfaction of assumptions or performing sanity checks on conclusions. And I’m not just talking about students. In some cases, whole fields are operating in a kind of unsound limbo, because a formal but inappropriate model takes precedence over common sense intuition and understanding of the boundary cases and the impact of assumptions.

11 September, 2014 at 8:50 pm

SemiografoGood point, David. I’m almost an illiterate on pure math. However, I’m not sure if I’m illiterate on abstract thinking. I’m not even sure if I’m good on intuitions.

On the other hand, I think I’m good on language. I can do abstract reasoning when interpreting and using linguistic tools like metaphors and metonymy. I think language is underrated as a math tool. It’s as abstract as greek characters, but its mapping to _some_ intuition is more natural, at least to me. Every time I see greek letters in an explanation I translate it to language and then to some intuition, if needed, but I always do the translation step. If some concept from pure math is explained by a textual description, I tend to capture it easier and I can instantly map to a bunch of real-world applications.

I know, someone will say that natural language is ambiguous, but so is the actual academic math. How much papers do you read where there isn’t a single sentence written in plain natural language? In this case, ambiguity is not language’s fault, since the author decides doing a textual explanation because math isn’t enough to cover the entire concept. There isn’t any notation capable of motivating the reader for reading a math paper. Thus natural language is an advertising tool, but also is employed for covering gaps when pure math notation isn’t enough.

In short, I think pure math (i.e., math heavily relied on notation) is overrated as an abstract reasoning tool. You can do similar reasoning with plain natural language, so you could reach a broader audience and allow more intuitions to emerge — even pure math intuitions. Proving my hypothesis is the harder part, since I should use pure math, but I think I could contribute with some empirical results for motivating a mathematician to try something on this path. There is room for all kind of abstract thinking mathematicians.