Talk:Principle of Mathematical Induction

I added this page and Second Principle of Mathematical Induction to the Proofs by Induction category. Seeing as they are the basis for the proofs in that category, I thought it made sense. However, I did not add Principle of Finite Induction or Second Principle of Finite Induction to this category. I don't know what other people think would make sense for these in terms of category assignments. --cynic 20:12, 30 September 2008 (UTC)

I'd have no problems with Finite Induction going in there as well.

The "Mathematical Induction" ones are at a "higher level" than the "finite induction" ones (in the computer programming sense), in that they're more user friendly from the point of view of using them in proofs. The "finite induction" ones are there mainly because they need to be proved first before the "mathematical induction" ones can be validated. --Matt Westwood 20:56, 30 September 2008 (UTC)

Okay, done. --cynic 23:17, 30 September 2008 (UTC)

Re-evaluating categories
We now have enough different induction principles that I would suggest a separate category of induction principles, perhaps as a subcategory of proof techniques. Perhaps this page could expand to index the second, third, whatever principle of induction, transfinite induction, well-ordered induction, well-founded induction, etc., etc.


 * Perhaps this page stays as it is, because there are lots of pages that link to this. Changing this one now will cause all sorts of stuff to break.


 * This page is standalone and needs no expansion. We don't do it like that on this website anyway. Before major grandiose structural architecture work, get to know how the rest of the site fits together, and that means: start small. Suggest you work on an area of mathematics you understand well (you seem to be seriously bogged down in class-theory axiomatics, some of the pages you've made repeated false starts on and don't seem to have a clue what your strategy is for whatever your goal is. etc. etc.), preferably an area for which you have a reliable text book (preferably more than one) that you understand. Otherwise the integrity of this site will suffer. --prime mover (talk) 00:44, 30 December 2012 (UTC)

Induction
The framework for induction here is very heavy. Thinking about it, I think the problem is the "inductive hypothesis" section. Unlike the other two sections, it is not itself a proof at all, although the format suggests it to be a lemma like the others. Identifying/naming the inductive hypothesis explicitly may be common in the first few exercises of some texts using it, but it's not actually a logically element of the proof. All you need, logically, to prove that $P(n)$ holds for each natural $n$ is to prove that $P(0)$ holds and that $\forall n \in \N_n: \bigl({ P(n) \implies P(n+1) }\bigr)$. The key to clarity, I believe, is to make sure there can be no confusion over the identities of $P$ and $n$. --Dfeuer (talk) 17:40, 8 March 2013 (UTC)


 * BLARGH. Someone (me) needs to look in some good texts that do a lot of induction and figure out exactly what it is that they do to avoid so much boilerplate. --Dfeuer (talk) 17:54, 8 March 2013 (UTC)


 * Absolutely nothing wrong with the way we present induction proofs. --prime mover (talk) 19:11, 8 March 2013 (UTC)


 * Brevity is the soul of wit. --William Shakespeare 1602


 * This site exists to give proofs with maximal rigour -- L_F, 2011. --prime mover (talk) 19:50, 8 March 2013 (UTC)


 * This is not about rigor; it's about language, and how best to express a rigorous proof.
 * I'm trying to ameliorate the problem expressed backwards in the improve template on Banach Fixed-Point Theorem. If we find more concise ways to express "full-blown induction proofs", we'll be able to use them more liberally.


 * The general form is:
 * Prove $P(n_0)$
 * Prove $P(n) \implies P(n+1)$ (or $P(n) \vdash P(n+1)$)
 * Invoke the principle of mathematical induction


 * In a tableau proof, you'd have a single line devoted to induction. The form on this page uses three subsections I believe a compromise would improve matters. --Dfeuer (talk) 20:09, 8 March 2013 (UTC)


 * I am trying to understand the source of your negative energy.


 * The usual reaction to meeting this website is: oh, cool, there's stuff on here I use at college. Oh look, there's some gaps I can fill. What's the house rules? Help out with getting my head round the presentation issues, guys.


 * Your reaction seems to be: what this website needs is to be completely rewritten to have my own personality stamped all over it.


 * As I do not share that point of view, I am afraid that any attempts you raise to change the way we do things just for the sake of changing them will be resisted by me. I fear I may not be alone in this.


 * If, of course, it is decided to follow the new style according to your suggestions, then until you, personally, have changed all the pages using induction to match the style you espouse, then every single edit that you perform from here on in will be deleted or reverted. It's a way of saying: don't hand out the work if you're not prepared to do some of it yourself. --prime mover (talk) 20:17, 8 March 2013 (UTC)


 * I am not suggesting they should all be changed. I am suggesting that more than one form can be used, depending on which is more suitable to the specific context. We have formal and informal proofs. We have proofs using text interspersed with equations and proofs using Template:Eqn. I just want to find a more concise option and make it available. --Dfeuer (talk) 20:22, 8 March 2013 (UTC)


 * Incidentally, why is this being discussed on L_F's page? I've moved it here instead. --prime mover (talk) 20:24, 8 March 2013 (UTC)


 * There's nothing to stop you writing an induction proof any which way you like. But as the lady said: are you gonna just talk about it all night? --prime mover (talk) 20:26, 8 March 2013 (UTC)


 * It indeed makes more sense (and is more visible) to discuss this here. @Dfeuer: Let me tell you a secret about PM. He likes for an idea to be put into action (in this case I personally suggest user space) rather than only being talked about. This also is much more likely to uncover any incompatibility in presuppositions between authors, thus reducing the probability of conflicts. This way of presenting ideas shows the reader both that the proposer has thought his idea through sufficiently as to implement it in some concrete situation, and makes it much easier to provide constructive criticism. Suggest you adhere (note to self: adhere yourself as well). &mdash; Lord_Farin (talk) 22:16, 8 March 2013 (UTC)


 * Not 100% accurate. I have little patience with amendments to already established work just for the sake of it. I don't like ill-thought-through half-hearted attempts to refactor. I'm not too happy with monkey-see-monkey-do copying of a stylistic technique which is ill-suited to the application it is being used for. And I utterly despise lectures on how I am wrong because my work runs counter to a particular style or alternative definition, particularly when accompanied by a comment in the sort of language that I thought I had left behind me in grade school.


 * So, now we know where we stand, OK? --prime mover (talk) 23:03, 8 March 2013 (UTC)

Alternative form
Given the Existence of Minimal Infinite Successor Set, the form of the Principle of Mathematical Induction that Halmos states (in quantified form) is

$\forall S\in\mathcal{P}(\omega)\,(\varnothing\in S \wedge \forall n\in S(n^+\in S) \Rightarrow S=\omega)$

is a consequence of $\omega$'s existence, its minimality property, and Equality of Sets. I think its more immediate why the PMI applies to $\omega$ than to a Peano structure, as $\omega$'s existence has been demonstrated. Should we add this form? --Robertbiggs34 (talk) 21:16, 27 May 2013 (UTC)