Does infinity exist?

It suddenly occurred to me that definition is backwards. It should be: a set can be bijected to at least one of its proper subsets if and only if the set is infinite.

So instead of: A set is infinite if it can be bijected

It should be: A set can be bijected if infinite.

This is because the bijection isn’t possible without the infinite, so bijection is conditional to the infinite and not the infinite being conditional to the bijection.

Infinity comes first, then one performs the bijection. Obviously we can perform bijection before the set exists.

How do you show infinite f(x) without having to first prove there are infinite x?

I responded to your own hypothetical about infinite space. Your response is disingenuous. You asked, IF space is infinite, is the number of cubic inches equal to the number of cubic feet. You posed a hypothetical. Jeez man.

Yes, the unit interval [0,1] bijects to the interval [0,2]. Both intervals are bounded.

Galileo noted in 1638 that the set of counting numbers can be bijected to one of its proper subsets, namely the perfect squares.

en.wikipedia.org/wiki/Galileo%27s_paradox

This was 240 years before the advent of set theory. Bijection is a perfectly sensible notion even without a theory of infinite sets. The fingers on your hand are in bijection with the fingers on your glove.

I don’t understand the question. Do you deny that the unit interval (0,1) is in bijection with the positive reals via the map f(x) = 1/x? This is a fact familiar to high school students.

The chain of logic is as follows.

  • I note that (0,1) is a proper subset of the positive reals.

  • I note that (0,1) is in bijection with the positive reals via the map 1/x. If you doubt that you need to review your high school math.

  • Since the set of positive reals are in bijection with one of its proper subsets. the positive reals are infinite by definition.

  • I can do the same thing for the entire set of reals using the tangent/arctangent, but then you needed to have taken high school trig. The 1/x example has a more modest mathematical prerequisite so it’s preferred for this conversation.

Jeez man, answer the question: How else could inch cubes and feet cubes correspond?

Then what is the bound?

Show me the bound where the bijection ends.

If you cannot show me the bound that terminates the bijection, then you simply must concede that the set is unbounded.

There is no escaping this one: either show me the bound or admit it doesn’t exist.

This is irrelevant history and demonstration of finite bijection which still proves my point that the fingers must exist before the bijection.

The infinite set must exist as an infinite set BEFORE bijection with a subset of itself can happen, so bijection CANNOT be a definition for infinity.

The a posteriori cannot be the cause of the a priori.

Consider the real number line. If we measure it in feet, it’s infinitely many feet long. If we measure it in inches, the same. The cardinality’s the same. How many copies of [0,1] are there in the real line? Countably many. How many copies of [0,2]? Countably many.

The unit interval [0,1] is bounded by 0 below and 1 above. If this is unclear to you, please tell me what’s unclear about it so I can attempt to explain.

In this particular case, the positive reals are unbounded above. (Though bounded below, by 0). Of course SOME infinite sets are unbounded. You’re having quantifier problems.

I’ve shown you this same elementary example, obvious to a high school student, half a dozen times already.

I’ve shown it over and over and over. You just keep coming back with the same question, as if you either didn’t study any math after eighth grade, or just want to argue for the sake of arguing. I can’t go back and forth with you anymore. You’re denying high school math.

No, it’s a very easy question: how do you show there are infinite f(x) without already having infinite x?

You must have, in your possession, infinite x in order to plug all infinite x into f(x) in order to show there are infinite f(x). So, first you must prove there are in existence infinite x and THEN you can move to the next step, which is proving there are infinite f(x). So your example (0,1) is moving the goal posts, which I pointed out on page 1 and have been trying to get you to respond to ever since.

You must prove there are infinite x before you can perform any function of x and that includes bijection with one of its subsets. First prove the set is infinite, then show the bijection, then show the f(x) is infinite.

  • The bijection with a subset cannot exist unless the set is infinite, so prove the set is infinite BEFORE showing the bijection.
  • The infinite set of x must exist BEFORE infinite f(x) can be shown, so prove there are infinite x before proving there are infinite f(x).

How is that not a hypothetical? Or can you prove there are infinitely many real numbers? If you can’t prove it, then it’s no different than my hypothetical oranges or space.

