Arick Shao | 邵崇哲 |
What Do Mathematicians Do?So, do you crunch numbers all day? Actually, pure mathematical research is mostly a pen-and-paper (alternately, chalk-and-chalkboard or marker-and-whiteboard) affair. In fact, only a small fraction of the research thought process goes into the numbers one generally thinks of in everyday life, such as the integers or the real numbers. After all, such things are mostly, though not entirely, very well understood. Most of the work involves more interesting and/or abstract objects, such as algebraic structures, topological spaces, graphs, function spaces, differential equations, and so on. (There is, of course, another discussion to be had on why we look at such abstract objects.) Although a fair amount of calculations—"crunching"—must inevitably happen, this is certainly not the focus of research efforts, only the means to a much less boring end. Mathematical Truth and ProofsAt the most basic level, mathematicians are curious people who wish to solve problems and answer questions, like in other disciplines, such as science, philosophy, and religion. For example, one might wonder what the area of the inside of a unit circle is, or whether a given differential equation has a unique solution given certain initial conditions. This is analogous to, say, a scientist asking how a human cell reproduces, or a philosopher inquiring how the moral evaluation of a person should be affected by that person's life circumstances. What separates mathematics from science, philosophy, and other areas of study is how its questions are answered, which in turn determines what kinds of questions can be posed. In science, one cannot simply fabricate any theory and deem it credible. Proposals of a scientific theory must be confirmed repeatedly through experimentation and empirical observations. Analogously, one establishes the credibility of a mathematical claim by "proving it". In this process, one begins with a set of assumptions (the hypotheses) and then deduces additional facts about the system (the conclusions) through formal logical reasoning. This is the fundamental line in mathematics separating a statement of substance from mere hand waving. As a most basic example of proofs, assume two integers \(x\) and \(y\) are even. We might think it is quite obvious by just tinkering around with some small numbers that \(x + y\) is also even, but in order for this "fact" to carry any true mathematical weight, we must prove it, that is, we must deduce this from existing knowledge. To proceed with this process, we can recall from the definition of "evenness" that there are integers \(x^\prime\) and \(y^\prime\) such that \(x = 2 x^\prime\) and \(y = 2 y^\prime\). Recalling from basic algebra the distributive property of real numbers, then \(x + y = 2 x^\prime + 2 y^\prime = 2 (x^\prime + y^\prime)\). Since \(x + y\) is expressed as \(2\) times something, we have deduced that \(x + y\) is also an even number. While the above example may seem overly simple, the problems and proofs encountered in research mathematics are, of course, much more complex and difficult. Proving results often requires a significant amount of intuition and creativity. In many cases, one must either develop new ideas or discover unexpected connections between existing ideas. However, at the end of the day, the basic philosophical idea is the same—one wishes to establish facts about objects of interest and accomplishes this mathematically by proving these facts to be true. (One should also ask why mathematicians insist on proofs, even for simple statements, but that is a separate discussion—see |