"Theoretical physicists are like pure mathematicians, in that they are often interested in the hypothetical behaviour of entirely imaginary objects, such as parallel universes, or particles traveling faster than light, whose actual existence is not being seriously proposed at all." (John Ziman," Real Science: What it Is, and what it Means", 2000)
"What does a rigorous proof consist of? The word ‘proof’ has a different meaning in different intellectual pursuits. A ‘proof’ in biology might consist of experimental data confirming a certain hypothesis; a ‘proof’ in sociology or psychology might consist of the results of a survey. What is common to all forms of proof is that they are arguments that convince experienced practitioners of the given field. So too for mathematical proofs. Such proofs are, ultimately, convincing arguments that show that the desired conclusions follow logically from the given hypotheses." (Ethan Bloch, "Proofs and Fundamentals", 2000)
"Given a conjecture, the best thing is to prove it. The
second best thing is to disprove it. The third best thing is to prove that it
is not possible to disprove it, since it will tell you not to waste your time
trying to disprove it. That's what Godel did for the Continuum Hypothesis." (Saharon
Shelah, [Rutgers University Colloquium] 2001)
"[Primes] are full of surprises and very mysterious […]. They are like things you can touch […] In mathematics most things are abstract, but I have some feeling that I can touch the primes, as if they are made of a really physical material. To me, the integers as a whole are like physical particles." (Yoichi Motohashi, "The Riemann Hypothesis: The Greatest Unsolved Problem in Mathematics", 2002)
"Eliciting and mapping the participant's mental models, while necessary, is far from sufficient [...] the result of the elicitation and mapping process is never more than a set of causal attributions, initial hypotheses about the structure of a system, which must then be tested. Simulation is the only practical way to test these models. The complexity of the cognitive maps produced in an elicitation workshop vastly exceeds our capacity to understand their implications. Qualitative maps are simply too ambiguous and too difficult to simulate mentally to provide much useful information on the adequacy of the model structure or guidance about the future development of the system or the effects of policies." (John D Sterman, "Learning in and about complex systems", Systems Thinking Vol. 3 2003)
"Any physical theory is always provisional, in the sense that it is only a hypothesis: you can never prove it. No matter how many times the results of experiments agree with some theory, you can never be sure that the next time the result will not contradict the theory." (Stephen Hawking, "A Briefer History of Time: The Science Classic Made More Accessible", 2007)
"In mathematics, it’s the limitations of a reasoned argument with the tools you have available, and with magic it’s to use your tools and sleight of hand to bring about a certain effect without the audience knowing what you’re doing. [...]When you’re inventing a trick, it’s always possible to have an elephant walk on stage, and while the elephant is in front of you, sneak something under your coat, but that’s not a good trick. Similarly with mathematical proof, it is always possible to bring out the big guns, but then you lose elegance, or your conclusions aren’t very different from your hypotheses, and it’s not a very interesting theorem." (Persi Diaconis, 2008)
No comments:
Post a Comment