Equivalence of Inductive Techniques

Mar 2013
41
0
Ontario
If I wanted to prove that course of values induction and least-number induction were equivalent, how would I go about setting up such a proof?
 
Jul 2005
658
102
My house.
By showing that, for any given statement P(n), the set A where the former holds true and the set B where the latter holds true, are but the same set.
 

HallsofIvy

MHF Helper
Apr 2005
20,249
7,909
What, exactly, are "value induction" and "least number induction"?