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.

Comments

  • From Discrete Mathematics: An Integrated Approach, a self-published textbook for use in Math 212
  • © 2016 Calvin Jongsma

Creative Commons License

Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.

Share

COinS