The Ge Ting led by the Arithmetic Lord and the Li faction led by the Arithmetic Monarch focused on arithmetic logic. This field is the most basic part of arithmetic. A calculator's cognition of this field determines his overall grasp of mathematics.

Chen Feng arithmetic and Wang Qibi can only be said to be bad, but he still knows this.

Wang Qi smiled: "Senior Feng also told me so, there is no harm in doing it." ”

Feng Luoyi and Xi Baiche are still not very talented in arithmetic logic, and if they continue on the road of first-order logic, they will be able to reach Xi Baiche's ideal realm sooner or later.

But Wang Qi knows that this road is not impossible, but the next step will only be contrary to Xi Baiche's expectations.

Gödel's incompleteness theorem, the terrible theorem that destroys the sublime beauty of mathematics and drives mathematics off the altar.

In the history of the earth, Gödel's incompleteness theorem proved that Hilbert's second question was an unsolvable problem, and bankrupted the Hilbert project. If it is thrown out in Shenzhou, I am afraid that it will completely shake the prestige of the Geting faction.

No matter what you say, in the eyes of others, you have been labeled as a "Geting faction", so it is better to consider this aspect when doing theory.

By the way, I also have to guard against others following their own ideas to figure out the incompleteness theorem.

Although for a peerless genius like Gödel, the complete theorem to the incomplete theorem is only one year, but for ordinary mathematicians, Gödel's path to one year is absolutely heavenly.

Not to mention that Gödel himself came up with a complete theorem, all by a flash of inspiration.

The monks of the Li school and Gödel did not have the same ideas, and their understanding of mathematics was different, so their ideas and methods were also different. It is unlikely that they will follow Gödel's idea to introduce the incomplete theorem on the basis of Wang Qi's paper, and it seems that only Shujun is the only one who poses a greater threat.

What we really need to be wary of is "our own people".

Wang Qi, who is familiar with the subsequent history, knows. The hope of the outcome of the Hilbert Project does not lie in completeness and decidability, which are explicitly denied. The only promising part of it lies in the consistency of the arithmetic system.

The second of Gödel's incompleteness theorem states that for any mathematical system that contains an arithmetic system, then we cannot prove its consistency within the system. This is part of the answer to Hilbert's second question.

Using the over-limit induction method, which is not within the arithmetic system, to prove the consistency of the arithmetic system, just bypasses the incompleteness theorem and cannot be crossed.

Therefore, the next step is to develop a transcendent induction method from set theory, and then substitute it into the explanation of the arithmetic system, and guide the key to the consistency of the arithmetic system. ”

This is Wangqi's current plan.

Chen Feng frowned: "Do you know what it means to be involved in the debate between the Counter and the Counter? Don't think that you won't get into Mars if you are in Shenjing." ”

"I only throw out a few papers, and I usually don't respond directly to the other party's criticism. Wang Qi smiled.

As long as the focus can be directed to the consistency of the arithmetic system, it is about the same.

And sorting out the arithmetic system is also a big project, and I don't have much time to complete it one by one, as long as I participate in part of it at my real level.

Chen Feng glanced at Wang Qi suspiciously, and asked, "You seem to have a strong obsession with this polemic...... Delusion?"

Wang Qi shook his head: "This is not an illusion. ”

I really want to get involved in this debate.

Reading Henri Poincaré's biography in his previous life, Wang Qi had a very wonderful feeling.

This person was born at the wrong time.

Most mathematicians like to intervene in the field of physics to show their excess intelligence, but his era is the time when classical physics has developed to the extreme, there is not much for him to play with, and when Einstein triggers a new round of revolution, he is already dying; he and David Hilbert are exactly two generations, and the era of his gradual aging is the era of Hilbert's gradual rise, and when Hilbert reaches his peak, he has withdrawn from the front line of mathematics because of aging.

Henri Poincaré never really burned in his life.

But in this world, what he has to face is a peerless genius who blooms with all his brilliance, Pang Jialai!

And in the same camp as him, it is the arithmetic master Xi Baiche and the national player Feng Luoyi!

Any mathematician of a caliber would be thrilled by such a polemic.

Moreover, Wang Qi himself also has a little thought.

"I'm probably not as good as Gödel, who is about fifty years old and at the peak of his life...... But I should have Gödel's level of about twenty, right?"

He was not involved himself, but on behalf of Gödel, in an event that could not happen on earth.

Just thinking about this thing is enough to make people's blood boil!

At first, Wang Qi was also taken aback by his crazy ideas. But after calming down, his desire to participate in this controversy became stronger and stronger.

This controversy is the flower of the soul that mathematicians bloom with all their lives and all their talents, and it is the affirmation and sublimation of life!

How can you miss it?

Don't miss out!

Even if it's just as a supporting role!

Probably aware of the enthusiasm burning under Wang Qi's calm appearance, Chen Feng high-fived and praised: "Interesting, this is decent! It is worthy of my valued partner - then again, do you still do my work here?"

In the past few days, Chen Feng has approached Wang Qi several times, and he has also mentioned the theory he is doing. He vaguely understood the significance of Wang Qi's theory, and was also vaguely aware of Wang Qi's level. Now, he is afraid that Wang Qi will regret it.

Wang Qi said: ", why don't you do it? Disciples during the Qi cultivation period are not allowed to leave the sect without authorization, and they have to ask for leave when they go out, which means that I can't leave Shenjing until the new arrangements of the Ten Thousand Methods Sect are made." And Shenjing is the best earning value for you, right?"

Chen Feng breathed a sigh of relief in his heart. On the surface, he asked: "Are you going to pay it back now or do you want to do it for me for nothing?"

Wang Qi scratched his head: "It's better to do what I said at the beginning, Senior Feng said that the benefits brought by my paper will slowly show up after the second month, the first month will not be too much, and the second month will be stronger than the first month." I've been poor lately. ”

Chen Feng nodded: "It's okay." And what about your recent plans?"

"Of course, I'm busy building the foundation. When the king comes back and the debate begins, I guess I won't be able to live in peace. Wang Qi sighed: "By the way, the owner, do you know the refining weapon?