2.6. Some Notes on Proofs and Abstraction 37 limx→a c = c for all constants c, and your recursive definition from Exercise 2.5.13, prove that every rational function is continuous on its entire domain. Exercise 2.5.19. Using the recursive definition of addition from the previous section (a(0, 0) = 0 a(m+1,n) = a(m, n+1) = a(m, n)+1), prove that addition is commutative (i.e., for all m and n, a(m, n) = a(n, m)). 2.6. Some Notes on Proofs and Abstraction 2.6.1. Definitions. Definitions in mathematics are somewhat dif- ferent from definitions in English. In natural language, the definition of a word is determined by the usage and may evolve. For example, “broadcasting” was originally just a way of sowing seed. Someone used it by analogy to mean spreading messages widely, and then it was adopted for radio and TV. For present-day speakers of English I doubt the original meaning is ever the first to come to mind. In contrast, in mathematics we begin with the definition and assign a term to it as a shorthand. That term then denotes exactly the objects that fulfill the terms of the definition. To say something is “by definition impossible” has a rigorous meaning in mathematics: if it contradicts any of the properties of the definition, it cannot hold of an object to which we apply the term. Mathematical definitions do not have the fluidity of natural lan- guage definitions. Sometimes mathematical terms are used to mean more than one thing, but that is a re-use of the term and not an evolution of the definition. Furthermore, mathematicians dislike that because it leads to ambiguity (exactly what is meant by this term in this context?), which defeats the purpose of mathematical terms in the first place: to serve as shorthand for specific lists of properties. 2.6.2. Proofs. There is no way to learn how to write proofs without actually writing them, but I hope you will refer back to this section from time to time. There are also a number of books available about learning to write proofs and solve mathematical problems that you can turn to for more thorough advice.
Previous Page Next Page