this post was submitted on 12 Jul 2023
158 points (95.4% liked)
Showerthoughts
30768 readers
707 users here now
A "Showerthought" is a simple term used to describe the thoughts that pop into your head while you're doing everyday things like taking a shower, driving, or just daydreaming. The most popular seem to be lighthearted, clever little truths, hidden in daily life.
Here are some examples to inspire your own showerthoughts: 1
Rules
- All posts must be showerthoughts
- The entire showerthought must be in the title
- No politics
- If your topic is in a grey area, please phrase it to emphasize the fascinating aspects, not the dramatic aspects. You can do this by avoiding overly politicized terms such as "capitalism" and "communism". If you must make comparisons, you can say something is different without saying something is better/worse.
- A good place for politics is c/politicaldiscussion
- If you feel strongly that you want politics back, please volunteer as a mod.
- Posts must be original/unique
- Adhere to Lemmy's Code of Conduct
If you made it this far, showerthoughts is accepting new mods. This community is generally tame so its not a lot of work, but having a few more mods would help reports get addressed a little sooner.
Whats it like to be a mod? Reports just show up as messages in your Lemmy inbox, and if a different mod has already addressed the report the message goes away and you never worry about it.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
I think Cantor would say you need a proof for that. And I think he would say you can prove it via generating a new real number by going down your set of real numbers and taking the first digit from the first number, the second from the second, third from third, etc. Then you run a transformation on it, for example every number other than 1 becomes 1 and every 1 becomes 2. Then you know that the number you’ve created can’t be first in the set because its first digit doesn’t match, and it can’t be the second number because the second number doesn’t match, etc to infinity. And therefore, if you map your set of whole numbers to your set of real numbers, you’ve discovered a real number that can’t be mapped to a whole number because it can’t be at any position in the set.
Some will say this proves that infinities can be of unequal sizes. Some will more accurately say this shows that uncountable infinities are larger than countable infinities. But the problem I have with it is this: that we begin with the assumption of a set of all real numbers, but then we prove that not all real numbers are contained in the set of all real numbers. We know this because the number we generated literally can not be at any position in the set. This is a paradox. The number is not in the set, therefore we don’t need it to map to a member of the other set. Yet it is a real number and therefore must be in the set. And yet we proved it can’t be in the set.
I’m uncomfortable making inferences based on this type of information. But I’m also not a mathematician. My goal isn’t to start an argument. Maybe somebody who’s better at math can explain it to me better.