Vol 3 Chapter 389: Team pills! (Up) [Three more]

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 EbookFREE.me (the first letter of literature + org dot com, EbookFREE.me) to find the way home!
It is precisely because he has advanced mathematical knowledge, so Wang Qi knows the meaning of this arithmetic paper more than anyone.
In the discussion of mathematics, those who can specifically give an object or a calculation method that can give an object are often called constructable. Constructive mathematics is an important field of modern mathematics research, and its fundamental feature is the emphasis on constructability. The so-called constructability refers to the calculation method that can give an object specifically or can give an object.
The difference between constructive mathematics and classical mathematics is that constructive mathematics believes that "existence is constructed". In order to be constructive, mathematicians must reinterpret the existence of quantifiers and other logical conjunctions and quantifiers in order to explain the meaning of the proof of propositions containing these logical expressions from a constructive perspective.
Computational theory based on structure has a very powerful advantage. It is very reliable, and unlike set theory and logical mathematics, its foundation is not stable. But conversely, it is very closed because it is too solid. This theoretical exclusion logic proves that exclusion is infinity, and innumerable practical and known methods are excluded. Simply put, it is to cut off all unreliable and imperfect things, forming a limited "perfect".
This kind of "lethal power" method is too large, it is precisely rejected by the fortune-teller. More importantly, it is precisely because this way of thinking prohibits too many methods, so it causes mathematicians to deal with problems and has no practical use. Therefore, this concept is widely blamed.
And Junjun solved this problem.
Shujun made a new breakthrough in the structural algorithm. He ignored the achievements of Hebrew in this field, and only retained its structural parts, eliminating all non-structural parts. Such a new algorithm is extremely concise, and because of its constructive characteristics, it has strong practicability, and the infinite potential is also more suitable for practical applications in the field of computational science.
For a long time, Lizong despised Lianzong because of the promotion of mathematical logic on arithmetic, but this time, Lianzong's arithmetic theory surpassed Lizong in practicality!
"This ... is this unscientific?" Wang Qi exclaimed.
On the earth, constructive mathematics came out in the 1960s. At this stage, the three views of all mathematicians have suffered devastating blows from Gods such as Gödel, Turing, Church, etc. time and time again, vetoing countless wrong paths; then the Bulbaki School, Grothendieck and other countless Mathematicians have found many new ways. At that time, recursion theory and modern mathematical logic have become the basic content. It can be said that the mathematics of this era is far different from the mathematics of the early 20th century. Under such soil, constructive computing theory can take root and germinate.
But this world, this Divine State, Gödel is absent from this grand event, the "golden diagonal" breaks, and the old Turing did not show the light he deserves. Since no one suspected that there was a contradiction between semantics and grammar, which is the defect of human language itself, the fortune teller was still slamming on the complete south wall.
In this case, such mathematics should have no possibility!
However, if you think about it, this seems to be impossible. After all, in the history of the earth, Henry Poincaré died too early and missed the great development of mathematics, which also led Brouwer to bring intuitionism to the dead end of his personal philosophical quirks, and did not witness the mathematics derived from computer science 1. The day that changed the times. But Jun Pang Jialai has always been alive!
His accumulation is far above his peers on the earth.
"This paper by Shujun was put forward by earth scientists 50 years after the death of Henry Poincaré. It seems that in the future, the history of the earth cannot be used to determine the upper limit of Shenzhou Xiaoyao. By the feeling of mathematics, he has simply skipped countless The wrong path has opened up a new way ... Sure enough, Junjun is indeed one of the strongest geniuses in the history of China! Very strong! If I had n’t studied the mathematical theory of the 21st century, I would n’t even be able to produce a comparison with him Thoughts. "Wang Qi secretly admired, while carefully watching Feng Luoyi's face.
This time, our song court is afraid of pills!
In Wan Xian's illusion, no small movement can conceal Feng Luoyi. Feng Luoyi felt Wang Qi's expression and smiled bitterly: "How is it?"
"Very strong, I don't know how to describe it at all, but this paper can be used as a guideline to guide the development of Chinese arithmetic, especially the development of applied arithmetic."
"Both the theoretical level and the application level are very strong. We thought that with your first-order perfection law, we could be one step ahead in arithmetic logic. We did not expect that we looked at ourselves both high and small." Feng Luo Yi shook his head: "It's worthy of being a peerless powerhouse who once overwhelmed the entire Falun Dafa with one person."
He is the younger pastime of Wanfamen. When he entered the path of cultivation, it was the time when Xi Baiche rose and the two generations of powerful men handed over. The time when he became enlightened was also before and after the establishment of the Xianmeng League, and it didn't take long for Jun to leave Shenzhou to guard elsewhere. Therefore, Feng Luoyi did not have the opportunity to face the tyrant directly.
"Looking at yourself high?" Wang Qi speculated, confused: "Is the proof of completeness wrong?"
Before Gödel, no one doubted that there was a contradiction between semantics and grammar. Some concepts could not be defined by human language, and some problems could not be understood with existing logic. Think about it with your toes, and it should be almost impossible for the operator to get the results he dreamed of.
However, this is also true of scientific development. It is impossible for the fortune-teller to hit the south wall there to prove universality and extensive completeness. However, in this process, they will inevitably verify some unfeasible paths and put forward some theories that have been inadvertently inserted. These results will become the basis for the future development of mathematics. If possible, Wang Qi even hopes to lead the numerous Xiaoya of the Geting School to the path of the Bulbaki school of the earth, and let countless Xiaoya transform the Chinese mathematics to make it closer to Wang Qi and more advanced earth mathematics.
Feng Luoyi sighed: "Master Ximen is complaining. He seems to have seen the destination vaguely, but there is always an invisible wall blocking him, making him feel like he is spinning around in place ..."
Suddenly, Feng Luoyi changed his face and looked straight at Wang Qi: "Wang Qi, Master Ximen asked me to ask you a question, and you have to answer me honestly."
Wang Qi did not know why, secretly thinking about which important question.
Only Feng Luoyi asked: "You have perfectly proved the completeness of first-order logic under the limited framework. Why did you suddenly violate the framework of finiteism and use the overrun method to do the next research?"
Wang Qiyu said: "This ... the spirit flashes only ..."
"Did you anticipate this situation of advancing and retreating? Or, what did you hide?"
If you like to walk into Xiuxian, please collect it: (EbookFREE.me) Entering Xiuxian's pen has the fastest literature update.