Страница 17 из 28
Pic. 30. Pythagoras
A strikingly bold statement even for our time that thinking is an unconscious process of computations, have been expressed in the 17th century by Gottfried Leibniz. Here, thinking is obviously understood as the process of data processing, which in all cases can be represented as numbers. Then it is clear how computations appear, but understanding of the essence of this process in modern science is so far lacking.34
Pic. 31. Gottfried Leibniz
All definitions of a number have one common basis:
Numbers exist objectively in the sense that they are present in the laws of the world around us, which can be known only through numbers.
From the school bench everyone will learn about numbers from the childish counting: one, two, three, four, five etc. Only the Lord knows where did this counting come from. However, there were attempts to explain its origin using axioms, but the origin of them is as incomprehensible as the counting. Rather, it looks like a certain imitation of the Euclid's "Elements" to add to knowledge the image of science and the appearance of solidity and fundamentality.
The situation is completely different when there is a mathematical definition the essence of a number. Then for a more complete understanding of it, both axioms and a countable quantity become a necessity. Indeed, this definition to the essence of a number includes arguments, actions and a countable quantity. But arguments are also numbers and they should be presented not specifically each of them, but by default i.e. in the form of a generally accepted and unchanged function, which is called the number system, however it no way could to appear without such a notion as a count. Now, axioms turn out to be very appositely and without them a count may be got only from aliens. In reality it was namely so happened since such sources of knowledge as the Euclid's “Elements” or the Diophantus' “Arithmetic” were clearly created not by our, but by a completely different civilization.35
If axioms regulate the count, then they are primary in relation to it. However, there is no need to determine their essence through the introduction of new notions because the meaning of any axioms is precisely in their primacy i.e., they are always essentially the boundaries of knowledge. Thus, axioms receive an even more fundamental status, than until now when they were limited only to the foundation of any separate system. In particular, the system of axioms, developed by the Italian mathematician Giuseppe Peano, very closely correspond to the solution of the problem for constructing a counting system although this main purpose was not explained apparently with a hint on justification the essence the notion of number. The scientific community perceived them only as a kind of “formalization of arithmetic” completely not noticing that these axioms in no way reflect the essence of numbers, but only create the basis for their presentation by default i.e. through a count.
If the main content of axioms is to determine the boundaries of knowledge related to generally accepted methods of representing of numbers, then they should be built both from the definition the essence of the notion of number and in order to ensure the strength and stability of the whole science's building. Until now, due to the lack of such an understanding of the ways of building the foundations of knowledge, the question about the essence of numbers has never even been asked, but only complicated and confused.
Pic. 32. Giuseppe Peano
However, now when it becomes clearer and without any special difficulties, all science can receive a new and very powerful impetus for its development. And then namely on such a solid basis, science acquires the ability to overcome with an incredible ease such complex obstacles, which in the old days, when there was no understanding the essence of numbers, they seemed to science as completely impregnable fortresses36.
3.2. Axioms of Arithmetic
3.2.1. Axioms of a Count
This path was first paved at the end of the 19th century by Peano axioms.37 We will make changes to them based on our understanding the essence of the number.
Axiom 1. A number is natural if it is added of units.38
Axiom 2. The unit is the initial natural number.
Axiom 3. All natural numbers form an infinite row, in which each
following number is formed by adding unit to the previous number.
Axiom 4. The unit does not follow any natural number.
Axiom 5. If some proposition is proven for unit (the begi
induction) and if from the assumption that it is true for a natural
number N, it follows that it is also true for a natural number
following N (induction hypothesis), then this sentence will be true
for all natural numbers.
Axiom 6. In addition to natural numbers, there can exist another
numbers derived from them, but only in the case if they possess all
without exception the basic properties of natural numbers.
The first axiom is a direct consequence from definition the essence of number, so Peano simply could not have it. Now this first axiom conveys the meaning of defining the notion of number to all another axiom. The second, fourth, and fifth axioms are preserved as in Peano version almost unchanged, but the fourth axiom of Peano is completely removed from this new system as redundant.
The second axiom has the same meaning as the first one in the Peano list, but is being specified in order to become a consequence of the new first axiom.
The third axiom is the new wording of Peano's second axiom. The notion of the natural row is given here more simply than by Peano where you need to guess about it through the notion of the “next” number. The fourth axiom is exactly the same as the third axiom of Peano.
The fifth axiom is the same as by Peano, which is considered the main result of the entire system. In fact, this axiom is the formulation the method of induction, which is very valuable for science and in this case allows to justify and build a count system. However, a count is present in one or another form not only in natural numbers, but also in any other numbers, therefore one more final axiom is needed.
The sixth axiom extends the basic properties of natural numbers to any numbers derived from them because if it turns out that any quantities obtained by calculations from natural numbers, contradict their basic properties, then these quantities ca
Now arithmetic gets all the prerequisites in order to have the status the most fundamental of all scientific disciplines. From the point of view the essence of a count everything becomes much simpler and more understandable than until now. On the basis of this updated system of axioms there is no need to “create” natural numbers one after another and then “prove” the action of addition and multiplication for the initial numbers. Now it’s enough just to give names to these initial numbers within the framework of the generally accepted number system.
34
Computations are not only actions with numbers, but also the application of methods to achieve the final result. Even a machine can cope with actions if the mind equips it with appropriate methods. But if the mind itself becomes like a machine i.e. not aware the methods of calculation, then it is able to create only monsters that will destroy also him selves. Namely to that all is going now because of the complete lack of a solution to the problem of ensuring data security. But the whole problem is that informatics as a science simply does not exist.
35
Specialists who comment on the ancients in their opinion the Euclid's "Elements" and the Diophantus' "Arithmetic", as if spellbound, see but ca
36
If from the very begi
37
The content of Peano’s axioms is as follows: (A1) 1 is a natural number; (A2) For any natural number n there is a natural number denoted by n' and called the number following n; (A3) If m'=n' for any positive integers m, n then m = n; (A4) The number 1 does not follow any natural number i.e. n' is never equal to 1; (A5) If the number 1 has some property P and for any number n with the property P the next number n' also has the property P then any natural number has the property P.
38
In the Euclid's "Elements" there is something similar to this axiom: "1. An unit is that by virtue of each of the things that exist is called one. 2. A number is a multitude composed of units” (Book VII, Definitions).