23 April 2022

On Rigor (1970-1979)

"The real problem which confronts mathematics is not that of rigour, but the problem of the development of ‘meaning’, of the ‘existence’of mathematical objects.'' (René F Thom, "Modern mathematics, does it exist?", 1972)

"Early scientific thinking was holistic, but speculative - the modern scientific temper reacted by being empirical, but atomistic. Neither is free from error, the former because it replaces factual inquiry with faith and insight, and the latter because it sacrifices coherence at the altar of facticity. We witness today another shift in ways of thinking: the shift toward rigorous but holistic theories. This means thinking in terms of facts and events in the context of wholes, forming integrated sets with their own properties and relationships." (Ervin László, "Introduction to Systems Philosophy", 1972)

"The fact that we have to consider more refined explanations - namely, those of science - to predict the change of phenomena shows that the determinism of the change of forms is not rigorous, and that the same local situation can give birth to apparently different outcomes under the influence of unknown or unobservable factors." (René F Thom, "Structural Stability and Morphogenesis", 1972)

"Heuristic reasoning is good in itself. What is bad is to mix up heuristic reasoning with rigorous proof. What is worse is to sell heuristic reasoning for rigorous proof." (George Pólya, "How to Solve It", 1973)

"In mathematics the problem of the essence of proof has been thoroughly worked out and every mathematician must master the methods of demonstrative reasoning. Appropriate rules have been established for this purpose. These rules and the concepts of rigour and exactitude of reasoning vary from century to century, and at the present time every mathematician knows the level of rigour of modern mathematics." (Yakov Khurgin, "Did You Say Mathematics?", 1974)

"Mathematics is the sole avenue for learning how to reason via proof. On the other hand, one must also learn how to conjecture.[…] In a rigorous case of demonstrative reasoning, the main thing is to be able to distinguish proof from conjecture, justified proof from an unjustified attempt." (Yakov Khurgin, "Did You Say Mathematics?", 1974)

"[…] when a mathematician demands rigorously logical proof about any assertion, he does so not for his own pleasure but to verify the facts, which might easily appear to us to be obvious but which, when verified, prove to lie erroneous." (Yakov Khurgin, "Did You Say Mathematics?", 1974)

"Many pages have been expended on polemics in favor of rigor over intuition, or of intuition over rigor. Both extremes miss the point: the power of mathematics lies precisely in the combination of intuition and rigor." (Ian Stewart, "Concepts of Modern Mathematics", 1975)

"[…] the distinction between rigorous thinking and more vague ‘imaginings’; even in mathematics itself, all is not a question of rigor, but rather, at the start, of reasoned intuition and imagination, and, also, repeated guessing. After all, most thinking is a synthesis or juxtaposition of advances along a line of syllogisms - perhaps in a continuous and persistent ‘forward'’ movement, with searching, so to speak ‘sideways’, in directions which are not necessarily present from the very beginning and which I describe as ‘sending out exploratory patrols’ and trying alternative routes." (Stanislaw M Ulam,"Adventures of a Mathematician", 1976)

No comments:

Post a Comment

Related Posts Plugin for WordPress, Blogger...

On Data: Longitudinal Data

  "Longitudinal data sets are comprised of repeated observations of an outcome and a set of covariates for each of many subjects. One o...