"No more than these machines need the mathematician know what he does"
About this Quote
Henri Poincare, a master of both mathematics and its philosophy, wrote at a time when calculating machines were becoming visible symbols of mechanical reason. The line suggests a stark possibility: if mathematics were nothing more than the manipulation of symbols by fixed rules, then a mathematician need no more understand his actions than a machine understands its cogs and levers. Rule following alone would suffice.
Poincare invokes this image not to endorse it but to set up a contrast. He conceded that parts of mathematics are indeed mechanical. Routine computation, formal derivations, and certain algorithmic steps can be executed without insight. Yet he argued that genuine mathematical work requires something irreducible to procedure: intuition, selection, and a sense of structure. He famously described discovery as involving an unconscious phase in which the mind explores combinations without supervision, followed by a conscious moment of illumination and rigorous verification. During the hidden search, the mathematician does not fully know what he does; but the value of the result depends on a later act of judgment that no machine can supply.
This stance placed him at odds with emerging formalist hopes that all of mathematics could be captured by symbolic rules. Poincare contended that meaning is not a dispensable ornament to syntax. The mathematician chooses fruitful paths, recognizes elegance, and discerns what a proof explains, not just that it concludes. Mechanical procedures may carry us far, but they do not tell us where to go or why a destination matters.
The sentence therefore operates on two levels. It grants that some mathematical actions can be automated and done without understanding, and it warns that reducing mathematics to such actions empties it of its creative core. Today, with computer algebra systems and automated theorem provers, Poincare’s insight still bites: calculation can be delegated; comprehension, insight, and the shaping of concepts remain human responsibilities.
Poincare invokes this image not to endorse it but to set up a contrast. He conceded that parts of mathematics are indeed mechanical. Routine computation, formal derivations, and certain algorithmic steps can be executed without insight. Yet he argued that genuine mathematical work requires something irreducible to procedure: intuition, selection, and a sense of structure. He famously described discovery as involving an unconscious phase in which the mind explores combinations without supervision, followed by a conscious moment of illumination and rigorous verification. During the hidden search, the mathematician does not fully know what he does; but the value of the result depends on a later act of judgment that no machine can supply.
This stance placed him at odds with emerging formalist hopes that all of mathematics could be captured by symbolic rules. Poincare contended that meaning is not a dispensable ornament to syntax. The mathematician chooses fruitful paths, recognizes elegance, and discerns what a proof explains, not just that it concludes. Mechanical procedures may carry us far, but they do not tell us where to go or why a destination matters.
The sentence therefore operates on two levels. It grants that some mathematical actions can be automated and done without understanding, and it warns that reducing mathematics to such actions empties it of its creative core. Today, with computer algebra systems and automated theorem provers, Poincare’s insight still bites: calculation can be delegated; comprehension, insight, and the shaping of concepts remain human responsibilities.
Quote Details
| Topic | Reason & Logic |
|---|
More Quotes by Henri
Add to List
