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 song court led by the operator and the Li faction led by the operator, the focus of the battle is arithmetic logic. This field is the most basic part of arithmetic. The cognition of an arithmetic operator in this field determines his overall grasp of mathematics.

Chen Fengshu Xue and Wang Qi can only be said to be worse, but he still knows this.

Wang Qi smiled and said: "Senior Feng also commanded so, there is no harm in doing so."

Feng Luoyi and Xi Baiche are still not yet Wang Qi is very talented in arithmetic logic, and then continue on the path of first-order logic, sooner or later he can reach the ideal state of Xi Baiche.

But Wang Qi knows that this road is not impossible to go, but the result of the next step will only run counter to Xi Baiche's expectations.

Gödel's incomplete theorem destroys the noble beauty of mathematics and drove mathematics out of the altar.

In the history of the earth, Gödel's incompleteness theorem proved that Hilbert's second question was an unsolvable problem, making Hilbert's plan bankrupt. If it is thrown in China, I am afraid it will completely shake the prestige of the Geting School.

No matter what you say, in the eyes of others, you are all labeled as "Geting School", so it is better to consider this aspect when doing theory.

By the way, you also have to guard against the incompleteness theorem that others follow along with their own ideas.

Although for the peerless genius such as Gödel, there is only one year from the complete theorem to the incomplete theorem, but for ordinary mathematicians, Gödel's path of completion in a year is an absolute rift.

Not to mention that Gödel himself came to a complete theorem, which all relied on the epiphany of the flash of aura.

The philosophers of the Li Pai and Gödel are not exactly the same, and they have different understandings of mathematics, so their ideas and methods are different. On the basis of Wang Qi ’s thesis, it is unlikely that they will follow the idea of ​​Gödel to develop an incomplete theorem. The threat is relatively large.

What really needs to be vigilant is still "one's own".

Wang Qi, who is familiar with the subsequent history, knows. Hilbert ’s hope for the outcome of the planned trip is not completeness and decidability, these two are clearly denied. The only promising part lies in the consistency of the arithmetic system.

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

Proving the consistency of the arithmetic system by using the over-limit induction method that is not within the arithmetic system just bypasses the iron wall drawn by the incompleteness theorem.

"So the next step is to work out the over-limit induction method from set theory and substitute it into the explanation of the arithmetic system, so as to direct the key of the debate to the consistency of the arithmetic system."

This is Wang Qi's current plan.

Chen Feng frowned: "Do you know what it means to confuse the controversy between the fortune-telling master and the fortune-teller? Don't think that you will not get Mars when you are in Shenjing."

"I will only throw out a few papers, and generally do not directly respond to the opponent's criticism." Wang Qi laughed.

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

And sorting the arithmetic system is also a big project. I do n’t have much time to complete one by one. I only need to participate in a part of my true level.

Chen Feng gave Wang Qi a puzzled look and asked, "You seem to have a heavy obsession with this debate ... an illusion?"

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

I really want to blend this debate.

Reading the biography of Henry Poincaré in the past life, Wang Qi has a very wonderful feeling.

This man is out of time.

Most mathematicians like to insert a foot in the field of physics to show that they have excess IQ, but in his time, it was when classic physics developed to the extreme, there was not much for him to play with, and when Einstein triggered a new revolution At that time, he was already old again; he and David Hilbert were just right for two generations. The age he was getting older was the time when Hilbert rose step by step. When Hilbert reached its heyday, he Has withdrawn from the front line of mathematics because of aging.

Henry Poincaré has never really burned in his life.

But in this world, what he has to face is a peerless genius with all its brilliance.

And the same camp with him, it is the fortune-teller Xi Baiche and Cang Sheng countryman Feng Luoyi! Mathematics everyone at the same level!

Any skilled mathematician will be excited by such a debate.

Moreover, Wang Qi also had a little thought.

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

He did not participate in it himself, but on behalf of Gödel, participated in this grand event that could not happen on earth.

As long as you think about this matter, it is enough to make people bloody!

At the beginning, Wang Qi was also taken aback by his crazy thoughts. But after calming down, his idea of ​​participating in this debate was getting stronger and stronger.

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

How can I miss it?

Never miss it!

Even if you just participate as a supporting role!

Probably I found Wang Qi ’s enthusiasm burning under the calm appearance, Chen Feng gave a high-five and praised: "It's interesting, this is decent! It's a partner I value-I have to say, you can't do my work here dry?"

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

Wang Qi said: "Why, why not? The disciples are not allowed to leave the school without permission. They have to ask for leave when they go out. That is to say, I can't leave Shenjing before the new arrangements are made. Do you have the best work here? "

Chen Feng was relieved. On the surface, he asked: "Are you going to owe me the work, are you ready to pay it back now or give me white work?"

Wang Qi scratched his head: "It's still a good job as originally said, Senior Feng said, the benefits of my thesis will only slowly show up after the second month, and the first month will not be too much. Two months is better than the first month. I have been poor and utterly ill recently. "

Chen Feng nodded: "Alright. What about your latest plan?"

"Of course, it's a busy thing to build the foundation. When Jun returns, and the debate begins, I don't think it will be safe." Wang Qi sighed: "Yes, the owner, do you understand the refining machine? My Xianyuan refining class is up, Can you make up the class? "

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