"Am I so high?"

As soon as this thought appeared, Wang Qi was deeply slapped to death.

I know very well how many pounds and taels I had in my previous life.

This is truly world-class results. If you look at the evaluation criteria of the earth, this is more than enough papers to be listed in the world's first mathematical journal "Mathematical Yearbook", whether it can win the Fields Medal is not good, but it is definitely enough for a mathematician to eat for a lifetime.

"How long did I use it, a day?"

Wang Qi felt a little ridiculous.

"Impossible......"

From the exploration of the subsystems of arithmetic systems to the proof of Gödel's completeness theorem.

"Ahaha...... By the way, my computing power in this life is several times that of my previous life, and my thinking is quick, so I can write quickly. ”

Wang Qi laughed dryly twice, making excuses for himself.

The ability of a human mind is limited by the speed of the brain, just as the speed at which a program can run is limited by hardware. Increasing computing power is equivalent to adding IQ.

It's just that Wang Qi himself knows that the speed of thinking is not all. Improving the hardware is a force that can be improved, but this improvement is limited. The Windows system is installed on a supercomputer that is tens of thousands of times stronger than ordinary computers, and the speed is at most one or two times that of ordinary computers, and it is impossible to achieve the effect of 10,000 times. That's where Windows limits it, and it can't take advantage of such a huge amount of computing power.

In other words, Wang Qi's own thinking can afford to use his own computing power.

"Am I really getting stronger?"

"I'm really getting stronger!"

After repeated confirmations, Wang Qi finally confirmed that his level was higher than in his previous life.

Much higher.

"Having a smart head is different. Wang Qi patted his forehead.

After more than ten years of accumulation in the previous life, the cultivation of this life and the hard study of this life are fused together, it is by no means as simple as one plus one equals two.

"Woohoohoohoo......" Wang Qi suppressed the urge to laugh wildly, and shrugged his shoulders. But in the end, he couldn't help but laugh out loud!

Mazuko finally asked out loud, "What exactly did you make?"

"It's a pity that I'm still in the Qi training period. Wang Qi said in a tone of regret: "If Jin Dan writes this again, maybe he can directly Yuan Shen." ”

However, although his tone had a feeling of greed and lack of greed, where could he see half a pity on his face?

This can really be regarded as a self-completed paper!

This is Gödel's completeness theorem!

The most basic piece in the field of mathematics was actually gnawed off by himself little by little. And if you can break through the realm with this, it means that you have really eaten it completely!

"I was worried about what if I kept throwing out spiritual theories, and I didn't understand well enough, and I was questioned. ”

"Now it seems that even if I forget those theories of the earth, I can break through the sky myself!"

Wang Qi took a few deep breaths and forced himself to calm down. Then, he looked at the paper again.

Gödel's completeness theorem!

Judging from the information in the paper database, the Shenzhou version of the Hilbert Project or similar academic projects is in full swing, and now is the time when the enthusiasm of the arithmetic is the highest.

And my own paper is just a step forward in the research content of those big calculators, and every calculator who pays attention to this field will not ignore this paper.

In other words, this paper is not only extremely high, but also happens to be a hot field.

Reputation, quotes, bonus bonuses, and more!

Wang Qi estimated that after this paper was issued, more than half of the top arithmetic scholars in Wanfamen would pay attention to him, at least knowing that there was such a person as himself.

Although it is unlikely that he will immediately return to Wanfamen to let Chen Jingyun kneel down and sing "Conquest", it is estimated that his treatment will be much better, at least he will be able to enjoy some invisible benefits.

"But ......" Wang Qi touched his chin: "In Shenzhou, the extension and connotation of many concepts of mathematical logic have not yet been recognized, and I am still relatively earthly in this regard." In addition, I have to check again to prove the idea, and it would be bad if I used something that Shenzhou didn't already have. ”

"It's best to polish it again, it's best to be able to use the ideas and thinking methods commonly used by Shenzhou calculators. ”

Thinking of this, Wang Qi pushed open the door and shouted: "Owner, I apply for some credit, and it is best to advance next month's monthly salary." I'm in a hurry now. ”

Chen Feng took out a calculator terminal for transfer suspiciously: "It's not impossible, you have to have a number, I will count it as an emergency." ”

Wang Qi took out his calculator and glanced at the paper library again: "There is Feng Lao...... The papers of the predecessors of the Cangsheng Guoshou Feng are about seven, and then the papers of the Lord Ximen are counted, at least there are five, and there are a few of the disciples of the Lord...... Two monographs......"

"Eighty, you have to give me a month and a half to do it for nothing. ”

"Deal. ”

After completing the transfer, Wang Qi shrank back again, leaving only a group of people looking at each other in the courtyard.

Huangfu Lian couldn't help but ask, "Senior Brother Chen, he just called you Dongjia, what's the matter?"

Tatsukaze pretended to be impassive and said, "Oh, I'm going to cooperate with him and let him come to my empirical department." ”

There was already a storm in his heart. What did that kid prove! Also, he seems to have made a lot of money this time?

The others had already known the identity of Chen Feng's true disciple through Guò Huangfu Lian, and now they heard that he was going to cooperate with Wang Qi, and they were all a little envious of Wang Qi.

The benefits of joining the Empirical Department are huge.

Liyue was a little angry: "Senior Brother Chen, is your salary too high?" Are you sure you haven't looked away?"

"That's reassuring. "Tatsukaze has already made up his mind to keep Wang Qi. He took out an application from his arms, handed it to Liu Yunxiang, and said, "Uncle Liu, please take a look at this application." ”

After Wang Qi returned to his bedroom, he read seventeen or eighteen papers. He didn't read all the papers, but first read the abstract and then jumped straight to the conclusion. After reading the conclusions of all the papers, Wang Qi selected a few more key ones to read.

After reading a few articles quickly, Wang Qi had a general understanding of the set theory of China.

The mathematician Cantor had a very famous method of logic called the diagonal method. This is a special method of counter-evidence. The names of Georg Cantor, Kurt Gödel, and Alan Turing form a line that runs through all mathematical logic, and is called the "golden diagonal".

And in China, there has been a strange deviation in history.

Gödel was not born, and the diagonal of gold broke from the middle.

The master of Wanfa Gate Kangmen once shocked Shenzhou, and the old Turing Yongzhen Fusang, but Gödel miraculously did not appear, and his achievements were not reproduced by anyone.

The mathematicians of China could not crystallize the diagonal lines of Gödel's continuation, so they chose another way to construct their logic. Some calculators are trying to build a system that is bigger and stronger than Pit's axiom to bypass this sinkhole. And more arithmetics, under the leadership of Hebache, are moving towards an unattainable ideal system.

"I see, it seems that the editing of the paper is not very easy. ”

Wang Qi thought for a while, pushed open the door and shouted: "Boss, let's discuss anything now, I have to polish the paper in the next few days, I'm very busy!"