← Back to context

Comment by drdeca

3 days ago

Why is it that when I have a stack of business cards, each with a picture of a different finger on my left hand, then when I arrange them in a grid, there’s only one way to do it, but when I instead have each have a picture of either a different finger from either of my left or right hand, there is now two different arrangements of the cards in a grid?

I claim the reason is that 5 is prime, while 10 is composite (10 = 5 times 2).

Therefore, 5 and 10, and 2, exist.

You’re abstracting to connect the math: 2, 5, 10, multiplication, and primality are all abstract concepts that don’t exist.

What you’ve pointed out is that the interactions of your cards, when confined to a particular set of manipulations and placements, is equivalent to a certain abstract model.

You've already assumed 5 exists in order to assert that it's prime.

In any case existence of mathematical objects is a different meaning of existence to physical objects. We can say a mathematical object exists just by defining it, as long as it doesn't lead to contradiction.

  • I think your closing paragraph holds the key. 5 doesn't really exist, it's a constructor that parameterizes over something that does exist, eg. you never have "5", you have "5(something)". Saying 5 is prime is then saying that "for all x, 5(x) has the same structural properties as all other primes".

  • Yes, the answer to the question does assume that 5 exists.

    You try answering the question without speaking of 5 or 10.

    That is my argument.

    • Numbers are definitely essential concepts for some kinds of reasoning. If that's what you're saying then fine.

      The thing is assuming that 5 exists to conclude that 5 exists is obviously circular.

      3 replies →