The process of proving Poisson's law of large numbers is relatively uncomplicated, and a large paper is sufficient for writing a paper. But Wang Qi resisted the urge to finish the paper, and only wrote some discussion content in the outline of this paper.

"After all, you need to leave some space, please join the tendon. Wang Qi said.

However, unlike China's tendency to focus only on the content of papers, the criteria for judging a researcher in the earth science community are also based on the number of papers. The technique of breaking a paper into two complete papers, and the conclusion of the previous one is the argument of the latter, Wang Qi still knows a little.

After writing a large page, Wang Qi put down this plate and prepared to discuss it with Bo Xiaoya before finishing it.

"Okay, what's next?"

Seeing Wang Qi pondering for a long time, Zhen Xianzi kindly mentioned: "I seem to remember that your research on the arithmetic problem of one plus one equals two in today's Fa cultivation is quite popular? It seems to be called Mingzhu arithmetic, why don't you try it?"

"Mingzhu is considered to be in the field of number theory, which is inconsistent with my eight characters - especially when I think of this arithmetic problem, I can't help but think of Chen Jingyun, and then I have the idea that 'labor and management stay in this ghost place in Shenjing is all the fault of that bastard'" Wang Qi grinned: "Moreover, Mingzhu is not one plus one equals two, it is a prime number plus a prime number equals an even number, writing (1+1), not 1+1."

The pearl counts, the earth calls it the Goldbach conjecture. And the interesting thing is that this arithmetic problem is "dug up" in Shenzhou, and it is also related to the Bo family. Bo Yage and Bo Yuehan's generation also have a brother, who is not strong in mathematics, but has a good son, that is, Bo Lixuan, the fourth carefree monk of the Bo family. Bo Lixue is as good as his brother Bo Lier. One day, when he traveled to a ruin, he accidentally opened a cave house of a former ancient arithmetic monk. The inheritance, treasures, and elixirs in the cave are not worth a lot, but there is one bead that is particularly interesting, because this bead is engraved with a problem that was not famous in ancient times.

Can any even number greater than two be written as the sum of two prime numbers?

This arithmetic may seem like a simple problem, but intuitively, most people will think it is correct. But if you want to prove it, it is extremely difficult.

It is precisely because it is engraved on a pearl that everyone calls it "the pearl on the crown of arithmetic", the pearl.

Note: In the history of the Earth, the Goldbach conjecture was written by Goldbach on a letter addressed to Euler. Then, Euler was a student of John Bernoulli, a brother and sister of Daniel Bernoulli, and a close personal friend of Nicolas Bernoulli. Goldbach and Nicholas Bernoulli are pen pals and travel buddies. These brothers were the first to study Goldbach's conjecture. It's just that Goldbach was not a mathematician, leaving only one conjecture, so this book is changed to let him save zài

"I don't understand......"

Wang Qi sighed: "If you think about it carefully, you should know that Chen Jingyun is idle to study that one plus one equals two...... Ah, no, it seems that there are really people who have a prostate health concern......"

It is not for nothing that mathematicians study that one plus one equals two.

The more things are taken for granted, the more people feel that they can't say why, and one plus one equals two is the most typical example. Yes, everyone knows that one plus one equals two, but how many people can tell why one plus one equals two?

If the general problem is that most mathematicians can't understand, then this field is understandable to everyone, but there is no way to start if you want to go further.

There is no doubt that those who can say why "one plus one equals two" are the top economists who can overcome obstacles in this most basic field.

"It's a pity that this world has long had the axiom of Pinoia. Wang Qi shook his head, thinking that it was better not to touch this piece. This topic is difficult and profound, and it is not popular, even if Bo Xiaoya is pulled, few people will pay attention to it, and it can't be drawn, and it can't be drawn. The Piano axiom is obviously an important axiom with the same status as Euclid's axioms, but it is more than one street less famous than Euclid's axioms.

At this time, Wang Qi remembered another question: "In other words, the foundation of this field is too much, and it generally doesn't affect anything...... Why do I remember this so well?"

If you don't use it often, you will gradually forget. Although Piano's axiom is about why one plus one equals two, not knowing this does not affect the calculation that one plus one equals two.

I remember it so well, and I remembered it when I mentioned it slightly.

Suddenly, a flash of inspiration flashed in Wang Qi's mind.

"This ...... It seems to have something to do with that big event. ”

The Hilbert Project, the largest and most famous mathematical study of the twentieth century.

At the beginning of the 20th century, the emergence of paradoxes, especially Russell's paradox, caused a great shock in the mathematical and logical circles at that time. It directly impacts the discipline of mathematics and logic, which is known for its rigor, and shakes the credibility standard of traditional mathematical concepts, mathematical propositions and mathematical methods, that is to say, the emergence of paradoxes is related to the foundation of the whole mathematics, thus causing the so-called third crisis of mathematical foundations. In order to solve this crisis, Hilbert, a leading figure in the mathematical world, launched the Hilbert Project in order to solve all mathematical crises once and for all. The main goal of this project is to provide a safe theoretical basis for all mathematics. The main part is the proof of completeness, compatibility, and decidability.

Then, in the midst of this plan, Gödel unexpectedly proved incomplete.

Turing followed Gödel's idea of a deterministic proof and perfected the theory of computer based on this breakthrough in mathematical logic.

Wang Qi jumped up suddenly, took out the "netbook" given by Su Junyu from the storage bag, and entered the Xianmeng paper library to start querying.

"Key words, proof theory...... And then there is, natural numbers, arithmetic systems, ......"

With the addition of keywords, fewer papers were displayed in the paper library, and finally, Wang Qi finally found what he wanted.

"On the Evidence of the Heath's So-called", author, Feng Luoyi.

The time was five years ago.

The aura storage zài makes Shenzhou's "technology black box" very large, and the technology tree is not the same as the earth. Calculators corresponding to computers have been popularized for many years, and artificial intelligence has been put on the agenda, but the mathematical logic as a precursor to computers is not as good as that of the earth.

Wang Qi did not hesitate to draw out the merit value he received from the sad wind today, and exchanged this paper, skipping the process and only looking at the conclusion.

"In this subsystem, strict finite proofs are possible...... This is a reproduction of von Neumann's Theory of Hilbert's Proof. Wang Qi closed his eyes and began to think.

In this universe, there is no Gödel's existence, so mathematical logic has taken a different path from the earth......

Wang Qi excitedly said: "This is really a good road. ”