Into the Immortal Cultivation

Due to some reasons, a large number of users suddenly cannot open the web page to visit this site today. Please keep in mind the domain name of this site www.wuxiaspot.com (the first letter of literature + org dot com, wuxiaspot.com) to find the way home!

The proof process of Poisson's law of large numbers is relatively uncomplicated. A large paper is sufficient if written as a paper. But Wang Qiqiang endured the urge to finish, only writing some discussion content in the outline of this paper.

"After all, you have to leave a spot to join that one rib," Wang Qi said.

However, unlike the trend in China that only focuses on the content of the paper, the standard of judging a researcher in the earth sciences also pays attention to the number of papers. The technique of breaking a piece of paper into two complete papers, the previous conclusion is the latter argument, Wang Qi will still be a little bit.

After writing a large page, Wang Qi put this set down, ready to discuss with Bo Xiaoya, and then finish it.

"Okay, what next?"

Seeing Wang Qi's thoughts and thoughts, Zhen Jiezi kindly mentioned: "I seem to remember that it is quite hot for you to study one plus one equal to two in this practice? It seems to be called Mingzhu? Why don't you try it?"

"Pearl is counted in the field of number theory, which is inconsistent with my character--especially when I think of this calculation, I can't help but think of Chen Jingyun, and then I have the idea of ​​'labour and capital staying in the ghost place of Shenjing is all the asshole's fault." Speaking: "Furthermore, the abacus is not one plus one equals two, it is a prime number plus a prime number equal to an even number, writing (1 + 1), not 1 + 1."

For the calculation of the pearl, the earth called the Goldbach conjecture. And what is interesting is that this calculation is "digged out" in China, and it is also related to the Bo family. Bo Yage and Bo Yuehan also have a brother of this generation who is not strong in mathematics but has a good son, Bo Lihu, the fourth monk of the Bo family. Bo Liguo traveled as well as his brother Bo Lier. One day, when he visited a ruin, he accidentally broke through a cave house of a former monk. Inheritance, treasures, and immortals in the cave house are not worth the sun, but there is a bead that is particularly interesting, because this bead is engraved with a calculation problem that was not famous in the ancient times.

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

This question seems to be very simple. Judging by intuition, most people will think it is right. 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".

[Note: In the history of the earth, Goldbach ’s conjecture was written by Goldbach in a letter, which was sent to Euler. Then, Euler was a student of John Bernoulli, a fellow brother and sister with Daniel Bernoulli, and had a very close relationship with Nicholas Bernoulli. Goldbach and Nicholas Bernoulli are pen pals and donkeys. These brothers were the first to study Goldbach's conjecture. It ’s just that Goldbach is not a mathematician, leaving only a conjecture, so this book has a different way to make him exist.]

"I don't understand ..."

Wang Qi sighed: "You should know it if you think about it, Chen Jingyun, his spare egg hurts to study one plus one equals two ... Ah, it's wrong, it seems that there is a real worry about the prostate health of the mathematician ..."

Mathematicians who study one plus one equals two are not without.

The more natural things are, the more people feel unable to say 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 everyone in this field can understand it, but if you want to take it further, you can't start.

There is no doubt that those who can say "one plus one why is equal to two" are the top mathematicians who can hack through this most basic field.

"It's a pity that Pinoa's axioms have already existed in this world." Wang Qi shook his head and thought it would be better not to touch this one. This topic is not difficult to say, and it is not popular. Even if Bo Xiaoya is drawn, there will not be a few people paying attention to it. The Piano axiom is clearly an important axiom that has the same status as the Euclidean axiom, but its reputation is worse than that of Euclidean axiom.

At this time, Wang Qi thought of another question: "In other words, the foundation of this field is too much, and generally do not know or affect anything ... Why do I remember this so firmly?"

If knowledge is not used often, it will gradually be forgotten. Although Piano's axiom is about why one plus one is equal to two, but not knowing this does not affect the calculation of one plus one equal to two.

I remember how familiar I was, and when I mentioned it, I remembered it.

Suddenly, there was a flash of light in Wang Qi's mind.

"This ... seems to be related to 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 to the mathematics and logic circles at that time. It directly impacted the discipline of mathematics and logic known for its rigor, and shaken the credibility standards of traditional mathematical concepts, mathematical propositions, and mathematical methods. Three crises in mathematical foundations. In order to solve this crisis, Hilbert, a leader in the mathematics world, has solved all mathematical crises once and for all, and launched the Hilbert plan. The main goal of this plan is to provide a safe theoretical basis for all mathematics. The main part is the proof of completeness, compatibility and decidability.

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

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

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

"Keywords, proof theory ... Sure enough! Then, natural numbers [natural numbers], arithmetic systems ..."

With the addition of keywords, the less papers are shown in the thesis library, and finally, Wang Qi finally found what he wanted.

"On Xi's so-called proof", author, Feng Luoyi.

The time was five years ago.

The existence of Reiki makes the "tech black box" of China very large, and the technology tree is not the same as the earth. Computers corresponding to computers have been popular for many years, and artificial intelligence has been put on the agenda, but the mathematical logic used as the front-end theory of computers is not as good as the earth.

Wang Qi did not hesitate to draw the merits from the sad wind today, exchanged this paper, skipped the process, and only looked at the conclusion.

"In this subsystem, strict finiteness proofs are feasible ... this is the reprint of von Neumann's" On Hilbert's proof theory. "Wang Qi closed his eyes and began to think.

There is no Gödel in this universe, so mathematical logic has embarked on a different path from the earth ...

Wang Qizheng said: "This is really a good road."

If you like to walk into Xiuxian, please collect it: (www.wuxiaspot.com) Entering Xiuxian's pen has the fastest literature update.