Magnus Anderson wrote: ↑Mon Sep 25, 2023 1:38 am
Skepdick wrote:I reject the claim that you can always add 1 to a mathematical object to get an even larger object.
What that means is that, for each integer that you can imagine, you can come up with a larger integer ( e.g. by adding 1 to it. )
If you think that's false, all you have to do to prove it is to show us an integer for which this isn't the case.
You haven't done that.
Burden of proof is not on me. It's on you to show where all these 1s you keep adding are coming from. How many of them do you have?
Prove that "you can
always add 1" is true. From what premises does it follow?
Magnus Anderson wrote: ↑Mon Sep 25, 2023 1:38 am
Instead, what you did is state that the argument in favor of the claim that there is no such thing as the largest integer that can be conceived is a circular one, and thus, a faulty one. The reason you think it's a circular one is because you think that it starts with the premise that there is an unlimited number of 1s. I don't think that's true.
You are contradicting yourself. Suppose you have counted up to the number X by starting at 0 and then add 1, add 1, add 1. Suppose you run out of 1s.
If you never run out of 1s - of course there is no largest integer.
But if you do run out of 1s - of course there must be a largest integer.
Magnus Anderson wrote: ↑Mon Sep 25, 2023 1:38 am
How do you prove that a given quantity exists?
By constructing it with all the materials at your disposal.
If you can't construct it from the materials available to you - it's does't exist.
If you can construct it from the materials available to you - it does exist.
Magnus Anderson wrote: ↑Mon Sep 25, 2023 1:38 am
But before that, what does it mean to say that a quantity exists?
In Mathematics anything defined to exist - exists. If you define an "infinite number of 1s" to exist - then they exist.
If you remain silent about it and just keep adding 1s.... what do you have behind your back there? Show me!
Magnus Anderson wrote: ↑Mon Sep 25, 2023 1:38 am
It certainly does not mean that there is a real life example of such a quantity. It also does not mean that such a quantity can be realized at some point in the future nor that it was possible to realize at some point in the past. Instead, what it means is that such a quantity can be conceived, that it is a
logically possible quantity. Not all quantities are logically possible. For example, the quantity that is greater than 1 and less than 1 is a logically impossible quantity.
As such, to prove that a quantity exists, in a mathematical sense of the word, you have to show that it is a logically possible quantity, one that is not a contradiction in terms, not an oxymoron.
That depends on what you think the exclusion criteria for possibility are. If it's only contradiction - then nothing is impossible in mathematics.
Define the impossible and it becomes possible.
If you think you can drink 2 cans of soda when you only have 1 - that's impossible.
Classical logic/Mathematics doesn't have resource constraints. Everything is unbounded by indunction/infinity limits.
Linear logic has resource constraints.
Magnus Anderson wrote: ↑Mon Sep 25, 2023 1:38 am
And in order to do that, you have to verify that its associated concept is free from contradictions. If you want to argue the opposite case, you have to point to a contradiction.
The thing you are confusing most here is mixing up logic and mathematics. "You can always add 1" is the principle of induction. How do you contradict yourself by counting? After which number comes a contradiction?
The problem is in the presupposition. "You can always add 1". Is that a falsifiable or an unfalsifiable statement?
What if I sometimes can't add 1?
What if I eventually can't add 1?
Magnus Anderson wrote: ↑Mon Sep 25, 2023 1:38 am
When you reject infinities, you reject the ability to answer questions such as "How many natural numbers are there?" It's a handicap, that's for sure.
What handicap? The answer is "as many as you can manufacture with the resources at your disposal". And if you don't want to manufacture numbers - "as many as you can imagine".