In the 19th century, Cantor created the infinite cardinal number theory based on the “1-1 correspondence” principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it th...In the 19th century, Cantor created the infinite cardinal number theory based on the “1-1 correspondence” principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it the first problem in his famous speech on mathematical problems, which shows the importance of this question. We know that the infinitesimal problem triggered the second mathematical crisis in the 17-18th centuries. The Infinity problem is no less important than the infinitesimal problem. In the 21st century, Sergeyev introduced the Grossone method from the principle of “whole is greater than part”, and created another ruler for measuring infinite sets. The discussion in this paper shows that, compared with the cardinal number method, the Grossone method enables infinity calculation to achieve a leap from qualitative calculation to quantitative calculation. According to Grossone theory, there is neither the largest infinity and infinitesimal, nor the smallest infinity and infinitesimal. Hilbert’s first problem was caused by the immaturity of the infinity theory.展开更多
The paper summarizes the contributions of the three philosophies of mathematics—logicism, intuitionism-constructivism (constructivism for short) and formalism and their rectification—which constitute the new foundat...The paper summarizes the contributions of the three philosophies of mathematics—logicism, intuitionism-constructivism (constructivism for short) and formalism and their rectification—which constitute the new foundations of mathematics. The critique of the traditional foundations of mathematics reveals a number of errors including inconsistency (contradiction or paradox) and undefined and vacuous concepts which fall under ambiguity. Critique of the real and complex number systems reveals similar defects all of which are responsible not only for the unsolved long standing problems of foundations but also of traditional mathematics such as the 379-year-old Fermat’s last theorem (FLT) and 274-year-old Goldbach’s conjecture. These two problems require rectification of these defects before they can be resolved. One of the major defects is the inconsistency of the field axioms of the real number system with the construction of a counterexample to the trichotomy axiom that proved it and the real number system false and at the same time not linearly ordered. Indeed, the rectification yields the new foundations of mathematics, constructivist real number system and complex vector plane the last mathematical space being the rectification of the complex real number system. FLT is resolved by a counterexample that proves it false and the Goldbach’s conjecture has been proved both in the constructivist real number system and the new real number system. The latter gives to two mathematical structures or tools—generalized integral and generalized physical fractal. The rectification of foundations yields the resolution of problem 1 and the solution of problem 6 of Hilbert’s 23 problems.展开更多
文摘In the 19th century, Cantor created the infinite cardinal number theory based on the “1-1 correspondence” principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it the first problem in his famous speech on mathematical problems, which shows the importance of this question. We know that the infinitesimal problem triggered the second mathematical crisis in the 17-18th centuries. The Infinity problem is no less important than the infinitesimal problem. In the 21st century, Sergeyev introduced the Grossone method from the principle of “whole is greater than part”, and created another ruler for measuring infinite sets. The discussion in this paper shows that, compared with the cardinal number method, the Grossone method enables infinity calculation to achieve a leap from qualitative calculation to quantitative calculation. According to Grossone theory, there is neither the largest infinity and infinitesimal, nor the smallest infinity and infinitesimal. Hilbert’s first problem was caused by the immaturity of the infinity theory.
文摘The paper summarizes the contributions of the three philosophies of mathematics—logicism, intuitionism-constructivism (constructivism for short) and formalism and their rectification—which constitute the new foundations of mathematics. The critique of the traditional foundations of mathematics reveals a number of errors including inconsistency (contradiction or paradox) and undefined and vacuous concepts which fall under ambiguity. Critique of the real and complex number systems reveals similar defects all of which are responsible not only for the unsolved long standing problems of foundations but also of traditional mathematics such as the 379-year-old Fermat’s last theorem (FLT) and 274-year-old Goldbach’s conjecture. These two problems require rectification of these defects before they can be resolved. One of the major defects is the inconsistency of the field axioms of the real number system with the construction of a counterexample to the trichotomy axiom that proved it and the real number system false and at the same time not linearly ordered. Indeed, the rectification yields the new foundations of mathematics, constructivist real number system and complex vector plane the last mathematical space being the rectification of the complex real number system. FLT is resolved by a counterexample that proves it false and the Goldbach’s conjecture has been proved both in the constructivist real number system and the new real number system. The latter gives to two mathematical structures or tools—generalized integral and generalized physical fractal. The rectification of foundations yields the resolution of problem 1 and the solution of problem 6 of Hilbert’s 23 problems.
