"What is the inner secret of mathematical power? Briefly stated, it is that mathematics discloses the skeletal outlines of all closely articulated relational systems. For this purpose mathematics uses the language of pure logic with its score or so of symbolic words, which, in its important forms of expression, enables the mind to comprehend systems of relations otherwise completely beyond its power. These forms are creative discoveries which, once made, remain permanently at our disposal. By means of them the scientific imagination is enabled to penetrate ever more deeply into the rationale of the universe about us." (George D Birkhoff, "Mathematics: Quantity and Order", 1934)
"It is difficult, however, to learn all these things from situations such as occur in everyday life. What we need is a series of abstract and quite impersonal situations to argue about in which one side is surely right and the other surely wrong. The best source of such situations for our purposes is geometry. Consequently we shall study geometric situations in order to get practice in straight thinking and logical argument, and in order to see how it is possible to arrange all the ideas associated with a given subject in a coherent, logical system that is free from contradictions. That is, we shall regard the proof of each proposition of geometry as an example of correct method in argumentation, and shall come to regard geometry as our ideal of an abstract logical system. Later, when we have acquired some skill in abstract reasoning, we shall try to see how much of this skill we can apply to problems from real life." (George D Birkhoff & Ralph Beately, "Basic Geometry", 1940)
"The first step in discussing a proposition with a view to proving it true or false is to discover the earlier propositions upon which it depends. A few of these earlier propositions must remain unproved and be taken for granted, for we must have some place from which to begin our chain of reasoning. We cannot prove everything. The propositions that we take for granted without proof are called assumptions. When we criticize an argument or assert that a certain proposition is true or false, we should first discover the assumptions upon which the argument or proposition depends." (George D Birkhoff & Ralph Beately, "Basic Geometry", 1940)
"The main thing geometry gives us is the ideal of a logical system and of precise thinking, and some acquaintance with the language in which logical arguments are usually expressed. The answer to a problem in actual life can often be obtained by further investigation of the actual facts, while in geometry it can always be obtained by reasoning alone." (George D Birkhoff & Ralph Beately, "Basic Geometry", 1940)
"The majority of geometric relations cluster around the ideas ‘equal’ and ‘similar’. That is why the simplest notions about equal and similar triangles are taken as the basis of this geometry. From these simplest notions we derive the more complicated relations of geometry." (George D Birkhoff & Ralph Beately, "Basic Geometry", 1940)
"It will probably be the new mathematical discoveries which are suggested through physics that will always be the most important, for, from the beginning Nature has led the way and established the pattern which mathematics, the Language of Nature, must follow." (George D Birkhoff, "Mathematical Nature of Physical Theories" American Scientific Vol. 31 (4), 1943)
"It is to be hoped that in the future more and more theoretical physicists will command a deep knowledge of mathematical principles; and also that mathematicians will no longer limit themselves so exclusively to the aesthetic development of mathematical abstractions." (George D Birkhoff, "Mathematical Nature of Physical Theories" American Scientific Vol. 31 (4), 1943)
"When, for instance, I see a symmetrical object, I feel its pleasurable quality, but do not need to assert explicitly to myself, ‘How symmetrical!’. This characteristic feature may be explained as follows. In the course of individual experience it is found generally that symmetrical objects possess exceptional and desirable qualities. Thus our own bodies are not regarded as perfectly formed unless they are symmetrical. Furthermore, the visual and tactual technique by which we perceive the symmetry of various objects is uniform, highly developed, and almost instantaneously applied. It is this technique which forms the associative 'pointer.' In consequence of it, the perception of any symmetrical object is accompanied by an intuitive aesthetic feeling of positive tone." (George D Birkhoff, "Mathematics of Aesthetics", 1956)
"Mathematics is the codified body of all logical thought." (George D Birkhoff)
"The primary service of modern mathematics is that it alone enables us to understand the vast abstract permanences which underlie the flux of things, without requiring us to regard its self-consistent abstractions as more than specific limited instruments of thought." (George D Birkhoff)
No comments:
Post a Comment