Hermann Weyl: "Kami tidak begitu senang ketika kami dipaksa untuk mene...

"Kami tidak begitu senang ketika kami dipaksa untuk menerima kebenaran matematika berdasarkan rantai rumit kesimpulan dan perhitungan formal, yang kami lintasi secara membabi buta, tautan demi tautan, merasakan jalan kami dengan sentuhan. Pertama-tama kami ingin ikhtisar tujuan dan jalan; kami ingin memahami ide buktinya, konteks yang lebih dalam."

--- Hermann Weyl

#Perasaan #Cara #Ingin #Kebenaran #Ide ide #Pertama #Tujuan #Menerima #Rumit #Komputasi #Kebajikan #Matematika #Lebih dalam #Matematika #Rantai #Matematis #Bukti #Kesimpulan #Tautan #Bukti Matematika #Gambaran #Resmi #Melintasi

Versi Bahasa Inggris

We are not very pleased when we are forced to accept a mathematical truth by virtue of a complicated chain of formal conclusions and computations, which we traverse blindly, link by link, feeling our way by touch. We want first an overview of the aim and of the road; we want to understand the idea of the proof, the deeper context.