My infinity is bigger than your infinity!
Philosophy versus mathematics:
Mathematicians have taught us that, mathematically speaking, it is useful to talk about different types of infinity. This was a genuine accomplishment.
But whether or not some infinities are "larger" than other infinities is a philosophical question, turning on the concept of infinity itself, and not on any mathematical notions such as one-to-one correspondence.
Countable, philosophic or mathematic?
ReplyDeleteThat strikes me as a mathematical concept, but I have not given that much thought.
DeleteIt's not a matter of philosophy that some infinities are larger than others. There are more real numbers between 0 and 1 than there are integers. I think some dude name Cantor proved this.
ReplyDeleteAmazing, rob! I am ADDRESSING Cantor. What Cantor showed was that the integers cannot be put in one-to-one correspondence with the reals. Yes, I UNDERSTAND that.
DeleteBut that does not, necessarily, mean there are "more" reals than integers. Yes, in a FINITE set, it would prove that set A was bigger than set B. But what does it mean in terms of INFINITE sets?
Sorry, rob, that's a philosophical question.
What you have "proved" here, rob, is that you don't actually understand Cantor's mathematical finding!
DeleteUnderstanding what bigger means should not take a philosopher. If you can write an equation to prove something is that philosophy? Infinity is a common part of many mathematical equations.
Delete"Understanding what bigger means should not take a philosopher."
DeleteWhen thing A and thing B are both infinite sets?! Then in fact it DOES take a philosopher!
I think the Intuitionist school, Brouwer is the big name, would agree.
DeleteGene, "2^Aleph_0 > Aleph_0" is a precise mathematical statement that can be proven in ZFC. Now you can say that the ">" symbol does not capture the philosophical concept of "greater than", but ">" still has a precise mathematical meaning.
ReplyDeleteThat's fine, Keshav. I understand the mathematics perfectly well.
Delete