this post was submitted on 27 Feb 2024
908 points (97.4% liked)
Science Memes
11440 readers
247 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
- Don't throw mud. Behave like an intellectual and remember the human.
- Keep it rooted (on topic).
- No spam.
- 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
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- !reptiles and [email protected]
Physical Sciences
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
- [email protected]
Humanities and Social Sciences
Practical and Applied Sciences
- !exercise-and [email protected]
- [email protected]
- !self [email protected]
- [email protected]
- [email protected]
- [email protected]
Memes
Miscellaneous
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
Infinity cannot be divided, if it can then it becomes multiple finite objects. Therefore there cannot be multiple Infinities. If infinity has a size, then it is a finite object. If infinity has a boundary of any kind, then it is a finite object.
I'm not entirely sure I understand your comment, but the fact that there are more real numbers than natural numbers can be readily shown using something called cantor's diagonal argument. It goes something like this:
Suppose the set of real numbers and natural numbers had the same size. Then we could write down an infinite list, where each line represents some real number written in it's decimal representation. So something like
This list goes on forever. We will now construct a new real number r as follows: The first number after the decimal point of r shall be different from the first number after the decimal point of the first number in our list, the second shall be different from the second decimal of the second number on the list, and so on (the name diagonal argument comes from this, we consider the entries on the diagonal from top left towards the bottom right).
The key point now is that this constructed real number is different from every single number on the list: After all, we have made sure it differs from each number on the list in at least one place. Therefore, it is impossible to write down the real numbers in such a way that each real number gets its own natural number: There are simply too few natural numbers for this. In particular, there are at least two different "sizes" of infinities.
The set, that has a measurable starting point, is a finite object. If infinity can be measured, then you have created a finite space, one that can be measured, within an infinite space, infinity itself, which cannot be measured. Infinity remains untouched and undivided. The sets that represent infinity are finite objects, that represent an infinite space, a representation which they can never truly achieve.
Maybe we should talk about what "infinite" means. I'd like to propose the following idea: a sequence of things is infinite, if there is always "one more" object to consider. We could also say that for any number of finite steps, there is always another object of the series we haven't looked at yet.
As an example, the sequence of natural numbers would satisfy this: if I start considering the sequence 1, 2, 3 and so on, if I ever stop after finite time (say 1729 steps), I can always compute +1 to find another element of the sequence I haven't seen yet.
Also consider the following: the set of all numbers between 0 and 1 is in some sense bounded. However, I can find an infinite sequence of numbers in this set: consider 1/1, 1/2, 1/3, 1/4, ...
These numbers are always between 0 and 1, and are infinitely decreasing.
Perhaps the confusion comes from you talking about infinity as in a number which is larger than any real or natural number, while I'm talking about sizes of sets of infinite size. As I had demonstrated earlier, we can show the existence of uncountable infinite vs countably infinite sets, while such distinctions don't really come up in limit theory and calculus.
It really depends on what you mean by infinity and division here. The ordinals admit some weaker forms of the division algorithm within ordinal arithmetic (in particular note the part about left division in the link). In fact, even the cardinals have a form of trivial division.
Additionally, infinite sets can often be divided into set theoretic unions of infinite sets fairly easily. For example, the integers (an infinite set) is the union of the set of all integers less than 0 with the set of all integers greater than or equal to 0 (both of these sets are of course infinite). Even in the reals you can divide an arbitrary interval (which is an infinite set in the cardinality sense) into two infinite sets. For example [0,1]=[0,1/2]U[1/2,1].
In the cardinality sense this is objectively untrue by Cantor's theorem or by considering Cantor's diagonal argument.
Edit: Realized the other commenter pointed out the diagonal argument to you very nicely also. Sorry for retreading the same stuff here.
Within other areas of math we occasionally deal positive and negative infinities that are distinct in certain extensions of the real numbers also.
Again, this is not really true with cardinals as cardinals are in some sense a way to assign sizes to sets.
If you mean in terms of senses of distances between points, in the previous link involving the extended reals, there is a section pointing out that the extended reals are metrizable, informally this means we can define a function (called a metric) that measures distances between points in the extended reals that works roughly as we'd expect (such a function is necessarily well defined if either one or both points are positive or negative infinity).
If infinity can be measured, by either size, shape, distance, timespan or lifecycle, then the object being considered infinite is a finite object. Infinity, nothing, and everything follow these same rules. If there are two multiple infinite objects side by side to each other, which means there is a measurable boundry that seperates them, then those objects aren't infinite, they are finite objects, within an infinite space that contains them. Only the space that contains these objects is infinite. Any infinite numbers that are generated within this infinite space, regardless of where they originated within this space, belong to this single infinity. There is no infinityA or infinityB there is just infinity itself.
My degree is in math. I feel pretty confident in saying that you are tossing around a whole bunch of words without actually knowing what they mean in a mathematical context.
If you disagree, try the following:
What is a function? What is an injective function? What is a surjective function? What is a bijection?
In mathematics, what does it mean for a set to be finite?
In mathematics, what does it mean for a set to be infinite?
I'm willing to continue this conversation if you can explain to me in reasonably rigorous terms what those words mean. I'll help you do it too. The link I sent you in my previous post that mentions cardinal numbers links you to a wikipedia page that links to articles explaining what finite and infinite sets are in the first paragraph.
To be clear here, your answer for 2 specifically should rely on your answer from 1 as the mathematical definition of a finite set is in terms of functions and bijections.
Here are some bonus questions for you to try also:
In mathematics, what does it mean for a set to be countable?
In mathematics, what does it mean for a set to be uncountable?
A finite universe, the one in which we live, can only produce finite objects. Those finite objects can only produce other finite objects. A finite object cannot create an infinite object, as the act of creation would be a starting point for the object, and if an object has a starting point or an end point, which are really the same thing, then the object is a finite object.
If a set of numbers originates from a starting point and moves away from that point in a seemingly infinite distance, and then you decide to traverse that set in the opposite direction towards the starting point, the starting point becomes an ending point, and if an object, in this case the set itself, has an ending point, it is a finite object. Finite objects cannot create infinite objects because the act of creation would negate their infinity. Infinity is neither created nor ends, nor does it have size, shape, or form.
None of this includes the correct answers to the questions I asked you. I'm not going to read anything else from you until you correctly answer the questions I asked.
I find it interesting that you have a degree in math, and apparently have never questioned a question. As I've demonstrated, in the posted problem, the statement "some Infinities are bigger than other infinities" is an illogical statement. The mere statement that there are multiple infinities, negates either objects identification as being infinite, and reduces both objects to finite objects, as the only way these objects can be determined to be seperate from each other is through a boundary that would impose a starting or ending point on each object, which in turn reduces them into finite objects.
I also find it interesting that you resort to gate keeping to try and control a situation that you are frustrated by. I was able to simply and clearly demonstrate my position. I also demonstrated the technique of: solving the problem by defeating its purpose. I've also demonstrated the difference in how a mathematician and an engineer attempt to solve a problem.
To me you have demonstrated:
You don't know even the most basic definitions of the things you are trying to talk about.
You are possibly too willfully stupid to bother to learn said definitions.
You are capable of babbling incoherently about things you do not understand ad nauseum.
It seems you are having a hard time comprehending this. I get it's hard to learn new things. But I can walk you through it.
TL;DR: If an object can be measured, in any way, it's a finite object. Infinity cannot be measured.
I considered reading and responding to this big long word salad you sent me, but I realized you were just further demonstrating the three points from my last post. Lmao, good luck.
Edit: Feel free to show me you learned the definitions I asked you about by answering my list of definition questions I posed to you a while ago by the way. I'm still fine with continuing if you do that.
I get it it's hard to learn new things. I'm still willing to walk you through it. I'm not sure how much more simple I can state it for you, it's already pretty simplified, but I'm still willing to try. Just let me know.
I understand that you feel learning new things is hard. I sympathize with you. Lets start with a real easy one. High school algebra students often learn what mathematical functions are. You can handle that right? Tell me the mathematical definition of a function. Oh! Oops, I have accidentally linked you to a place where you can find the definition I'm asking you for in the first paragraph. Well, no going back now. Feel free to copy and paste the first paragraph of that link here.
Hmm, I wonder if there is a link between functions and finite/infinite sets? Oh gosh golly, perhaps they are related in some way? Almost like the definition of one requires some notion of the other?
I've never argued that mathematics has a concept of finite or infinite numbers, or not. All that I have argued is that what the math world identifies as infinite, is not actually infinite when applied to the real world. As an engineer I deal with recursive functions, code that can run indefinitely. But as an engineer I understand that the code that is running needs an initiation point, the point at which the code is initially executed, and I understand that the seemingly infinite nature of the code, is bound to the lifespan of the process that execute it, for example, until the process is abruptly stopped, or power is taken away from the computer the process is running on. A lifespan invalidates the seemingly infinite nature of the code, from a practical sense. When you start to understand this, and then expand your focus to larger objects like the universe itself, you start to understand the finite nature of the material world we live in.
I understand that mathematicians deal with abstraction. I deal with them too as an engineer. The difference is that as an engineer I have to implement those abstractions within the real world. When you do this enough times you will start to understand the stark differences between the limited hypothetical worlds math is reasoned about, and the very dynamic world the real world, that those math solutions are applied to. The rules of hypothetical worlds are severely limited in comparison to the real world. This is why it's very important for me to define the real world boundaries that these math problems wil be applied to.
I'm used to working with folks, like yourself, that have a clearly hard time transitioning from a hypothetical world to the real world. This is why I have respond with civility, and have looked past your responses insulting tone. I understand it's a fear response of the ego, and I don't judge you for it. I understand that it's difficult to fight with the protection mechanisms of the ego.
My dear friend, I am very big fan of the back-pedaling you're doing here. I want to also point a couple things out to you.
This is blatantly untrue. You can certainly play the post-hoc "oh but I meant..." game and slowly change your argument to be something different, but what you said originally is not what you are suddenly now claiming here and your lack of logical precision or clarity in the claims you make is certainly not my fault or my problem. Consider taking a course in mathematics to firm up your logical argumentation skills?
Let me remind you of a couple other claims you have made beyond what you are suddenly now pretending you claimed:
Of course you have made a bunch of other claims in your weird psycho-babble word salad too. These are just some highlights.
Lets consider this thing you just said here though: "what the math world identifies as infinite, is not actually infinite when applied to the real world". You know, this sounds very familiar. It is almost like my very first comment to you was "It really depends on what you mean by infinity and division here." Real wild stuff huh? Almost like it is important to be clear on the definitions and senses of the words we are using right? Like we should be clear on what exact definitions we mean yeah? Hmm... This sounds so familiar.
As much as I'd love to make fun of you more while you rediscover arguments for/against mathematical platonism I'd rather move on.
Loving the assumption here that I have no background in CS or software engineering.
I don't think claiming practical experience as an engineer as justification for misunderstanding and drawing faulty conclusions from basic mathematics is really the gotcha you think it is here. On the contrary, if you really do have a background in engineering, then you should know better and it is now my opinion that the people who have taught you mathematics and the basics of engineering have done you a serious disservice for not teaching you better. Misunderstanding mathematical models is textbook bad engineering. What you are doing here is using your engineering background to justify why it is okay for you to be a shitty engineer.
Who is having the trouble? I'm not the one stumbling over basic things that children learn in high school algebra like what the definition of a function is.
Oh yes, clearly my tone is insulting, but yours has never once been insulting. You pure beautiful angel you. If only the rest of us could be such a pure and sweet soul like you. I'll be sure to only speak to you in the kindest and sweetest ways so that I don't hurt your very precious and delicate feelings in the future.
I'm sorry kind and gentle prince, but I can't help but point out that the projection here from you is very entertaining. I'm so very sorry for any hurt this may cause your poor delicate feelings.