Many mathematicians followed his lead and set a series of questions of the sort. They so familiarized themselves with transfinite numbers that they have come to make the theory of finite numbers depend upon that of Cantor's cardinal numbers. In their eyes, to teach arithmetic in a way truly logical, one should begin by establishing the general properties of transfinite cardinal numbers, then distinguish among them a very small class, that of the ordinary whole numbers. Thanks to this détour, one might succeed in proving all the propositions relative to this little class (that is to say all our arithmetic and our algebra) without using any principle foreign to logic. This method is evidently contrary to all sane psychology; it is certainly not in this way that the human mind proceeded in constructing mathematics; so its authors do not dream, I think, of introducing it into secondary teaching. But is it at least logic, or, better, is it correct? It may be doubted.
The geometers who have employed it are however very numerous. They have accumulated formulas and they have thought to free themselves from what was not pure logic by writing memoirs where the formulas no longer alternate with explanatory discourse as in the books of ordinary mathematics, but where this discourse has completely disappeared.
Unfortunately they have reached contradictory results, what are called the cantorian antinomies, to which we shall have occasion to return. These contradictions have not discouraged them and they have tried to modify their rules so as to make those disappear which had already shown themselves, without being sure, for all that, that new ones would not manifest themselves.
It is time to administer justice on these exaggerations. I do not hope to convince them; for they have lived too long in this atmosphere. Besides, when one of their demonstrations has been refuted, we are sure to see it resurrected with insignificant alterations, and some of them have already risen several times from their ashes. Such long ago was the Lernæan hydra with its famous heads which always grew again. Hercules got through, since his hydra had only nine heads, or eleven; but here there are too many, some in England, some in Germany, in Italy, in France, and he would have to give up the struggle. So I appeal only to men of good judgment unprejudiced.
I
In these latter years numerous works have been published on pure mathematics and the philosophy of mathematics, trying to separate and isolate the logical elements of mathematical reasoning. These works have been analyzed and expounded very clearly by M. Couturat in a book entitled: The Principles of Mathematics.
For M. Couturat, the new works, and in particular those of Russell and Peano, have finally settled the controversy, so long pending between Leibnitz and Kant. They have shown that there are no synthetic judgments a priori (Kant's phrase to designate judgments which can neither be demonstrated analytically, nor reduced to identities, nor established experimentally), they have shown that mathematics is entirely reducible to logic and that intuition here plays no rôle.
This is what M. Couturat has set forth in the work just cited; this he says still more explicitly in his Kant jubilee discourse, so that I heard my neighbor whisper: "I well see this is the centenary of Kant's death."
Can we subscribe to this conclusive condemnation? I think not, and I shall try to show why.