3 ms·
I'm not a math wizard, but everything I was taught in all of my calculus classes made me believe that infinity isn't an actual tangible concept outside of the a
by AnkhMorporkian 11y ago
I'm not a math wizard, but everything I was taught in all of my calculus classes made me believe that infinity isn't an actual tangible concept outside of the alephs, and only applicable in limits, which surely follows the rules of induction. Am I missing something here?
- ColinWright 11y agoInduction suffices to show that (oo)^n is countable for every n a natural number, but that does not suffice to show that (oo)^(oo) is countable, because the power is not a natural number. The induction you have only proves the step that if X^n is countable then X^(n+1) is countable. That never proves the case X^(oo) There is a thing called transfinite induction, and there you have to show the separate case that if predicate P holds for all n_i then it holds for the limit. As stated elsewhere you can't do that in this case because it's not true. 2^(oo) is uncountable. > Am I missing something here? Yes. You are forming perfectly reasonable conjectures based on limited experience, but those conjectures turn out to be false when you study the subject in its own right, instead of just those bits you need for the limited version of calculus that you've done. It's a problem I often have when teaching people this stuff that they have only ever dealt with "nice" functions and "easy" situations. I wrote a little about that here: http://www.solipsys.co.uk/new/PokingTheDustyCorners.html?HN_20150427 http://www.solipsys.co.uk/new/PokingTheDustyCorners.html?HN_...
- AnkhMorporkian 11y agoI really appreciate that explanation and link. Thanks so much!