If it’s bounded at 0 and 1, then it’s not infinite. Show me how it’s infinite if it’s bounded.

And you’re appealing to the ridiculous.

I already did, three different ways: The tan/arctan bijection, the 1/x bijection, and Cantor’s beautiful bijection between the reals and the irrationals. How many more proofs do you need?

True. However I DID prove it (three different ways), so the antecedent of your implication is false.

It’s infinite and it’s bounded. It’s an infinite set, and none of its elements are less than 0 or more than 1. Did you take high school math? Are you sitting here claiming the real numbers are finite? What’s the largest one?

Someone claiming there are only finitely many real numbers (or that the unit interval is unbounded) surely has the burden of proof.

Peace, brother. All the best.

I need one proof. You haven’t proved “The tan/arctan bijection, the 1/x bijection, and Cantor’s beautiful bijection between the reals and the irrationals” until you prove there are infinite x.

First prove that, then you can prove the others.

You didn’t show anything, but simply called me stupid.

x = 1,2,3,4,5

2x = 2,4

The subset 2x cannot be bijected with x BECAUSE the set x is finite, but what does finite mean? (limited/bounded)

x = 1,2,3,4,5,…

2x = 2,4,6,8,10,…

The subset 2x can be bijected with itself BECAUSE the set x is infinite, but what does infinite mean? (unlimited/unbounded)

What do the three dots (…) mean? ← you must define that BEFORE conveying what you mean by “bijection with a subset of itself”.

The three dots mean “unbounded”.

It is only after I understand that the three dots mean the set is unbounded that I can then proceed to understand what you mean by being bijected with a subset of itself, so the bijection cannot be the definition of the three dots.

It doesn’t mater what set we choose:

Here’s your (0,1) which is f(x) = 1/x where x>=1, so x = 1,2,3,4,5,…

f(x) = 1/1,1/2,1/3,1/4,1/5,…

You still have to show what the three dots mean before showing anything else.

Therefore, whatever you show as a result of understanding what the three dots mean then cannot be used to define what the three dots mean.

Your definition of the infinite is invalid due to circular reference.

IOW, if someone never encountered the concept of the infinite, they could not possibly understand the concept via that definition because already having an understanding of the infinite is required in order to understand the definition.

You said before there can’t be infinite oranges and you specifically said “What on earth do you mean by conceptualizing infinitely many oranges? What are they made of?”

But yet you can conceptualize infinite numbers lol

Well, to quote you again, “what are they made of?” Nothing? So then with “nothing” as your basis, you claim infinity exists in some way? Well they aren’t nothing; they are concepts and your mind is finite.

Infinity cannot be conceptualized; we can work with the implications/ramifications of it, but we cannot conceptualize infinite real numbers.

Further, any universe in which anything can exist (and that includes all universes in imagination) there cannot also exist infinities because something cannot be conceived/beheld/perceived as a universe in imagination or reality without being bounded/finite/definite. The infinite makes existence impossible.

You’re brother to someone who doesn’t understand high school math?

I did not call you stupid. But if you insist, consider it done.

So to recap:

The definition that the infinite is a set that can be bijected with a subset of itself cannot be understood without already knowing what an infinite set is, so the definition is not a definition.

You’re welcome to submit a new one.

Haha, no, I am a very serious student of phenomenology and Russell is just facile in that respect. Heidegger is my orientation. Its about what we can expect semantics to amount to, before even syntax is arrived at. For example, the basic difference of verbs and nouns is of house entirely artificial but syntax relies on it 100%. Thats a true philosophic problem as see it and one Ive resolved but that is not for here. I will publish it eventually.

Russell and Wittgenstein both jumped directly to syntax. Wittgenstein returned from there, seeing a mistake. But Russell is just a specialist in syntax and I now respect him for that.

Greatly, basically from someone I wasn’t interested in anymore, to someone I will be looking into.

Thank you, this is very interesting indeed!

Perfect.
this moves in the direction I wished.

By the way in the meantime a remark for your discussion with Serendipper -

in f(x) x is indeterminate. That means there is no limit to it that is prescribed. But thats the basic idea of variables. That doesn’t make the possibilities necessarily infinite, but still without prescribed finitude.

See this is all semantics and not syntax. Pre-syntactic considerations for definition.

