Discrete Mathematics: Chapter 3, Mathematical Induction and Peano Arithmetic
Document Type
Book Chapter
Publication Date
1-2016
Department
Mathematics, Statistics, and Computer Science
Keywords
induction, arithmetic, Giuseppe Peano, proof, logic, numbers
Abstract
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 definitions. This connects up with ideas that are central in computer science, too. As we proceed, we will briefly 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.
Recommended Citation
Jongsma, C. (2016). Discrete Mathematics: Chapter 3, Mathematical Induction and Peano Arithmetic. Retrieved from https://digitalcollections.dordt.edu/faculty_work/431
Comments
This material is no longer available for download. A revised, improved version is now available as a chapter of Introduction to Discrete Mathematics via Logic and Proof (see https://www.springer.com/us/book/9783030253578), published by Springer as part of their Undergraduate Texts in Mathematics series.