Chapter 202: The Problem of Layer 3000
202.
In the history of mathematics, there have been many mathematical conjecture problems.
The so-called mathematical conjecture problem refers to the fact that the mathematician, through intuitive judgment, first proposes a certain hypothesis without being proven.
Mathematicians then prove that this hypothesis is true, or that it is negative.
Some mathematical conjectures can easily be proven to be true, or to be disproved.
But there are also mathematical conjectures that have been put forward for hundreds of years and cannot be proved to be true, or to prove negative.
Because there is no way to find a negative example, but at the same time, it cannot be mathematically proven to be true in any case.
For example, the Goldbach conjecture is another very famous mathematical conjecture, which is a typical example.
Goldbach's conjecture is also very simple: "Any even number greater than 2 can be written as the sum of two prime numbers." ”
Many people interpret Goldbach's conjecture simply as proof that 1+1=2 is a misunderstanding.
In fact, Goldbach's conjecture often refers to 1+1, where 1 refers to a prime number, not 1 on an exponential value.
To say that Goldbach's conjecture is 1+1 means 1 prime number + 1 prime number, which actually means that any even number greater than 2 is 1 prime number + 1 prime number.
Chen Jingrun once proved in 1966 that 1+2 means that any even number greater than 2 is the product of 1 prime number + 2 prime numbers.
This is also the closest to Goldbach's conjecture at the moment.
But since then, no one has been able to come up with a result closer to Goldbach's conjecture.
Unlike Goldbach's conjecture, Fermat's theorem was finally proved in 1994.
At the same time, he is also the conjecture with the longest time span in the history of mathematics.
Fermat's theorem, one of the most famous conjectures in the history of mathematics, was proposed around 1637 and solved in 1994.
It took 357 years.
Fermat's theorem, proved in 1994, is a beautiful finale to 20th-century mathematics, which makes the development of 20th-century mathematics even more dramatic, starting with Hilbert's 23 questions.
This extremely concise theorem, since it was proposed by Fermat, has attracted many mathematicians such as Euler, Gauss, Cauchy, Lebeig and others to try to solve it, but in the end it has failed.
"Fermat's theorem was finally solved because of the rapid development of other mathematical fields in the 20th century, which provided many new tools for solving Fermat's theorem. In particular, profound results on elliptic curves in the field of algebraic geometry. ”
Cheng Li began to write down the proof process of Fermat's theorem on the light sand.
As a sensational event in the 20th century, Cheng Li is naturally not unfamiliar with the proof method of Fermat's theorem.
So this question on the 2999th floor is not too difficult for him.
Mathematically, an ellipse can be depicted by a cubic or quadratic polynomial equation of X.
Then, in 1955, the Japanese mathematician Yutaka Taniyama first proposed the Taniyama-Shimura conjecture: the elliptic curves on the rational number field are all modulo curves.
At first, this very abstract conjecture was not associated with Fermat's theorem.
It wasn't until 1985 that a German mathematician named Frey pointed out an important connection between the two.
He put forward a proposition, which can be simply described as: if Fermat's theorem is not true, then Taniyama's conjecture is not true either.
Obviously, Frey's proposition and Taniyama's conjecture are contradictory, and if these two propositions can be proved at the same time, it can be known that the hypothesis that "Ferry's theorem is not true" is wrong through the method of counterproof, and thus prove Fermat's theorem.
This gave everyone the hope of proving Fermat's theorem.
Thus, in 1994, the British mathematician Wells proved that for a large class of elliptic curves in the field of rational numbers, the Taniyama-Shimura conjecture was established.
This proves that Fermat's theorem is true.
The same is true of the process of proving Fermat's theorem now.
Therefore, as long as the Taniyama-Shimura conjecture is proved to be true, this problem will be solved. ”
Of course, the Taniyama-Shimura conjecture is not so easy to prove, Cheng Li wrote more than a dozen pairs of proof process on the light sand, and finally wrote the entire proof process, and finally marked the words "proof completed".
And then, on the light sand, the word "correct" immediately appeared.
Then the passage to the 3000th floor appeared in front of Cheng Li.
Looking at this passage to the last pass, Cheng Li took a deep breath and walked up without hesitation.
It's time to reach the 3000th floor!
As soon as he entered the 3000th floor, Cheng Li couldn't wait to look at the topic area displayed in the middle of the light sand.
After seeing this question at first glance, Cheng Li showed a wry smile.
"Sure enough, that's the question. ”
I saw a brief question on the light sand.
"Prove that there is some kind of law in the distribution of all prime numbers. ”
This is a question that may be difficult for the average person to understand what is being asked.
But if you say one word, maybe many people who don't understand mathematics have heard it.
This question is, in fact, the famous Riemann conjecture.
As one of the most famous and important mathematical conjectures in the history of mathematics, the Riemann conjecture occupies the most important and special position among all the unsolved mathematical conjectures.
This is because the Riemann conjecture is different from Fermat's theorem and Goldbach's conjecture, which are purely mathematical conjectures.
The relevance of the Riemann conjecture and the scope of involvement are too wide.
For example, Goldbach's conjecture is proved to be true or negative.
In fact, it doesn't have much practical effect on modern mathematics, at least so far.
In fact, modern computers have been able to use brute force calculations to calculate the Goldbach conjecture in the vast range of a few hundred digits.
The computer has calculated that any even number in the range of a few hundred digits can be represented by the sum of two prime numbers.
Therefore, the practical significance of Goldbach's conjecture is not too great to prove Cheng Li in the end.
This makes Goldbach's conjecture more of a technical triumph in the realm of pure mathematics and less widely implicated.
However, the Riemann conjecture is different, and modern mathematics has thousands of inferences based on the assumption that the Riemann conjecture is true.
Therefore, as long as the Riemann conjecture is not proven to be true in one day, many mathematicians will have trouble sleeping.
And once the Riemann conjecture is proved to be negative, then many of these mathematical inferences, and even theorems, that are based on the validity of the Riemann conjecture will collapse.
Some even say that this will trigger a fourth mathematical crisis.
So, of all mathematical conjectures, the Riemann conjecture is, without a doubt, the most important.
Therefore, it is very reasonable for the Riemann conjecture to become a problem on the 3000th floor of the arithmetic monument, and to become such an important issue involving the owner of the arithmetic monument.
However, this has become a problem that even Cheng Li has to despair about.