Enter the Immortal Cultivation

The proof process of Poisson's law of large numbers is relatively uncomplicated. If it is written as a paper, a large paper is enough. But Wang Qi resisted the urge to finish writing and only wrote some discussion content in the outline of this paper.

"After all, we have to leave some space for that one person to join us." Wang Qi said.

However, unlike China's tendency to only focus on the content of papers, the standards for judging a researcher in the earth science community also focus on the number of papers. Wang Qi still knows a little bit about the technique of breaking a paper into two complete papers, with the conclusion of the former being the argument of the latter.

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

"Okay, what's next?"

Seeing Wang Qi thinking hard, Zhen Shanzi kindly mentioned: "I seem to remember that your study of the arithmetic problem of one plus one equals two is quite popular in Jinfa Xiu? It seems to be called pearl arithmetic? Why don't you try it?"

"Mingzhu is in the field of number theory, which is not in line with me - especially when I think of this calculation problem, I can't help but think of Chen Jingyun, and then I have the idea that 'it's all that bastard's fault that labor and management are staying in this hellish place in Shenjing'" Wang Qilie He said: "Furthermore, pearl arithmetic does not mean that one plus one equals two. It means that a prime number plus a prime number equals an even number. It is written as (1+1), not 1+1."

The pearl’s calculation is called Goldbach’s conjecture on earth. What's interesting is that this calculation was "digged out" in China, and it is also related to the Bo family. In the generation of Bo Yage and Bo Yuehan, there was another brother. This man was not very accomplished in mathematics, but he had a good son, Bo Lijie, the fourth free monk of the Bo family. Bo Lijie was as fond of traveling as his younger brother Bo Li'er. One day, while traveling to a ruins, he accidentally opened up a cave of a former ancient astronomer monk. The inheritance, treasures, and elixirs in the cave are not worth showing off, but there is a bead that is particularly interesting, because this bead is engraved with an arithmetic problem that was not famous in ancient times.

I would like to ask, can any even number greater than two be written as the sum of two prime numbers?

This calculation seems simple at first glance, and judging by intuition, 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 bright pearl that everyone calls it "the pearl on the crown of arithmetic", the pearl of arithmetic.

[Note: In the history of the earth, Goldbach's conjecture was written by Goldbach in a letter sent to Euler. Then, Euler was a student of John Bernoulli, a fellow student of Daniel Bernoulli, and had a close personal relationship with Nicholas Bernoulli. Goldbach and Nicholas Bernoulli were pen pals and travel companions. These guys were the first group of people to study Goldbach's conjecture. It’s just that Goldbach was not a mathematician and left only a conjecture, so this book uses a different way to let him exist]

"I don't understand..."

Wang Qi sighed: "If you think about it carefully, you should know that Chen Jingyun is so free to study that one plus one equals two... Ah, no, it seems that there is really a problem with prostate health..."

There are many mathematicians who have studied that one plus one equals two.

The more things are taken for granted, the more people feel that they cannot explain why. One plus one equals two is the most typical example. 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 it, then in this field everyone can understand it, but they have no way to start if they want to take it a step further.

There is no doubt that anyone who can tell why "one plus one equals two" is a top mathematician who can overcome obstacles in this most basic field.

"It's a pity that this world already has Pinoa's axiom." Wang Qi shook his head, thinking that it would be better not to touch this issue. This topic is difficult to talk about, and it is not popular. Even if Bo Xiaoya is involved, not many people will pay attention to it. It is not worth it, not worth it. Peano's axioms are obviously important axioms with the same status as Euclid's axioms, but their reputation is inferior to Euclid's axioms by more than one street.

At this time, Wang Qi thought of another question: "In other words, the basics in this field are too much. Generally, I don't know about it and it won't affect anything... Why do I remember this so well?"

If knowledge is not used frequently, it will gradually be forgotten. Although Peano's axioms are about why one plus one equals two, not knowing this does not affect the calculation of one plus one equals two.

How could I remember it so well? I remembered it after mentioning it a little bit.

Suddenly, an idea flashed in Wang Qi's mind.

"This... seems to be related to that big event."

Hilbert's Project, the largest and most famous mathematical research project of the twentieth century.

At the beginning of the 20th century, the emergence of paradoxes, especially Russell's paradox, caused great shock in the mathematics and logic circles at that time. It directly impacts the disciplines of mathematics and logic, which are known for their rigor, and shakes the credibility standards of traditional mathematical concepts, mathematical propositions and mathematical methods. In other words, the emergence of paradoxes is related to the foundation issues of the entire mathematics, thus giving rise to the so-called third Three crises in the foundation of mathematics. In order to solve this crisis and to solve all mathematical crises once and for all, Hilbert, a leader in mathematics, launched the Hilbert Plan. The main goal of this project is to provide a secure theoretical foundation for all mathematics. The main part is the proof of completeness, compatibility and decidability.

Then, in this plan, Gödel unexpectedly proved incompleteness.

Turing completed the deterministic proof along Gödel's line of thought, and based on this breakthrough in mathematical logic, he perfected the computer theory.

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

"Keywords, proof theory... As expected! Then, natural numbers [natural numbers], arithmetic system..."

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

"On the Proof of Hilary", author, Feng Luoyi.

The time was five years ago.

The existence of spiritual energy made Shenzhou's "technological black box" very large, and the technology tree was different from that of the earth. The 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 pre-theory of computers is not as good as that of the earth.

Wang Qi did not hesitate to mark out the merit points he received from Beifeng today, exchanged for this paper, skipped the process, and only looked at the conclusion.

"In this subsystem, strict proof of finiteness is feasible... This is a replica of von Neumann's "On Hilbert's Proof Theory." Wang Qi closed his eyes and began to think.

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

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

The website welcomes all book friends to read, the latest, fastest and hottest serialized works are all in the original! \u003c/a\u003e\u003ca\u003eMobile users please read. \u003c/a\u003e