This is why James S Saint so much valued Definitional Logic.

I love things that enable us to compute reality without imposing excess weight of ideas and conditions on it.
When we don’t decide top down “this is this because we just called it that” - but when we look at what propositions do more or less automatically with themselves.
Like, what a proposition implies about assumptions is much more interesting to me than what it results in. Thats why I think philosophy is detective work, and why I love it.

I hope you and Serendipper find out the value in your conflict I can see both sides and this enabled me to mine it for some of my own substance.
Conflict is really good. Like a battery, two chemicals at war. Usually a third dog walks away with the bone, but sometimes the conflicting ones can also walk away with booty.
Which just means the power to think even deeper.

The timing of this math disclosure for me is perfect. Im going on a job, havent had an assignment in quite some while, why I was going so much into philosophy. Someone suggested it to me. He is always pretty smart about what I can do with free time. Last time he suggested I build a boat I didn’t do that but I should have. Maybe after this job.

I honourably greet you, men of science.
Ha dato frutti!

[tab]serpens iam procul est[/tab]

I don’t see that at all. Let’s say I’m sitting in a room. Sets come down a chute onto my desk. My job is to examine them and determine whether or not there’s a bijection from the set to a proper subset of itself. If NO, I toss the set into the a bin marked Finite. If YES, I toss the set into the bin marked Infinite. Note that Finite and Infinite are only meaningless words that label the two bins. The bins could say “Foozle” and “Gibbous” for all it matters.

So the set {1, 2, 3, 4, 5} comes down the chute. I carefully examine it, and I determine that there is NO BIJECTION from that set to any of its proper subsets. So I toss it in the Finite bin.

Now the set {0, 1, 2, 3, 4, 5, …} comes down the chute. I notice that it can be placed into bijection with the set {0, 2, 4, 6, …}, a proper subset of itself. So I toss it in the Infinite bin.

At no point do I have any prior knowledge of what an infinite set is. All I can do is determine whether or not there is a bijection between a set and one of its proper subsets. Galileo made this same observation in 1638. en.wikipedia.org/wiki/Galileo%27s_paradox. The same thing was noted by Indian and Arab mathematicians far earlier. Were they all part of the same mathematical conspiracy?

I don’t follow your objection.

Well, I’m using the exact same definition that YOU GAVE IN YOUR INITIAL POST:

Do you happen to have a cat? The reason I ask is that my cat often types on my keyboard and writes things on discussion forums without my knowing. I wonder if this is what happened to your initial post, since somebody using your handle gave this exact definition.

Peace, brother.

How did you make the determination that the set can be placed into bijection with the subset without having prior knowledge that the set was unending/unlimited/unbounded?

There is no way. You must know the set is unending before you can show the bijection.

I have no idea. I do know Galileo did not like the church since they censored him and placed him on house arrest for heresy where he remained until he died. Anyway this appeal to authority is beside the point and more groping in vain attempt to substantiate dogma rather than admitting you’re wrong and moving on.

I just copied the dictionary as a starting point, but it turned-out that particular definition cannot be a definition which is something I didn’t know at the time. That is the purpose of discussions: to discover truths and errors.

@Serendipper

I never agreed to that.
There are two kinds of infinities, a general infinity, which means the One has no limits whatsoever, and a particular infinity, which means a thing is unlimited in some ways, and limited in others.

It’s not nonsense, it’s conceptually possible, and in actuality it may very well be the case.

Me: It doesn’t matter if you could add or subtract road, the fact of the matter is, at this moment, the road ends this way, and it doesn’t end that way.

Matter, energy, space and time.

It doesn’t matter if you can add or subtract apples, there’s still an infinite amount of total apple.

We don’t know that for sure, as of yet our instruments may be too blunt to detect things smaller than quarks.

And for all we know, everything is essentially made up of waves, much to the chagrin and dismay of scientific materialists, who prefer to carve everything up into neat little bits and pieces.

Or maybe Aristotle was right when he uttered: “The whole is more than the sum of its parts”.

It’s not logically or grammatically incorrect to say a wall is infinitely tall, or infinitely wide, a thing can be infinite in some quality without having to be infinite in all qualities.

Whether it’s empirically incorrect is another matter.