الرئيسية
Scientific American Mathematics in the Modern World
Mathematics in the Modern World
Courant, Richardكم أعجبك هذا الكتاب؟
ما هي جودة الملف الذي تم تنزيله؟
قم بتنزيل الكتاب لتقييم الجودة
ما هي جودة الملفات التي تم تنزيلها؟
المجلد:
211
عام:
1964
اللغة:
english
الصفحات:
10
DOI:
10.1038/scientificamerican096440
ملف:
PDF, 702 KB
الشعارات الخاصة بك:
أبلغ عن مشكلة
This book has a different problem? Report it to us
إختار نعم إذا كان
إختار نعم إذا كان
إختار نعم إذا كان
إختار نعم إذا كان
نجحت في فتح الملف
يحتوي الملف على كتاب (يُسمح أيضًا بالرسوم الهزلية)
محتوى الكتاب مقبول
يتوافق الإسم و المؤلف و لغة الملف مع وصف الكتاب. تجاهل الخانات الأخرى لأنها ثانوية!
إختار لا إذا كان
إختار لا إذا كان
إختار لا إذا كان
إختار لا إذا كان
 الملف تالف
 الملف محمي بواسطة الوسائل التقنية لحماية حق المؤلف DRM.
 الملف ليس كتاب (علي سبيل المثال، xls, html, xml)
 الملف عبارة عن مقال
 الملف مقتطف من كتاب
 الملف عبارة عن مجلة
 الملف نموذج إختبار
 الملف سبام
هل تعتقد أن محتوى الكتاب غير مناسب ويجب حظره
لا يتطابق الإسم أو المؤلف أو لغة الملف مع وصف الكتاب. تجاهل الخانات الأخرى.
Are you sure you want to report this book? Please specify the reason below
Change your answer
Thanks for your participation!
Together we will make our library even better
Together we will make our library even better
سيتم إرسال الملف إلى عنوان بريدك الإلكتروني. قد يستغرق الأمر ما يصل إلى 15 دقائق قبل استلامه.
سيتم إرسال الملف إلى حساب كندل Kindle الخاص بك. قد يستغرق الأمر ما يصل إلى 15 دقائق قبل استلامه.
ملاحظة: أنت بحاجة للتحقق من كل كتاب ترسله إلى Kindle. تحقق من صندوق بريدك الإلكتروني بحثًا عن رسالة تأكيد بالبريد الإلكتروني من Amazon Kindle Support.
ملاحظة: أنت بحاجة للتحقق من كل كتاب ترسله إلى Kindle. تحقق من صندوق بريدك الإلكتروني بحثًا عن رسالة تأكيد بالبريد الإلكتروني من Amazon Kindle Support.
جاري التحويل إلى
التحويل إلى باء بالفشل
0 comments
يمكنك ترك تقييم حول الكتاب ومشاركة تجربتك. سيهتم القراء الآخرون بمعرفة رأيك في الكتب التي قرأتها. سواء كنت قد أحببت الكتاب أم لا ، فإنك إذا أخبرتهم بأفكارك الصادقة والمفصلة ، فسيجد الناس كتبا جديدة مناسبة لهم ولإهتماماتهم.
1


2


