Legendary Quotes (1 quote)
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.
From 'Les Mathématiques et la Logique', Science et Méthode (1908, 1920), Livre 2, Chap. 3, Sec. 2, 157. English as in Henri Poincaré and George Bruce Halsted (trans.), 'Mathematics and Logic', Science and Method collected in The Foundations of Science: Science and Hypothesis, The Value of Science, Science and Method (1913), 451. From the French, “Ainsi, c’est bien entendu, pour démontrer un théorème, il n’est pas nécessaire ni même utile de savoir ce qu’il veut dire. On pourrait remplacer le géomètre par le piano à raisonner imaginé par Stanley Jevons; ou, si l’on aime mieux, on pourrait imaginer une machine où l’on introduirait les axiomes par un bout pendant qu’on recueillerait les théorèmes à l’autre bout, comme cette machine légendaire de Chicago où les porcs entrent vivants et d’où ils sortent transformés en jambons et en saucisses. Pas plus que ces machines, le mathématicien n’a besoin de comprendre ce qu’il fait”.