Alive Quote by Henri Poincare
“Thus, be it understood, to demonstrate a theorem, it is neither necessary nor even advantageous to know what it means. The geometer might be replaced by the "logic piano" imagined by Stanley Jevons; or, if you choose, a machine might be imagined where the assumptions were put in at one end, while the theorems came out at the other, like the legendary Chicago machine where the pigs go in alive and come out transformed into hams and sausages. No more than these machines need the mathematician know what he does.”
About This Quote
Source Lecture: The Nature of Mathematics, 1908
Mathematical proof can be automated; understanding the meaning isn’t required for verification.
In simple terms: Proofs can be done by machines without grasping meaning.
Key Takeaway
Focus on logical structure, not intuition.
Themes
mathematics
automation
philosophy
Mood
analytical
skeptical
Type
philosophical
technical
When to use this quote
- academic research
- software verification
- automated theorem proving
Key Concepts
logic
formal systems
computational proof
Questions to Reflect On
- Can machines replace human intuition in mathematics?
- What are the risks of over‑reliance on automation?
A Different Perspective
Machines lack creativity and insight, limiting deep discovery.
![“In 1975, ... [speaking with Shiing Shen Chern], I told him I had finally learned ... the beauty of fiber-bundle theory and the profound Chern-Weil theorem. I said I found it amazing that gauge fields are exactly connections on fiber bundles, which the mathematicians developed without reference to…” quote by Chen-Ning Yang](https://sms4smile.com/quotes/img-quotes/106/chen-ning-yang-73190_beautiful_in-1975-speaking-with-shiing-shen-chern_129052.jpg)
