Henri Poincare: "Dengan demikian, dapat dipahami, untuk menunjukkan te...

"Dengan demikian, dapat dipahami, untuk menunjukkan teorema, tidak perlu atau bahkan tidak menguntungkan untuk mengetahui apa artinya. Geometer mungkin digantikan oleh "piano logika" yang dibayangkan oleh Stanley Jevons; atau, jika Anda memilih, sebuah mesin dapat dibayangkan di mana asumsi diletakkan di satu sisi, sementara teorema keluar di sisi lain, seperti mesin Chicago yang legendaris tempat babi-babi masuk hidup-hidup dan keluar berubah menjadi ham dan sosis. Tidak lebih dari mesin-mesin ini perlu ahli matematika tahu apa yang dia lakukan."

--- Henri Poincare

#Seandainya #Babi #Tahu #Lakukan itu #Berarti #Kebutuhan #Logika #Hidup #Mungkin #Piano #Matematika #Teorema #Mesin #Imajinasi #Berakhir #Matematika #Chicago #Matematis #Ahli matematika #Dimengerti #Berubah #Anda memilih #Legendaris #Sosis #Stanley #Anggapan #Diganti #Ham

Versi Bahasa Inggris

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.