《Hilbert23个数学问题.docx》由会员分享,可在线阅读,更多相关《Hilbert23个数学问题.docx(46页珍藏版)》请在三一文库上搜索。
1、Mathematical ProblemsLecture delivered before the International Congress of Mathematicians at Paris in 1900By Professor David Hilbert1Who of us would not be glad to lift the veil behind which the future lies hidden; to cast a glance at the next advances of our science and at the secrets of its devel
2、opment during future centuries? What particular goals will there be toward which the leading mathematical spirits of coming generations will strive? What new methods and new facts in the wide and rich field of mathematical thought will the new centuries disclose? History teaches the continuity of th
3、e development of science. We know that every age has its own problems, which the following age either solves or casts aside as profitless and replaces by new ones. If we would obtain an idea of the probable development of mathematical knowledge in the immediate future, we must let the unsettled ques
4、tions pass before our minds and look over the problems which the science of today sets and whose solution we expect from the future. To such a review of problems the present day, lying at the meeting of the centuries, seems to me well adapted. For the close of a great epoch not only invites us to lo
5、ok back into the past but also directs our thoughts to the unknown future. The deep significance of certain problems for the advance of mathematical science in general and the important role which they play in the work of the individual investigator are not to be denied. As long as a branch of scien
6、ce offers an abundance of problems, so long is it alive; a lack of problems foreshadows extinction or the cessation of independent development. Just as every human undertaking pursues certain objects, so also mathematical research requires its problems. It is by the solution of problems that the inv
7、estigator tests the temper of his steel; he finds new methods and new outlooks, and gains a wider and freer horizon. It is difficult and often impossible to judge the value of a problem correctly in advance; for the final award depends upon the gain which science obtains from the problem. Neverthele
8、ss we can ask whether there are general criteria which mark a good mathematical problem. An old French mathematician said: A mathematical theory is not to be considered complete until you have made it so clear that you can explain it to the first man whom you meet on the street. This clearness and e
9、ase of comprehension, here insisted on for a mathematical theory, I should still more demand for a mathematical problem if it is to be perfect; for what is clear and easily comprehended attracts, the complicated repels us. Moreover a mathematical problem should be difficult in order to entice us, ye
10、t not completely inaccessible, lest it mock at our efforts. It should be to us a guide post on the mazy paths to hidden truths, and ultimately a reminder of our pleasure in the successful solution. The mathematicians of past centuries were accustomed to devote themselves to the solution of difficult
11、 particular problems with passionate zeal. They knew the value of difficult problems. I remind you only of the problem of the line of quickest descent, proposed by John Bernoulli. Experience teaches, explains Bernoulli in the public announcement of this problem, that lofty minds are led to strive fo
12、r the advance of science by nothing more than by laying before them difficult and at the same time useful problems, and he therefore hopes to earn the thanks of the mathematical world by following the example of men like Mersenne, Pascal, Fermat, Viviani and others and laying before the distinguishe
13、d analysts of his time a problem by which, as a touchstone, they may test the value of their methods and measure their strength. The calculus of variations owes its origin to this problem of Bernoulli and to similar problems. Fermat had asserted, as is well known, that the diophantine equationxn + y
14、n = zn(x, y and z integers) is unsolvableexcept in certain self evident cases. The attempt to prove this impossibility offers a striking example of the inspiring effect which such a very special and apparently unimportant problem may have upon science. For Kummer, incited by Fermats problem, was led
15、 to the introduction of ideal numbers and to the discovery of the law of the unique decomposition of the numbers of a circular field into ideal prime factorsa law which today, in its generalization to any algebraic field by Dedekind and Kronecker, stands at the center of the modern theory of numbers
16、 and whose significance extends far beyond the boundaries of number theory into the realm of algebra and the theory of functions. To speak of a very different region of research, I remind you of the problem of three bodies. The fruitful methods and the far-reaching principles which Poincar has broug
17、ht into celestial mechanics and which are today recognized and applied in practical astronomy are due to the circumstance that he undertook to treat anew that difficult problem and to approach nearer a solution. The two last mentioned problemsthat of Fermat and the problem of the three bodiesseem to
18、 us almost like opposite polesthe former a free invention of pure reason, belonging to the region of abstract number theory, the latter forced upon us by astronomy and necessary to an understanding of the simplest fundamental phenomena of nature. But it often happens also that the same special probl
19、em finds application in the most unlike branches of mathematical knowledge. So, for example, the problem of the shortest line plays a chief and historically important part in the foundations of geometry, in the theory of curved lines and surfaces, in mechanics and in the calculus of variations. And
20、how convincingly has F. Klein, in his work on the icosahedron, pictured the significance which attaches to the problem of the regular polyhedra in elementary geometry, in group theory, in the theory of equations and in that of linear differential equations. In order to throw light on the importance
21、of certain problems, I may also refer to Weierstrass, who spoke of it as his happy fortune that he found at the outset of his scientific career a problem so important as Jacobis problem of inversion on which to work. Having now recalled to mind the general importance of problems in mathematics, let
22、us turn to the question from what sources this science derives its problems. Surely the first and oldest problems in every branch of mathematics spring from experience and are suggested by the world of external phenomena. Even the rules of calculation with integers must have been discovered in this
23、fashion in a lower stage of human civilization, just as the child of today learns the application of these laws by empirical methods. The same is true of the first problems of geometry, the problems bequeathed us by antiquity, such as the duplication of the cube, the squaring of the circle; also the
24、 oldest problems in the theory of the solution of numerical equations, in the theory of curves and the differential and integral calculus, in the calculus of variations, the theory of Fourier series and the theory of potentialto say nothing of the further abundance of problems properly belonging to
25、mechanics, astronomy and physics. But, in the further development of a branch of mathematics, the human mind, encouraged by the success of its solutions, becomes conscious of its independence. It evolves from itself alone, often without appreciable influence from without, by means of logical combina
26、tion, generalization, specialization, by separating and collecting ideas in fortunate ways, new and fruitful problems, and appears then itself as the real questioner. Thus arose the problem of prime numbers and the other problems of number theory, Galoiss theory of equations, the theory of algebraic
27、 invariants, the theory of abelian and automorphic functions; indeed almost all the nicer questions of modern arithmetic and function theory arise in this way. In the meantime, while the creative power of pure reason is at work, the outer world again comes into play, forces upon us new questions fro
28、m actual experience, opens up new branches of mathematics, and while we seek to conquer these new fields of knowledge for the realm of pure thought, we often find the answers to old unsolved problems and thus at the same time advance most successfully the old theories. And it seems to me that the nu
29、merous and surprising analogies and that apparently prearranged harmony which the mathematician so often perceives in the questions, methods and ideas of the various branches of his science, have their origin in this ever-recurring interplay between thought and experience. It remains to discuss brie
30、fly what general requirements may be justly laid down for the solution of a mathematical problem. I should say first of all, this: that it shall be possible to establish the correctness of the solution by means of a finite number of steps based upon a finite number of hypotheses which are implied in
31、 the statement of the problem and which must always be exactly formulated. This requirement of logical deduction by means of a finite number of processes is simply the requirement of rigor in reasoning. Indeed the requirement of rigor, which has become proverbial in mathematics, corresponds to a uni
32、versal philosophical necessity of our understanding; and, on the other hand, only by satisfying this requirement do the thought content and the suggestiveness of the problem attain their full effect. A new problem, especially when it comes from the world of outer experience, is like a young twig, wh
33、ich thrives and bears fruit only when it is grafted carefully and in accordance with strict horticultural rules upon the old stem, the established achievements of our mathematical science. Besides it is an error to believe that rigor in the proof is the enemy of simplicity. On the contrary we find i
34、t confirmed by numerous examples that the rigorous method is at the same time the simpler and the more easily comprehended. The very effort for rigor forces us to find out simpler methods of proof. It also frequently leads the way to methods which are more capable of development than the old methods
35、 of less rigor. Thus the theory of algebraic curves experienced a considerable simplification and attained greater unity by means of the more rigorous function-theoretical methods and the consistent introduction of transcendental devices. Further, the proof that the power series permits the applicat
36、ion of the four elementary arithmetical operations as well as the term by term differentiation and integration, and the recognition of the utility of the power series depending upon this proof contributed materially to the simplification of all analysis, particularly of the theory of elimination and
37、 the theory of differential equations, and also of the existence proofs demanded in those theories. But the most striking example for my statement is the calculus of variations. The treatment of the first and second variations of definite integrals required in part extremely complicated calculations
38、, and the processes applied by the old mathematicians had not the needful rigor. Weierstrass showed us the way to a new and sure foundation of the calculus of variations. By the examples of the simple and double integral I will show briefly, at the close of my lecture, how this way leads at once to
39、a surprising simplification of the calculus of variations. For in the demonstration of the necessary and sufficient criteria for the occurrence of a maximum and minimum, the calculation of the second variation and in part, indeed, the wearisome reasoning connected with the first variation may be com
40、pletely dispensed withto say nothing of the advance which is involved in the removal of the restriction to variations for which the differential coefficients of the function vary but slightly. While insisting on rigor in the proof as a requirement for a perfect solution of a problem, I should like,
41、on the other hand, to oppose the opinion that only the concepts of analysis, or even those of arithmetic alone, are susceptible of a fully rigorous treatment. This opinion, occasionally advocated by eminent men, I consider entirely erroneous. Such a one-sided interpretation of the requirement of rig
42、or would soon lead to the ignoring of all concepts arising from geometry, mechanics and physics, to a stoppage of the flow of new material from the outside world, and finally, indeed, as a last consequence, to the rejection of the ideas of the continuum and of the irrational number. But what an impo
43、rtant nerve, vital to mathematical science, would be cut by the extirpation of geometry and mathematical physics! On the contrary I think that wherever, from the side of the theory of knowledge or in geometry, or from the theories of natural or physical science, mathematical ideas come up, the probl
44、em arises for mathematical science to investigate the principles underlying these ideas and so to establish them upon a simple and complete system of axioms, that the exactness of the new ideas and their applicability to deduction shall be in no respect inferior to those of the old arithmetical conc
45、epts. To new concepts correspond, necessarily, new signs. These we choose in such a way that they remind us of the phenomena which were the occasion for the formation of the new concepts. So the geometrical figures are signs or mnemonic symbols of space intuition and are used as such by all mathemat
46、icians. Who does not always use along with the double inequality a b c the picture of three points following one another on a straight line as the geometrical picture of the idea between? Who does not make use of drawings of segments and rectangles enclosed in one another, when it is required to pro
47、ve with perfect rigor a difficult theorem on the continuity of functions or the existence of points of condensation? Who could dispense with the figure of the triangle, the circle with its center, or with the cross of three perpendicular axes? Or who would give up the representation of the vector fi
48、eld, or the picture of a family of curves or surfaces with its envelope which plays so important a part in differential geometry, in the theory of differential equations, in the foundation of the calculus of variations and in other purely mathematical sciences? The arithmetical symbols are written d
49、iagrams and the geometrical figures are graphic formulas; and no mathematician could spare these graphic formulas, any more than in calculation the insertion and removal of parentheses or the use of other analytical signs. The use of geometrical signs as a means of strict proof presupposes the exact knowledge and complete mastery of the axioms which underlie those figures; and in order that these geometrical figures may be incorporated in the general treasure of mathematical signs, there is necessary a rigorous axiomatic inve