"The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age; and when this fact has been established, the remainder of the principles of mathematics consists in the analysis of Symbolic Logic itself." (Bertrand Russell, "Principles of Mathematics", 1903)
"A physical theory is not an explanation. It is a system of mathematical propositions, deduced from a small number of principles, which aim to represent as simply, as completely, and as exactly as possible a set of experimental laws. […] Thus a true theory is not a theory which gives an explanation of physical appearances in conformity with reality; it is a theory which represents in a satisfactory manner a group of experimental laws. A false theory is not an attempt at an explanation based on assumptions contrary to reality; it is a ·group of propositions which do not agree with the experimental laws. Agreement with experiment is the sole criterion of truth for a physical theory." (Pierre-Maurice-Marie Duhem, "La théorie physique. Son objet, sa structure", 1906)
"Today it is no longer questioned that the principles of the analysts are the more far-reaching. Indeed, the synthesists lack two things in order to engage in a general theory of algebraic configurations: these are on the one hand a definition of imaginary elements, on the other an interpretation of general algebraic concepts. Both of these have subsequently been developed in synthetic form, but to do this the essential principle of synthetic geometry had to be set aside. This principle which manifests itself so brilliantly in the theory of linear forms and the forms of the second degree, is the possibility of immediate proof by means of visualized constructions." (Felix Klein, "Riemannsche Flächen", 1906)
"Banishing fundamental facts or problems from science merely because they cannot be dealt with by means of certain prescribed principles would be like forbidding the further extension of the theory of parallels in geometry because the axiom upon which this theory rests has been shown to be unprovable. Actually, principles must be judged from the point of view of science, and not science from the point of view of principles fixed once and for all." (Ernst Zermelo, "Neuer Beweis für die Möglichkeit einer Wohlordnung", Mathematische Annalen 65, 1908)
"Now even in mathematics unprovability, as is well known, is in no way equivalent to nonvalidity, since, after all, not everything can be proved, but every proof in turn presupposes unproved principles. Thus, in order to reject such a fundamental principle, one would have to ascertain that in some particular case it did not hold or to derive contradictory consequences from it; but none of my opponents has made any attempt to do this." (Ernst Zermelo, "Neuer Beweis für die Möglichkeit einer Wohlordnung", Mathematische Annalen 65, 1908)
"Every one knows there are mathematical axioms. Mathematicians have, from the days of Euclid, very wisely laid down the axioms or first principles on which they reason. And the effect which this appears to have had upon the stability and happy progress of this science, gives no small encouragement to attempt to lay the foundation of other sciences in a similar manner, as far as we are able." (William K Clifford et al, "Scottish Philosophy of Common Sense", 1915)
"The mathematician is free in his imagination, to construct what worlds he pleases. What he is to imagine is a matter for his own caprice; he is not thereby discovering the fundamental principles of the universe nor becoming acquainted with the ideas of God. If he can find, in experience, sets of entities which obey the same logical scheme as his mathematical entities, then he has applied his mathematics to the external world; he has created a branch of science." (John W N Sullivan, "Aspects of Science", 1923)
No comments:
Post a Comment