Synthesized answer
Poincaré posits a fundamental paradox regarding mathematical science. One possibility is that mathematics is merely deductive, meaning all its propositions can be derived through formal logic. However, if this were true, mathematics would be reduced to a "gigantic tautology" where nothing essentially new is learned, as the syllogism can only restate what is already known [1]. This challenges the notion of mathematics as a creative science, as it would merely be an indirect way of stating that "A is A" [1].
The other contradictory possibility is that mathematical science is not purely deductive. If it were only deductive in appearance, then the source of its "perfect rigour" would be questioned [1]. This suggests that mathematics possesses a "creative virtue" distinct from the syllogism [2]. If mathematics is not analytical, it would seem to proceed from the particular to the general, which is not deductive. The passages do not explicitly explain why each of these possibilities, on its own, invalidates the true nature of mathematics beyond the implications of tautology or a lack of rigor.
Synthesized from the book passages below. Chat with the book on Feynman for follow-up.
From the book
← Introduction Science and Hypothesis by Henri Poincaré , translated by William John Greenstreet Part I: Number and Magnitude Chapter 2 → 1534025 Science and Hypothesis — Part I: Number and Magnitude William John Greenstreet Henri Poincaré SCIENCE AND HYPOTHESIS. PART I. NUMBER AND MAGNITUDE. CHAPTER I. ON THE NATURE OF MATHEMATICAL REASONING. I. The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigour which is challenged by none? If, on the contrary, all the propositions which…
ould we not therefore have reason for asking if the syllogistic apparatus serves only to disguise what we have borrowed? The contradiction will strike us the more if we open any book on mathematics; on every page the author announces his intention of generalising some proposition already known. Does the mathematical method proceed from the particular to the general, and, if so, how can it be called deductive? Finally, if the science of number were merely analytical, or could be analytically derived from a few synthetic intuitions, it seems that a sufficiently powerful mind could with a…
one or other of two purely conventional definitions, and we have verified their identity; nothing new has been learned. Verification differs from proof precisely because it is analytical, and because it leads to nothing. It leads to nothing because the conclusion is nothing but the premisses translated into another language. A real proof, on the other hand, is fruitful, because the conclusion is in a sense more general than the premisses. The equality 2 + 2 = 4 can be verified because it is particular. Each individual enunciation in mathematics may be always verified in the same way. But if…
e task is not without difficulty; it is not enough to open a book at random and to analyse any proof we may come across. First of all, geometry must be excluded, or the question becomes complicated by difficult problems relating to the rôle of the postulates, the nature and the origin of the idea of space. For analogous reasons we cannot avail ourselves of the infinitesimal calculus. We must seek mathematical thought where it has remained pure— i.e. , in Arithmetic. But we still have to choose; in the higher parts of the theory of numbers the primitive mathematical ideas have already…
tains as particular cases all the majors. This unending series of syllogisms is thus reduced to a phrase of a few lines. It is now easy to understand why every particular consequence of a theorem may, as I have above explained, be verified by purely analytical processes. If, instead of proving that our theorem is true for all numbers, we only wish to show that it is true for the number 6 for instance, it will be enough to establish the first five syllogisms in our cascade. We shall require 9 if we wish to prove it for the number 10; for a greater number we shall require more still; but…
More questions about this book
- What does Poincaré mean by suggesting that if mathematics relies solely on formal logic, it would be "reduced to a gigantic tautology"? Provide an example to illustrate how this perspective would strip mathematical theorems of their perceived novelty and insight.
- Poincaré dismisses classifying axioms as "à priori synthetic views" as "no solution of the difficulty." Why does he consider this merely "giving it a name," and how does this critique reinforce his argument about the limitations of syllogistic reasoning?
- "The syllogism can teach us nothing essentially new," Poincaré declares. If this is true, what specific aspects of mathematical activity or discovery does this statement challenge, and how might one begin to explain the generation of genuinely new mathematical knowledge?
- If pure deduction cannot yield new knowledge, and merely naming axioms doesn't solve the problem, what *alternative* mechanisms or sources of mathematical truth might Poincaré be implicitly seeking to reconcile both the undeniable rigor and the perceived innovation within mathematics?