Dr. Karen Adams, Department of Computer Science, Mathematics and Engineering
Monday, February 12th, 2018 At 4:00 PM
Robert C. Byrd Center for Congressional History and Education Auditorium
The Art of Mathematical Induction
Mathematical Induction (MI) is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers n, or otherwise is true of all members of an infinite sequence. The simplest and most common form of MI consists of two steps. The ‘basic’ step shows that the statement holds for n = 1 and is followed by the ‘inductive’ step showing that if the statement holds for n = k for some k ≥ 1, then the statement also holds for n = k + 1. However, this does not mean that proof by MI is purely procedural as will be demonstrated in this talk. Two original proofs using MI will be presented.