See The Mathematician Part 1 for the earlier part of this article.
However, I do not want to press this matter further. I will turn instead to a perfectly clear-cut case, the controversy about the "foundations of mathematics." In the late nineteenth and the early twentieth centuries a new branch of abstract mathematics, G Cantor's theory of sets, led into difficulties. That is, certain reasonings led to contradictions; and, while these reasonings were not in the central and "useful" part of set theory, and always easy to spot by certain formal criteria, it was nevertheless not clear why they should be deemed less set-theoretical than the "successful" parts of the theory. Aside from the ex post insight that they actually led into disaster, it was not clear what a priori motivation, what consistent philosophy of the situation, would permit one to segregate them from those parts of set theory which one wanted to save. A closer study of the merita of the case, undertaken mainly by Russell and Weyl, and concluded by Brouwer, showed that the way in which not only set theory but also most of modem mathematics used the concepts of "general validity" and of "existence" was philosophically objectionable. A system of mathematics which was free of these undesirable traits, "intuitionism," was developed by Brouwer. In this system the difficulties and contradiction of set theory did not arise. However, a good fifty per cent of modern mathematics, in its most vital - and up to then unquestioned - parts, especially in analysis, were also affected by this "purge": they either became invalid or had to be justified by very complicated subsidiary considerations. And in this latter process one usually lost appreciably in generality of validity and elegance of deduction. Nevertheless, Brouwer and Weyl considered it necessary that the concept of mathematical rigour be revised according to these ideas.
It is difficult to overestimate the significance of these events. In the third decade of the twentieth century two mathematicians-both of them of the first magnitude, and as deeply and fully conscious of what mathematics is, or is for, or is about, as anybody could be-actually proposed that the concept of mathematical rigour, of what constitutes an exact proof, should be changed! The developments which followed are equally worth noting.
1. Only very few mathematicians were willing to accept the new, exigent standards for their own daily use. Very many, however, admitted that Weyl and Brouwer were prima facie right, but they themselves continued to trespass, that is, to do their own mathematics in the old, "easy" fashion-probably in the hope that somebody else, at some other time, might find the answer to the intuitionistic critique and thereby justify them a posteriori.
2. Hilbert came forward with the following ingenious idea to justify "classical"' (i.e., pre-intuitionistic) mathematics: Even in the intuitionistic system it is possible to give a rigorous account of how classical mathematics operate, that is, one can describe how the classical system works, although one cannot justify its workings. It might therefore be possible to demonstrate intuitionistically that classical procedures can never lead into contradictions-into conflicts with each other. It was clear that such a proof would be very difficult, but there were certain indications how it might be attempted. Had this scheme worked, it would have provided a most remarkable justification of classical mathematics on the basis of the opposing intuitionistic system itself! At least, this interpretation would have been legitimate in a system of the philosophy of mathematics which most mathematicians were willing to accept.
3. After about a decade of attempts to carry out this program, Gödel produced a most remarkable result. This result cannot be stated absolutely precisely without several clauses and caveats which are too technical to be formulated here. Its essential import, however, was this: If a system of mathematics does not lead into contradiction, then this fact cannot be demonstrated with the procedures of that system. Gödel's proof satisfied the strictest criterion of mathematical rigour - the intuitionistic one. Its influence on Hilbert's program is somewhat controversial, for reasons which again are too technical for this occasion. My personal opinion, which is shared by many others, is, that Gödel has shown that Hilbert's program is essentially hopeless.
4. The main hope of a justification of classical mathematics - in the sense of Hilbert or of Brouwer and Weyl - being gone, most mathematicians decided to use that system anyway. After all, classical mathematics was producing results which were both elegant and useful, and, even though one could never again be absolutely certain of its reliability, it stood on at least as sound a foundation as, for example, the existence of the electron. Hence, if one was willing to accept the sciences, one might as well accept the classical system of mathematics. Such views turned out to be acceptable even to some of the original protagonists of the intuitionistic system. At present the controversy about the "foundations" is certainly not closed, but it seems most unlikely that the classical system should be abandoned by any but a small minority.
I have told the story of this controversy in such, detail, because I think that it constitutes the best caution against taking the immovable rigour of mathematics too much for granted. This happened in our own lifetime, and I know myself how humiliatingly easily my own views regarding the absolute mathematical truth changed during this episode, and how they changed three times in succession!
I hope that the above three examples illustrate one-half of my thesis sufficiently well-that much of the best mathematical inspiration comes from experience and that it is hardly possible to believe in the existence of an absolute, immutable concept of mathematical rigour, dissociated from all human experience. I am trying to take a very low-brow attitude on this matter. Whatever philosophical or epistemological preferences anyone may have in this respect, the mathematical fraternities' actual experiences with its subject give little support to the assumption of the existence of an a priori concept of mathematical rigour. However, my thesis also has a second half, and I am going to turn to this part now.
It is very hard for any mathematician to believe that mathematics is a purely empirical science or that all mathematical ideas originate in empirical subjects. Let me consider the second half of the statement first. There. are various important parts of modern mathematics in which the empirical origin is untraceable, or, if traceable, so remote that it is clear that the subject has undergone a complete metamorphosis since it was cut off from its empirical roots. The symbolism of algebra was invented for domestic, mathematical use, but it may be reasonably asserted that it had strong empirical ties. However, modem, "abstract" algebra has more and more developed into directions which have even fewer empirical connections. The same may be said about topology. And in all these fields the mathematician's subjective criterion of success, of the worth-whileness of his effort, is very much self-contained and aesthetical and free (or nearly free) of empirical connections. (I will say more about this further on.) In set theory this is still clearer. The "power" and the "ordering" of an infinite set may be the generalizations of finite numerical concepts, but in their infinite form (especially "power") they have hardly any relation to this world. If I did not wish to avoid technicalities, I could document this with numerous set theoretical examples-the problem of the "axiom of choice," the "comparability" of infinite "powers," the "continuum problem," etc. The same remarks apply to much of real function theory and real point-set theory. Two strange examples are given by differential geometry and by group theory: they were certainly conceived as abstract, non-applied disciplines and almost always cultivated in this spirit. After a decade in one case, and a century in the other, they turned out to be very useful in physics. And they are still mostly pursued in the indicated, abstract, non-applied spirit.
The examples for all these conditions and their various combinations could be multiplied, but I prefer to turn instead to the first point I indicated above: Is mathematics an empirical science? Or, more precisely: Is mathematics actually practiced in the way in which an empirical science is practiced? Or, more generally: What is the mathematician's normal relationship to his subject? What are his criteria of success, of desirability? What influences, what considerations, control and direct his effort?
Let us see, then, in what respects the way in which the mathematician normally works differs from the mode of work in the natural sciences. The difference between these, on one hand, and mathematics, on the other, goes on, clearly increasing as one passes from the theoretical disciplines to the experimental ones and then from the experimental disciplines to the descriptive ones. Let us therefore compare mathematics with the category which lies closest to it - the theoretical disciplines. And let us pick there the one which lies closest to mathematics. I hope that you will not judge me too harshly if I fail to control the mathematical hybris and add: because it is most highly developed among all theoretical sciences-that is, theoretical physics. Mathematics and theoretical physics have actually a good deal in common. As I have pointed out before, Euclid's system of geometry was the prototype of the axiomatic presentation of classical mechanics, and similar treatments dominate phenomenological thermodynamics as well as certain phases of Maxwell's system of electrodynamics and also of special relativity. Furthermore, the attitude that theoretical physics does not explain phenomena, but only classifies and correlates, is today accepted by most theoretical physicists. This means that the criterion of success for such a theory is simply whether it can, by a simple and elegant classifying and correlating scheme, cover very many phenomena, which without this scheme would seem complicated and heterogeneous, and whether the scheme even covers phenomena which were not considered or even not known at the time when the scheme was evolved. (These two latter statements express, of course, the unifying and the predicting power of a theory.) Now this criterion, as set forth here, is clearly to a great extent of an aesthetical nature. For this reason it is very closely akin to the mathematical criteria of success, which, as you shall see, are almost entirely aesthetical. Thus we are now comparing mathematics with the empirical science that lies closest to it and with which it has, as I hope I have shown, much in common - with theoretical physics. The differences in the actual modus procedendi are nevertheless great and basic. The aims of theoretical physics are in the main given from the "outside," in most cases by the needs of experimental physics. They almost always originate in the need of resolving a difficulty; the predictive and unifying achievements usually come afterward. It we may be permitted a simile, the advances (predictions and unifications) come during the pursuit, which is necessarily preceded by a battle against some pre-existing difficulty (usually an apparent contradiction within the existing system). Part of the theoretical physicists' work is a search for such obstructions, which promise a possibility for a "break-through." As I mentioned, these difficulties originate usually in experimentation, but sometimes they are contradictions between various parts of the accepted body of theory itself. Examples are, of course, numerous.
Michelson's experiment leading to special relativity, the difficulties of certain ionization potentials and of certain spectroscopic structures leading to quantum mechanics exemplify the first case; the conflict between special relativity and Newtonian gravitational theory leading to general relativity exemplifies the second, rarer, case. At any rate, the problems of theoretical physics are objectively given; and, while the criteria which govern the exploitation of a success are, as I indicated earlier, mainly aesthetical, yet the portion of the problem, and that which I called above the original "break-through," are hard, objective facts. Accordingly, the subject of theoretical physics was at almost all times enormously concentrated; at almost all times most of the effort of all theoretical physicists was concentrated on no more than one or two very sharply circumscribed fields-quantum theory in the 1920's and early 1930's and elementary particles and structure of nuclei since the mid-1930's are examples.
The situation in mathematics is entirely different. Mathematics falls into a great number of subdivisions, differing from one another widely in character, style, aims, and influence. It shows the very opposite of the extreme concentration of theoretical physics. A good theoretical physicist may today still have a working knowledge of more than half of his subject. I doubt that any mathematician now living has much of a relationship to more than a quarter. "Objectively" given, "important" problems may arise after a subdivision of mathematics has evolved relatively far and if it has bogged down seriously before a difficulty. But even then the mathematician is essentially free to take it or leave it and turn to something else, while an "important" problem in theoretical physics is usually a conflict, a contradiction, which "must" be resolved. The mathematician has a wide variety of fields to which he may turn, and he enjoys a very considerable freedom in what he does with them. To come to the decisive point: I think that it is correct to say that his criteria of selection, and also those of success, are mainly aesthetical. I realize that this assertion is controversial and that it is impossible to "prove" it, or indeed to go very far in substantiating it, without analyzing numerous specific, technical instances. This would again require a highly technical type of discussion, for which this is not the proper occasion. Suffice it to say that the aesthetical character is even more prominent than in the instance I mentioned above in the case of theoretical physics. One expects a mathematical theorem or a mathematical theory not only to describe and to classify in a simple and elegant way numerous and a priori disparate special cases. One also expects "'elegance" in its "architectural," structural makeup. Ease in stating the problem, great difficulty in getting hold of it and in all attempts at approaching it, then again some very surprising twist by which the approach, or some part of the approach, becomes easy, etc. Also, if the deductions are lengthy or complicated, there should be some simple general principle involved, which "'explains" the complications and detours, reduces the apparent arbitrariness to a few simple guiding motivations, etc. These criteria are clearly those of any creative art, and the existence of some underlying empirical, worldly motif in the background - often in a very remote background - overgrown by aestheticizing developments and followed into a multitude of labyrinthine variants - all this is much more akin to the atmosphere of art pure and simple than to that of the empirical sciences.
You will note that I have not even mentioned a comparison of mathematics with the experimental or with the descriptive sciences. Here the differences of method and of the general atmosphere are too obvious.
I think that it is a relatively good approximation to truth - which is much too complicated to allow anything but approximations-that mathematical ideas originate in empirics, although the genealogy is sometimes long and obscure. But, once they are so conceived, the subject begins to live a peculiar life of its own and is better compared to a creative one, governed by almost entirely aesthetical motivations, than to anything else and, in particular, to an empirical science. There is, however, a further point which, I believe, needs stressing. As a mathematical discipline travels far from its empirical source, or still more, if it is a second and third generation only indirectly inspired by ideas coming from "reality" it is beset with very grave dangers. It becomes more and more purely aestheticizing, more and more purely I'art pour I'art. This need not be bad, if the field is surrounded by correlated subjects, which still have closer empirical connections, or if the discipline is under the influence of men with an exceptionally well-developed taste. But there is a grave danger that the subject will develop along the line of least resistance, that the stream, so far from its source, will separate into a multitude of insignificant branches, and that the discipline will become a disorganized mass of details and complexities. In other words, at a great distance from its empirical source, or after much "abstract" inbreeding, a mathematical subject is in danger of degeneration. At the inception the style is usually classical; when it shows signs of becoming baroque, then the danger signal is up. It would be easy to give examples, to trace specific evolutions into the baroque and the very high baroque, but this, again, would be too technical.
In any event, whenever this stage is reached, the only remedy seems to me to be the rejuvenating return to the source: the re-injection of more or less directly empirical ideas. I am convinced that this was a necessary condition to conserve the freshness and the vitality of the subject and that this will remain equally true in the future.