It is precisely because of his advanced mathematical knowledge that Wang Qi knows the significance of this arithmetic paper better than anyone else.

In the discussion of mathematics, it is often said that a person who can give a specific object or a calculation method that can give a certain object is constructible. Constructive mathematics is an important field of modern mathematical research, and its fundamental feature is the emphasis on constructability. Constructability refers to a computational method that can give an object concretely or an object.

The difference between structural mathematics and classical mathematics is that structural mathematics believes that "to exist is to be constructed". In order to be constructive, mathematicians must reinterpret the quantifiers and their other logical conjunctions and quantifiers in order to interpret the meaning of the proofs of propositions containing these logical expressions from a constructive point of view.

Constructive-based computational theories have very strong advantages. It is very reliable, unlike set theory and logical mathematics, which are not firmly rooted. But on the other hand, it's so stable that it's very closed. This theory rejects logical proofs, rejects the infiniteness of reality, and rejects countless practical, known methods. To put it simply, it is the removal of an unreliable and imperfect thing to form a finite "perfection".

This method of excessive "lethality" is precisely what the master rejects. What's more, it is precisely because this way of thinking prohibits too many methods that mathematicians are constrained in dealing with problems, and there is no practical use in itself. Therefore, this notion is widely condemned.

And the reckoning solves this problem.

Shuan Jun has made a new breakthrough in structural algorithms, and he has forcefully ignored Xi Baiche's achievements in this field. Only its structural part is retained, and a qiē non-structural part is eliminated. Such a new algorithm is extremely concise, and due to its structural characteristics. It has strong feasibility and infinite potential, and it is more suitable for practical applications in the field of computing science.

For a long time, Lizong has despised Lianzong because of the promotion of mathematical logic on arithmetic, but this time, Lianzong's arithmetic theory surpasses Lizong in practicality!

"This ...... Isn't this scientific?" Wang Qi exclaimed.

On Earth, structural mathematics was only introduced in the sixties of the twentieth century. At this stage, the three views of all mathematicians have been attacked again and again by Gödel, Turing, Church and other great gods. Countless wrong paths were rejected, and then countless mathematicians such as the Bourbaki school and Grothendieck found many new paths. At that time, recursive theory and modern mathematical logic had become the basic content, and it can be said that the mathematics of this era was very different from the mathematics of the early twentieth century. Under such soil. It is the theory of structural computation that takes root and sprouts.

But in this world, this China, Gödel was absent from this grand event of history, the "golden diagonal" was broken, and the old Turing did not play his due light. Since no one doubts that there is a contradiction between semantics and grammar. That is, the defects of human language itself. The reckoner is still slamming into the south wall of completeness.

In this case, there should be no possibility of such mathematics!

However, when you think about it, it doesn't seem impossible. After all, in the history of the earth, Henri Poincaré died too early, missed the great development of mathematics, and also brought Brouwer intuitionism into the dead end of his personal philosophical quirks, let alone witnessed the day when mathematics gave rise to computer science and changed the times. But Pang Jialai has always been alive!

His accumulation. Far above the isotopes of his earth.

"This paper was put forward by geoscientists fifty years after the death of Henri Poincaré, and it seems that the history of the earth cannot be used to determine the upper limit of Shenzhou's freedom in the future. By the feeling of arithmetic. I just skipped the countless wrong paths and opened up this new path...... If it weren't for the fact that I had studied the mathematical theories of the 21st century, I wouldn't even be able to compare myself with him. Wang Qi secretly admired, and at the same time cautiously looked at Feng Luoyi's face.

Now, I'm afraid it's a pill!

In the Ten Thousand Immortals Fantasy Realm, no small action can be hidden from Feng Luoyi. Feng Luoyi felt Wang Qi's demeanor and smiled bitterly: "How is it?"

"It's very strong, I don't know how to describe it, but this paper can be used as a guideline to guide the development of arithmetic in China, especially the development of applied arithmetic. ”

"Both the theoretical and the practical level are strong. We thought that with your first-order perfect law, we would be one step ahead in arithmetic logic, but we didn't expect that we would not only look down on ourselves, but also underestimate the arithmetic. Feng Luoyi shook his head: "It is worthy of being a peerless powerhouse who once suppressed the entire Ten Thousand Methods Sect with the power of one person." ”

He is the youngest of the Ten Thousand Laws. When he stepped into the path of cultivation, it was the time when Xi Baiche rose and the two generations of powerhouses of the Ten Thousand Methods Gate were handed over. And the time when he became enlightened and free was also around the time of the establishment of the Immortal League, and it didn't take long for Shujun to leave Shenzhou to guard elsewhere. Therefore, Feng Luoyi did not have the opportunity to face the tyrant head-on.

"Look up to yourself?" Wang Qi pretended to be confused: "Is there a difference in the proof of completeness?"

Before Gödel, no one doubted the contradiction between semantics and grammar, some concepts could not be defined by human language, and some problems could not be understood with existing logic. Thinking on his toes should also be imagined, it is almost impossible for the Reckoner to get the results he dreams of.

But, again, scientific development is just that. It is impossible to prove the universal, widespread completeness of the reckoning lord who hits the southern wall there. However, in the process, they will inevitably test some unsuccessful paths and put forward some theories that have been unintentionally inserted. These results will form the basis for the development of mathematics in the future. If he could, Wang Qi even hoped to guide the many Xiaoyao of the Geting School to the path of the Bourbaki School of Earth, so that countless Xiaoyao would transform Shenzhou Mathematics and make it closer to Wang Qi who was more familiar with and at the same time more advanced Earth Mathematics.

Feng Luoyi sighed: "Lord Ximen is complaining, he seems to have vaguely seen the destination, but there is always an invisible wall blocking him, making him feel like he is spinning in place......"

Suddenly, Feng Luoyi's face changed, and he looked at Wang Qi directly: "Wang Qi, Lord Ximen asked me to ask you a question, and you have to answer me honestly." ”

Wang Qi didn't know why, and secretly wondered which important question it was.

I only heard Feng Luoyi ask: "You have perfectly proved the completeness of first-order logic under a limited framework, why did you suddenly violate the framework of finitarianism and use a superfinite method to do the next step of research?"

Wang Qi said: "This ...... It's just a flash of inspiration......"

"Did you anticipate this dilemma?, or did you hide something to discover?" (To be continued, please search, the novel is better and faster!)