[230]. It is now necessary to indicate more definitely the reason why mathematics not only carries conviction in itself, but also transmits conviction to the objects to which it is applied. The reason is found, first of all, in the perfect precision with which the elementary mathematical concepts are determined; in this respect each science must look to its own salvation.... But this is not all. As soon as human thought attempts long chains of conclusions, or difficult matters generally, there arises not only the danger of error but also the suspicion of error, because since all details cannot be surveyed with clearness at the same instant one must in the end be satisfied with a belief that nothing has been overlooked from the beginning. Every one knows how much this is the case even in arithmetic, the most [elementary] use of mathematics. No one would imagine that the higher parts of mathematics fare better in this respect; on the contrary, in more complicated conclusions the uncertainty and suspicion of hidden errors increases in rapid progression. How does mathematics manage to rid itself of this inconvenience which attaches to it in the highest degree? By making proofs more rigorous? By giving new rules according to which the old rules shall be applied? Not in the least. A very great uncertainty continues to attach to the result of each single computation. But there are checks. In the realm of mathematics each point may be reached by a hundred different ways; and if each of a hundred ways leads to the same point, one may be sure that the right point has been reached. A calculation without a check is as good as none. Just so it is with every isolated proof in any speculative science whatever; the proof may be ever so ingenious, and ever so perfectly true and correct, it will still fail to convince permanently. He will therefore be much deceived, who, in metaphysics, or in psychology which depends on metaphysics, hopes to see his greatest care in the precise determination of the concepts and in the logical conclusions rewarded by conviction, much less by success in transmitting conviction to others. Not only must the conclusions support each other, without coercion or suspicion of subreption, but in all matters originating in experience, or judging concerning experience, the results of speculation must be verified by experience, not only superficially, but in countless special cases.—Herbart, J. F.
Werke [Kehrbach] (Langensalza, 1890), Bd. 5, p. 105.
[231]. [In mathematics] we behold the conscious logical activity of the human mind in its purest and most perfect form. Here we learn to realize the laborious nature of the process, the great care with which it must proceed, the accuracy which is necessary to determine the exact extent of the general propositions arrived at, the difficulty of forming and comprehending abstract concepts; but here we learn also to place confidence in the certainty, scope and fruitfulness of such intellectual activity.—Helmholtz, H.
Ueber das Verhältniss der Naturwissenschaften zur Gesammtheit der Wissenschaft, Vorträge und Reden, Bd. 1 (1896), p. 176.
[232]. It is true that mathematics, owing to the fact that its whole content is built up by means of purely logical deduction from a small number of universally comprehended principles, has not unfittingly been designated as the science of the self-evident [Selbstverständlichen]. Experience however, shows that for the majority of the cultured, even of scientists, mathematics remains the science of the incomprehensible [Unverständlichen].—Pringsheim, Alfred.
Ueber Wert und angeblichen Unwert der Mathematik, Jahresbericht der Deutschen Mathematiker Vereinigung (1904), p. 357.
[233]. Mathematical reasoning is deductive in the sense that it is based upon definitions which, as far as the validity of the reasoning is concerned (apart from any existential import), needs only the test of self-consistency. Thus no external verification of definitions is required in mathematics, as long as it is considered merely as mathematics.—Whitehead, A. N.
Universal Algebra (Cambridge, 1898), Preface, p. vi.
[234]. The mathematician pays not the least regard either to testimony or conjecture, but deduces everything by demonstrative reasoning, from his definitions and axioms. Indeed, whatever is built upon conjecture, is improperly called science; for conjecture may beget opinion, but cannot produce knowledge.—Reid, Thomas.