按：這篇筆記是系列筆記的第六篇，第一部分有4節(jié)棚瘟，每節(jié)對應(yīng)1-2篇筆記。
筆記的方式喜最，是引用一段個人覺得比較有亮點的英文原文偎蘸，再給一段簡化的中文說明，不采用中文版的翻譯，不自行做直接翻譯迷雪，只說明要點限书。因為不可能大段大段地去引用，必然會有語境的丟失章咧，會做一些補充說明倦西，以“按：”開始。對中文版翻譯進行更正或調(diào)整的說明赁严，以“注：”開始扰柠。偶爾也會插入自己的議論，以“評：”開始疼约。
前五篇筆記為：
4 Discovering Patterns（發(fā)現(xiàn)模式）
When a problem looks too difficult to solve, one should not give up completely. A much more productive reaction is to formulate related but more approachable questions.
當(dāng)一個問題看起來太難解決卤档，不應(yīng)該完全放棄。一種更有成果的應(yīng)對是提出相關(guān)但更易接近的問題程剥。
For some problems, the best approach is to build a highly structured pattern that does what you want, while for others—usually problems for which there is no hope of obtaining an exact answer—it is better to look for less specific arrangements. “Highly structured” in this context often means “possessing a high degree of symmetry.”
對于有的問題劝枣，最好的辦法是構(gòu)建一個高度結(jié)構(gòu)化的模式，使其具備所需要的特性织鲸；而對于另一些問題——這些問題通常不太可能獲得一個精確的回答——尋找不那么具體的排布反而更好舔腾。在這個語境下，“高度結(jié)構(gòu)化”常常意味著“具有高度對稱性”搂擦。
These facts about the Leech lattice illustrate a general principle of mathematical research: often, if a mathematical construction has one remarkable property, it will have others as well. In particular, a high degree of symmetry will often be related to other interesting features.
5 Explaining Apparent Coincidences （解釋表觀巧合）
It is not obvious how seriously we should take this observation, and when it was first made by John McKay opinions differed about it. Some believed that it was probably just a coincidence, since the two areas seemed to be so different and unconnected. Others took the attitude that the function
j(z)and the Monster group are so important in their respective areas, and the number 196 883 so large, that the surprising numerical fact was probably pointing to a deep connection that had not yet been uncovered.
這個觀察結(jié)果（按：上文提到橢圓模函數(shù)j(z)的級數(shù)定義中的一個系數(shù)比魔群的最小可能維數(shù)只大了1）應(yīng)該在多大程度上被嚴(yán)肅地對待琢唾，并不是那么顯然，而且當(dāng)John McKay首次觀察到它時盾饮，人們的觀點就已經(jīng)有了分歧。有人相信這很可能只是一個巧合懒熙，因為這兩個領(lǐng)域看上去很不一樣也沒有關(guān)聯(lián)丘损。其他人則采取了這么一種態(tài)度，橢圓模函數(shù)j(z)和魔群在他們各自的領(lǐng)域都那么重要工扎，而196883這個數(shù)字又這么大徘钥，這種驚人的數(shù)值上的事實，可能指向某種尚未發(fā)現(xiàn)的深刻聯(lián)系肢娘。
Another general principle of mathematical research: if you can obtain the same series of numbers (or the same structure of a more general kind) from two different mathematical sources, then those sources are probably not as different as they seem. Moreover, if you can find one deep connection, you will probably be led to others.
數(shù)學(xué)研究的又一個一般性原則：如果你能夠從兩個不同的數(shù)學(xué)來源呈础，獲得同樣的數(shù)字序列（或者某種更一般的數(shù)學(xué)對象形成的同樣結(jié)構(gòu)），那么這兩個數(shù)學(xué)來源很可能沒有它們看上去那么不一樣橱健。甚至而钞，如果你可以找到一個深刻聯(lián)系，還會順藤摸瓜找到更多聯(lián)系拘荡。
6 Counting and Measuring （計數(shù)與度量）
This is a simple example of a counting argument, that is, an answer to a question that begins “How many.” However, the word “argument” is at least as important as the word “counting,” since we do not put all the symmetries in a row and say “one, two, three, . . . , sixty,”(resorting to “brute force”) as we
might if we were counting in real life.What we do instead is come up with a reason for the number of rotational symmetries being 5 × 12. At the end of the process, we understand more about those symmetries than merely how many there are.
這（按：“正二十面體有多少個旋轉(zhuǎn)對稱臼节？”）是“計數(shù)論證”的一個簡單例子，即對“有多少個”這類問題的回答。然而网缝，“論證”這個詞至少和“計數(shù)”一樣重要巨税，因為我們并非把所有的對稱排成一列然后像我們在日常生活中計數(shù)一樣一個一個數(shù)下去（采用蠻力的方式），而是提出了旋轉(zhuǎn)對稱總數(shù)為 5 × 12的理由粉臊。這個過程結(jié)束后草添，我們對這些對稱獲得了更深入的理解，而不只是它們有多少個扼仲。
Even if an exact answer does not seem to be forthcoming, it is still very interesting to obtain estimates. In this case, one can try to define an easily calculated function f such that f (n) is always approximately equal to t(n). If even that is too hard, one can try to find two easily calculated functions L and U such that L(n) ≤ t(n) ≤ U(n) for every n. If we succeed, then we call L a lower bound for t and U an upper bound.
哪怕準(zhǔn)確的答案看上去不易找到远寸，獲得其估計也是非常有趣的。這種情況下犀盟，我們可以嘗試定義一個容易計算的函數(shù)f而晒，使得f(n)總是近似地等于t(n)。即使這太難阅畴，我們也可以嘗試找兩個容易計算的函數(shù)L和U倡怎，使得對于所有n，L(n) ≤ t(n) ≤ U(n)均成立贱枣。如果成功找到了监署，我們就稱L為下界，而稱U為上界纽哥。
Given a set of objects, one may wish to know, besides its size, roughly what a typical one of those objects looks like. Many questions of this kind take the form of asking what the average value is of some numerical parameter that is associated with each object.
給定數(shù)學(xué)對象的一個集合钠乏，除了它的大小，我們可能希望知道春塌，這個集合的一個典型對象大概是什么樣子的晓避。這類問題很多具有同樣的形式，即求與每個對象關(guān)聯(lián)的某種數(shù)值參數(shù)的平均值只壳。
There are many problems in mathematics where one wishes to maximize or minimize some quantity in the presence of various constraints. These are called extremal problems. As with counting questions, there are some extremal problems for which one can realistically hope to work out the answer exactly, and many more for which, even though an exact answer is out of the question, one can still aim to find interesting estimates.
數(shù)學(xué)中有很多問題俏拱，都是希望在各種約束下，最大化或最小化某些量吼句。這些問題被稱為極值問題锅必。就像計數(shù)問題一樣，有的極值問題可以獲得精確答案惕艳，而更多的問題搞隐，雖然精確答案不可能獲得，但依然可以找到有趣的估計远搪。
7 Determining Whether Different Mathematical Properties Are Compatible （判定不同的數(shù)學(xué)性質(zhì)是否相容）
Suppose that we wish to determine whether G has some property P that some groups have and others do not. Since we cannot prove that the property P follows from the group axioms, it might seem that we are forced to abandon the general theory of groups and look at the specific group G. However, in many situations there is an intermediate possibility: to identify some fairly general property Q that the group G has, and show that Q implies the more particular property P that interests us.
假定我們希望判定群G是否具備某種性質(zhì)P劣纲，該特性有的群具備而其他群不具備。因為我們不能證明性質(zhì)P服從群公理终娃，我們可能被迫放棄群的一般理論而考察具體的群G味廊。然而蒸甜，很多情況下，存在一種間接的可能：識別出群G具備某種比較一般的性質(zhì)Q余佛，而證明性質(zhì)Q可以導(dǎo)出我們感興趣的更為具體的性質(zhì)P柠新。
8 Working with Arguments that Are Not Fully Rigorous （利用不完全嚴(yán)格的論證）
A mathematical statement is considered to be established when it has a proof that meets the high standards of rigor that are characteristic of the subject. However, nonrigorous arguments have an important place in mathematics as well. For example, if one wishes to apply a mathematical statement to another field, such as physics or engineering, then the truth of the statement is often more important than whether one has proved it. However, this raises an obvious question: if one has not proved a statement, then what grounds could there be for believing it? There are in fact several different kinds of nonrigorous justification.
當(dāng)一個數(shù)學(xué)命題有了一份滿足該門學(xué)科特有的嚴(yán)格性的高標(biāo)準(zhǔn)的證明，它才被認為成立辉巡。然而恨憎，不完全嚴(yán)格的論證在數(shù)學(xué)里也有非常重要的地位。例如郊楣，如果我們希望應(yīng)用一個數(shù)學(xué)命題到另外一個領(lǐng)域憔恳，比如物理或者工程，命題是否為真要比命題是否被證明更為重要净蚤。然而钥组，這就提出了一個顯然的問題：如果一個命題尚未被證明，那相信其為真有什么基礎(chǔ)呢今瀑？實際上程梦，存在著幾種非嚴(yán)格的“正當(dāng)化”論證。
There are large numbers of papers with theorems that are proved only under the assumption of some version of the Riemann hypothesis. Therefore, anybody who proves the Riemann hypothesis will change the status of all these theorems from conditional to fully proved. How should one regard a proof if it relies on the Riemann hypothesis? One could simply say that the proof establishes that such and such a result is implied by the Riemann hypothesis and leave it at that. But most mathematicians take a different attitude. They believe the Riemann hypothesis, and believe that it will one day be proved. So they believe all its consequences as well, even if they feel more secure about results that can be proved unconditionally.
有大量的論文中存在許多定理橘荠，它們都是在黎曼假說的某種形式成立的前提下進行證明的屿附。因此，任何人只要證明了黎曼假說哥童，就將這些定理的狀態(tài)從有條件的變成了完全被證明的挺份。我們應(yīng)該如何對待一個依賴?yán)杪僬f的證明？我們可以簡單地說該證明證明了黎曼假說蘊含了該結(jié)論贮懈，然后不再深究匀泊。但大多數(shù)數(shù)學(xué)家采取不同的態(tài)度。他們相信黎曼假說朵你，而且相信它有一天會被證明探赫。所以他們相信黎曼假說的所有推論，雖然他們覺得具備無條件證明的結(jié)論更為可靠撬呢。
There is far more to a conjecture than simply a wild guess: for it to be accepted as important, it should have been subjected to tests of many kinds. For example, does it have consequences that are already known to be true? Are there special cases that one can prove? If it were true, would it help one solve other problems? Is it supported by numerical evidence? Does it make a bold, precise statement that would probably be easy to refute if it were false?
It requires great insight and hard work to produce a conjecture that passes all these tests, but if one succeeds, one has not just an isolated statement, but a statement with numerous connections to other statements. This increases the chances that it will be proved, and greatly increases the chances that the proof of one statement will lead to proofs of others as well. Even a counterexample to a good conjecture can be extraordinarily revealing: if the conjecture is related to many other statements, then the effects of the counterexample will permeate the whole area.
猜想比瞎猜具備更豐富的內(nèi)涵：要被接受為重要的猜想，它需要接受多種多樣的測試妆兑。例如魂拦，它是否存在已知為真的推論？有沒有可以被證明的特例搁嗓？如果它成立芯勘，是否可以幫助解決其他問題？它是否為數(shù)值上的證據(jù)所支持腺逛？它是否作出大膽而精確的預(yù)言荷愕，其如果非真，很容易被證偽？
需要非常強的洞察力與大量的工作才能提出一個能夠通過如上測試的猜想安疗，不過如果成功了抛杨，得到的就不僅僅是一個孤立的命題，卻是一個與其他命題有著無數(shù)聯(lián)系的命題荐类。這增加了它被證明的可能性怖现，也極大地增加了一個命題的證明會引出其他命題的證明的可能性。即使一個好的猜想的反例也能揭示許多東西：如果該猜想與許多其他的命題相關(guān)玉罐，該反例的影響會滲透到整個領(lǐng)域屈嗤。
The more precise the predictions that follow from a conjecture, the more impressive it is when they are confirmed by later numerical evidence. Of course, this is true not just of mathematics but of science more generally.
一個猜想的預(yù)言越精確，當(dāng)它后來被數(shù)值證據(jù)證明時吊输，它就更令人印象深刻饶号。當(dāng)然這不僅僅對于數(shù)學(xué)成立，對于更一般的科學(xué)也是如此季蚂。
Although almost nothing has been rigorously proved, physicists have a collection of nonrigorous methods that, if used carefully, seem to give correct results. With their methods, they have in some areas managed to establish statements that go well beyond what mathematicians can prove. Such results are fascinating to mathematicians, partly because if one regards the results of physicists as mathematical conjectures then many of them are excellent conjectures, by the standards explained earlier: they are deep, completely unguessable in advance, widely believed to be true, backed up by numerical evidence, and so on. Another reason for their fascination is that the effort to provide them with a rigorous underpinning often leads to significant advances in pure mathematics.
物理學(xué)家有一系列不嚴(yán)格的方法茫船，雖然幾乎都沒有被嚴(yán)格證明過，但如果小心使用癣蟋，似乎能給出正確的結(jié)果透硝。采用他們的方法，能夠在一些領(lǐng)域建立一些命題疯搅，而這些命題遠非數(shù)學(xué)家們所能夠證明濒生。這些結(jié)論對于數(shù)學(xué)家是非常有吸引力的，一部分是因為如果把這些物理學(xué)家的結(jié)果當(dāng)作數(shù)學(xué)猜想幔欧，按照之前解釋過的標(biāo)準(zhǔn)罪治，它們中的許多都是優(yōu)秀的猜想：它們是深刻的，不可能事先猜測出來礁蔗，被廣泛認為是真實的觉义，具備數(shù)值證據(jù)的支持，等等浴井。其吸引力的另外一個理由是晒骇，用嚴(yán)格的基礎(chǔ)證明它們，往往帶來純數(shù)學(xué)的重大進展磺浙。
One might wonder whether rigor is important: if the results established by nonrigorous arguments are clearly true, then is that not good enough? As it happens, there are examples of statements that were “established” by nonrigorous methods and later shown to be false, but the most important reason for caring about rigor is that the understanding one gains from a rigorous proof is frequently deeper than the understanding provided by a nonrigorous one. The best way to describe the situation is perhaps to say that the two styles of argument have profoundly benefited each other and will undoubtedly continue to do so.
人們可能懷疑嚴(yán)格性是否還重要：如果非嚴(yán)格的論證建立的結(jié)論明確是真的洪囤，這還不夠好嗎？有例子表明撕氧，確實有不嚴(yán)格的方法“建立”起來的命題后來被證明是非真的瘤缩，但在乎嚴(yán)格性的更重要的理由是人們從一份嚴(yán)格的證明中獲得的理解往往遠比一份不嚴(yán)格的證明中獲得的理解要深刻得多。對這種局面最好的描述是伦泥，這兩種論證的風(fēng)格都深深受益于彼此剥啤，而以后無疑還會繼續(xù)如此锦溪。
9 Finding Explicit Proofs and Algorithms （尋求顯式的證明和算法）
A fundamental dichotomy in mathematics: If you are proving that a mathematical object exists, then sometimes you can do so explicitly, by actually describing that object, and sometimes you can do so only indirectly, by showing that its nonexistence would lead to a contradiction.
數(shù)學(xué)中基礎(chǔ)的兩分法：如果你在證明一個數(shù)學(xué)對象存在，那么有時你可以通過實際描述這個對象來顯式地證明府怯，而有時你只能通過證明其不存在會帶來矛盾來間接證明其存在性刻诊。
Just as, all else being equal, a rigorous argument is preferable to a nonrigorous one, so an explicit or algorithmic argument is worth looking for even if an indirect one is already established, and for similar reasons: the effort to find an explicit argument very often leads to new mathematical insights. (Less obviously, as we shall soon see, finding indirect arguments can also lead to new insights.)
就像，一切其他條件相同時富腊，一個嚴(yán)格的論證優(yōu)于一個不嚴(yán)格的論證坏逢，一個顯式的或有算法的論證是值得尋找的，即使一個間接的論證已經(jīng)建立赘被∈钦基于相似的理由：尋找一個顯式論證的努力常常帶來全新的數(shù)學(xué)洞察。（不那么顯然地民假，正如我們很快會看到的浮入，尋找間接論證也能帶來新的洞察。）
10 What Do You Find in a Mathematical Paper? （在數(shù)學(xué)論文中可以找到什么羊异？）
A typical paper is usually a mixture of formal and informal writing. Ideally (but by no means always), the author writes a readable introduction that tells the reader what to expect from the rest of the paper. And if the paper is divided into sections, as most papers are unless they are quite short, then it is also very helpful to the reader if each section can begin with an informal outline of the arguments to follow. But the main substance of the paper has to be more formal and detailed, so that readers who are prepared to make a sufficient effort can convince themselves that it is correct.
一篇典型的數(shù)學(xué)論文通常是形式的和非形式的寫作風(fēng)格的混合物事秀。理想情況下（但并非總是如此），作者會寫一段可讀的介紹來告訴讀者能從論文中的其他部分讀到什么野舶。而且如果論文被分成幾個部分（大部分論文都如此易迹，除非它們非常短），如果每一部分都以一段后繼論證的非形式的大綱開始平道，對讀者會有很大幫助睹欲。但論文的主要實質(zhì)部分應(yīng)該是比較形式、比較詳細的一屋，使得做好付出充分努力準(zhǔn)備的讀者窘疮，可以說服他們自己該論文是正確的。
The most important of these statements are usually called theorems, but one also finds statements called propositions, lemmas, and corollaries. One cannot always draw sharp distinctions between these kinds of statements, but in broad terms, this is what the different words mean. A theorem is a statement that you regard as intrinsically interesting, a statement that you might think of isolating from the paper and telling other mathematicians about in a seminar, for instance. The statements that are the main goals of a paper are usually called theorems. A proposition is a bit like a theorem, but it tends to be slightly “boring.” It may seem odd to want to prove boring results, but they can be important and useful. What makes them boring is that they do not surprise us in any way. They are statements that we need, that we expect to be true, and that we do not have much difficulty proving.
數(shù)學(xué)命題中最重要的通常被稱之為定理冀墨，不過論文中還有一些被稱之為命題闸衫、引理、推論（又稱系）诽嘉。這些類型的命題很難做清楚的區(qū)分蔚出，但它們的字面意思大概說明了這種區(qū)分。一個定理虫腋，是一個本質(zhì)上有趣的命題身冬，比如它可以從論文中單獨抽出來在研討會上告訴其他數(shù)學(xué)家。一個命題有點像一個定理岔乔，但它們傾向于有點乏味。似乎證明乏味的結(jié)論很奇怪滚躯，但它們可能很重要而且有用雏门。使得它們乏味的只是它們并不在任何角度上帶來驚喜嘿歌。它們是我們需要的命題，我們期待它們?yōu)檎孀掠埃宜鼈冏C明起來并不難宙帝。
Often, if you are trying to prove a theorem, the proof becomes long and complicated, in which case if you want anybody to read it you need to make the structure of the argument as clear as possible. One of the best ways of doing this is to identify subgoals, which take the form of statements intermediate between your initial assumptions and the conclusion you wish to draw from them. These statements are usually called lemmas.
通常，如果你想要證明一個定理募闲，證明會變得很長和很復(fù)雜步脓，這種情況下，如果你想讓任何人來閱讀它浩螺，你需要使得論證的結(jié)構(gòu)越清晰越好靴患。其中最好的辦法就是識別出子目標(biāo)，其形式就是位于最初前提與你想要證明的最終結(jié)論中間的中介命題要出。這些命題通常被稱為引理鸳君。
A corollary of a mathematical statement is another statement that follows easily from it. Sometimes the main theorem of a paper is followed by several corollaries, which advertise the strength of the theorem. Sometimes the main theorem itself is labeled a corollary, because all the work of the proof goes into proving a different, less punchy statement from which the theorem follows very easily. If this happens, the author may wish to make clear that the corollary is the main result of the paper, and other authors would refer to it as a theorem.
一個數(shù)學(xué)命題的推論是另外一個很容易從其推出的命題。有時一篇論文的主定理后面會跟著一系列的推論患蹂，它們會展現(xiàn)出定理的威力或颊。有時主定理本身被標(biāo)為一個推論，因為所有證明的工作都是為了證明一個不同的传于、不那么簡練有力的命題囱挑，而主定理能從中很容易地推導(dǎo)出來。如果這種情況發(fā)生沼溜，作者可能希望說明這個推論是論文的主要結(jié)果平挑，而其他作者會將其當(dāng)作定理來引用。
A purely formal proof would be very long and almost impossible to read. And yet, the fact that arguments can in principle be formalized provides a very valuable underpinning for the edifice of mathematics, because it gives a way of resolving disputes. If a mathematician produces an argument that is strangely unconvincing, then the best way to see whether it is correct is to ask him or her to explain it more formally and in greater detail. This will usually either expose a mistake or make it clearer why the argument works.
一份純粹形式的證明會非常的長盛末，而且?guī)缀鯖]法閱讀弹惦。然而，論證原則上可以被形式化悄但，為數(shù)學(xué)大廈提供了非常有價值的基礎(chǔ)棠隐，因為它提供了一種解決爭端的途徑。如果一個數(shù)學(xué)家給出了一份奇怪的沒有說服力的論證檐嚣，那檢驗它是否正確的最佳辦法就是要求他或她采用更為形式化助泽、具備更豐富細節(jié)的方式解釋該論證。這通常能揭示出一個錯誤或者使得該論證為什么有效變得更清晰嚎京。
Some mathematicians will tell you that the main aim of their research is to find the right definition, after which their whole area will be illuminated. Yes, they will have to write proofs, but if the definition is the one they are looking for, then these proofs will be fairly straightforward.
有的數(shù)學(xué)家會告訴你嗡贺，他們研究的主要目標(biāo)是找到正確的定義，有了這些定義鞍帝，他們的整個領(lǐng)域都被照亮了诫睬。是的，他們必須要寫證明帕涌，但如果定義正是他們所尋找的那個摄凡，這些證明會是相當(dāng)直接了當(dāng)?shù)摹?/p>
The main aim of an article in mathematics is usually to prove theorems, but one of the reasons for reading an article is to advance one’s own research. It is therefore very welcome if a theorem is proved by a technique that can be used in other contexts. It is also very welcome if an article contains some good unsolved problems.
一篇數(shù)學(xué)文章的主要目的常常是證明定理续徽，但閱讀一篇文章的其中一個理由是推進自己的研究。因此亲澡，如果一個定理是被一種可以應(yīng)用在其他場景的技巧所證明的钦扭，這篇文章會非常受歡迎。如果一篇文章包含一些好的尚未解決的問題床绪，它也會很受歡迎客情。
Perhaps the most important feature of a good problem is generality: the solution to a good problem should usually have ramifications beyond the problem itself. A more accurate word for this desirable quality is “generalizability,” since some excellent problems may look rather specific.
一個好問題的最重要的特性，可能是其一般性：一個好問題的解癞己，通常應(yīng)該具備超越其自身的衍生影響膀斋。對于這個理想性質(zhì)的一個更為精確的詞是“可泛化性，因為某些優(yōu)秀的問題可能看上去非常具體末秃。
It is quite common for a good problem to look uninteresting until you start to think about it. Then you realize that it has been asked for a reason: it might be the “first difficult case” of a more general problem, or it might be just one well-chosen example of a cluster of problems, all of which appear to run up against the same difficulty.
很常見的一種情況是：在開始真正思考它之前概页，一個好問題看上去挺無趣的。然后你會意識到問出這樣的問題背后的原因： 它可能是一個更一般問題的首個困難特例练慕，或者它可能是一簇問題的精心挑選的特例惰匙，它們?nèi)紩龅酵瑯拥睦щy。
Sometimes a problem is just a question, but frequently the person who asks a mathematical question has a good idea of what the answer is.
有時一個問題只是一個提問铃将，但通常提出一個數(shù)學(xué)問題的人项鬼，對于答案應(yīng)該是怎么樣的，也已經(jīng)有了很好的概念劲阎。
