Mathematics, Statistics, and Computer Science
induction, arithmetic, Giuseppe Peano, proof, logic, numbers
In this chapter we will study one more very important proof technique along with some variants, and we will consider their counterparts for making mathematical deﬁnitions. This connects up with ideas that are central in computer science, too. As we proceed, we will brieﬂy pause to look at how arithmetic can be treated as a deductive theory. This material will give us a good basis for working with natural numbers later in the text.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
Jongsma, Calvin, "Discrete Mathematics: Chapter 3, Mathematical Induction and Peano Arithmetic" (2016). Faculty Work Comprehensive List. 431.