Why Mathematics Is Universal Multidisciplinary Science

The paper shows meta-mathematical prerequisites for basic concepts of rigorous science called mathematics. These concepts explore a very simple idea concerning the hypothesis that all surrounding physical processes are basically algorithmic processes as understandable as well as partially or fully incomprehensible ones. Mathematics is very successful in studying, formal describing and utilizing of such processes, because mathematics is based on similar algorithmic ideas, methods, and structures. These facts allow us to formulate more precisely useful mathematical (meta-scientific) concepts concerning some well-known scientific problems in various rigorous theories, including the theory of “object calculus”, the theory of automatic cognition, the theory of biological evolution, the theory of heterogeneous electronic systems, the theory of logics in various chemical transformations, the basic architecture of completely programmable universal (multi-purpose) synthesizers-analyzers for various objects, and so on.


Introduction
Idea to use fundamental algorithmic structures to explain the furniture of our world has a very long history -as well as Metaphysics itself. Aristotle, the creator of Metaphysics, wrote: "...some things are produced out of each other by combination, others by separation…" [1]. There were no notion of "algorithm" in that times, but we can see in Aristotle's words an attempt to emphasize the importance of basic algorithmic operations such as synthesis ("combination") and decomposition ("separation") of various objects. Moreover, next in his ninth chapter of Metaphysics, Aristotle tried to connect these ideas with the notion of number.
More precisely a similar idea was expressed by Augusta Ada Lovelace in 1843 in her "Notes by the Translator", devoted to the first mechanical computer that was invented by Charles Babbage. Explaining the essence of term "operation" she wrote: "...by the word operation, we mean any process which alters the mutual relation of two or more things, be this relation of what kind it may. This is the most general definition, and would include all subjects in the universe... But the science of operations, as derived from mathematics more especially, is a science of itself, and has its own abstract truth and value; just as logic has its own peculiar trust and value, independently of the subjects to which we may apply its reasoning and processes..." [2].
In the recent years the similar ideas were expressed by many authors. For example, in 1983 B. Jones in his paper devoted to Algorithms Theory and its importance for General System Theory (GST) emphasised: "Algorithms exist in many different disciplines. Here, our goal is to find isomorphic models and lows or principles in different fields…" [3].
Fontana and Buss in 1996 wrote: "But if the objects become the variables of the system, we would need a 'calculus of objects' like we have a differential calculus for numerical values" [4]. Moreover, in this paper they emphasised: "In Nature, interaction involves objects directly and never by a numerical value describing them..." In 2000 J. Schmidhuber published his work called 'Algorithmic Theories of Everything', in which he described any object X by a string of symbols (bits). He defined X as follows: "... X should be representable by a possibly infinite bit string x such that there is a finite, possibly never halting program p that computes x and nothing but x in a way that modifies each output bit at most finitely many times; that is, each finite beginning of x eventually converges and ceases to change" [5]. That is, at every moment of time each object X is represented by finite constant substring of possibly infinite string. Unfortunately, he has achieved only ordinary results.
In 2014 M. Tegmark have suggested an opposite idea that outer world is constructed on the basis of mathematics [6]. In spite of the seeming absurdity, this idea has some signs of truth, especially if we expand a central mathematical concept called "algorithm" to the wider set of objects including not only numbers and symbols, but also real things.

