Science and Hypothesis

Notes

Book is divided into four parts:

Part 1 - Number and Magnitude (Arithmetic)

Part 2 - Space (Geometry)

Part 3 - Force (Physics)

Part 4 - Nature (Engineering/Physics)

Part 1 - Number and Magnitude

Poincaré begins the book by pointing out the contradictions at the heart of mathematics, and asking a series of challenging questions about why mathematics works, and why we can trust its results.

The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigor which is challenged by none? If on the contrary, all the propositions which it enunciates may be derived in order by the rules of formal logic, how is it that mathematics is not reduced to a gigantic tautology?

- Henri Poincaré, Science and Hypothesis (p. 1)

Poincaré spends Part 1 trying to resolve the tension between, on the one hand, the need to resort to direct experience, while on the other hand, the need to exclude an appeal to the senses to prove things. The way he resolves it is by introducing inductive (or what he calls "recursive") logic, and the technique of proof by induction. He says that this provides an entirely separate, third method of proving statements, one that is not simply substituting definitions but that genuinely leads to novel insight.

(Note that the book covers induction, but in a rather informal way. But we should keep in mind this lack of formality was not a product of the time in which it was written, or due to a lack of appreciation of the importance of rigor - the lack of formality is because Poincaré was writing this book for the layperson.)

Poincaré begins the discussion by sweeping much of mathematics off the table, so that he can focus on the most fundamental operations, concepts, and definitions. Accordingly, he starts with arithmetic, and starts with the "trivial" problem of proving that 2 + 2 = 4.