“It is an unfortunate fact that proofs can be very misleading. Proofs exist to establish once and for all, according to very high standards, that certain mathematical statements are irrefutable facts. What is unfortunate about this is that a proof, in spite of the fact that it is perfectly correct, does not in any way have to be enlightening. Thus, mathematicians, and mathematics students, are faced with two problems: the generation of proofs, and the generation of internal enlightenment. To understand a theorem requires enlightenment. If one has enlightenment, one knows in one's soul why a particular theorem must be true.”
Herbert S. Gaskill“It is an unfortunate fact that proofs can be very misleading. Proofs exist to establish once and for all, according to very high standards, that certain mathematical statements are irrefutable facts. What is unfortunate about this is that a proof, in spite of the fact that it is perfectly correct, does not in any way have to be enlightening. Thus, mathematicians, and mathematics students, are faced with two problems: the generation of proofs, and the generation of internal enlightenment. To understand a theorem requires enlightenment. If one has enlightenment, one knows in one's soul why a particular theorem must be true.”
Herbert S. Gaskill, Foundations of Analysis: The Theory of Limits“One can be enlightened about proofs as well as theorems. Without enlightenment, one is merely reduced to memorizing proofs. With enlightenment about a proof, its flow becomes clear and it can become an item of astonishing beauty. In addition, the need to memorize disappears because the proof has become part of your soul.”
Herbert S. Gaskill, Foundations of Analysis: The Theory of Limits