this post was submitted on 30 Apr 2024
0 points (NaN% liked)

Science Memes

10885 readers
3821 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.



Rules

  1. Don't throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.



Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] superfes@lemmy.world 0 points 6 months ago (1 children)
[–] turkalino@lemmy.yachts 0 points 6 months ago* (last edited 6 months ago) (1 children)

There are different kinds of infinity

"Countably infinite" means an infinitely-large set of numbers that could be generated by infinitely following an algorithm with a finite number of steps. For example, natural (positive whole) numbers are countably infinite because they could be generated by following this simple algorithm:

  1. Start with the number 1
  2. Add 1 to your number
  3. Repeat step 2

The set of real numbers, on the other hand, is uncountably infinite because you can have an infinite number of digits after the decimal place. You can't define a finite generation algorithm like the one above simply because any precision you use wouldn't cover the full range. In other words, if you wanted to modify the above algorithm, and chose 0.1 as your starting number, your algorithm would miss 0.01. If you chose to start at 0.01, you would miss 0.001, and so on

[–] weker01@feddit.de 0 points 6 months ago (1 children)

That is the way it is often taught but actually both sets are infinite that is have no ends or in other words are not bounded.

The thing that is confusing to understand is that the question how many there are and how much there is diverges at infinity.

Our intuition (as finite beings) is broken here. Both sets are infinite but in one is more than in the other. That does not make one set more infinite than the other. You cannot be more unending than to literally have no end.

[–] thesmokingman@programming.dev 0 points 6 months ago (1 children)

This is incorrect. There is not a one-to-one and onto mapping from the natural numbers to the real numbers ergo the sets have a different size. We have defined words to describe this. We can put uncountably many copies of the natural numbers inside of the real numbers so there are arguably infinitely more reals than naturals.

Granted you have to accept the axiom of choice for any of this.

[–] weker01@feddit.de 0 points 6 months ago* (last edited 6 months ago) (1 children)

I know. I've studied this extensively. I am specialized in formal logic and by extension set theory. I've worked with and help write actual research papers in this field where this is basic knowledge.

I've never claimed there to be a bijection between the reals and the natural numbers. Please point out what statement I made that is wrong. I would very much like to know.

Also no you do not have to accept choice for this to be true. ZF is perfectly acceptable to study various infinite sets with differing cardinality.

Edit: This is what I mean when I say that our intuition is broken. One set can be larger than the other but both be non-ending that is infinite.

Beeing larger does not mean it is more infinite!

[–] thesmokingman@programming.dev 0 points 6 months ago (1 children)

That does not make one set more infinite than the other. You cannot be more unending than to literally have no end.

Your use of language is incorrect. But, since you’re clearly the only published expert with any experience in this topic on the internet, it’s really not worth pointing out that we fall on two sides of the standard axiom of choice debate since you already knew that. Have fun!

[–] weker01@feddit.de 0 points 6 months ago

My use of language could very well be incorrect. I am not a native English speaker anyways. That's no reason to be so condescending.

I was just merely stating my credentials to have a basis of discussion but you do not seem to be interested in that.