Or, at least, that’s what this blog post at Science and Math Defeated aims to do. Normally, I avoid writing on such a topic but I think the following example could be instructive to a few people, at least, in learning how not to infer from mathematical induction. The author of that blog post sets to “disprove” the foundation of Calculus by showing that the “assumption” leads to a contradiction (which I am sure most of you have seen before.) And this is supposed to be achieved through the use of Mathematical Induction.
Let be the statement for all and .
Claim: is true for all .
Proof: , and so, is true. This takes care of the base case. Now assume is true for some , where . Now, it is easy to show that is true as well (I just skipped some details!). Hence, holds. This takes care of the induction step. (Note that is shown to be true independent of !) And, this proves our claim.
(Erroneous) Conclusion: Hence, .
Notwithstanding the inductive proof (which is correct) above, why is the above conclusion wrong?
Ans. Because “infinity” is not a member of .
(Watch out for Todd’s next post in the ETCS series!)