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.

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.

This document is currently not available here.

Share

COinS