More generally you cannot rigorously prove that for all integers n > 0, P(n) → P(n+1) if it is not true, and in particular if P(1) does not imply P(2).
Sorry, I can’t figure out what you mean here. Of course you can’t rigorously prove something that’s not true.
I have a feeling that our conversation boils down to the following:
Me: There exists a case where induction fails at n=2.
You: For all cases, if induction doesn’t fail at n=2, doesn’t mean induction doesn’t fail. Conversely, if induction fails, it doesn’t mean it fails at n=2. You have to carefully look at why and where it fails instead of defaulting to “it works at n=2, therefore it works.”
Is that correct, or am I misinterpreting?
Anyways, let’s suppose you’re making a valid point. Do you think that my interlocutors were arguing this very point? Or do you think they were arguing to put me back in my place, like TheOtherDave suggests, or that there was a similar human issue that had nothing to do with the actual argument?
To butt in, I doubt your interlocutors were attempting to argue this point; they seem like they were having more fundamental issues. But your original argument does seem to be a bit confused.
Induction fails here because the inductive step fails at n=2. The inductive step happens to be true for n>2, but it is not true in general, hence the induction is invalid. The point is, rather than “you have to check n=2” or something similar, all that’s going on here is that you have to check that your inductive step is actually valid. Which here means checking that you didn’t sneak in any assumptions about n being sufficiently large. What’s missing is not additional parts to the induction beyond base case and inductive step, what’s missing is part of the proof of the inductive step.
Of course you can’t rigorously prove something that’s not true.
Your hindsight is accurate, but more than just recognizing the claim as true when presented to you, I am trying to get you to take it seriously and actively make use of it, by trying to rigorously prove things rather than produce sloppy verbal arguments that feel like a proof, which is possible to do for things that aren’t true.
For all cases, if induction doesn’t fail at n=2, doesn’t mean induction doesn’t fail. Conversely, if induction fails, it doesn’t mean it fails at n=2. You have to carefully look at why and where it fails instead of defaulting to “it works at n=2, therefore it works.”
This is accurate, and related, but not the entire point. Distinguish between a proof by mathematical induction and the process of attempting to produce a proof by mathematical induction. One possible result of attempting to produce a proof is a proof. Another possible result is the identification of some difficulty in the proof that is the basis of an insight that induction isn’t the right approach or, as in the colored horses examples, that the thing you are trying to prove is not actually true.
The point is that if you are properly attempting to produce a proof, which includes noticing difficulties that imply that the claim you are trying to prove is not actually true, you will either produce a valid proof or identify why your approach fails to provide a proof.
Do you think that my interlocutors were arguing this very point? Or do you think they were arguing to put me back in my place, like TheOtherDave suggests, or that there was a similar human issue that had nothing to do with the actual argument?
No, your interlocutors were not arguing this point. Their performance, as reported by you, was horribly irrational. But you should apply as much scrutiny to your own beliefs and arguments as to your interlocutors.
Sorry, I can’t figure out what you mean here. Of course you can’t rigorously prove something that’s not true.
I have a feeling that our conversation boils down to the following:
Me: There exists a case where induction fails at n=2.
You: For all cases, if induction doesn’t fail at n=2, doesn’t mean induction doesn’t fail. Conversely, if induction fails, it doesn’t mean it fails at n=2. You have to carefully look at why and where it fails instead of defaulting to “it works at n=2, therefore it works.”
Is that correct, or am I misinterpreting?
Anyways, let’s suppose you’re making a valid point. Do you think that my interlocutors were arguing this very point? Or do you think they were arguing to put me back in my place, like TheOtherDave suggests, or that there was a similar human issue that had nothing to do with the actual argument?
To butt in, I doubt your interlocutors were attempting to argue this point; they seem like they were having more fundamental issues. But your original argument does seem to be a bit confused.
Induction fails here because the inductive step fails at n=2. The inductive step happens to be true for n>2, but it is not true in general, hence the induction is invalid. The point is, rather than “you have to check n=2” or something similar, all that’s going on here is that you have to check that your inductive step is actually valid. Which here means checking that you didn’t sneak in any assumptions about n being sufficiently large. What’s missing is not additional parts to the induction beyond base case and inductive step, what’s missing is part of the proof of the inductive step.
Your hindsight is accurate, but more than just recognizing the claim as true when presented to you, I am trying to get you to take it seriously and actively make use of it, by trying to rigorously prove things rather than produce sloppy verbal arguments that feel like a proof, which is possible to do for things that aren’t true.
This is accurate, and related, but not the entire point. Distinguish between a proof by mathematical induction and the process of attempting to produce a proof by mathematical induction. One possible result of attempting to produce a proof is a proof. Another possible result is the identification of some difficulty in the proof that is the basis of an insight that induction isn’t the right approach or, as in the colored horses examples, that the thing you are trying to prove is not actually true.
The point is that if you are properly attempting to produce a proof, which includes noticing difficulties that imply that the claim you are trying to prove is not actually true, you will either produce a valid proof or identify why your approach fails to provide a proof.
No, your interlocutors were not arguing this point. Their performance, as reported by you, was horribly irrational. But you should apply as much scrutiny to your own beliefs and arguments as to your interlocutors.