13
$\begingroup$

Question: How do mathematicians think about the existence of numbers? And how did Newton, Euler, and other famous mathematicians thought about this concept?

I know that existence of numbers is a big ongoing debate in the philosophy of mathematics. I've searched online about this and found a lot of information (e.g. Aristotelianism, platonism, etc) , but nothing about the famous mathematicians.

Are there any books/articles about this concept?

Thank you

  • 0
    @AndréNicolas - it was the "bourbakist" Jean Dieudonné: ["On foundations we believe in the reality of mathematics, but of course, when philosophers attack us with their paradoxes, we rush to hide behind formalism and say 'mathematics is just a combination of meaningless symbols,'... Finally we are left in peace to go back to our mathematics and do it as we have always done, with the feeling each mathematician has that he is working with something real. The sensation is probably an illusion, but it is very convenient. "](http://todayinsci.com/D/Dieudonne_Jean/DieudonneJean-Quotations.htm)2014-05-10

4 Answers 4

10

The famous British mathematical physicist Roger Penrose wrote an entire book on this subject: The Road to Reality: A Complete Guide to the Laws of the Universe (Knopf, 2005). In fact you can get a very good idea of his version of the Platonic theory just from Chapter 1, pages 7-24. He sees a tripartite world, divided into physical, mental, and mathematical domains. It's an interesting approach, and perhaps deserves special attention due to his prominence within both mathematics and physics. The book itself is just over a thousand pages long, and requires some mathematical maturity to comprehend. If you have what it takes, then it is well worth the effort.

8

Number is a property of collections.

Imagine a very long train passes before you, with each car containing two objects and the contents of each car open to plain view: [two goats]--[two light bulbs]--[two shoes]--[one dolphin, one boat]--[one rock, one picture]--[one book, one dish]--, so on so forth. Eventually, it will strike you that the contents of these cars are all couples. That is to say, two is one of the common properties of the contents of all these cars. This is the psychological foundation why humans can sense numbers. It is the same as why humans can understand words like red, yellow, blue. No one ever saw colour independent of other properties such as shape, area, etc. When you see a red apple, red towel, red roof and a red shoe, you will notice that red is what these things have is common, although red has never been seen alone.

The longer the train, the fewer properties the contents of those cars have in common. As the train grows longer, eventually the contents of those cars will have only their number in common. Thus, one is what ALL singles have in common; two is what ALL couples have in common; three is what ALL triples have in common; so on so forth.

Technically, a number is a class whose members are also classes that are similar to each other but not with any classes outside of the parent class.* By "similar" we mean one-one relation. Notice that we can't say "all classes of the same size," because size is a number and number is what we are trying to define at this point. This definition of number is called ostensive definition, as opposed to dictionary definition.

For example: two is the class of all couples: { {foo, bar}, {a, b}, {c, d}, {Kramer, Seinfeld}, {Elaine, George}, {a goat, a truck}, ... }

For precise definition, see Introduction to Mathematical Philosophy, "Definition of Number", by Bertrand Russell.

*This limitation only applies to one particular type. Of course, a member class can always have similar classes from a different type, but it is meaningless to group these similar classes of different type within one parent class.

  • 0
    This definition pre-dates Von Neumann–Bernays–Gödel set theory. Class is used to sand for collections without assuming there are such things as classes.2014-03-30
3

The case of the work of Godfrey Harold "G. H." Hardy on real analysis is an interesting case that shed light on the issue. Hardy wrote an analysis text around the turn of the century where he championed the case of the construction of the real numbers (via Cauchy sequences or Dedekidn cuts) and argued that these should be the basis of analysis. What is interesting is to compare the tone of the first edition of his book with the tone of the second edition. In the second edition that came out several decades later, Hardy seems a bit embarrassed about the "propaganda" tone of the first edition, and is more matter-of-fact about the real field. What happened in the meantime is that a transformation took place in the mathematical community and the real numbers entered the pantheon of mathematical concepts with impeccable ontology; i.e. in the meantime mathematicians embraced the (then-new) intuition that the so-called "real numbers" are just that, oh so real. What this arguably illustrates is that the perceived reality of mathematical objects is a function of time. The same was arguably the case for the rationals, as well; once upon the time only the natural numbers were thought of as "really existing". And certainly for the negative numbers.

  • 0
    Interesting information.2014-01-10
1

The word "number" itself has no accepted meaning. However, given an algebraic structure $X$ with underlying set $U$, it is sometimes useful to call the elements of $U$ "numbers", to create an analogy with the algebraic structures $\mathbb{N}, \mathbb{Z}, \mathbb{Q}$ etc.

Therefore, rather than thinking about the existence of "numbers", mathematicians tend to think about the existence of algebraic structures. Furthermore, to answer the question: "Which algebraic structures exist?" we mainly use ideas from set theory and model theory, and occasionally, type theory.

  • 0
    @user72694: If numbers are more fundamental than collections, why do you use $3$ to describe the size of *the collection of tomatoes I have at home*? If numbers were created to allow man discuss quantity, collections were created to allow man understand quantity.2014-03-31