Synthesized answer
The passages suggest that pure deduction, or syllogistic reasoning, is incapable of generating new knowledge, as it can only reiterate what is already contained within the given axioms [3]. Merely naming axioms does not resolve the issue, as they can be seen as indemonstrable axioms, which are essentially the proposition to be proven in a different form, or experimental facts devoid of mathematical necessity [1, 3].
Instead of relying solely on deduction, Poincaré highlights the "creative virtue" of mathematical reasoning, distinguishing it from the syllogism [2]. He emphasizes the crucial role of "reasoning by recurrence" as an instrument that enables mathematicians to bridge the gap from the finite to the infinite, making general truths conceivable and avoiding endless, impracticable verifications [1, 4]. Furthermore, he posits that geometrical axioms are "conventions" or "definitions in disguise," chosen for their convenience and guided by experimental facts, rather than being synthetic a priori intuitions or experimental facts themselves [5]. The passages do not explicitly detail *all* alternative mechanisms or sources of mathematical truth Poincaré might be seeking beyond…
Synthesized from the book passages below. Chat with the book on Feynman for follow-up.
From the book
ndispensable, for otherwise we should ever be approaching the analytical verification without ever actually reaching it. In this domain of Arithmetic we may think ourselves very far from the infinitesimal analysis, but the idea of mathematical infinity is already playing a preponderating part, and without it there would be no science at all, because there would be nothing general. VI. The views upon which reasoning by recurrence is based may be exhibited in other forms; we may say, for instance, that in any finite collection of different integers there is always one which is smaller than…
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…
direct ways of saying that A is A? No doubt we may refer back to axioms which are at the source of all these reasonings. If it is felt that they cannot be reduced to the principle of contradiction, if we decline to see in them any more than experimental facts which have no part or lot in mathematical necessity, there is still one resource left to us: we may class them among à priori synthetic views. But this is no solution of the difficulty it is merely giving it a name; and even if the nature of the synthetic views had no longer for us any mystery, the contradiction would not have…
at the outset why we cannot conceive of a mind powerful enough to see at a glance the whole body of mathematical truth. The answer is now easy. A chess-player can combine for four or five moves ahead; but, however extraordinary a player he may be, he cannot prepare for more than a finite number of moves. If he applies his faculties to Arithmetic, he cannot conceive its general truths by direct intuition alone; to prove even the smallest theorem he must use reasoning by recurrence, for that is the only instrument which enables us to pass from the finite to the infinite. This instrument is…
he geometrical axioms are therefore neither synthetic à priori intuitions nor experimental facts . They are conventions. Our choice among all possible conventions is guided by experimental facts; but it remains free , and is only limited by the necessity of avoiding every contradiction, and thus it is that postulates may remain rigorously true even when the experimental laws which have determined their adoption are only approximate. In other words, the axioms of geometry (I do not speak of those of arithmetic) are only definitions in disguise . What, then, are we to think of the question: Is…
More questions about this book
- Poincaré posits a fundamental paradox concerning mathematical science. Explain, in your own words, the two contradictory possibilities he presents (deductive rigor vs. gigantic tautology) and why each, on its own, seems to invalidate the true nature of mathematics.
- 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?