© 1964 SCIENTIFIC AMERICAN, INC Established 1845 SCIENTIFIC .AMERICAN September 1964 Volume 211 Number 3 MatheIllatics in the Modern World Presenting an lssue on mathelnatics In both its pure and applied aspects. Although the two are sOlneti,nes separated, a line cannot be drawn between them, and they' traditionally fruct�fy each other by Hichard Courant he expanding role of mathematics in the modern world is vividly reflected in the proliferation of mathematicians. Since 1900 member ships in the several professional mathe matical organizations in the U.S. have multiplied by an estimated 30 times. To day the number qualified by the doctor ate stands at 4,800. During the past 25 years the number of mathematicians at work outside the universities in industry and Government has increased twelve fold. Activities of a more or less mathe matical character now employ tens of thousands of workers at all levels of competence. In the colleges three times as many undergraduates were majoring in mathematics in 1962 as in 1956. Mathematics is no longer the preoccupa tion of an academic elite; it is a broad profession attracting talented men and women in increasing numbers. The scope of mathematical research and teaching has been greatly extended in the present period, and mathematical techniques have penetrated deep into T fields outside the mathematical sciences such as physics, into new realms of tech nology, into the biological sciences and even into economics and the other so cial sciences. Computing machines and computing techniques have stimulated areas of research with obviously enor mous and as yet only partly understood importance for mathematics itself and for all the sciences with inherent mathe matical elements. The contemporary role of mathemat ics is best appraised, however, by com parison with previous stages in its development. As recently as three cen turies ago the main fabric of mathemati cal thought was supplied by geometry, inherited from the ancients and only meagerly augm; ented during the inter vening 20 centuries. Then began a radical and rapid transformation of mathematics. The rigorous, axiomatic, deductive style of geometry yielded to inductive, intuitive insights, and purely geometric notions gave way to concepts of number and algebraic operations em SECTION OF ANCIENT EGYPTIAN PAPYRUS on the opposite page reflects one of the earliest applications of mathematics: the measurement of land. Called the Rhind Papyrus after its modern discoverer, A. Henry Rhind, the entire work is a handbook of practical problems compiled about 1550 B.C. by a scribe named A'hmose. The horizontal lines sepa rate five of the problems, which read from right to left. At the top is a section of "an ex ample of reckoning area" of "a rectangle of land khet 10 by khet 2." Second from the top is a calculation of the area of a "round field" with a perimeter of khet 9_ Other examples shown in the section calculate the area of triangular and trapezoidal fields. The title page of the papyrus describes it as a guide to "accurate reckoning of entering into things, knowl edge of existing things all." The main portion of the papyrus is now in the British Museum. bodied in analytic geometry, the cal culus and mechanics. It was the small intellectual aristocracy of the new math ematics that now spearheaded the for ward thrust of science. By the time of the French Revolution the accumulated wealth of results and the demonstrated power of the mathematical sciences brought a widening of the narrow hu man basis of scientific activity, with the writing of textbooks to make the new mathematics more widely accessible, the systematic training of scientists and mathematicians in the universities and the opening up of new careers in the expansion of human knowledge. he "classical" mathematics that had beginnings in the 17th century retains its power and central position today. Some of the most fruitful work has come from the clarification and gen eralization of the two basic concepts of the calculus: that of function, which is concerned with the interdependence of two or more variables, and that of limit, which brings the intuitive notion of con tinuity within rigorous scrutiny. The concepts of mathematical analysis, in cluding the theory of differential equa tions for one or more variables, which is an essential tool for dealing with rates of change, pervade the vastly extended territory of modern mathematics. That territory is surveyed in the next three articles in this issue of Scientific American from three points of van tagenumber, geometry and algebra T its 41 © 1964 SCIENTIFIC AMERICAN, INC that offer perspectives familiar to the nonmathematician. As will be seen, ge ometry has had a most fruitful growth, liberated by the concepts of function and of the number continuum; its young est offspring, topology and differential geometry, rank among the most active and "modern" branches of mathematics. The special field of probability deserves a chapter in itself because it has found such wide application in science and technology and because it gives mathe matical expression to some of the deep unsolved problems in the philosophy of science. Mathematics today also reflects a vigorous trend, started early in the 19th century, toward solidification of the new conquests in the spirit of the mathe matical rigor practiced by the ancients. This effort has inspired intense work on the foundations of mathematics, di rected at clarifying the structure of mathematics and the meaning of "ex istence" for the objects of mathematical thought. Inevitably the expansion of mathe matics has enhanced immanent tenden cies toward specialization and isolation; Ar..,B D C I I I I I I I I L ____ ...J :0: A B DD C A DO'C P mathematics is threatened with a loss of unity and cohesion. Mutual under standing among representatives of dif ferent fields of mathematics has become difficult, and contact of mathematics with other sciences has been weakened. Yet remarkable advances continue to be won, mostly by young talent amply sup ported by a society that recognizes the increasing importance of mathematics. At the same time the growing volume of mathematical activity has led to a be wildering avalanche of publications, a multiplicity of meetings, administrative tangles and pressures of commercialism. It becomes the urgent duty of mathe maticians, therefore, to meditate about the essence of mathematics, its motiva tions and goals and the ideas that must bind divergent interests together. For this purpose they can find no better oc casion than the opportunity to explain their work to a wider public. he question "What is mathematics?" T cannot be answered meaningfully by philosophical generalities, semantic defi nitions or journalistic circumlocutions. Such characterizations also fail to do justice to music or painting. No one can form an appreciation of these arts without some experience with rhythm, harmony and structure, or with form, color and composition. For the appre ciation of mathematics actual contact with its substance is even more nec essary. \\lith this caution, some remarks of a general nature can nevertheless be made. As is so often said, mathematics aims at progressive abstraction, logical ly rigorous axiomatic deduction and ever wider generalization. Such a char acterization states the truth but not the whole truth; it is onesided, almost a caricature of the live reality. Mathe matics, in the first place, has no monop oly on abstraction. The concepts of mass, velocity, force, voltage and cur rent are all abstract idealizations of physical reality. Mathematical concepts such as point, space, number and func tion are only somewhat more strikingly abstract. The model of rigorous axiomatic de duction for so long impressed on mathe matics by Euclid's Elements constitutes the remarkably attractive form in which TRANSLATION > ROTATION > REFLECTION > DILATION > A B DO A C D O ' C A B COD A B DDc B > PROJECTION TYPES OF GEOMETRY were classified by Felix Klein according transformations, and projection by parallel rays to a plane that to tbe invariant properties of figures when they undergo various can be tilted. In this instance the ratio of collinear points is con· groups of transformations. Euclidean geometry is represented at stant. (If P is a point on the line AB, then the ratio of AP to PB top left as the study of properties such as "angle" that are retained does not change when the figure is transformed.) At top right is when the square ABeD is translated, rotated, reflected or dilated. a representation of projective geometry, which permits point Affine geometry, represented at bottom left, permits all these source projection to a randomly tilted screen. An invariant prop 42 © 1964 SCIENTIFIC AMERICAN, INC the end product of mathematical thought can often be crystallized. It signifies ultimate success in penetrating and ordering mathematical substance and laying bare its skeletal structure. But emphasis on this aspect of mathe matics is totally misleading if it sug gests that construction, imaginative induction and combination and the elu sive mental process called intuition play a second my role in productive mathe matical activity or genuine understand ing. In mathematical education, it is true, the deductive method starting from seemingly dogmatic axioms pro vides a shortcut for covering a large ter ritory. But the constructive Socratic method that proceeds from the particu lar to the general and eschews dogmatic compulsion leads the way more surely to independent productive thinking. Just as deduction should be supple mented by intuition, so the impulse to progressive generalization must be tempered and balanced by respect and love for colorful detail. The individual problem should not be degraded to the rank of special illustration of lofty gen eral theories. In fact, general theories hese principles are dramatically and illustrated in the evo lution of the mathematical sciences. Johannes Kepler, with the genius of the T convincingly true diagnostician, abstracted from the wealth of Tycho Brahe's observations the elliptical shape of the planetalY or bits. Isaac Newton, by further abstrac tion, derived from these models the universal law of gravitation and the differential equations of mechanics. On this elevated level of unencumbered mathematical abstraction mechanics gained an enormous mobility. On de scent to concrete and specific earth bound problems it has won success after success in enormous regions outside its original province of celestial dynamics. Similarly, in electromagnetism �'li chael Faraday established a body of ex perimental findings linked by his own ingenious interpretations. From these some mathematical qualitative laws of electromagnetism were soon abstracted. Then, behind the formulations for spe cific, simple configurations, the genius of James Clerk Maxwell divined a very general quantitative law that combines in a system of differential equations the magnetic and electric forces and their rates of change. These equations, ab stracted and cut loose from specific, tangible cases, may at first have seemed  z= • emerge from consideration of the spe cific, and they are meaningless if they do not serve to clarify and order the more particularized substance below. The interplay between generality and individuality, deduction and construc tion, logic and imaginationthis is the profound essence of live mathematics. Any one or another of these aspects of mathematics can be at the center of a given achievement. In a farreaching development all of them will be in volved. Generally speaking, such a de velopment will start from the "con crete" ground, then discard ballast by abstraction and rise to the lofty layers of thin air where navigation and obser vation are easy; after this flight comes the crucial test of landing and reaching specific goals in the newly surveyed low plains of individual "reality." In brief, the flight into abstract generality must start from and return again to the con crete and specific.   PROJECTION FROM POINT SOURCE A . A , B ____ > D ''C 2 3 C CONTINUOUS DEFORMATION D 4 o > SCATTERING 00 o 4 3 o erty of figures projected this way is the cross ratio of collinear C and D remains after the deformation. In point·set theory, the points. (If P and Q are points on the line AB, the ratio of AP /PQ: type of geometry shown at bottom right, the order of points is not AD/PD is unchanged by the transformation.) Topology, a fourth retained during the kind of transformation called "scattering." The do type of geometry that is represented at middle right, studies prop scattered points erties preserved during the bending, stretching and twisting opera inal figure. Thus pointset theory can be described as the study of remain conumerous with the points in the orig tions called continuous deformation. The order of four points A, B, the properties preserved under all onetoone correspondences. 43 © 1964 SCIENTIFIC AMERICAN, INC 25xJ2 + 22x;'2 + 16x32 + 20x;x;'  4X;X3  16x;'x3  36 Xl = X3 = Xl + 1 X3 + 2 ALGEBRA AND GEOMETRY of bringing a quadratic surface into at its OrIgm (0, 0, 0). The algebra of this translation calls for normal form is sbown for the case of an ellipsoid with center at the substitutions yielding the equation above tbe middle diagram. point 0, 1, 2) of the coordinate system in which it is considered. new position (colored axes at left) The principal axes of the ellipsoid can be made coincident with a the translated coordinate system by rotation of its axes to the so the center of the ellipse is position given by the colored lines in the middle diagram. Further By parallel translation the coordinate system can be moved to too esoteric for application. It soon be came clear, however, that Maxwell's ascent to abstraction had opened the way to further progress in a number of directions. The Maxwell equations il luminated the wave nature of electro magnetic phenomena, inspired the ex periments of Heinrich Hertz on the propagation of radio waves, started the growth of an entire new technology and led investigators to new lines of research, including, for example, the now very active field of magnetohydro dynamics. It cannot be said that Maxwell's equations were the product of sys tematic deductive thinking. Neither should his achievement be ascribed to purely inductive Socratic processes. In stead Maxwell must be counted among those rare minds that recognize similar ities and parallels between seemingly remote, disconnected facts and arrive at a major new insight by combining pat ently diverse elements into a unified system. In mathematics proper a correspond ing arc of developmentfrom concrete individual substance through abstrac tion and back again to the concrete and individualendows a theory with its meaning and significance. To appreciate this basic fact one must bear in mind that the terms "concrete," "abstract," "individual" and "general" have no stable or absolute meaning in mathe matics. They refer primarily to a frame of mind, to a state of knowledge and to the character of mathematical sub stance. What is already absorbed as familiar, for example, is readily taken to be concrete. The words "abstraction" and "generalization" describe not static situations or end results but dynamic processes directed from some concrete stratum to some "higher" one. ruitful new discoveries in mathematsometimes come suddenly with relatively little apparent effort: the view is cleared by abstracting from concrete material and laying bare the structurally essential elements. Axiomatics, irrespec tive of its Euclidean form, means just that. A recent instance of the fruitful use of abstraction is the generalization by John von Neumann and others of David Hilbert's "spectral" theory, from what proved to be the special case of "bounded" linear operators to "un bounded" ones. This farreaching development can be traced in a succession of abstractions upward from the familiar concrete F ics 44 © 1964 SCIENTIFIC AMERICAN, INC ground of analytic geometry. In the elementary analytic geometry of a three dimensional space with coordinates Xl, X2, Xa a plane is characterized by a linear equation, and a quadratic surface, such as that of a sphere or an ellipsoid, is characterized by a quadratic equation (that is, an equation in which the high est power of an unknown is its square) in the variables Xl> X2, Xa' For example, an equation of the general form AlX12 + 2 2 1 describes a quadratic A2x2 + Aaxa surface centered at the origin of the coordinate system and with its three principal axes pointing in the direction of the coordinate axes. In the case of the ellipsoid the "coefficients" AI, '\2, Aa stand for fixed positive numbers; they represent the expressions 1/a12, 1/a22, l/al, in which al> a2, as are the semi axes of the ellipsoid. The ellipsoid con sists precisely of those points for which the values of the variables Xl> X2, Xa sat isfy the equation [see illustration on these two pages J. Now, without much ado, the alge braization of geometry permits one to speak of a space of more than three dimensions, say n dimensions, with co ordinates Xl> X2, xa X", In this space planes are again defined by linear equa tions and quadratic surfaces by quad= . • . = 0 infinitely many variables ought to be secured in a complete mathematical theory. In this endeavor he found it necessary first to restrict the domain of the variables by requiring that the sum of their squares should "converge," that is, have a finite value. Another way of stating this, with the help of a "gen eralized" Pythagorean theorem, is to say that a point in a "Hilbert space" of infinitely many dimensions must have 2 YX1 + X2� + ... a finite distance 1 from the origin. Next, Hilbert defined the quadratic form in infinitely many variablesthe bounded fOIIDas a dou ble infinite sum of the form = 2 allXI + a12xIx2 + alaXlXa + .. . + a22x/ + a23x2Xa + .. . + ... , A, =�=� a,2 4 A2=�=� a22 2 A3=�= 1 a32 substitution yields the equation in normal form, shown at the right above the ellipsoid it describes. The lengths of the semiaxes (aI' a2, (Is) are related to the coefficients of the terms in the equation as indicated. ratic equations in the variables Xl, X2, Xa ...X". It is one of the most important results of "linear algebra" that quad ratic surfaces can be brought into the algebraic normal form AlX12 + A2Xl + 2 1 after a suitable trans Aaxa ...A"Xn� formation of the coordinate system (or a rigid motion of the figure) that centers the figure at the origin with its principal axes along the coordinate axes. This theorem is the key to many applications; for instance, to the theory of mechanical or electrical systems involving the vi brations of a finite number n of mass points or circuit elements about a state of equilibrium. Physicists such as Lord Rayleigh did not hesitate to apply this result, without mathematical justification, in a much more general way by letting the number of dimensions n tend to infinity. This step toward greater generalization and abstraction of the underlying mathe matics has served well in the study of vibrating systems consisting not of a finite number of mass points or circuit elements but rather of a continuum of matter, such as a string, a membrane or a transmission line. Hilbert, one of the truly great mathe maticians of the past generation, rec ognized that such quadratic forms of = where the first index (that is, Xl in the first row, X2 in the second row and so on) goes to infinity from row to row and the second index (that is, X2 in the first row, X3 in the second row and so on) goes to infinity along the row. This double infinite sum is under the crucial restriction that it must converge at every point in a Hilbert space. In such a space many concepts relat ing to the properties of planes and the quadratic surfaces in finitedimensional geometry remain meaningful. This is true in particular of the theory of the transformation of quadratic forms to their principal axes. Hilbert showed that every quadratic form in this class can be brought into a normal form by a rotation of the coordinate system. By analogy with the finitedimensional case Hilbert called the set of values AI, A2, Aa appearing in this normal form the "spectrum" of the quadratic form. In his generalization of the principal axis theory from ordinary quadratic forms in n variables to forms in infinite ly many variables Hilbert discovered many new phenomena, such as the oc currence of continuous mathematical spectra. Moreover, Hilbert's work served well in the emergence of quantum mechanics. His term "mathematical spectra" found a prophetic relevance to the spectra of energy states in atoms and their constituent particles. But Hilbert's theory of quadratic forms was not quite equal to the task of handling quantum mechanics; the forms occurring there turned out to be "unbounded." At this point von Neumann, inspired by Erhard Schmidt and more inclined toward abstraction than his elders, car ried. the process of abstraction another crucial stratum upward. By discarding Hilbert's concept of a quadratic form as something that can be expressed con cretely as an infinite algebraic expres sion and instead formulating the con cept abstractly, he was able to avoid its earlier limitations. Thus extended, Hil bert's spectral theory was made to an swer the tangibly concrete needs of contemporary physics. he theory of groups, a central conof contemporary mathematics, has evolved through an analogous pro gression of abstractions. Group theory traces its origins back to a problem that has fascinated mathematicians since the Middle Ages: the solving of algebraic equations of degree greater than two by algebraic processes, that is, by addition, subtraction, multiplication, division and extraction of roots. The theory of quad ratic equations was known to the Bab ylonians, and the solution of equations of the third and the fourth degree was accomplished by the Renaissance math ematicians Girolamo Cardano and Nic colo Tartaglia. The solution of equations of the fifth degree and higher degrees, however, encountered insurmountable obstacles. Early in the 19th century a novel and profound attack on these old problems was launched by Joseph Louis La grange, P. Ruffini and Niels Henrik Abel and, in a most original way, by Evariste Galois. These new approaches started from the known facts that an algebraic equation of degree n of the form x" + a,,_lxn1 + ... + a1x + ao o has n roots 1h 12" .1", and that this set of n roots determines the equation uniquely. (For example, if 1 and 3 are roots of a quadratic equation, then 2 (x  1)(x  3) 0 is the X  4x + 3 equation determined by the roots 1 and 3.) The coefficients of the equation are symmetric functions of the roots; that is, they depend on the set of roots regard less of the order. (For example, in a a cubic equation x + ax2 + bx + c 0 with roots 11, 12, 1a the coefficients can be written a 1\ + 12 + l'a, b 1112 + 121a + 1a1'1, c 1\1�l'a, and if 11, 12, 13 are permuted, a, b and c are not changed.) Over the years work with such equa tions revealed that the key to the prob lem of expressing the roots of the equations in terms of the coefficients lies not only in the study of symmetric expressions but also more decisively in the study of not completely symmetric expressions and in the analysis of what ever symmetries they possess. The ex pression E 1112 + 1314 does not, for T cern = = = = = = = = 45 © 1964 SCIENTIFIC AMERICAN, INC example, remain unchanged for all arbi trary permutations of the four symbols f1' f�, 1"3, r.1• If the indices 1 and 2 or 3 and 4 are interchanged, E is invariant, that is, remains unchanged. If 1 and 3 are interchanged, however, the resulting expression is not E. On the other hand, the succession of two permutations that changes and then restores E amounts to a permutation that clearly leaves E in variant. The set of these permutations, called a "group" by Galois, represents the intrinsic symmetries of the expres sion E. The understanding of permu tation groups was recognized by the ingenious Galois as the key to a deeper theory of algebraic equations. Soon afterward mathematicians were discovering permutation groups in other fields. The set of six motions that carry an equilateral triangle into itself, for example, forms a group [see illustration on page 71]. Other groups have been uncovered as fundamental structural elements in most of the branches of mathematics. To embrace such groups, in all their different guises and manifestations, in a single concept and to anticipate the even wider scope of undiscovered pos sibilities required formulation of the underlying group concept in the most abstract terms. This has been done by calling a set of mathematical objects a group if a rule is given for "combining" two elements so as to obtain again an element S of the set; this rule is required to be associative, that is, (ST)U S(TU) S. Furthermore, the set must include a "unit" element I that, when combined with any other element S of the set, yields S, that is, IS SI S. Finally, for every element S in the set there must be an "inverse" element Sl such that the combination SSl yields the unit element, that is, SSl l. The specific "substantial" nature of the group is left wide open, of course, by this abstract definition. The elements may be numbers, rotations of geometric bodies, deformations of space (such de formations may be defined by linear or other transformation of the coordinates) or, as above, the permutations of n objects. = = = = = Altogether the group concept and 1\.. the clarification and unification it brought to the diverse branches of mathematics must be reckoned a major achievement of the past 150 years. Much of the effort has been expended (left) on the intermediate, lofty sector of tbe arc of development, that is, on the struc tural analysis of the abstracted concepts. The work has contributed all along, however, to illuminating more specific concrete areas, such as number theory and algebra. One of the remarkable suc cesses along this line was Felix Klein's famous classification in the 1870's of the various branches of geometry according to groups of transformations under which certain geometrical properties re main invariant [see illustration on pages 42 and 43]. Abstract group theory has found sig nificant application in the still more concrete problems of particle physics. Here the occasion is provided by the intricate group of open and hidden sym metries that prevail in the configuration and interaction of the nuclear particles. The success of group theory in bringing order to a great mass of data and pre dicting the existence of new particles [see "Mathematics in the Physical Sci ences," page 128] shows convincingly how abstraction can help in the search for hard facts. Intuition, that elusive vital agent, is always at work in creative mathematics, motivating and guiding even the most INFLUENTIAL MATHEMATICIANS who helped to direct the Cantor course of 20thcentury thought are shown on these two pages. Georg mathematical sp�culation on set theory. Henri Poincare suggested an order for infinite sets, thus focusing 46 © 1964 SCIENTIFIC AMERICAN, INC (middle) abstract thinking. In its most familiar manifestation, geometrical intuition, it has figured in the many major recent advances in mathematics that have oc curred in or Rowed from work in ge ometry. Yet there is a powerful compul sion in mathematics to reduce the visible role of intuition, or perhaps one may better say to buttress it, by precise and rigorous reasoning. opology, the youngest and most vigorous branch of geometry, illustrates in a spectacular way the fruitful work ing of this tension between intuition and reason. With a few' isolated but impor tant earlier discoveriesfor example the onesided Mobius bandas its stockin trade, topology emerged as a field of serious study in the 19th century. For a long period it was almost entirely a matter of geometrical intuition, of cut ting and pasting together surfaces in an effort to visualize the mathematical sub stance of topology, that is, the proper ties of surfaces that do not change under arbitrary continuous deformation. Early in the evolution of the new discipline, however, Georg Friedrich Bernhard Rie mann brought it to the center of atten tion. In his sensational work on the T them,),: of algebraic functions of a com plex variable (a variable incorporating the imaginary number �) he showed that the topological facts concerning what are now called Riemann surfaces are essential to a real understanding of these functions. During the 19th century investigators discovered and systematically explored a wide range of topological properties of surfaces of two, three and then of n dimensions. Still on a more or less intui tive basis, early in this century, the great Henri Poincare and others built a fascinating edifice of topological theory. This work proceeded in close relation to the development of group theory and found uses in other fields of mathematics and in the evolution of the mathematical sciences to higher levels of sophistication. It was put to work, for example, in celestial mechanics, specifically in the construction of plan etary orbits in space curved by gravita tional fields. Topologists soon began to feel with urgency the need to sharpen their tools in order to catch the products of geo metrical intuition in the vise of modern mathematical precisionwithout de stroying their convincing beauty. This warned against preoccupation with set theory. David Hilbert (right) generalized the principal·axis theory. In 1900 he proposed 23 projects for 20th·century mathematicians. task was accomplished almost single handed in the first decades of this cen tury by the Dutch mathematician L. E. J. Brouwer. Thanks to his gigan tic effort, topology is now as amenable to rigorous treatment as the geometry of Euclid, and advances in the field proceed on the solid ground of logically impeccable reasoning. j\t the center of the difficulties confronting Brouwer was the dilemma presented by the concept of continuity. Everyone has a sure intuitive idea of what continuity is, for example the smoothness of a curve. But the begin ning student of calculus loses his assur ance at the very outset as he attempts to capture continuity in a precise mathe matical formulation. Difficulty is inher ent in the task because the geometrical intuition of continuity and the mathe maticallogical concept do not perfectly match. Rigorous definition brings to the surface whole areas of cases, perhaps marginal, that confound the intuition with paradox. It is easy to construct, for instance, continuous curves (in the exact sense of the definition) that do not have a length [see lower illustration on page 49], that have nowhere a direction or that wind around, without any selfintersec tion, within a square so that they come arbitrarily close to any given point in the square. Such bizarre constructions highlight the need for careful reasoning in proofs of the topological properties of surfaces or other objects subjected to complex continuous deformations. That need is not at once intuitively apparent to the nontopologist. Consider, for example, C. Jordan's famous theorem stating that any nonintersecting contin uous closed curve in a plane bounds two separate domainsthe interior and the exterior [see upper illustration on page 49]. Every scientist, engineer and stu dent in his naive right mind will regard the effort to prove such a theorem as an unnecessary, selfimposed, almost maso chistic exercise. Yet in writing his classi cal textbook on analysis Jordan felt strongly the need for a proof and pre sented one. It is a measure of the sub tlety of the problem thdt Jordan's proof turned out to be not completely correct! Similarly, no one will doubt that the dimensionality of a twodimensional or threedimensional geometric figure re mains unchanged under any continuous deformation. Yet the precise proof of this fact, under the general assumption of mere abstract continuity, stands as one of Brouwer's major achievements. It is possible, of course, to evade some 47 © 1964 SCIENTIFIC AMERICAN, INC MAPPING A FUNCTION of a complex variable from an infinitely many·sheeted Riemann surface produces the figure shown at top of this illustration. The circle·arc polygons that grow infinitely small toward the outer circle correspond to straight.line polygons (bottom) that extend infinitely without changing size throughout the plane on which they are shown. 48 © 1964 SCIENTIFIC AMERICAN, INC of the difficulties in the notion of continuity by restricting the group of continuous deformationsby demand ing,. for example, "smoothness" or differ entiability instead of pure continuity. This has been done with great success. Differential topology, as it is called, has recently achieved outstanding results. Investigation of deformations conducted under the requirement of "reasonable" smoothness has produced significantly different classifications of topological structures than would be yielded under a regime of completely general con tinuity. These developments may also be wel comed as indicating a healthy deflection of the trend toward boundless gener ality. Ever since Georg Cantor's achieve ments in the theory of sets, in the last decades of the 19th century, that trend has occupied many mathematical minds. Some great mathematicians, notably Poincare, have fought it bitterly as a menace to mathematics, in particular because it leads to unresolved para doxes. If Poincare's militant criticism has proved to be overly restrictive and even reactionary, it was nonetheless salutary because it encouraged construc tive mathematicians concerned with specific and graspable matters. Various motivations, in the same in dividual or in different people, inspire mathematical activity. Certainly the roots in physical reality of large parts of mathematicsespecially analysis supply powerful motivation and inspira tion. The situation with respect to other realms of reality is not much different. In number theory and algebra it is the intriguing reality of the world of num bers, so deeply inherent in the human mind. Still more removed from physical reality, one might think, is the reality of the logical processes involved in mathematical thinking. Yet basic ideas from esoteric work in mathematical logic have proved useful for the under standing and even for the design of automatic computing machines. In brief, mathematics must take its motivation from concrete specific sub stance and aim again at some layer of "reality." The flight into abstraction must be something more than a mere escape; start from the ground and re entry are both indispensable, even if the same pilot cannot always handle all phases of the trajectory. The substance of the purest mathematical enterprise may often be provided by tangible physical reality. That mathematics, an emanation of the human mind, should serve so effectively for the description and understanding of the physical world is a challenging fact that has rightly attracted the concern of philosophers. Leaving philosophical questions aside, however, the engagement in physical questions or the apparent absence of such engagement must not be taken as a criterion for distinguishing between the kinds of mathematics and mathe maticians. No sharp dividing line can, in fact, be drawn between "pure" and "applied" mathematics. There should not be a class of high priests of unadulterated mathematical beauty, exclusively re sponsible to their own inclinations, and a class of workers who serve other mas ters. Class distinctions of this kind are at best the symptom of human limi tations that keep most individuals from roaming at will over broad fields of interest. matical model. Finally, applied mathe matics is dominated by approximations; these are inescapable in the attempt to mirror physical processes in mathemati cal models. To handle the translation of reality into the abstract models of mathematics and to appraise the degree of accuracy thereby attainable calls for intuitive feeling sharpened by experience. It may also often involve the framing of genu ine mathematical problems that are far too difficult to be solved by the avail able techniques of the science. Such, in part, is the nature of the intellectiIaI adventure and the satisfaction experi enced by the mathematician who works with engineers and natural scientists on the mastering of the "real" problems that arise in so many places as man extends his understanding and control of nature. �though the substance of mathematics is indivisible, distinct differences must be acknowledged in the attitudes that the same scientist or different sci entists may bring to a problem. The attitude of the purist, which every sci entifically inclined mind will at least sometimes assume, demands uncompro mising perfection. No gaps or rough spots can be tolerated in the solution of a problem and the result must flow from an unbroken chain of flawless reasoning. If the attempt encounters insurmount able obstacles, then the purist is in clined to restate his problem or replace it with another in which the difficulty is capable of being managed. He may even "solve" his problem by redefining what he means by a solution; this is, in fact, a not uncommon preliminary step toward a true solution of the original problem. In the case of applied research the situation is different. The problem, in the first place, cannot be as freely modi fied or avoided; what is wanted is a believable, humanly reliable answer. If necessary, therefore, the mathematician must accept compromise; he must be willing to interpolate guesswork into the train of reasoning and to make al lowance for the uncertainty of numerical evidence. But even the most practically motivated studythe analysis, for in stance, of flow involving shock dis continuitiesmay demand fundamental mathematical investigation to discover how to frame the question. Pure exis tence proofs may also be significant in applied research; ascertaining that a solution exists may give the needed as surance of the suitability of the mathe JORDAN CURVE THEOREM states that any closed curve such as the one shown here bounds interior and exterior domains. A line drawn from inside the curve to the outside will make an odd number of intersections; a line drawn from outside it, an even number. INFINITE ZIGZAG is composed of successive segments with lengths 1, J�, J�, ),\, J�, �. . . The . sequence of unit fractions has no finite sum and the curve itself has no finite length. 49 © 1964 SCIENTIFIC AMERICAN, INC