Constructive approach to measurement theory The famous mathematician Georg Cantor introduced Cantor's axiom in 1872. This one underlies in the base of the classical measurement theory together with Eudoxus-Archimede axiom. The latter involves in itself yet one more unusual phenomenon of mathematical thinking, i.e. the abstraction of the Due to its empirical origin Eudoxus-Archimede's axiom is According to Eudoxus-Archimede's axiom, a number of measurement steps in this axiom is always finite, but it is Thus, considering the classical measurement theory based on Eudoxus-Archimede's and Cantor's axioms we touched upon two the profoundest mathematical abstractions of the infinity, the abstraction of A struggle between these two approaches to mathematics is continuing until now and is the essence of the new crisis in modern mathematics. The idea of measurement as the process completed during the infinite time period finds, on the one hand, a deep gap between the experimental data of the natural research, and on the other hand, according to the Russian mathematician A. A. Markov, Like to the "problem of incommensurability" in the ancient mathematics the "problem of infinity" is the topic of the deep modern philosophical research. The Russian philosopher Prof. G.V. Chefranov (Taganrog, Taganrog State University of Radio Engineering) is one of the best World philosophers contributed essentially to this problem.
Chefranov's book "The Infinity and Intellect" (1971) devoted to the problem of infinity simulation using mathematical and general languages is one of the most deep philosophical works on this problem.
What will happen to the classical mathematical measurement theory if the abstraction of the actual infinity would be excluded? It means that we exclude Cantor's axiom from the measurement theory. First of all it would mean that the measurement theory should be constructed on the constructive idea of the The stated methodological basis results in the fact that any measurement has the principal measurement error called the - The modern crisis in mathematics is determined mainly by crisis in interpretation of the "infinity" concept.
- The difference in approach to the "infinity" concept reveals itself the most brightly in the mathematical measurement theory based on Eudoxus-Archimede's and Cantor's axioms Because each of these axioms uses the "infinity" concepts, which are in contradiction and are incompatible one to another (the concept of the "actual" infinity in Cantor's axiom and the concept of the "potential" infinity in Eudoxus-Archimede's axiom) it follows from here the conclusion that the classical measurement theory and all the mathematical theories based on it are contradictory.
- The elimination of the "actual" infinity abstraction from the mathematical measurement theory brings automatically into the elimination of Cantor's axiom from it and put forward the problem of development of the
*constructive measurement theory*based on the "potential" infinity abstraction. - The consideration of measurement as the process completed for the "finite" but "potentially unlimited" number of steps brings into appearing of the
*quantization error*, which is principally irremovable in the framework of constructive approach to measurement. This brings into moving forward of the problem to search the "optimal" measurement algorithms as the main problem of the "constructive" or "algorithmic" measurement theory.
But what was happen from these deep philosophical reasoning? We will tell about this at the next pages of our Museum. Follow us! |