"When a mathematician asks himself why some result should hold, the answer he seeks is some intuitive understanding. In fact, a rigorous proof means nothing to him if the result doesn’t make sense intuitively." (Morris Kline, "Mathematics: The Loss of Certainty", 1980)
"Rigorous proofs are the hallmark of mathematics, they are an essential part of mathematics’ contribution to general culture." (George Polya,"Mathematical Discovery", 1981)
"It's difficult to be rigorous about whether a machine really 'knows', 'thinks', etc., because we're hard put to define these things. We understand human mental processes only slightly better than a fish understands swimming. (John McCarthy, "The Little Thoughts of Thinking Machines", Psychology Today, 1983)
"[…] how completely inadequate it is to limit the history of mathematics to the history of what has been formalized and made rigorous. The unrigorous and the contradictory play important parts in this history." (Philip J Davis & Rueben Hersh, "The Mathematical Experience", 1985)
"We who are heirs to three recent centuries of scientific development can hardly imagine a state of mind in which many mathematical objects were regarded as symbols of spiritual truths or episodes in sacred history. Yet, unless we make this effort of imagination, a fraction of the history of mathematics is incomprehensible." (Philip J Davis & Rueben Hersh, "The Mathematical Experience", 1985)
"Mathematical rigor is the clarification of the reasoning used in mathematics. Usually, mathematics first arises in some particular situation, and as the demand for rigor becomes apparent more careful definitions of what is being reasoned about are required, and a closer examination of the numerous 'hidden assumptions' is made." (Richard W Hamming, "Methods of Mathematics Applied to Calculus, Probability, and Statistics", 1985)
"Science has become a social method of inquiring into natural phenomena, making intuitive and systematic explorations of laws which are formulated by observing nature, and then rigorously testing their accuracy in the form of predictions. The results are then stored as written or mathematical records which are copied and disseminated to others, both within and beyond any given generation. As a sort of synergetic, rigorously regulated group perception, the collective enterprise of science far transcends the activity within an individual brain." (Lynn Margulis & Dorion Sagan, "Microcosmos", 1986)
"A great many problems are easier to solve rigorously if you know in advance what the answer is." (Ian Stewart, "From Here to Infinity", 1987)
"The most abstract conservation laws of physics come into their being in describing equilibrium in the most extreme conditions. They are the most rigorous conservation laws, the last to break down. The more extreme the conditions, the fewer the conserved structures. [...] In a deep sense, we understand the interior of the sun better that the interior of the earth, and the early stages of the big bang best of all." (Frank Wilczek, "Longing for the Harmonies: Themes and Variations from Modern Physics", 1987)
"Mathematics is not arithmetic. Though mathematics may have arisen from the practices of counting and measuring it really deals with logical reasoning in which theorems - general and specific statements - can be deduced from the starting assumptions. It is, perhaps, the purest and most rigorous of intellectual activities, and is often thought of as queen of the sciences." (Sir Erik C Zeeman,"Private Games", 1988)
"However, mathematics is not and cannot be anything more than a tool, and all my work rests on the conviction that, in its use, the only two really fruitful stages in the scientific approach are, firstly, a thorough examination of the initial hypotheses; and secondly, a discussion of the meaning and empirical relevance of the results obtained. What remains is but tautological calculation, which is of interest only to the mathematician, and the mathematical rigour of the reasoning can never justify a theory based on postulates if these postulates do not correspond to the true nature of the observed phenomena." (Maurice Allais, "An Outline of My Main Contributions to Economic Science", [Noble lecture] 1988)
[…] the chain of possible combinations of the encounter can be studied as such, as an order which subsists in its rigor, independently of all subjectivity. Through cybernetics, the symbol is embodied in the apparatus - with which it is not to be confused, the apparatus being just its support. And it is embodied in it in a literally trans-subjective way. (Jacques Lacan, 1988)
"Mathematics is not arithmetic. Though mathematics may have arisen from the practices of counting and measuring it really deals with logical reasoning in which theorems - general and specific statements - can be deduced from the starting assumptions. It is, perhaps, the purest and most rigorous of intellectual activities, and is often thought of as queen of the sciences." (Sir Erik C Zeeman, "Private Games", 1988)
No comments:
Post a Comment