General Formal Technology and Mathematics
In 1986 the paper called 'Formal Technology and Universal Systems I, II' was published in Russian Journal "Kibernetika" (at present the Journal is called "Cybernetics and System Analysis") [7]. It is necessary to note, that in Russian the word "technology" has a more general meaning than in English. In Russian term "technology" means "the set of operands (i.e. the objects of operations), the set of operations, and the sequences of such operations on operands (i.e. algorithms containing precise sequences of operations with specific operands)". That term "technology" in Russian means "the algorithm or some set of algorithms defining processes of production specific materials or things (objects)". Hereinafter, referred to the word "technology", we should consider it in such "Russian" sense.
In this paper some elements of algorithmic theory over physical objects were introduced. This theory, called "General Formal Technology" (GFT or "Formal Technology" for short), describes any algorithmic system T over physical objects as a triplet: where B is a set of real physical objects (or abstract ones, i.e. models of physical objects) obtained from other objects of B or (and) some objects of finite set A. Objects of A are called basic elements, and A⊆B. Therefore the most compact representation of any formal technology T is the following triplet: Objects of B are called constructions and, as mentioned above, they are obtained from basic elements and (or) some constructions of B by means of finite set of technological operations F T and a finite set of operations of analysis F A . The terms "object", "element", and "construction" are equivalent in GFT frameworks. The symbol F T in (1) and (2) denotes a finite set of finite-place "technological operations", and the finite set F A is a finite set of finite-place "operations of analysis" with objects of B.
Any physical object x∈B (or x∈A) in modern GFT is described very similar to a description of any program essence ("object") in Object Oriented Programming (OOP), i.e. as a following pair: where Γ x = {γ x1 , γ x2 ,..., γ xn } is a finite set of physical properties of object x, and Μ x ={γ xj =ϕ xj (γ sk , γ xl ,...,γ qm );...} is a finite set of functionalities of object x, i.e. a set of functions, defining the exact values of one (γ xj ) or/and many physical properties of object x by means of other properties (for example, γ xl ) of the same object x or by properties (γ sk ,..., γ qm ) of other objects (s,…, q), which interact with properties of object x. In OOP sets like Μ x are often called "methods". In canonical GFT frameworks set Μ x has no functionalities at all [7]. In modern versions of GFT set M x can have any finite number of functions (functionalities) like ϕ xj -as many as it is necessary for actual representation of x [8,10]. An object x can be denoted also as O x or O i when representation (3) is very important -see, for instance, [8][9][10].
At the same time a main algebraic structure A in mathematics has, according to Malcev, the following formal representation: where A is a base set of elements in A; Ω F is a set of (mathematical) operations; and Ω P is a set of predicates on A [11]. It is clear from representations (1) and (4) that we can define any algebraic system A as a kind of formal technology T M : The essences of definitions (1) and (4) are very similar from the formal point of view. The differences are as follows: 1. The set B involves physical and abstract objects (as abstract models of physical objects), while A involves only abstract (mathematical) ones. 2. The set Ω F involves only a finite set of mathematical operations, while F T involves not only mathematical operations, but also a finite set of real (or imaginable) technological operations including operations of object syntheses and object decompositions [7]. 3. The set Ω P involves only a finite set of mathematical predicates, while F A involves a finite set of "analytical" operations that "measure" various physical properties of objects x: where P j ∈ F A , r x ∈ R x , and R x is a finite set of round-off natural or rational numbers necessary for practical application of values γ xj , which are important for the used model of x; γ xj ∈ Γ x [8,10]. One can easily prove that if an operation of analysis F i ∈ F A has only a finite number of results belonging to the finite subset of rational numbers R, then all of these results can be represented by a finite number of proper predicates [12]. So, in fact, representations (6) and (2) are very close to the essence of representation (4).
4. Formal representation of finite abstract mathematical objects differs from that of physical ones. Indeed, if we use notation (3) to represent any finite abstract mathematical object x, then we should write the following: x = <γ x >, (or x = <{γ x1 , γ x2 ,..., γ xn }>) where γ x (γ x1 , γ x2 ,..., γ xn ; n∈N) is the main property (properties) of finite abstract mathematical object x representing quantity, because each finite string of symbols describing any finite abstract quality of object x can be transformed into proper finite natural number and vice versa (see, for example, Gödel's numbering and Gödel's β function [13] or complete proof of this conclusion in [9]). Equations (3) and (7) could explain, first of all, the following facts: (i) why Schmidhuber's concepts do not work properly; and (ii) why it is so difficult to construct a pure mathematical theory of evolution [10,14,15]. Indeed, equation (7) shows that pure mathematical objects x have not contained any physical properties at all (Aristotle), therefore it is very difficult to save complete analogies among physical world and its pure mathematical representation (resembles Schmidhuber's concepts), if we do not take into account the essence of equation (3). The same principles are true for Chaitin's attempts to construct the Theory of Evolution on the basis of Algorithm Complexity Theory [14].

