Skip to main content

Defining natural numbers 1

Japanese version

Peano defined natural numbers.

He actually described properties of natural number, not seems to try to define the natural numbers. But these are somehow the same. The following five definitions are called Peano's axiom which defines the natural numbers. If you are not familiar with mathematical notation, it might be hard to get what they said. But, the basics are not so difficult. These are copied from Mathworld.
  1. Zero is a number.
  2. If a is a number, the successor of a is a number.
  3. zero is not the successor of a number.
  4. Two numbers of which the successors are equal are themselves equal.
  5. (induction axiom.) If a set S of numbers contains zero and also the successor of every number in S, then every number is in S.
The first definition said, there is the first number called Zero. Here it said Zero, but it does not matter which number is. It should be a ``something.'' However, you may ask ``What is something?'' It is really just ``something.'' Why we need to say the first number as Zero? It is fine as One, 42, -1, or x... You can write in Japanese ``Rei'', or in German, ``Null.'' In short, this is ``something.'' But, one thing I would like to make this clear, this ``Zero'' is not the number 0. Because we want to define numbers, so we do not know any numbers, even 0. It is just something the first number and we can just call it Zero. Personally, I prefer to write x since it seems more ``something.''

Definitions are similar to rules of a game. Therefore, we should not think about why this is defined. That is just a starting point of the discussion. It is easy to imagine that this is hard for especially someone who is not familiar with mathematics. This is the same as rules of some game, like soccer game, ``A player is not allowed to touch a ball by hand except goalkeepers.'' If you ask ``Why a player can not use his/her hands?'' Then one can only answer that ``That's a rule of the soccer game.'' This is also true as the rule of chess, shougi, or go... If there are ten kind of games, there are ten kind of rules. Mathematics is the same, there are many rules of mathematics and each rule makes different mathematics. We can make arbitrary kind of mathematics, only necessary condition is such mathematical system must be consistent. But, most of the arbitrary rules can not make interesting mathematics. ``Interesting'' is quite subjective word and it seems not so fit to mathematics. But, many can feel that. I sometimes encountered that some people believe that the mathematics is a kind of truth in the universe. But, mathematics is nothing related with how the universe is. That's the physics' area. However, well established mathematics can describe our universe well. I am fascinated this interesting point of mathematics. It is like a game/sport that has a well established rule are so fun and interesting. As there are many kind of games and sports, there are many mathematics and each mathematics may have different rules. Although, many rules can be shared in mathematics. One can make up new rules and can create a new sports. But it is difficult to create a new interesting sports. It is the same in mathematics, you can create own mathematics easily by making up several definitions, but it is very difficult to make an interesting new mathematics.


By the way, one day for one small thema is still too long for blog for me, I will keep an article short from now on.
Labels:

Comments

Post a Comment

Popular posts from this blog

Geometric Multiplicity: eignvectors (2)

If eigenvectors of a matrix A are independent, it is a happy property. Because the matrix A can be diagonalized with a matrix S that column vectors are eigenvectors of A . For example, Why this is a happy property of A? Because I can find A's power easily. A^{10} is not a big deal. Because Λ is a diagonal matrix and power of a diagonal matrix is quite simple. A^{10} = SΛ^{10} S^{-1} Then, why if I want to compute power of A ? That is the same reason to find eigenvectors. Eigenvectors are a basis of a matrix. A matrix can be represented by a single scalar. I repeat this again. This is the happy point, a matrix becomes a scalar. What can be simpler than a scalar value. But, this is only possible when the matrix S's columns are independent. Because S^{-1} must be exist. Now I come back to my first question. Is the λ's multiplicity related with the number of eigenvectors? This time I found this has the name. Geometric multiplicity (GM): the number of in...
Post a Comment
Read more

Gauss's quote for positive, negative, and imaginary number

Recently I watched the following great videos about imaginary numbers by Welch Labs. https://youtu.be/T647CGsuOVU?list=PLiaHhY2iBX9g6KIvZ_703G3KJXapKkNaF I like this article about naming of math by Kalid Azad. https://betterexplained.com/articles/learning-tip-idea-name/ Both articles mentioned about Gauss, who suggested to use other names of positive, negative, and imaginary numbers. Gauss wrote these names are wrong and that is one of the reason people didn't get why negative times negative is positive, or, pure positive imaginary times pure positive imaginary is negative real number. I made a few videos about explaining why -1 * -1 = +1, too. Explanation: why -1 * -1 = +1 by pattern https://youtu.be/uD7JRdAzKP8 Explanation: why -1 * -1 = +1 by climbing a mountain https://youtu.be/uD7JRdAzKP8 But actually Gauss's insight is much powerful. The original is in the Gauß, Werke, Bd. 2, S. 178 . Hätte man +1, -1, √-1) nicht positiv, negative, imaginäre (oder gar um...
Post a Comment
Read more

Tezuka Osamu's Black Jack, "Shrinking"

I like several novel authors. My first favorite author is probably Teduka, Osamu. I still love him. The list grows by adding Hoshi, Shinichi, Agatha Christie, Hermann Hesse, and so forth. My first favorite article of Tezuka was Atom as most of the (boy's) Tezuka fans did. But my favorite is Black Jack. I try to summarize one story, it is still quite vivid in my memory. I first read this story when I was 13 - 15 years old. I re-read it at least several times since Black Jack is composed of many short episodes. The title should be "ちぢむ (SHRINKING)" or it might be "縮む(Shrinking)". (It is not so convenient to translate this to English, since English does not have a system to say the exact same word in several ways. So I just simulate it with capital letters.) Black Jack is a genius surgeon, but he does not have the license. In short, his medical activity is illegal. His skill is top level in the world, but, the fee is also out-of-law expensive. In the story ...
Post a Comment
Read more