(New page: The Principle of Induction: Goal: Collection of statements <math>P_0,P_1...P_i</math> that we want to prove. Idea: Prove <math>P_0</math> explicitly. Design a crank/el...) |
(No difference)
|
Revision as of 15:55, 6 September 2008
The Principle of Induction:
Goal: Collection of statements $ P_0,P_1...P_i $ that we want to prove. Idea: Prove $ P_0 $ explicitly. Design a crank/elevator that proves the following If $ P_i $ is true then $ P_{i+1} $ is also true. Then, induction guarantees that every $ P_i $ is true.