Properties of Formal Technological Systems
One of the most interesting items in these fields is the mathematical explanation of life origins. Indeed, Gregory Chaitin wrote: "…if you could do that, it might shed some light on how general the phenomenon of evolution is, and whether there's likely to be life elsewhere in the universe. Of course, even if mathematicians never come up with such a theory, we'll probably find out by visiting other places and seeing if there's life there... But anyway, von Neumann had proposed this as an interesting question, and at one point in my deluded youth I thought that maybe program-size complexity had something to do with evolution... But I don't think so anymore, because I was never able to get anywhere with this idea..." [14]. If we take into account equation (3) to represent a functionality Ф of any linear molecular construction y containing n different molecules x i (with their physical properties and functionalities), then it immediately becomes clear that the total functionality Ф of y depends on the number n of molecules x i in accordance with the following estimation: where s is a physical parameter defining an average value of functional states per one position of object (molecule) x i in a linear construction y for the given technology T. If T does not contain functional objects at all, i.e. s = 1 for every x i (as it occurs in mathematics), then Ф(y) = n log 2 1 = 0 for any n.
In the case (8), object-molecules have many functional states (s > 1), log 2 s > 0, and the total functionality Ф(y) will increase with the length of y, therefore it can achieve the level of self-reproduction. For example, in von Neumann self-reproducing cellular automata, s = 29 [16].
On the other hand, equation (3) allows us to reformulate some mathematical points of view concerning data processing systems. Indeed, we prefer to describe and develop such systems as homogeneous ones for the following reasons: i) the complete description of the whole homogeneous system is easier for digital, as well as for analog types of data; ii) various transformations of different data use easier mathematical formulas and technical realizations in the case of homogeneous types of data; iii) it is much easier to use homogeneous mathematical methods to optimize and to test designed electronic circuits (systems).
But it is not true for the Nature! Nature prefers to use for the same purposes heterogeneous "gates", "amplifiers", and "signals" [17][18][19]. These heterogeneous approaches make appropriate devices more compact, more suitable and self-synchronized! In accordance with (3) we describe, for instance, properties and functionalities of a two-input logic gate "nand" LG x as follows: LG x = <Γ x ; Μ x > = <{γ 1 , γ 2 , γ 3 }; {γ 3 = (γ 1 &γ 2 )}>, (10) where γ 1 , γ 2 , γ 3 ∈ {0, 1} are seen as parameters, γ 1 , γ 2 , -are input binary data (input parameters); γ 3 -output binary data (output parameter); Μ x -describes a logical function "not-and" ("nand") for γ 3 . This logical function does not depend on signal types -be these binary signals potentials, currents, frequencies or even capacity or resistive levels and their combinations [17,18]. These circumstances allow us to use for a designing of various heterogeneous digital or analog systems a wider range of functional blocks than it is possible for homogeneous systems. Sometimes it leads to unusual circuits.
The very similar situation has taken place in chemical reactions (transformations). For example, suppose we have a following reaction among chemicals a and b with properties Γ a and Γ b respectively to obtain a new chemical c with properties Γ c : (11) where properties Γ a , Γ b and functionalities Μ a , Μ b are intended for a rapprochement of molecules a and b and to transform them into molecule c with a new set of properties Γ c and functionalities Μ c . We can consider properties Γ a , Γ b as input ones, as well as Γ c -as output properties. Therefore we can consider molecules a and b as input heterogeneous "signals", and molecule c -as an output "signal" [17][18][19].
Formal approaches (10) and (11) allow one to develop an extended theory of heterogeneous automata including a theory of self-synchronized heterogeneous automata with individual names of transformed objects -"signals" [19].
Within the framework of GFT we are able to introduce a notion of so called "complete technology" T. Any technology T is called "complete" if it allows us: i) to obtain infinitely many new objects in the T; ii) for any object (construction) made in the T we can restore its synthesis and structure even we get the object for the first time.
This notion is very important for the Formal Technology, because if technology T is complete, it means that we can use all possibilities of the T. There are many complete technologies in GFT instead of one complete technology in computational mathematics called µ-recursive or partial recursive functions (PRF). The completeness of PRF is achieved due to the equality predicate used in the minimization operator µ in PRF. In GFT the completeness of some technologies is achieved by unspecified analytical operations, i.e. by operations with unknown internal mechanisms and functional algorithms. Such unspecified analytical operations approximate Turing concepts of oracles introduced by Turing himself in his examples of some algorithmic problems [20]. Therefore various cognitive algorithms in GFT using such unspecified analytical operations (that acquire correct knowledge about the outer world) can be seen as examples of such algorithms with oracles [19].
On the basis of similar definition we are able to introduce a notion of "evolutional technology". A technology T is called evolutional if it allows us: i) to obtain infinitely many new objects (constructions) in the T; ii) to define the novelty of every such new object (construction) exclusively by means of the same technology T (i.e. without any external subjects such as any person, men, mankind, God, and so on). In accordance with this definition the technology T vN of von Neumann self-reproducing cellular automata should be called evolutional one. Actually, T vN is very close to this definition except one possibility: T vN does not provide for object movements in a physical space, while an existent biological evolution provides for these movements. More precise analysis of necessary conditions for a development of bio-like evolutional technologies is made in [19].
It is possible to construct for GFT, as well as for PRF, an automatic system similars to Turing Machine [7,8,10,12,19,21]. Such a formal model of universal programmable systems for syntheses and analyses of various objects (in proper technology T) is very suitable to construct a so-called "cognizer" -a model of programmable automata that can acquire a correct knowledge about the outer world [19,22].

Conclusions
General Formal Technology offers formalisms that help us to understand many important problems in modern mathematics concerning the surrounding world, including various "Nature's inventions", its "intellect", basic logics of developments, and so on [7][8][9][10]12,19,21,22]. It is explained by specific formal representations of GFT objects in proper "physical algorithms" describing the real physical processes. These formalisms are very close to the formal structures of thing's properties in the real world and simultaneously to the well-known basic mathematical structures such as Maltsev's algebraic systems. So, we are able to formulate the following thesis: Thesis 1. All surrounding physical processes, which are understandable ones, as well as till incomprehensible physical processes, are algorithmic ones.
This thesis could not be proved by mathematical means, because we have no formal mathematical definition of the term "physical process", as well as we have no formal mathematical definition of the term "man's calculation" for Church-Turing Thesis.
Mathematics widely uses algorithmic concepts, processes and notions. Moreover, this concept is a very important object for basic mathematical investigations at all. Therefore Thesis 1 could explain the universality and very broad applicability of mathematics itself.